Dimo
|
1ddee38895
|
cleanup_semantics() should remove repeated prim_from_bv(x)
|
2017-07-28 10:47:08 -07:00 |
|
Dimo
|
11014ec544
|
Nit: Make elaborate return a new Rtl instead of modifying the existing rtl inplace
|
2017-07-28 10:47:08 -07:00 |
|
Dimo
|
ef4ca676a4
|
Move apply() -> Xform.apply(); is_concrete_rtl() -> Rtl.is_concrete(); cleanup_concrete_rtl() -> Rtl.cleanup_concrete_rtl(). Documnetation nits in semantics.elaborate
|
2017-07-28 10:47:08 -07:00 |
|
Dimo
|
71f1646675
|
With multiple semantic transforms mentioning Enumerators, it may be possible for there not to be a substitution from the concrete rtl to some of the transforms. This is not an error - just a case where a given semantic transform doesnt apply. (e.g. icmp being described by different transforms with concrete intcc condition codes)
|
2017-07-28 10:47:08 -07:00 |
|
Dimo
|
7caaf7fea1
|
Fix CI: Var was only imported when mypy was present.
|
2017-07-24 14:08:44 -07:00 |
|
Dimo
|
dfb5a524b9
|
TI failure due to misplaced import
|
2017-07-24 14:08:44 -07:00 |
|
Dimo
|
74f72a3b43
|
Documentation nits; Sematnics syntax cleanup
|
2017-07-24 14:08:44 -07:00 |
|
Dimo
|
a5fe64440f
|
Add insturction semantics. Add semantics for vsplit,vconcat,iadd. Add initial tests
|
2017-07-24 14:08:44 -07:00 |
|