Kevin Quick
d53ad182e8
Add genExecInstructionLogging and genExecInstructionLogStdErr.
...
Allows generatino of exec instructions with logging output to stderr
or another designated location, which can be useful for diagnostic
purposes.
2018-02-22 15:54:35 -08:00
Kevin Quick
ef503793b7
Show unsupported Crucible elt in error message.
2018-02-20 08:46:57 -08:00
Kevin Quick
c94f02d071
Add semantics support for BVUrem operation.
2018-02-20 08:43:55 -08:00
Kevin Quick
22bbdf7ee7
Common ExtractValue instances for sharing amongst architectures.
2018-02-07 11:34:38 -08:00
Ben Selfridge
5cf4c68498
Fixed a bug I introduced because of a delete in the wrong buffer
2018-01-05 14:23:11 -08:00
Tristan Ravitch
b7359957bf
Remove the Witness type and related constraint magic
...
This change uses ShapeReprs, and requires changes from dismantle and semmc
2017-12-17 21:29:17 -08:00
Tristan Ravitch
f1b0775be8
Update to the new parameterized-utils List
...
This replaces the old ShapedList from dismantle-tablegen
2017-12-13 21:56:29 -08:00
Tristan Ravitch
269c329b93
Factor out the rest of the architecture-independent code
...
The PowerPC bits are now in macaw-ppc and the rest now lives in macaw-semmc.
2017-12-10 20:53:03 -08:00
Tristan Ravitch
7bcc90c83d
Start migrating shareable TH code from macaw-ppc to macaw-semmc
...
This change still needs some work, but no other code depends on it yet
2017-12-06 17:28:23 -08:00
Tristan Ravitch
7256fd597f
Generalize the generator monad, the TH helper monad, and the simplifier
...
This code was mostly architecture independent already, so this commit moves it
to the macaw-semmc module so that it can be shared with the ARM backend. I
still plan to move the main TH module with the SimpleBuilder to macaw
translation, but that requires a few other changes first.
2017-11-26 23:31:04 -08:00