com.arm.carp.pencil

Lowering

object Lowering extends Walker

Lower raw PENCIL variables, generated by front-ends, to references.

While the PENCIL IR requires all use of the variable to be represented as unique xxxxVariableRef object, front-ends are allowed to generate raw ScalarVariable/ ArrayVariable objects.

Linear Supertypes
Walker, ExpressionWalker, CommonOps, Assertable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Lowering
  2. Walker
  3. ExpressionWalker
  4. CommonOps
  5. Assertable
  6. AnyRef
  7. 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

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. def clone(): AnyRef

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

  9. val config: WalkerConfigStorage

    Definition Classes
    Lowering → Walker

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

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

    Definition Classes
    AnyRef

  12. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  13. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    Walker

  16. def hashCode(): Int

    Definition Classes
    AnyRef → Any

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

  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    CommonOps

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

    Definition Classes
    CommonOps

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

    Definition Classes
    AnyRef

  22. final def notify(): Unit

    Definition Classes
    AnyRef

  23. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    AnyRef

  25. def toString(): String

    Definition Classes
    AnyRef → Any

  26. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    Walker

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

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    Walker

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

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    Walker

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

    Definition Classes
    ExpressionWalker

  37. def walkArrayVariableInt(in: ArrayVariable): (ArrayVariableRef, None.type)

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

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

    Definition Classes
    Lowering → ExpressionWalker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

  45. def walkConvertExpression(in: ConvertExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

  49. def walkFunction(f: Function): Option[Function]

    Definition Classes
    Walker

  50. def walkFunctionArgument(in: Variable): Variable

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    ExpressionWalker

  61. def walkIterationVariable(in: ScalarVariableRef): (ScalarVariableRef, Option[Operation])

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    Walker

  65. def walkProgram(program: Program): Program

    Definition Classes
    Walker

  66. def walkRange(in: Range): (Range, Option[Operation])

    Definition Classes
    Walker

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

    Definition Classes
    Walker

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

    Definition Classes
    ExpressionWalker

  69. def walkScalarConstant(in: Constant with ScalarExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

  70. def walkScalarExpression(in: ScalarExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    Walker

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

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    ExpressionWalker

  75. def walkScalarUnaryExpression(in: ScalarUnaryExpression): (ScalarExpression, Option[Operation])

    Definition Classes
    ExpressionWalker

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

    Definition Classes
    ExpressionWalker

  77. def walkScalarVariableInt(in: ScalarVariable): (ScalarVariableRef, None.type)

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

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

    Definition Classes
    Lowering → ExpressionWalker

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

    Definition Classes
    ExpressionWalker

  79. def walkWhile(in: WhileOperation): Option[Operation]

    Definition Classes
    Walker

Inherited from Walker

Inherited from ExpressionWalker

Inherited from CommonOps

Inherited from Assertable

Inherited from AnyRef

Inherited from Any

Ungrouped