mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-30 14:37:55 +03:00
06f64078df
Update to API changes in macaw-base in macaw-ppc and macaw-arm The "block label" abstraction (used during arch-specific disassembly) was removed some time ago in the base macaw library. This change updates macaw-ppc and macaw-arm to remove uses of block labels. The major change is that the disassembly function only returns a single block at a time instead of a sequence of blocks. To facilitate this, the handling of the PowerPC conditional trap instruction (trap doubleword) is now an architecture-specific terminator instruction instead of encoding the logic of conditional trapping. We will now have to encode the conditional trapping logic in macaw-ppc-symbolic. Note that we have not done so yet. This commit also updates the expected results of the PowerPC tests; the number of discovered blocks is different, but not significantly so. It is hard to tell if this is a regression or an improvement. |
||
|---|---|---|
| .. | ||
| ppc | ||
| Main.hs | ||
| PPC64InstructionCoverage.hs | ||
| PPC64Tests.hs | ||
| Shared.hs | ||