diff options
Diffstat (limited to 'aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen')
| -rw-r--r-- | aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen b/aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen index b8fe851c..2d0ac5e2 100644 --- a/aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen +++ b/aarch64_small/gen/herdtools_ast_to_shallow_ast.hgen @@ -1,20 +1,20 @@ -| `AArch64Unallocated -> Unallocated +| `AArch64Unallocated -> Unallocated () | `AArch64TMStart t -> TMStart (translate_reg "t" t) -| `AArch64TMCommit -> TMCommit +| `AArch64TMCommit -> TMCommit () | `AArch64TMAbort (retry,reason) -> TMAbort - (translate_boolean "retry" retry, + (translate_bool "retry" retry, translate_bit5 "reason" reason) -| `AArch64TMTest -> TMTest +| `AArch64TMTest -> TMTest () | `AArch64ImplementationDefinedStopFetching -> - ImplementationDefinedStopFetching + ImplementationDefinedStopFetching () | `AArch64ImplementationDefinedThreadStart -> - ImplementationDefinedThreadStart + ImplementationDefinedThreadStart () | `AArch64ImplementationDefinedTestBeginEnd(isEnd) -> ImplementationDefinedTestBeginEnd |