diff options
| -rw-r--r-- | arm/gen/sail_trans_out.hgen | 2 | ||||
| -rw-r--r-- | arm/gen/shallow_ast_to_herdtools_ast.hgen | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/arm/gen/sail_trans_out.hgen b/arm/gen/sail_trans_out.hgen index 9595f00c..84826c18 100644 --- a/arm/gen/sail_trans_out.hgen +++ b/arm/gen/sail_trans_out.hgen @@ -64,7 +64,7 @@ | "Address", [d; page; imm] -> `AArch64Address ( translate_out_regzr Set64 d, translate_out_bool page, - translate_out_big_bit imm) + translate_out_signed_big_bit imm) | "LogicalImmediate", [d; n; datasize; setflags; op; imm] -> let setflags' = translate_out_bool setflags in diff --git a/arm/gen/shallow_ast_to_herdtools_ast.hgen b/arm/gen/shallow_ast_to_herdtools_ast.hgen index aa989e95..6927767e 100644 --- a/arm/gen/shallow_ast_to_herdtools_ast.hgen +++ b/arm/gen/shallow_ast_to_herdtools_ast.hgen @@ -64,7 +64,7 @@ | Address0 (d, page, imm) -> `AArch64Address ( translate_out_regzr Set64 d, translate_out_bool page, - translate_out_big_bit imm) + translate_out_signed_big_bit imm) | LogicalImmediate (d, n, datasize, setflags, op, imm) -> let setflags' = translate_out_bool setflags in |