diff options
Diffstat (limited to 'aarch64_small/gen/shallow_ast_to_herdtools_ast.hgen')
| -rw-r--r-- | aarch64_small/gen/shallow_ast_to_herdtools_ast.hgen | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/aarch64_small/gen/shallow_ast_to_herdtools_ast.hgen b/aarch64_small/gen/shallow_ast_to_herdtools_ast.hgen index 55179a97..96b74b4f 100644 --- a/aarch64_small/gen/shallow_ast_to_herdtools_ast.hgen +++ b/aarch64_small/gen/shallow_ast_to_herdtools_ast.hgen @@ -1,20 +1,20 @@ -| Unallocated -> `AArch64Unallocated +| Unallocated () -> `AArch64Unallocated | TMStart t -> `AArch64TMStart (translate_out_regzr Set64 t) -| TMCommit -> `AArch64TMCommit +| TMCommit () -> `AArch64TMCommit | TMAbort (retry, reason) -> `AArch64TMAbort ( translate_out_bool retry, translate_out_bits reason) -| TMTest -> `AArch64TMTest +| TMTest () -> `AArch64TMTest -| ImplementationDefinedStopFetching -> +| ImplementationDefinedStopFetching () -> `AArch64ImplementationDefinedStopFetching -| ImplementationDefinedThreadStart -> +| ImplementationDefinedThreadStart () -> `AArch64ImplementationDefinedThreadStart | ImplementationDefinedTestBeginEnd (isEnd) -> |