object Preproc extends CollectingVisitor[VisitorArg, VisitorRes]
First-level preprocessor: Visitor that translates bit-vector operations to a basic set of operations (mod_cast, ...) and simplifies.
- Alphabetic
- By Inheritance
- Preproc
- CollectingVisitor
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- abstract class PreVisitResult extends AnyRef
- Definition Classes
- CollectingVisitor
- case class ShortCutResult(res: R) extends PreVisitResult with Product with Serializable
Skip the call to
postVisit
and do not visit any of the sub-expressions.Skip the call to
postVisit
and do not visit any of the sub-expressions. Instead, directly returnres
as result- Definition Classes
- CollectingVisitor
- case class SubArgs(args: Seq[A]) extends PreVisitResult with Product with Serializable
Specify the arguments to use for the individual sub-expressions
Specify the arguments to use for the individual sub-expressions
- Definition Classes
- CollectingVisitor
- case class TryAgain(newT: IExpression, newArg: A) extends PreVisitResult with Product with Serializable
Call
preVisit
again with a different expression and argumentCall
preVisit
again with a different expression and argument- Definition Classes
- CollectingVisitor
- case class UniSubArgs(arg: A) extends PreVisitResult with Product with Serializable
Use
arg
for each of the direct sub-expressionsUse
arg
for each of the direct sub-expressions- Definition Classes
- CollectingVisitor
Value Members
- case object KeepArg extends PreVisitResult with Product with Serializable
Use the same argument for the direct sub-expressions as for this expression
Use the same argument for the direct sub-expressions as for this expression
- Definition Classes
- CollectingVisitor
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def boundsBVASHR(bits: Int, arg: VisitorRes, shift: IdealInt): (IdealInt, IdealInt)
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
- def constantBVASHR(bits: Int, arg: VisitorRes, shift: IdealInt): VisitorRes
- def constantBVLSHR(bits: Int, arg: VisitorRes, shift: IdealInt): VisitorRes
- def constantBVSHL(bits: Int, arg: VisitorRes, shift: IdealInt): VisitorRes
- def doExtract(start: Int, end: Int, arg: ITerm, argBits: Int): ITerm
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @HotSpotIntrinsicCandidate() @native()
- def postVisit(t: IExpression, ctxt: VisitorArg, subres: Seq[VisitorRes]): VisitorRes
- Definition Classes
- Preproc → CollectingVisitor
- def preVisit(t: IExpression, ctxt: VisitorArg): PreVisitResult
- Definition Classes
- Preproc → CollectingVisitor
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def visit(expr: IExpression, arg: VisitorArg): VisitorRes
- Definition Classes
- CollectingVisitor
- def visitWithoutResult(expr: IExpression, arg: VisitorArg): Unit
- Definition Classes
- CollectingVisitor
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated
(Since version 9)