From 7692de3c941035ed7549b5cae6a11ef1a615f2c9 Mon Sep 17 00:00:00 2001 From: Linda Njau Date: Tue, 27 Aug 2024 18:26:26 +0300 Subject: [PATCH] Add missing identity functions This change adds four missing identity functions to the identity_funcs list. These omissions caused certain operands to be incorrectly rendered in the syntax field of the JSON output. This update resolves those problems and helps prevent other potential errors in the JSON generation process. --- src/sail_json_backend/json.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/sail_json_backend/json.ml b/src/sail_json_backend/json.ml index 531ee184f..2755836cd 100644 --- a/src/sail_json_backend/json.ml +++ b/src/sail_json_backend/json.ml @@ -483,6 +483,10 @@ let identity_funcs = "freg_or_reg_name"; "vreg_name"; "maybe_vmask"; + "sew_flag"; + "maybe_lmul_flag"; + "maybe_ta_flag"; + "maybe_ma_flag"; ] let defunction f n =