diff options
| author | Ben Simner | 2019-03-05 12:57:23 +0000 |
|---|---|---|
| committer | Ben Simner | 2019-03-05 15:15:08 +0000 |
| commit | 25899e3f0b0c2b21da26111ce8691cf5a16f3bd5 (patch) | |
| tree | a76511f12002964e80599a2e20ce61a779adb0cd /aarch64_small/gen/regs_out_in.hgen | |
| parent | 98f447e1ca70999350dac4b7a0d3fbce5c64071b (diff) | |
Add Unallocated to the gen files
Adds the Unallocated sail ast node to be tracked by all the
transformation files, to track the change made to sail1.
Diffstat (limited to 'aarch64_small/gen/regs_out_in.hgen')
| -rw-r--r-- | aarch64_small/gen/regs_out_in.hgen | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aarch64_small/gen/regs_out_in.hgen b/aarch64_small/gen/regs_out_in.hgen index 724a574b..bab53be7 100644 --- a/aarch64_small/gen/regs_out_in.hgen +++ b/aarch64_small/gen/regs_out_in.hgen @@ -1,6 +1,7 @@ (* for each instruction instance, identify the role of the registers and possible branching: (outputs, inputs, voidstars, branch) *) +| `AArch64Unallocated -> failwith "UNALLOCATED is not implemented" | `AArch64TMStart t -> failwith "TSTART is not implemented" | `AArch64TMCommit -> failwith "TCOMMIT is not implemented" | `AArch64TMAbort (retry,reason) -> failwith "TABORT is not implemented" |