GitHub (Feb 28 2020 at 23:19): GitHub (Feb 28 2020 at 23:19):alexcrichton transferred Issue #141:
Rationale: icmp,load,store all have an enumerable immediate field, base on whose value we may want to do something different in the semantics. As a result, we'd like to be able to match a different transform to a concrete piece of rtl, depending on the value of some of the immediate fields. To enable this we need several things:
0. A base class for all Literals - current (Enumerator, ConstantInt) and future (FlagSet)
1. Support substitutions Var->Literal, Literal->Var (requires changes to {Ast, Def,Rtl}.{copy, substitution}
2. Change verify_semantics() to enumerate all concrete values of enumerable immediates on top of enumerating all concrete typings.
Last updated: Nov 22 2024 at 16:03 UTC