com.arm.carp.apps.optimizer.passes

ConstantPropagation

object ConstantPropagation extends Pass

Perform constant propagation, constant folding, and arithmetic and logic expression simplifications.

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ConstantPropagation
  2. Pass
  3. Walker
  4. ExpressionWalker
  5. CommonOps
  6. Assertable
  7. Common
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type Annotated[T] = (T, Option[Operation])

    Definition Classes
    ExpressionWalker
  2. type AnnotatedArrayExpression = (ArrayExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  3. type AnnotatedScalarExpression = (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  4. type CstMap = HashMap[AssignmentOperation, ScalarExpression with Constant]

  5. type RenameMap = HashMap[AssignmentOperation, ScalarVariableDef]

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def assert(cond: Boolean, data: Any, message: String): Unit

    Check the condition and calls Assertable.ice if condition is false.

    Check the condition and calls Assertable.ice if condition is false.

    cond

    condition to check

    data

    additional data to include in error message

    message

    error message

    Definition Classes
    Assertable
  8. var changed: Boolean

    Definition Classes
    Pass
  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  10. def compatibleFunctions(f1: Function, f2: Function): Boolean

    Definition Classes
    Common
  11. def compatibleWithFunction(f1: Function, retType: ScalarType, params: Seq[Variable]): Boolean

    Definition Classes
    Common
  12. val config: WalkerConfigStorage

    Definition Classes
    ConstantPropagationWalker
  13. val constants: HashMap[AssignmentOperation, ScalarExpression with Constant]

  14. def convertScalar(exp: ScalarExpression, _type: ScalarType): ScalarExpression

    Definition Classes
    Common
  15. def doNothing(): Unit

    Default action for leaf processing.

    Default action for leaf processing. Can be overridden to call ICE (to ensure that all processing is implemented by pass).

    Definition Classes
    Walker
  16. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  17. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  18. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  19. def getArgsTemplate: PassArgumentStorage

    Definition Classes
    Pass
  20. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  21. def getCleanBody(in: Option[BlockOperation]): BlockOperation

    Definition Classes
    Walker
  22. def getMaxType(t1: ScalarType, t2: ScalarType): ScalarType

    Definition Classes
    Common
  23. def getScalarType(in: Type): ScalarType

    Definition Classes
    Common
  24. def getScalarZero(in: ScalarType): ScalarExpression

    Definition Classes
    Common
  25. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  26. def ice(data: Any, message: String): Nothing

    Report internal compilation error and throw RuntimeException.

    Report internal compilation error and throw RuntimeException.

    data

    additional data to include in error message

    message

    error message

    Definition Classes
    Assertable
  27. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  28. def listFromSumTree(in: ScalarExpression): List[ScalarExpression]

    Construct a list of terms from a summation/subtraction expression tree.

    Construct a list of terms from a summation/subtraction expression tree.

    Definition Classes
    Common
  29. def make(init: Option[Operation]*): Option[Operation]

    Definition Classes
    CommonOps
  30. def makeBlock(init: Option[Operation]*): Option[BlockOperation]

    Definition Classes
    CommonOps
  31. val name: String

    Definition Classes
    Pass
  32. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  33. final def notify(): Unit

    Definition Classes
    AnyRef
  34. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  35. def registerOption[T](oname: String, default: T): () ⇒ T

    Definition Classes
    Pass
  36. val renames: HashMap[AssignmentOperation, ScalarVariableDef]

  37. def rerun: Boolean

    Definition Classes
    Pass
  38. def reset_changed(): Unit

    Definition Classes
    Pass
  39. final def run(in: Program, pargs: PassArgumentStorage): Program

    Definition Classes
    Pass
  40. def set_changed(): Unit

    Definition Classes
    Pass
  41. def sumTreeFromList(terms: List[ScalarExpression]): ScalarExpression

    Construct a summation tree from a list of expressions.

    Construct a summation tree from a list of expressions.

    Definition Classes
    Common
  42. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  43. def toString(): String

    Definition Classes
    AnyRef → Any
  44. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  45. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  46. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  47. def walkAccessFunction(in: Option[Function]): Unit

    Definition Classes
    Walker
  48. def walkArrayConstant(in: ArrayConstant): (ArrayExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  49. def walkArrayDeclOperation(in: ArrayDeclOperation): Option[Operation]

    Definition Classes
    Walker
  50. def walkArrayExpression(in: ArrayExpression): (ArrayExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  51. def walkArrayIdxExpression(in: ArrayIdxExpression): (ArrayExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  52. def walkArrayStructSubscription(in: ArrayStructSubscription): (ArrayExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  53. def walkArrayType(in: ArrayType): Option[Operation]

    Definition Classes
    Walker
  54. def walkArrayVariable(in: ArrayVariableRef): (ArrayExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  55. def walkArrayVariableInt(in: ArrayVariable): (ArrayExpression, Option[Operation])

    All raw variables must be eliminated before leaving the front-end.

    All raw variables must be eliminated before leaving the front-end.

    Definition Classes
    ExpressionWalker
  56. def walkAssignment(in: AssignmentOperation): Some[AssignmentOperation]

    Definition Classes
    ConstantPropagationWalker
  57. def walkBlock(in: BlockOperation): Option[BlockOperation]

    Definition Classes
    Walker
  58. def walkBlock(in: Option[BlockOperation]): Option[BlockOperation]

    Definition Classes
    Walker
  59. def walkBreak(in: BreakOperation): Option[Operation]

    Definition Classes
    Walker
  60. def walkCallExpression(in: CallExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  61. def walkCallOp(in: CallOperation): Option[Operation]

    Definition Classes
    Walker
  62. def walkContinue(in: ContinueOperation): Option[Operation]

    Definition Classes
    Walker
  63. def walkConvertExpression(in: ConvertExpression): (ScalarExpression, None.type)

    Definition Classes
    ConstantPropagationExpressionWalker
  64. def walkExpression(in: Expression): (Expression, Option[Operation])

    Definition Classes
    ExpressionWalker
  65. def walkExpressionProxy(in: Expression): (Expression, Option[Operation])

    Definition Classes
    Walker
  66. def walkFor(in: ForOperation): Option[Operation]

    Definition Classes
    Walker
  67. def walkFunction(f: Function): Option[Function]

    Definition Classes
    ConstantPropagationWalker
  68. def walkFunctionArgument(in: Variable): Variable

    Definition Classes
    Walker
  69. def walkFunctionArguments(in: Seq[Variable]): Seq[Variable]

    Definition Classes
    Walker
  70. def walkFunctionBody(in: Option[BlockOperation]): Option[BlockOperation]

    Definition Classes
    Walker
  71. def walkFunctions(in: Traversable[Function]): Traversable[Function]

    Definition Classes
    Walker
  72. def walkGlobalConst(c: Variable): Some[Variable]

    Definition Classes
    Walker
  73. def walkGlobalConsts(in: Seq[Variable]): Seq[Variable]

    Definition Classes
    Walker
  74. def walkGlobalType(t: StructType): Some[StructType]

    Definition Classes
    Walker
  75. def walkGlobalTypes(in: Seq[StructType]): Seq[StructType]

    Definition Classes
    Walker
  76. def walkGuardExpression(in: ScalarExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    Walker
  77. def walkIf(in: IfOperation): Option[Operation]

    Definition Classes
    Walker
  78. def walkIntrinsicCallExpression(exp: IntrinsicCallExpression): (ScalarExpression with Product with Serializable, None.type)

    Definition Classes
    ConstantPropagationExpressionWalker
  79. def walkIterationVariable(in: ScalarVariableRef): (ScalarVariableRef, Option[Operation])

    Definition Classes
    ExpressionWalker
  80. def walkLValueExpression(in: ScalarExpression with LValue): (ScalarExpression with LValue, Option[Operation])

    Definition Classes
    Walker
  81. def walkOperation(in: Operation): Option[Operation]

    Definition Classes
    Walker
  82. def walkPENCILOperation(in: Operation with PENCILOperation): Option[Operation]

    Definition Classes
    Walker
  83. def walkProgram(in: Program): Program

    Definition Classes
    ConstantPropagationWalker
  84. def walkRange(in: Range): (Range, Option[Operation])

    Definition Classes
    Walker
  85. def walkReturn(in: ReturnOperation): Option[Operation]

    Definition Classes
    Walker
  86. def walkScalarBinaryExpression(exp: ScalarBinaryExpression): (ScalarExpression, None.type)

    Definition Classes
    ConstantPropagationExpressionWalker
  87. def walkScalarConstant(in: Constant with ScalarExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  88. def walkScalarExpression(in: ScalarExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  89. def walkScalarExpressionProxy(in: ScalarExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    Walker
  90. def walkScalarIdxExpression(in: ScalarIdxExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  91. def walkScalarStructSubscription(in: ScalarStructSubscription): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker
  92. def walkScalarTernaryExpression(exp: TernaryExpression): (ScalarExpression, None.type)

    Definition Classes
    ConstantPropagationExpressionWalker
  93. def walkScalarUnaryExpression(exp: ScalarUnaryExpression): (ScalarExpression, None.type)

    Definition Classes
    ConstantPropagationExpressionWalker
  94. def walkScalarVariable(variable: ScalarVariableRef): (ScalarExpression, None.type)

    Definition Classes
    ConstantPropagationExpressionWalker
  95. def walkScalarVariableInt(in: ScalarVariable): (ScalarExpression, Option[Operation])

    All raw variables must be eliminated before leaving the front-end.

    All raw variables must be eliminated before leaving the front-end.

    Definition Classes
    ExpressionWalker
  96. def walkSizeofExpression(in: SizeofExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ConstantPropagationExpressionWalker
  97. def walkWhile(in: WhileOperation): Option[Operation]

    Definition Classes
    Walker

Inherited from Pass

Inherited from Walker

Inherited from ExpressionWalker

Inherited from CommonOps

Inherited from Assertable

Inherited from Common

Inherited from AnyRef

Inherited from Any

Ungrouped