diff options
Diffstat (limited to 'aarch64_small/gen/trans_sail.hgen')
| -rw-r--r-- | aarch64_small/gen/trans_sail.hgen | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/aarch64_small/gen/trans_sail.hgen b/aarch64_small/gen/trans_sail.hgen index 2b176308..df2ed81c 100644 --- a/aarch64_small/gen/trans_sail.hgen +++ b/aarch64_small/gen/trans_sail.hgen @@ -1,3 +1,5 @@ +| `AArch64Unallocated -> ("Unallocated", [], []) + | `AArch64TMStart t -> ("TMStart", [translate_reg "t" t], []) |