com.arm.carp.apps.optimizer.passes

LICM

object LICM extends Pass

This class implements basic loop invariant code motion.

It moves the assignment statements in a loop body, with loop invariant as a RHS outside the loop.

Linear Supertypes
Pass, Walker, ExpressionWalker, CommonOps, Assertable, Common, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. LICM
  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. case class InvariantInfo(invariant: Boolean) extends ExpressionPassInfo with OperationPassInfo with Product with Serializable

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
    LICM → Walker

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

    Definition Classes
    Common

  14. 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

  15. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  16. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  17. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  18. def getArgsTemplate: PassArgumentStorage

    Definition Classes
    Pass

  19. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  20. def getCleanBody(in: Option[BlockOperation]): BlockOperation

    Definition Classes
    Walker

  21. def getMaxType(t1: ScalarType, t2: ScalarType): ScalarType

    Definition Classes
    Common

  22. def getScalarType(in: Type): ScalarType

    Definition Classes
    Common

  23. def getScalarZero(in: ScalarType): ScalarExpression

    Definition Classes
    Common

  24. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  25. 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

  26. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  27. 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

  28. def make(init: Option[Operation]*): Option[Operation]

    Definition Classes
    CommonOps

  29. def makeBlock(init: Option[Operation]*): Option[BlockOperation]

    Definition Classes
    CommonOps

  30. val name: String

    Definition Classes
    Pass

  31. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  32. final def notify(): Unit

    Definition Classes
    AnyRef

  33. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  34. def registerOption[T](oname: String, default: T): () ⇒ T

    Definition Classes
    Pass

  35. def rerun: Boolean

    Definition Classes
    Pass

  36. def reset_changed(): Unit

    Definition Classes
    Pass

  37. final def run(in: Program, pargs: PassArgumentStorage): Program

    Definition Classes
    Pass

  38. def set_changed(): Unit

    Definition Classes
    Pass

  39. 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

  40. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  41. def toString(): String

    Definition Classes
    AnyRef → Any

  42. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  43. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  44. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  45. def walkAccessFunction(in: Option[Function]): Unit

    Definition Classes
    Walker

  46. def walkArrayConstant(in: ArrayConstant): (ArrayExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

  47. def walkArrayDeclOperation(in: ArrayDeclOperation): Option[Operation]

    Definition Classes
    Walker

  48. def walkArrayExpression(in: ArrayExpression): (ArrayExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

  49. def walkArrayIdxExpression(in: ArrayIdxExpression): (ArrayExpression, Option[Operation])

    Definition Classes
    LICM → ExpressionWalker

  50. def walkArrayStructSubscription(in: ArrayStructSubscription): (ArrayExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

  51. def walkArrayType(in: ArrayType): Option[Operation]

    Definition Classes
    Walker

  52. def walkArrayVariable(in: ArrayVariableRef): (ArrayExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

  53. 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

  54. def walkAssignment(in: AssignmentOperation): Option[Operation]

    Definition Classes
    LICM → Walker

  55. def walkBlock(in: BlockOperation): Option[BlockOperation]

    Definition Classes
    Walker

  56. def walkBlock(in: Option[BlockOperation]): Option[BlockOperation]

    Definition Classes
    Walker

  57. def walkBreak(in: BreakOperation): Option[Operation]

    Definition Classes
    Walker

  58. def walkCallExpression(in: CallExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

  59. def walkCallOp(in: CallOperation): Option[Operation]

    Definition Classes
    Walker

  60. def walkContinue(in: ContinueOperation): Option[Operation]

    Definition Classes
    Walker

  61. def walkConvertExpression(in: ConvertExpression): (ConvertExpression, None.type)

    Definition Classes
    LICM → ExpressionWalker

  62. def walkExpression(in: Expression): (Expression, Option[Operation])

    Definition Classes
    ExpressionWalker

  63. def walkExpressionProxy(in: Expression): (Expression, Option[Operation])

    Definition Classes
    Walker

  64. def walkFor(in: ForOperation): Option[Operation]

    Definition Classes
    LICM → Walker

  65. def walkFunction(in: Function): Option[Function]

    Definition Classes
    LICM → Walker

  66. def walkFunctionArgument(in: Variable): Variable

    Definition Classes
    Walker

  67. def walkFunctionArguments(in: Seq[Variable]): Seq[Variable]

    Definition Classes
    Walker

  68. def walkFunctionBody(in: Option[BlockOperation]): Option[BlockOperation]

    Definition Classes
    Walker

  69. def walkFunctions(in: Traversable[Function]): Traversable[Function]

    Definition Classes
    Walker

  70. def walkGlobalConst(c: Variable): Some[Variable]

    Definition Classes
    Walker

  71. def walkGlobalConsts(in: Seq[Variable]): Seq[Variable]

    Definition Classes
    Walker

  72. def walkGlobalType(t: StructType): Some[StructType]

    Definition Classes
    Walker

  73. def walkGlobalTypes(in: Seq[StructType]): Seq[StructType]

    Definition Classes
    Walker

  74. def walkGuardExpression(in: ScalarExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    Walker

  75. def walkIf(in: IfOperation): Option[Operation]

    Definition Classes
    Walker

  76. def walkIntrinsicCallExpression(in: IntrinsicCallExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

  77. def walkIterationVariable(in: ScalarVariableRef): (ScalarVariableRef, None.type)

    Definition Classes
    LICM → ExpressionWalker

  78. def walkLValueExpression(in: ScalarExpression with LValue): (ScalarExpression with LValue, Option[Operation])

    Definition Classes
    Walker

  79. def walkOperation(in: Operation): Option[Operation]

    Definition Classes
    Walker

  80. def walkPENCILOperation(in: Operation with PENCILOperation): Option[Operation]

    Definition Classes
    Walker

  81. def walkProgram(program: Program): Program

    Definition Classes
    Walker

  82. def walkRange(in: Range): (Range, None.type)

    Definition Classes
    LICM → Walker

  83. def walkReturn(in: ReturnOperation): Option[Operation]

    Definition Classes
    Walker

  84. def walkScalarBinaryExpression(in: ScalarBinaryExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    LICM → ExpressionWalker

  85. def walkScalarConstant(in: Constant with ScalarExpression): (Constant with ScalarExpression, None.type)

    Definition Classes
    LICM → ExpressionWalker

  86. def walkScalarExpression(in: ScalarExpression): (ScalarExpression, None.type)

    Definition Classes
    LICM → ExpressionWalker

  87. def walkScalarExpressionProxy(in: ScalarExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    Walker

  88. def walkScalarIdxExpression(in: ScalarIdxExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    LICM → ExpressionWalker

  89. def walkScalarStructSubscription(in: ScalarStructSubscription): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

  90. def walkScalarTernaryExpression(in: TernaryExpression): (TernaryExpression, Option[Operation])

    Definition Classes
    LICM → ExpressionWalker

  91. def walkScalarUnaryExpression(in: ScalarUnaryExpression): (ScalarUnaryExpression, None.type)

    Definition Classes
    LICM → ExpressionWalker

  92. def walkScalarVariable(in: ScalarVariableRef): (ScalarExpression, Option[Operation])

    Definition Classes
    LICM → ExpressionWalker

  93. 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

  94. def walkSizeofExpression(in: SizeofExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

  95. 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