From 35770c4ccc27385fcf529c08d8aa92151062bc4e Mon Sep 17 00:00:00 2001 From: rina Date: Wed, 13 Mar 2024 15:46:03 +1000 Subject: [PATCH] aslt: remove parens around var decl names --- libASL/Semantics.g4 | 6 +-- libASL/asl.ott | 10 ++++- tests/aslt/test_antlr.t | 4 +- tests/aslt/test_cntlm.t | 82 ++++++++++++++++++++--------------------- tests/aslt/test_dis.t | 4 +- 5 files changed, 55 insertions(+), 51 deletions(-) diff --git a/libASL/Semantics.g4 b/libASL/Semantics.g4 index 834d9a3f..0a392eb8 100644 --- a/libASL/Semantics.g4 +++ b/libASL/Semantics.g4 @@ -14,7 +14,7 @@ assignment_stmt: 'Stmt_Assign' OPEN_PAREN lexpr COMMA expr CLOSE_PAREN # Assign | 'Stmt_ConstDecl' OPEN_PAREN type COMMA ident COMMA expr CLOSE_PAREN # ConstDecl | 'Stmt_VarDecl' OPEN_PAREN type COMMA ident COMMA expr CLOSE_PAREN # VarDecl - | 'Stmt_VarDeclsNoInit' OPEN_PAREN type COMMA OPEN_BRACKET OPEN_PAREN (ident (COMMA ident)*)? CLOSE_PAREN CLOSE_BRACKET CLOSE_PAREN # VarDeclsNoInit + | 'Stmt_VarDeclsNoInit' OPEN_PAREN type COMMA OPEN_BRACKET (ident (COMMA ident)*)? CLOSE_BRACKET CLOSE_PAREN # VarDeclsNoInit | 'Stmt_Assert' OPEN_PAREN expr CLOSE_PAREN # Assert | 'Stmt_Throw' OPEN_PAREN message=ident+ CLOSE_PAREN # Throw; @@ -88,12 +88,8 @@ CLOSE_PAREN: ')'; COMMA: ','; OPEN_BRACKET: '['; CLOSE_BRACKET: ']'; -OPEN_CURLY: '{'; -CLOSE_CURLY: '}'; SQUOTE: '\''; QUOTE: '"'; -EQUALS: '='; -COLON: ':'; SCOLON: ';'; // Ignored diff --git a/libASL/asl.ott b/libASL/asl.ott index f69a016b..a345a999 100644 --- a/libASL/asl.ott +++ b/libASL/asl.ott @@ -193,6 +193,14 @@ anyident :: '' ::= {{ phantom }} | id :: :: AnyIdent {{ ocaml Ident [[id]] }} | typeid :: :: AnyTypeIdent {{ ocaml Ident [[typeid]] }} +ident_list :: 'IdentList_' ::= + {{ phantom }} {{ ocaml ident list }} + {{ pp-raw es = string "[" ^^ separate (string ";") (List.map pp_raw_ident es) ^^ string "]" }} + {{ pp es = separate (string ",") (List.map pp_ident es) }} + | ident1 , .. , identn :: :: List + {{ ocaml [[ident1..identn]] }} + + grammar %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -556,7 +564,7 @@ nonempty_block :: 'Block_' ::= {{ quotient-with indented_block }} assignment_stmt :: 'Stmt_' ::= {{ quotient-with stmt }} {{ aux _ l }} - | ty ident1 , ... , identn ; :: :: VarDeclsNoInit + | ty ident_list ; :: :: VarDeclsNoInit | ty ident = expr ; :: :: VarDecl | constant ty ident = expr ; :: :: ConstDecl | lexpr = expr ; :: :: Assign diff --git a/tests/aslt/test_antlr.t b/tests/aslt/test_antlr.t index c1ce67a9..ca8d097a 100644 --- a/tests/aslt/test_antlr.t +++ b/tests/aslt/test_antlr.t @@ -23,7 +23,7 @@ tests building and running of the antlr grammar. requires java (stmt (call_stmt Stmt_TCall ( (ident " Mem.set.0 ") , [ (targs (expr (integer 8))) ] , [ (expr Expr_Array ( (expr Expr_Var ( (ident " _R ") )) , (expr (integer 3)) )) ; (expr (integer 8)) ; (expr (integer 0)) ; (expr Expr_Array ( (expr Expr_Var ( (ident " _R ") )) , (expr (integer 1)) )) ] ))) (stmt (call_stmt Stmt_TCall ( (ident " Mem.set.0 ") , [ (targs (expr (integer 8))) ] , [ (expr Expr_TApply ( (ident " add_bits.0 ") , [ (targs (expr (integer 64))) ] , [ (expr Expr_Array ( (expr Expr_Var ( (ident " _R ") )) , (expr (integer 3)) )) ; (expr (bits '0000000000000000000000000000000000000000000000000000000000001000')) ] )) ; (expr (integer 8)) ; (expr (integer 0)) ; (expr Expr_Array ( (expr Expr_Var ( (ident " _R ") )) , (expr (integer 2)) )) ] ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _R ") )) , (expr (integer 3)) )) , (expr Expr_TApply ( (ident " add_bits.0 ") , [ (targs (expr (integer 64))) ] , [ (expr Expr_Array ( (expr Expr_Var ( (ident " _R ") )) , (expr (integer 3)) )) ; (expr (bits '0000000000000000000000000000000000000000000000000000000010000000')) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 3)) )) , [ ( (ident " FPDecodeRounding5__5 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 3)) )) , [ (ident " FPDecodeRounding5__5 ") ] ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " FPDecodeRounding5__5 ") )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 2))) ; (targs (expr (integer 3))) ] , [ (expr Expr_Slices ( (expr Expr_Var ( (ident " FPCR ") )) , [ (slice_expr Slice_LoWd ( (expr (integer 22)) , (expr (integer 2)) )) ] )) ; (expr (integer 3)) ] )) ))) (stmt (assignment_stmt Stmt_ConstDecl ( (type Type_Bits ( (expr (integer 64)) )) , (ident " Exp9__5 ") , (expr Expr_TApply ( (ident " FixedToFP.0 ") , [ (targs (expr (integer 32))) ; (targs (expr (integer 64))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _R ") )) , (expr (integer 2)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 32)) )) ] )) ; (expr (integer 0)) ; (expr Expr_Var ( (ident " TRUE ") )) ; (expr Expr_Var ( (ident " FPCR ") )) ; (expr Expr_TApply ( (ident " cvt_bits_uint.0 ") , [ (targs (expr (integer 3))) ] , [ (expr Expr_Var ( (ident " FPDecodeRounding5__5 ") )) ] )) ] )) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " Exp9__5 ") )) ; (expr (integer 128)) ] )) ))) @@ -36,7 +36,7 @@ tests building and running of the antlr grammar. requires java (stmt (assignment_stmt Stmt_ConstDecl ( (type Type_Bits ( (expr (integer 9)) )) , (ident " Cse2__5 ") , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 8))) ; (targs (expr (integer 9))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 40)) , (expr (integer 8)) )) ] )) ; (expr (integer 9)) ] )) ))) (stmt (assignment_stmt Stmt_ConstDecl ( (type Type_Bits ( (expr (integer 9)) )) , (ident " Cse1__5 ") , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 8))) ; (targs (expr (integer 9))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 48)) , (expr (integer 8)) )) ] )) ; (expr (integer 9)) ] )) ))) (stmt (assignment_stmt Stmt_ConstDecl ( (type Type_Bits ( (expr (integer 9)) )) , (ident " Cse0__5 ") , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 8))) ; (targs (expr (integer 9))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 56)) , (expr (integer 8)) )) ] )) ; (expr (integer 9)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " result__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " result__4 ") ] ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " result__4 ") )) , (expr (bits '0000000000000000000000000000000000000000000000000000000000000000')) ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " slt_bits.0 ") , [ (targs (expr (integer 9))) ] , [ (expr Expr_Var ( (ident " Cse7__5 ") )) ; (expr (bits '000010000')) ] )) , (stmts [ diff --git a/tests/aslt/test_cntlm.t b/tests/aslt/test_cntlm.t index 20a4ffea..5661a63b 100644 --- a/tests/aslt/test_cntlm.t +++ b/tests/aslt/test_cntlm.t @@ -51489,38 +51489,38 @@ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _R ") )) , (expr (integer 3)) )) , (expr Expr_Array ( (expr Expr_Var ( (ident " _R ") )) , (expr (integer 3)) )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _R ") )) , (expr (integer 3)) )) , (expr Expr_TApply ( (ident " add_bits.0 ") , [ (targs (expr (integer 64))) ] , [ (expr Expr_Array ( (expr Expr_Var ( (ident " _R ") )) , (expr (integer 3)) )) ; (expr (bits '0000000000000000000000000000000000000000000000000000000000000001')) ] )) ))) ]) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If10__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If10__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 64))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ; (expr (bits '0000000000000000000000000000000000000000000000000000000000000000')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If10__4 ") )) , (expr (bits '1111111111111111111111111111111111111111111111111111111111111111')) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If10__4 ") )) , (expr (bits '0000000000000000000000000000000000000000000000000000000000000000')) ))) ]) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If16__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If16__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 64))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 64)) , (expr (integer 64)) )) ] )) ; (expr (bits '0000000000000000000000000000000000000000000000000000000000000000')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If16__4 ") )) , (expr (bits '1111111111111111111111111111111111111111111111111111111111111111')) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If16__4 ") )) , (expr (bits '0000000000000000000000000000000000000000000000000000000000000000')) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " append_bits.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 64))) ] , [ (expr Expr_Var ( (ident " If16__4 ") )) ; (expr Expr_Var ( (ident " If10__4 ") )) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 32)) )) , [ ( (ident " If13__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 32)) )) , [ (ident " If13__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 32))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 32)) )) ] )) ; (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 6)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 32)) )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If13__4 ") )) , (expr (bits '11111111111111111111111111111111')) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If13__4 ") )) , (expr (bits '00000000000000000000000000000000')) ))) ]) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 32)) )) , [ ( (ident " If19__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 32)) )) , [ (ident " If19__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 32))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 32)) , (expr (integer 32)) )) ] )) ; (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 6)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 32)) , (expr (integer 32)) )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If19__4 ") )) , (expr (bits '11111111111111111111111111111111')) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If19__4 ") )) , (expr (bits '00000000000000000000000000000000')) ))) ]) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 32)) )) , [ ( (ident " If25__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 32)) )) , [ (ident " If25__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 32))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 64)) , (expr (integer 32)) )) ] )) ; (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 6)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 64)) , (expr (integer 32)) )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If25__4 ") )) , (expr (bits '11111111111111111111111111111111')) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If25__4 ") )) , (expr (bits '00000000000000000000000000000000')) ))) ]) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 32)) )) , [ ( (ident " If31__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 32)) )) , [ (ident " If31__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 32))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 96)) , (expr (integer 32)) )) ] )) ; (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 6)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 96)) , (expr (integer 32)) )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If31__4 ") )) , (expr (bits '11111111111111111111111111111111')) ))) ]) , [ ] , @@ -59828,238 +59828,238 @@ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 7)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_TApply ( (ident " append_bits.0 ") , [ (targs (expr (integer 1))) ; (targs (expr (integer 63))) ] , [ (expr (bits '0')) ; (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 4)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 63)) )) ] )) ] )) ; (expr (integer 128)) ] )) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_TApply ( (ident " append_bits.0 ") , [ (targs (expr (integer 1))) ; (targs (expr (integer 63))) ] , [ (expr (bits '0')) ; (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 63)) )) ] )) ] )) ; (expr (integer 128)) ] )) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_TApply ( (ident " append_bits.0 ") , [ (targs (expr (integer 1))) ; (targs (expr (integer 63))) ] , [ (expr (bits '0')) ; (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 11)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 63)) )) ] )) ] )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If7__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If7__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If7__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If9__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If9__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " and_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) ; (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '0')) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If9__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If9__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If9__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 2)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If7__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If7__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If7__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If7__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If7__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 2)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If7__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 4)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If7__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If7__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If7__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 10)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 2)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If7__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If7__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 2)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If7__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 3)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If7__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If7__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 3)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If7__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 5)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 5)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If7__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If7__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 5)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 5)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If7__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 6)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 5)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 5)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If7__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If7__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 6)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 5)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 5)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If7__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If7__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If7__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If7__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 11)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 10)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " not_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 11)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 14)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 12)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 13)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If7__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If7__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 14)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If7__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 11)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If7__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If9__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If9__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " and_bool.0 ") , [ ] , [ (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " V ") )) ] )) ; (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '0')) ] )) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If9__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If9__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 9)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If9__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 9)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " Z ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 14)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 13)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 9)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 64)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 9)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) , [ ] , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 8)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 64)) )) ] )) ))) ]) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Array ( (lexpr LExpr_Var ( (ident " _Z ") )) , (expr (integer 9)) )) , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 64))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Var ( (ident " If6__4 ") )) ; (expr (integer 128)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 32)) )) , [ ( (ident " If6__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 32)) )) , [ (ident " If6__4 ") ] ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " eq_bits.0 ") , [ (targs (expr (integer 1))) ] , [ (expr Expr_Field ( (expr Expr_Var ( (ident " PSTATE ") )) , (ident " N ") )) ; (expr (bits '1')) ] )) , (stmts [ (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " If6__4 ") )) , (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 0)) , (expr (integer 32)) )) ] )) ))) ]) , [ ] , @@ -75656,7 +75656,7 @@ (stmt (assignment_stmt Stmt_ConstDecl ( (type Type_Bits ( (expr (integer 9)) )) , (ident " Cse2__5 ") , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 8))) ; (targs (expr (integer 9))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 3)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 104)) , (expr (integer 8)) )) ] )) ; (expr (integer 9)) ] )) ))) (stmt (assignment_stmt Stmt_ConstDecl ( (type Type_Bits ( (expr (integer 9)) )) , (ident " Cse1__5 ") , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 8))) ; (targs (expr (integer 9))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 3)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 112)) , (expr (integer 8)) )) ] )) ; (expr (integer 9)) ] )) ))) (stmt (assignment_stmt Stmt_ConstDecl ( (type Type_Bits ( (expr (integer 9)) )) , (ident " Cse0__5 ") , (expr Expr_TApply ( (ident " ZeroExtend.0 ") , [ (targs (expr (integer 8))) ; (targs (expr (integer 9))) ] , [ (expr Expr_Slices ( (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 3)) )) , [ (slice_expr Slice_LoWd ( (expr (integer 120)) , (expr (integer 8)) )) ] )) ; (expr (integer 9)) ] )) ))) - (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 128)) )) , [ ( (ident " result__4 ") ) ] ))) + (stmt (assignment_stmt Stmt_VarDeclsNoInit ( (type Type_Bits ( (expr (integer 128)) )) , [ (ident " result__4 ") ] ))) (stmt (assignment_stmt Stmt_ConstDecl ( (type Type_Bits ( (expr (integer 256)) )) , (ident " Cse14__5 ") , (expr Expr_TApply ( (ident " append_bits.0 ") , [ (targs (expr (integer 128))) ; (targs (expr (integer 128))) ] , [ (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 1)) )) ; (expr Expr_Array ( (expr Expr_Var ( (ident " _Z ") )) , (expr (integer 0)) )) ] )) ))) (stmt (assignment_stmt Stmt_Assign ( (lexpr LExpr_Var ( (ident " result__4 ") )) , (expr (bits '00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000')) ))) (stmt (conditional_stmt Stmt_If ( (expr Expr_TApply ( (ident " slt_bits.0 ") , [ (targs (expr (integer 9))) ] , [ (expr Expr_Var ( (ident " Cse16__5 ") )) ; (expr (bits '000100000')) ] )) , diff --git a/tests/aslt/test_dis.t b/tests/aslt/test_dis.t index ddccc6ed..786d43ab 100644 --- a/tests/aslt/test_dis.t +++ b/tests/aslt/test_dis.t @@ -58,7 +58,7 @@ run asli with these commands constant bits ( 64 ) Exp9__5 = FixedToFP.0 {{ 32,64 }} ( __array _R [ 2 ] [ 0 +: 32 ],0,TRUE,FPCR,cvt_bits_uint.0 {{ 3 }} ( FPDecodeRounding5__5 ) ) ; __array _Z [ 0 ] = ZeroExtend.0 {{ 64,128 }} ( Exp9__5,128 ) ; "" - Stmt_VarDeclsNoInit(Type_Bits(3),[("FPDecodeRounding5__5")]) + Stmt_VarDeclsNoInit(Type_Bits(3),["FPDecodeRounding5__5"]) Stmt_Assign(LExpr_Var("FPDecodeRounding5__5"),Expr_TApply("ZeroExtend.0",[2;3],[Expr_Slices(Expr_Var("FPCR"),[Slice_LoWd(22,2)]);3])) Stmt_ConstDecl(Type_Bits(64),"Exp9__5",Expr_TApply("FixedToFP.0",[32;64],[Expr_Slices(Expr_Array(Expr_Var("_R"),2),[Slice_LoWd(0,32)]);0;Expr_Var("TRUE");Expr_Var("FPCR");Expr_TApply("cvt_bits_uint.0",[3],[Expr_Var("FPDecodeRounding5__5")])])) Stmt_Assign(LExpr_Array(LExpr_Var("_Z"),0),Expr_TApply("ZeroExtend.0",[64;128],[Expr_Var("Exp9__5");128])) @@ -125,7 +125,7 @@ run asli with these commands Stmt_ConstDecl(Type_Bits(9),"Cse2__5",Expr_TApply("ZeroExtend.0",[8;9],[Expr_Slices(Expr_Array(Expr_Var("_Z"),0),[Slice_LoWd(40,8)]);9])) Stmt_ConstDecl(Type_Bits(9),"Cse1__5",Expr_TApply("ZeroExtend.0",[8;9],[Expr_Slices(Expr_Array(Expr_Var("_Z"),0),[Slice_LoWd(48,8)]);9])) Stmt_ConstDecl(Type_Bits(9),"Cse0__5",Expr_TApply("ZeroExtend.0",[8;9],[Expr_Slices(Expr_Array(Expr_Var("_Z"),0),[Slice_LoWd(56,8)]);9])) - Stmt_VarDeclsNoInit(Type_Bits(64),[("result__4")]) + Stmt_VarDeclsNoInit(Type_Bits(64),["result__4"]) Stmt_Assign(LExpr_Var("result__4"),'0000000000000000000000000000000000000000000000000000000000000000') Stmt_If(Expr_TApply("slt_bits.0",[9],[Expr_Var("Cse7__5");'000010000']),[ Stmt_Assert(Expr_TApply("and_bool.0",[],[Expr_TApply("sle_bits.0",[9],['000000000';Expr_Var("Cse7__5")]);Expr_TApply("sle_bits.0",[13],[Expr_TApply("ZeroExtend.0",[12;13],[Expr_TApply("mul_bits.0",[12],[Expr_TApply("ZeroExtend.0",[9;12],[Expr_TApply("add_bits.0",[9],[Expr_Var("Cse7__5");'000000001']);12]);'000000001000']);13]);'0000010000000'])]));