diff options
Diffstat (limited to 'aarch64/full/decode.sail')
| -rw-r--r-- | aarch64/full/decode.sail | 3479 |
1 files changed, 3479 insertions, 0 deletions
diff --git a/aarch64/full/decode.sail b/aarch64/full/decode.sail new file mode 100644 index 00000000..41ec5f16 --- /dev/null +++ b/aarch64/full/decode.sail @@ -0,0 +1,3479 @@ +function clause decode (0b011111110 @ _ : bits(7) @ 0b010101 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_leftinsert_sisd_decode(U, immh, immb, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b1011110 @ _ : bits(7) @ 0b010101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_leftinsert_simd_decode(Q, U, immh, immb, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b001001 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_sub_int_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b100011 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_cmp_bitwise_sisd_decode(U, size, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b100011 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_cmp_bitwise_simd_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011100 @ _ : bits(1) @ 0b100001011010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_narrow_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b0110 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + o1 : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_maxmin_single_decode(Q, U, size, Rm, o1, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b001011 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_sub_saturating_sisd_decode(U, size, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b001011 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_sub_saturating_simd_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b10011011 @ _ : bits(1) @ 0b10 @ _ : bits(5) @ 0b0 @ _ : bits(15) as op_code) = { + sf : bits(1) = [op_code[31]]; + op54 : bits(2) = op_code[30 .. 29]; + U : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + o0 : bits(1) = [op_code[15]]; + Ra : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_mul_widening_64128hi_decode(sf, op54, U, Rm, o0, Ra, Rn, Rd) +} + +function clause decode (0b01111111 @ _ : bits(8) @ 0b11 @ _ : bits(1) @ 0b1 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + S : bits(1) = [op_code[13]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_high_sisd_decode(U, size, L, M, Rm, S, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101111 @ _ : bits(8) @ 0b11 @ _ : bits(1) @ 0b1 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + S : bits(1) = [op_code[13]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_high_simd_decode(Q, U, size, L, M, Rm, S, H, Rn, Rd) +} + +function clause decode (0b01011110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b110100 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_mul_double_sisd_decode(U, size, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b110100 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_mul_double_simd_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b1010001 @ _ : bits(23) as op_code) = { + opc : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + L : bits(1) = [op_code[22]]; + imm7 : bits(7) = op_code[21 .. 15]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_pair_general_postidx_aarch64_memory_pair_general_postidx__decode(opc, V, L, imm7, Rt2, Rn, Rt) +} + +function clause decode (_ : bits(2) @ 0b1010011 @ _ : bits(23) as op_code) = { + opc : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + L : bits(1) = [op_code[22]]; + imm7 : bits(7) = op_code[21 .. 15]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_pair_general_preidx_aarch64_memory_pair_general_postidx__decode(opc, V, L, imm7, Rt2, Rn, Rt) +} + +function clause decode (_ : bits(2) @ 0b1010010 @ _ : bits(23) as op_code) = { + opc : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + L : bits(1) = [op_code[22]]; + imm7 : bits(7) = op_code[21 .. 15]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_pair_general_offset_aarch64_memory_pair_general_postidx__decode(opc, V, L, imm7, Rt2, Rn, Rt) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(1) @ 0b10 @ _ : bits(5) @ 0b000011 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_fp16_fused_decode(Q, U, a, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b110011 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + op : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_fp_fused_decode(Q, U, op, sz, Rm, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b100000101110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_diffneg_int_sisd_decode(U, size, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b100000101110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_diffneg_int_simd_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b11001110011 @ _ : bits(5) @ 0b100011 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + O : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha3_rax1_decode(Rm, O, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b000001 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_add_halving_truncating_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(1) @ 0b10 @ _ : bits(5) @ 0b0010 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + E : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + ac : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_cmp_fp16_sisd_decode(U, E, Rm, ac, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b1110 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + E : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + ac : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_cmp_fp_sisd_decode(U, E, sz, Rm, ac, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(1) @ 0b10 @ _ : bits(5) @ 0b0010 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + E : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + ac : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_cmp_fp16_simd_decode(Q, U, E, Rm, ac, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b1110 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + E : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + ac : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_cmp_fp_simd_decode(Q, U, E, sz, Rm, ac, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b0 @ _ : bits(5) @ 0b0 @ _ : bits(1) @ 0b1110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + op : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_vector_permute_zip_decode(Q, size, Rm, op, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01111 @ _ : bits(8) @ 0b1110 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_dotp_decode(Q, U, size, L, M, Rm, H, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b010 @ _ : bits(2) @ 0b1 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + R : bits(1) = [op_code[12]]; + S : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_shift_sisd_decode(U, size, Rm, R, S, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b010 @ _ : bits(2) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + R : bits(1) = [op_code[12]]; + S : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_shift_simd_decode(Q, U, size, Rm, R, S, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111100 @ _ : bits(2) @ 0b1 @ _ : bits(9) @ 0b10 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + option_name : bits(3) = op_code[15 .. 13]; + S : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_simdfp_register_aarch64_memory_single_simdfp_register__decode(size, V, opc, Rm, option_name, S, Rn, Rt) +} + +function clause decode (0b00011111 @ _ : bits(24) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + o1 : bits(1) = [op_code[21]]; + Rm : bits(5) = op_code[20 .. 16]; + o0 : bits(1) = [op_code[15]]; + Ra : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_arithmetic_mul_addsub_decode(M, S, typ, o1, Rm, o0, Ra, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b1111001111001110110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_fp16_conv_int_sisd_decode(U, a, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b111100 @ _ : bits(1) @ 0b100001110110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_conv_int_sisd_decode(U, sz, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b0111001111001110110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_fp16_conv_int_simd_decode(Q, U, a, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011100 @ _ : bits(1) @ 0b100001110110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_conv_int_simd_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (0b11001110001 @ _ : bits(5) @ 0b0 @ _ : bits(15) as op_code) = { + Op0 : bits(2) = op_code[22 .. 21]; + Rm : bits(5) = op_code[20 .. 16]; + Ra : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha3_bcax_decode(Op0, Rm, Ra, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b0 @ _ : bits(5) @ 0b0 @ _ : bits(1) @ 0b1010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + op : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_vector_permute_transpose_decode(Q, size, Rm, op, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111000 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b0 @ _ : bits(3) @ 0b00 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + A : bits(1) = [op_code[23]]; + R : bits(1) = [op_code[22]]; + Rs : bits(5) = op_code[20 .. 16]; + o3 : bits(1) = [op_code[15]]; + opc : bits(3) = op_code[14 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_atomicops_ld_decode(size, V, A, R, Rs, o3, opc, Rn, Rt) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b111110 @ _ : bits(7) @ 0b00 @ _ : bits(2) @ 0b01 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + o1 : bits(1) = [op_code[13]]; + o0 : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_right_sisd_decode(U, immh, immb, o1, o0, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011110 @ _ : bits(7) @ 0b00 @ _ : bits(2) @ 0b01 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + o1 : bits(1) = [op_code[13]]; + o0 : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_right_simd_decode(Q, U, immh, immb, o1, o0, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(1) @ 0b1111001101 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + o2 : bits(1) = [op_code[23]]; + o1 : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_fp16_conv_float_bulk_sisd_decode(U, o2, o1, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b100001101 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + o2 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + o1 : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_conv_float_bulk_sisd_decode(U, o2, sz, o1, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(1) @ 0b1111001101 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o2 : bits(1) = [op_code[23]]; + o1 : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_fp16_conv_float_bulk_simd_decode(Q, U, o2, o1, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b100001101 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o2 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + o1 : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_conv_float_bulk_simd_decode(Q, U, o2, sz, o1, Rn, Rd) +} + +function clause decode (0b01011110000 @ _ : bits(5) @ 0b011000 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha3op_sha256sched1_decode(size, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b10111011111001111110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_sqrtfp16_decode(Q, U, a, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b1011101 @ _ : bits(1) @ 0b100001111110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_sqrt_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (0b01011110110 @ _ : bits(5) @ 0b001111 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_rsqrtsfp16_sisd_decode(U, a, Rm, Rn, Rd) +} + +function clause decode (0b010111101 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b111111 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_rsqrts_sisd_decode(U, sz, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110110 @ _ : bits(5) @ 0b001111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_rsqrtsfp16_simd_decode(Q, U, a, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011101 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b111111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_rsqrts_simd_decode(Q, U, sz, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b00111100000 @ _ : bits(3) @ 0b111111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[18]]; + b : bits(1) = [op_code[17]]; + c : bits(1) = [op_code[16]]; + cmode : bits(4) = op_code[15 .. 12]; + o2 : bits(1) = [op_code[11]]; + d : bits(1) = [op_code[9]]; + e : bits(1) = [op_code[8]]; + f : bits(1) = [op_code[7]]; + g : bits(1) = [op_code[6]]; + h : bits(1) = [op_code[5]]; + Rd : bits(5) = op_code[4 .. 0]; + vector_fp16_movi_decode(Q, op, a, b, c, cmode, o2, d, e, f, g, h, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b0111100000 @ _ : bits(7) @ 0b01 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[18]]; + b : bits(1) = [op_code[17]]; + c : bits(1) = [op_code[16]]; + cmode : bits(4) = op_code[15 .. 12]; + o2 : bits(1) = [op_code[11]]; + d : bits(1) = [op_code[9]]; + e : bits(1) = [op_code[8]]; + f : bits(1) = [op_code[7]]; + g : bits(1) = [op_code[6]]; + h : bits(1) = [op_code[5]]; + Rd : bits(5) = op_code[4 .. 0]; + vector_logical_decode(Q, op, a, b, c, cmode, o2, d, e, f, g, h, Rd) +} + +function clause decode (0b01011111 @ _ : bits(8) @ 0b1011 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mul_double_sisd_decode(U, size, L, M, Rm, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001111 @ _ : bits(8) @ 0b1011 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mul_double_simd_decode(Q, U, size, L, M, Rm, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b1011101 @ _ : bits(1) @ 0b100001110010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_sqrtest_int_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (0b110110101100000101000 @ _ : bits(11) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + D : bits(1) = [op_code[10]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_pac_strip_dp_1src_decode(sf, S, opcode2, D, Rn, Rd) +} + +function clause decode (0b11010101000000110010000011111111 as op_code) = { + L : bits(1) = [op_code[21]]; + op0 : bits(2) = op_code[20 .. 19]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + op2 : bits(3) = op_code[7 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + integer_pac_strip_hint_decode(L, op0, op1, CRn, CRm, op2, Rt) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(1) @ 0b10 @ _ : bits(5) @ 0b000001 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Op3 : bits(3) = op_code[13 .. 11]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_maxmin_fp16_2008_decode(Q, U, a, Rm, Op3, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b110001 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_maxmin_fp_2008_decode(Q, U, o1, sz, Rm, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b111110 @ _ : bits(7) @ 0b111111 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_conv_float_sisd_decode(U, immh, immb, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011110 @ _ : bits(7) @ 0b111111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_conv_float_simd_decode(Q, U, immh, immb, Rn, Rd) +} + +function clause decode (0b110110101100000100 @ _ : bits(1) @ 0b010 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + Z : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_pac_pacda_dp_1src_decode(sf, S, opcode2, Z, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011100 @ _ : bits(1) @ 0b100001011110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_widen_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (0b11010101000000110011 @ _ : bits(4) @ 0b01011111 as op_code) = { + L : bits(1) = [op_code[21]]; + op0 : bits(2) = op_code[20 .. 19]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + op2 : bits(3) = op_code[7 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + system_monitors_decode(L, op0, op1, CRn, CRm, op2, Rt) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110000 @ _ : bits(5) @ 0b001111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op : bits(1) = [op_code[29]]; + imm5 : bits(5) = op_code[20 .. 16]; + imm4 : bits(4) = op_code[14 .. 11]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_integer_move_unsigned_decode(Q, op, imm5, imm4, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b00 @ _ : bits(1) @ 0b100 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + o1 : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_addsub_wide_decode(Q, U, size, Rm, o1, Rn, Rd) +} + +function clause decode (0b0101111100 @ _ : bits(6) @ 0b0 @ _ : bits(1) @ 0b01 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + o2 : bits(1) = [op_code[14]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_fp16_sisd_decode(U, size, L, M, Rm, o2, H, Rn, Rd) +} + +function clause decode (0b010111111 @ _ : bits(7) @ 0b0 @ _ : bits(1) @ 0b01 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + o2 : bits(1) = [op_code[14]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_fp_sisd_decode(U, sz, L, M, Rm, o2, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b00111100 @ _ : bits(6) @ 0b0 @ _ : bits(1) @ 0b01 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + o2 : bits(1) = [op_code[14]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_fp16_simd_decode(Q, U, size, L, M, Rm, o2, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011111 @ _ : bits(7) @ 0b0 @ _ : bits(1) @ 0b01 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + o2 : bits(1) = [op_code[14]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_fp_simd_decode(Q, U, sz, L, M, Rm, o2, H, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111000 @ _ : bits(2) @ 0b0 @ _ : bits(9) @ 0b00 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + imm9 : bits(9) = op_code[20 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_general_immediate_signed_offset_normal_aarch64_memory_single_general_immediate_signed_offset_normal__decode(size, V, opc, imm9, Rn, Rt) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b000011 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_add_saturating_sisd_decode(U, size, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b000011 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_add_saturating_simd_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b1010000 @ _ : bits(23) as op_code) = { + opc : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + L : bits(1) = [op_code[22]]; + imm7 : bits(7) = op_code[21 .. 15]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_pair_general_noalloc_aarch64_memory_pair_general_noalloc__decode(opc, V, L, imm7, Rt2, Rn, Rt) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b1 @ _ : bits(6) @ 0b00010 @ _ : bits(10) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + op : bits(1) = [op_code[15]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_arithmetic_mul_product_decode(M, S, typ, Rm, op, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001111 @ _ : bits(8) @ 0b1000 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mul_int_decode(Q, U, size, L, M, Rm, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011110 @ _ : bits(7) @ 0b101001 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_leftlong_decode(Q, U, immh, immb, Rn, Rd) +} + +function clause decode (0b11001110010 @ _ : bits(5) @ 0b10 @ _ : bits(2) @ 0b11 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + imm2 : bits(2) = op_code[13 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sm3_sm3tt2b_decode(Rm, imm2, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110000 @ _ : bits(5) @ 0b0 @ _ : bits(4) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op2 : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + imm4 : bits(4) = op_code[14 .. 11]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_vector_extract_decode(Q, op2, Rm, imm4, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b100001010010 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_extract_sat_sisd_decode(U, size, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b100001010010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_extract_sat_simd_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b10011010110 @ _ : bits(5) @ 0b001100 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + Rm : bits(5) = op_code[20 .. 16]; + opcode2 : bits(6) = op_code[15 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_pac_pacga_dp_2src_decode(sf, op, S, Rm, opcode2, Rn, Rd) +} + +function clause decode (0b11001110011 @ _ : bits(5) @ 0b110001 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + O : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sm3_sm3partw2_decode(Rm, O, Rn, Rd) +} + +function clause decode (0b0101111011111001110110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_recip_fp16_sisd_decode(U, size, Rn, Rd) +} + +function clause decode (0b010111101 @ _ : bits(1) @ 0b100001110110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_recip_float_sisd_decode(U, sz, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b00111011111001110110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_recip_fp16_simd_decode(Q, U, a, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011101 @ _ : bits(1) @ 0b100001110110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_recip_float_simd_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b0010001 @ _ : bits(1) @ 0b1 @ _ : bits(6) @ 0b11111 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + o2 : bits(1) = [op_code[23]]; + L : bits(1) = [op_code[22]]; + o1 : bits(1) = [op_code[21]]; + Rs : bits(5) = op_code[20 .. 16]; + o0 : bits(1) = [op_code[15]]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_atomicops_cas_single_decode(size, o2, L, o1, Rs, o0, Rt2, Rn, Rt) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(1) @ 0b10 @ _ : bits(5) @ 0b001101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_maxmin_fp16_1985_decode(Q, U, o1, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b111101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_maxmin_fp_1985_decode(Q, U, o1, sz, Rm, Rn, Rd) +} + +function clause decode (0b11001110011 @ _ : bits(5) @ 0b100001 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + O : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha512_sha512h2_decode(Rm, O, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b10111000100000010110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_not_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b1101010100000 @ _ : bits(3) @ 0b0100 @ _ : bits(7) @ 0b11111 as op_code) = { + L : bits(1) = [op_code[21]]; + op0 : bits(2) = op_code[20 .. 19]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + op2 : bits(3) = op_code[7 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + system_register_cpsr_decode(L, op0, op1, CRn, CRm, op2, Rt) +} + +function clause decode (0b0101111011111000111010 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_fp16_lessthan_sisd_decode(U, a, Rn, Rd) +} + +function clause decode (0b010111101 @ _ : bits(1) @ 0b100000111010 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_float_lessthan_sisd_decode(U, sz, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b00111011111000111010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_fp16_lessthan_simd_decode(Q, U, a, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011101 @ _ : bits(1) @ 0b100000111010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_float_lessthan_simd_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (0b01010100 @ _ : bits(19) @ 0b0 @ _ : bits(4) as op_code) = { + o1 : bits(1) = [op_code[24]]; + imm19 : bits(19) = op_code[23 .. 5]; + o0 : bits(1) = [op_code[4]]; + cond : bits(4) = op_code[3 .. 0]; + branch_conditional_cond_decode(o1, imm19, o0, cond) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b10111001100000010110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_rbit_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b11010100000 @ _ : bits(16) @ 0b00010 as op_code) = { + opc : bits(3) = op_code[23 .. 21]; + imm16 : bits(16) = op_code[20 .. 5]; + op2 : bits(3) = op_code[4 .. 2]; + LL : bits(2) = op_code[1 .. 0]; + system_exceptions_runtime_hvc_decode(opc, imm16, op2, LL) +} + +function clause decode (0b1 @ _ : bits(1) @ 0b0010000 @ _ : bits(1) @ 0b1 @ _ : bits(21) as op_code) = { + sz : bits(1) = [op_code[30]]; + o2 : bits(1) = [op_code[23]]; + L : bits(1) = [op_code[22]]; + o1 : bits(1) = [op_code[21]]; + Rs : bits(5) = op_code[20 .. 16]; + o0 : bits(1) = [op_code[15]]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_exclusive_pair_decode(sz, o2, L, o1, Rs, o0, Rt2, Rn, Rt) +} + +function clause decode (0b110110101100000100 @ _ : bits(1) @ 0b111 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + Z : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_pac_autdb_dp_1src_decode(sf, S, opcode2, Z, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b101101011000000000000 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_rbit_decode(sf, S, opcode2, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111001 @ _ : bits(24) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + imm12 : bits(12) = op_code[21 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_general_immediate_unsigned_aarch64_memory_single_general_immediate_unsigned__decode(size, V, opc, imm12, Rn, Rt) +} + +function clause decode (0b01011110000 @ _ : bits(5) @ 0b010 @ _ : bits(1) @ 0b00 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + P : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha3op_sha256hash_decode(size, Rm, P, Rn, Rd) +} + +function clause decode (0b110110101100000100 @ _ : bits(1) @ 0b100 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + Z : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_pac_autia_dp_1src_decode(sf, S, opcode2, Z, Rn, Rd) +} + +function clause decode (0b11010101000000110010 @ _ : bits(7) @ 0b11111 as op_code) = { + L : bits(1) = [op_code[21]]; + op0 : bits(2) = op_code[20 .. 19]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + op2 : bits(3) = op_code[7 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + integer_pac_autia_hint_decode(L, op0, op1, CRn, CRm, op2, Rt) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b110000001110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_addlong_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b11010100000 @ _ : bits(16) @ 0b00001 as op_code) = { + opc : bits(3) = op_code[23 .. 21]; + imm16 : bits(16) = op_code[20 .. 5]; + op2 : bits(3) = op_code[4 .. 2]; + LL : bits(2) = op_code[1 .. 0]; + system_exceptions_runtime_svc_decode(opc, imm16, op2, LL) +} + +function clause decode (0b1101011 @ _ : bits(1) @ 0b0 @ _ : bits(2) @ 0b111110000 @ _ : bits(12) as op_code) = { + Z : bits(1) = [op_code[24]]; + opc : bits(1) = [op_code[23]]; + op : bits(2) = op_code[22 .. 21]; + op2 : bits(5) = op_code[20 .. 16]; + op3 : bits(4) = op_code[15 .. 12]; + A : bits(1) = [op_code[11]]; + M : bits(1) = [op_code[10]]; + Rn : bits(5) = op_code[9 .. 5]; + Rm : bits(5) = op_code[4 .. 0]; + branch_unconditional_register_decode(Z, opc, op, op2, op3, A, M, Rn, Rm) +} + +function clause decode (0b11001110010 @ _ : bits(5) @ 0b0 @ _ : bits(15) as op_code) = { + Op0 : bits(2) = op_code[22 .. 21]; + Rm : bits(5) = op_code[20 .. 16]; + Ra : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sm3_sm3ss1_decode(Op0, Rm, Ra, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b000101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_add_halving_rounding_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b101101 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_int_doubling_sisd_decode(U, size, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b101101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_int_doubling_simd_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b1100111011000000100000 @ _ : bits(10) as op_code) = { + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha512_sha512su0_decode(Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110000 @ _ : bits(5) @ 0b0 @ _ : bits(3) @ 0b00 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op2 : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + len : bits(2) = op_code[14 .. 13]; + op : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_vector_table_decode(Q, op2, Rm, len, op, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b100001 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_add_wrapping_single_sisd_decode(U, size, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b100001 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_add_wrapping_single_simd_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b0100111000101000010 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + D : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_aes_round_decode(size, D, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b100000100 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + op : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_int_bulk_sisd_decode(U, size, op, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b100000100 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + op : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_int_bulk_simd_decode(Q, U, size, op, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b101111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_add_wrapping_pair_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b1 @ _ : bits(8) @ 0b10000000 @ _ : bits(5) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + imm8 : bits(8) = op_code[20 .. 13]; + imm5 : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_move_fp_imm_decode(M, S, typ, imm8, imm5, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b01 @ _ : bits(1) @ 0b000 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + o1 : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_addsub_narrow_decode(Q, U, size, Rm, o1, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b011011 @ _ : bits(25) as op_code) = { + b5 : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[24]]; + b40 : bits(5) = op_code[23 .. 19]; + imm14 : bits(14) = op_code[18 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + branch_conditional_test_decode(b5, op, b40, imm14, Rt) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b0111011111000111110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_diffneg_fp16_decode(Q, U, a, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011101 @ _ : bits(1) @ 0b100000111110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_diffneg_float_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b111000 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_mul_poly_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111000 @ _ : bits(2) @ 0b0 @ _ : bits(9) @ 0b01 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + imm9 : bits(9) = op_code[20 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_general_immediate_signed_postidx_aarch64_memory_single_general_immediate_signed_postidx__decode(size, V, opc, imm9, Rn, Rt) +} + +function clause decode (_ : bits(2) @ 0b111000 @ _ : bits(2) @ 0b0 @ _ : bits(9) @ 0b11 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + imm9 : bits(9) = op_code[20 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_general_immediate_signed_preidx_aarch64_memory_single_general_immediate_signed_postidx__decode(size, V, opc, imm9, Rn, Rt) +} + +function clause decode (_ : bits(2) @ 0b111001 @ _ : bits(24) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + imm12 : bits(12) = op_code[21 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_general_immediate_unsigned_aarch64_memory_single_general_immediate_signed_postidx__decode(size, V, opc, imm12, Rn, Rt) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101111 @ _ : bits(8) @ 0b0 @ _ : bits(1) @ 0b00 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + o2 : bits(1) = [op_code[14]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_int_decode(Q, U, size, L, M, Rm, o2, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110 @ _ : bits(2) @ 0b100001001110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_shift_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b000111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + opc2 : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_logical_bsleor_decode(Q, U, opc2, Rm, Rn, Rd) +} + +function clause decode (0b1100111011000000100001 @ _ : bits(10) as op_code) = { + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sm4_sm4enc_decode(Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b011000 @ _ : bits(24) as op_code) = { + opc : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + imm19 : bits(19) = op_code[23 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_literal_general_decode(opc, V, imm19, Rt) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110000 @ _ : bits(5) @ 0b001011 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op : bits(1) = [op_code[29]]; + imm5 : bits(5) = op_code[20 .. 16]; + imm4 : bits(4) = op_code[14 .. 11]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_integer_move_signed_decode(Q, op, imm5, imm4, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b1011001 @ _ : bits(23) as op_code) = { + opc : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + L : bits(1) = [op_code[22]]; + imm7 : bits(7) = op_code[21 .. 15]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_pair_simdfp_postidx_aarch64_memory_pair_simdfp_postidx__decode(opc, V, L, imm7, Rt2, Rn, Rt) +} + +function clause decode (_ : bits(2) @ 0b1011011 @ _ : bits(23) as op_code) = { + opc : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + L : bits(1) = [op_code[22]]; + imm7 : bits(7) = op_code[21 .. 15]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_pair_simdfp_preidx_aarch64_memory_pair_simdfp_postidx__decode(opc, V, L, imm7, Rt2, Rn, Rt) +} + +function clause decode (_ : bits(2) @ 0b1011010 @ _ : bits(23) as op_code) = { + opc : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + L : bits(1) = [op_code[22]]; + imm7 : bits(7) = op_code[21 .. 15]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_pair_simdfp_offset_aarch64_memory_pair_simdfp_postidx__decode(opc, V, L, imm7, Rt2, Rn, Rt) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b100000010110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cnt_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b01011110000 @ _ : bits(5) @ 0b001100 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha3op_sha1sched0_decode(size, Rm, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b011010 @ _ : bits(25) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[24]]; + imm19 : bits(19) = op_code[23 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + branch_conditional_compare_decode(sf, op, imm19, Rt) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110000 @ _ : bits(5) @ 0b000011 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op : bits(1) = [op_code[29]]; + imm5 : bits(5) = op_code[20 .. 16]; + imm4 : bits(4) = op_code[14 .. 11]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_integer_dup_decode(Q, op, imm5, imm4, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110010 @ _ : bits(5) @ 0b000101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_add_fp16_decode(Q, U, a, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011100 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b110101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_add_fp_decode(Q, U, sz, Rm, Rn, Rd) +} + +function clause decode (0b11001110011 @ _ : bits(5) @ 0b110010 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + O : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sm4_sm4enckey_decode(Rm, O, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b1111001111001110010 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_fp16_conv_float_tieaway_sisd_decode(U, size, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b111100 @ _ : bits(1) @ 0b100001110010 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_conv_float_tieaway_sisd_decode(U, sz, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b0111001111001110010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_fp16_conv_float_tieaway_simd_decode(Q, U, a, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011100 @ _ : bits(1) @ 0b100001110010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_conv_float_tieaway_simd_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111100 @ _ : bits(2) @ 0b0 @ _ : bits(9) @ 0b00 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + imm9 : bits(9) = op_code[20 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_simdfp_immediate_signed_offset_normal_aarch64_memory_single_simdfp_immediate_signed_offset_normal__decode(size, V, opc, imm9, Rn, Rt) +} + +function clause decode (0b110110101100000100 @ _ : bits(1) @ 0b001 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + Z : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_pac_pacib_dp_1src_decode(sf, S, opcode2, Z, Rn, Rd) +} + +function clause decode (0b11010101000000110010 @ _ : bits(7) @ 0b11111 as op_code) = { + L : bits(1) = [op_code[21]]; + op0 : bits(2) = op_code[20 .. 19]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + op2 : bits(3) = op_code[7 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + integer_pac_pacib_hint_decode(L, op0, op1, CRn, CRm, op2, Rt) +} + +function clause decode (0b01011110 @ _ : bits(2) @ 0b110000110010 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_fp16maxnm_sisd_decode(U, o1, sz, Rn, Rd) +} + +function clause decode (0b01111110 @ _ : bits(2) @ 0b110000110010 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_fpmaxnm_sisd_decode(U, o1, sz, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111100 @ _ : bits(2) @ 0b0 @ _ : bits(9) @ 0b01 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + imm9 : bits(9) = op_code[20 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_simdfp_immediate_signed_postidx_aarch64_memory_single_simdfp_immediate_signed_postidx__decode(size, V, opc, imm9, Rn, Rt) +} + +function clause decode (_ : bits(2) @ 0b111100 @ _ : bits(2) @ 0b0 @ _ : bits(9) @ 0b11 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + imm9 : bits(9) = op_code[20 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_simdfp_immediate_signed_preidx_aarch64_memory_single_simdfp_immediate_signed_postidx__decode(size, V, opc, imm9, Rn, Rt) +} + +function clause decode (_ : bits(2) @ 0b111101 @ _ : bits(24) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + imm12 : bits(12) = op_code[21 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_simdfp_immediate_unsigned_aarch64_memory_single_simdfp_immediate_signed_postidx__decode(size, V, opc, imm12, Rn, Rt) +} + +function clause decode (0b01011110010 @ _ : bits(5) @ 0b000111 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_fp16_extended_sisd_decode(U, a, Rm, Rn, Rd) +} + +function clause decode (0b010111100 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b110111 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_fp_extended_sisd_decode(U, sz, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110010 @ _ : bits(5) @ 0b000111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_fp16_extended_simd_decode(Q, U, a, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011100 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b110111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_fp_extended_simd_decode(Q, U, sz, Rm, Rn, Rd) +} + +function clause decode (0b01011110000 @ _ : bits(5) @ 0b001000 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha3op_sha1hash_majority_decode(size, Rm, Rn, Rd) +} + +function clause decode (0b11001110011 @ _ : bits(5) @ 0b110000 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + O : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sm3_sm3partw1_decode(Rm, O, Rn, Rd) +} + +function clause decode (0b010111110 @ _ : bits(7) @ 0b010101 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_left_sisd_decode(U, immh, immb, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011110 @ _ : bits(7) @ 0b010101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_left_simd_decode(Q, U, immh, immb, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011101 @ _ : bits(1) @ 0b100001110010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_recip_int_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b0 @ _ : bits(5) @ 0b100101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_int_dotp_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b11001110010 @ _ : bits(5) @ 0b10 @ _ : bits(2) @ 0b01 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + imm2 : bits(2) = op_code[13 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sm3_sm3tt1b_decode(Rm, imm2, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011110 @ _ : bits(7) @ 0b1000 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + op : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_rightnarrow_logical_decode(Q, U, immh, immb, op, Rn, Rd) +} + +function clause decode (0b0101111000101000001010 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha2op_sha256sched0_decode(size, Rn, Rd) +} + +function clause decode (0b01111110110 @ _ : bits(5) @ 0b000101 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_sub_fp16_sisd_decode(U, a, Rm, Rn, Rd) +} + +function clause decode (0b011111101 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b110101 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_sub_fp_sisd_decode(U, sz, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110110 @ _ : bits(5) @ 0b000101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_sub_fp16_simd_decode(Q, U, a, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011101 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b110101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_sub_fp_simd_decode(Q, U, sz, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011000 @ _ : bits(1) @ 0b000000 @ _ : bits(16) as op_code) = { + Q : bits(1) = [op_code[30]]; + L : bits(1) = [op_code[22]]; + opcode : bits(4) = op_code[15 .. 12]; + size : bits(2) = op_code[11 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_vector_multiple_nowb_aarch64_memory_vector_multiple_nowb__decode(Q, L, opcode, size, Rn, Rt) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011001 @ _ : bits(1) @ 0b0 @ _ : bits(21) as op_code) = { + Q : bits(1) = [op_code[30]]; + L : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + opcode : bits(4) = op_code[15 .. 12]; + size : bits(2) = op_code[11 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_vector_multiple_postinc_aarch64_memory_vector_multiple_nowb__decode(Q, L, Rm, opcode, size, Rn, Rt) +} + +function clause decode (0b01011111 @ _ : bits(8) @ 0b110 @ _ : bits(2) @ 0b0 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + op : bits(1) = [op_code[12]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mul_high_sisd_decode(U, size, L, M, Rm, op, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001111 @ _ : bits(8) @ 0b110 @ _ : bits(2) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + op : bits(1) = [op_code[12]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mul_high_simd_decode(Q, U, size, L, M, Rm, op, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b0111 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + ac : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_diff_decode(Q, U, size, Rm, ac, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b1111100 @ _ : bits(6) @ 0b1001 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mul_fp16_sisd_decode(U, size, L, M, Rm, H, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b111111 @ _ : bits(7) @ 0b1001 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mul_fp_sisd_decode(U, sz, L, M, Rm, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b0111100 @ _ : bits(6) @ 0b1001 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mul_fp16_simd_decode(Q, U, size, L, M, Rm, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011111 @ _ : bits(7) @ 0b1001 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mul_fp_simd_decode(Q, U, sz, L, M, Rm, H, Rn, Rd) +} + +function clause decode (0b01011110 @ _ : bits(2) @ 0b110001101110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_add_sisd_decode(U, size, Rn, Rd) +} + +function clause decode (0b11010110100111110000 @ _ : bits(12) as op_code) = { + opc : bits(4) = op_code[24 .. 21]; + op2 : bits(5) = op_code[20 .. 16]; + op3 : bits(4) = op_code[15 .. 12]; + A : bits(1) = [op_code[11]]; + M : bits(1) = [op_code[10]]; + Rn : bits(5) = op_code[9 .. 5]; + op4 : bits(5) = op_code[4 .. 0]; + branch_unconditional_eret_decode(opc, op2, op3, A, M, Rn, op4) +} + +function clause decode (0b0100111000101000011 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + D : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_aes_mix_decode(size, D, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b110000 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_mul_product_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b111110 @ _ : bits(7) @ 0b111001 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_conv_int_sisd_decode(U, immh, immb, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011110 @ _ : bits(7) @ 0b111001 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_conv_int_simd_decode(Q, U, immh, immb, Rn, Rd) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b01 @ _ : bits(2) @ 0b10 @ _ : bits(10) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + op : bits(2) = op_code[13 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_arithmetic_maxmin_decode(M, S, typ, Rm, op, Rn, Rd) +} + +function clause decode (0b01111110 @ _ : bits(2) @ 0b100001001010 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_extract_sqxtun_sisd_decode(U, size, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110 @ _ : bits(2) @ 0b100001001010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_extract_sqxtun_simd_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b010111100 @ _ : bits(1) @ 0b110000110110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_fp16add_sisd_decode(U, sz, Rn, Rd) +} + +function clause decode (0b011111100 @ _ : bits(1) @ 0b110000110110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_fpadd_sisd_decode(U, sz, Rn, Rd) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b10000 @ _ : bits(2) @ 0b10000 @ _ : bits(10) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + opc : bits(2) = op_code[16 .. 15]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_arithmetic_unary_decode(M, S, typ, opc, Rn, Rd) +} + +function clause decode (0b11010100000 @ _ : bits(16) @ 0b00011 as op_code) = { + opc : bits(3) = op_code[23 .. 21]; + imm16 : bits(16) = op_code[20 .. 5]; + op2 : bits(3) = op_code[4 .. 2]; + LL : bits(2) = op_code[1 .. 0]; + system_exceptions_runtime_smc_decode(opc, imm16, op2, LL) +} + +function clause decode (_ : bits(2) @ 0b0010001 @ _ : bits(1) @ 0b0 @ _ : bits(21) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + o2 : bits(1) = [op_code[23]]; + L : bits(1) = [op_code[22]]; + o1 : bits(1) = [op_code[21]]; + Rs : bits(5) = op_code[20 .. 16]; + o0 : bits(1) = [op_code[15]]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_ordered_decode(size, o2, L, o1, Rs, o0, Rt2, Rn, Rt) +} + +function clause decode (0b011111100 @ _ : bits(1) @ 0b100001011010 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_xtn_sisd_decode(U, sz, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b1011100 @ _ : bits(1) @ 0b100001011010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_xtn_simd_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111000 @ _ : bits(2) @ 0b1 @ _ : bits(9) @ 0b10 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + option_name : bits(3) = op_code[15 .. 13]; + S : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_general_register_aarch64_memory_single_general_register__decode(size, V, opc, Rm, option_name, S, Rn, Rt) +} + +function clause decode (0b11001110100 @ _ : bits(21) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + imm6 : bits(6) = op_code[15 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha3_xar_decode(Rm, imm6, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b1011000 @ _ : bits(23) as op_code) = { + opc : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + L : bits(1) = [op_code[22]]; + imm7 : bits(7) = op_code[21 .. 15]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_pair_simdfp_noalloc_aarch64_memory_pair_simdfp_noalloc__decode(opc, V, L, imm7, Rt2, Rn, Rt) +} + +function clause decode (0b11010100001 @ _ : bits(16) @ 0b00000 as op_code) = { + opc : bits(3) = op_code[23 .. 21]; + imm16 : bits(16) = op_code[20 .. 5]; + op2 : bits(3) = op_code[4 .. 2]; + LL : bits(2) = op_code[1 .. 0]; + system_exceptions_debug_breakpoint_decode(opc, imm16, op2, LL) +} + +function clause decode (_ : bits(1) @ 0b0011011000 @ _ : bits(21) as op_code) = { + sf : bits(1) = [op_code[31]]; + op54 : bits(2) = op_code[30 .. 29]; + op31 : bits(3) = op_code[23 .. 21]; + Rm : bits(5) = op_code[20 .. 16]; + o0 : bits(1) = [op_code[15]]; + Ra : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_mul_uniform_addsub_decode(sf, op54, op31, Rm, o0, Ra, Rn, Rd) +} + +function clause decode (0b01011110010 @ _ : bits(5) @ 0b001111 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_recpsfp16_sisd_decode(U, a, Rm, Rn, Rd) +} + +function clause decode (0b010111100 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b111111 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_recps_sisd_decode(U, sz, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110010 @ _ : bits(5) @ 0b001111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_recpsfp16_simd_decode(Q, U, a, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011100 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b111111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_recps_simd_decode(Q, U, sz, Rm, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b011100 @ _ : bits(24) as op_code) = { + opc : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + imm19 : bits(19) = op_code[23 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_literal_simdfp_decode(opc, V, imm19, Rt) +} + +function clause decode (0b1101010100 @ _ : bits(1) @ 0b01 @ _ : bits(19) as op_code) = { + L : bits(1) = [op_code[21]]; + op0 : bits(2) = op_code[20 .. 19]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + op2 : bits(3) = op_code[7 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + system_sysops_decode(L, op0, op1, CRn, CRm, op2, Rt) +} + +function clause decode (_ : bits(3) @ 0b01011 @ _ : bits(2) @ 0b0 @ _ : bits(21) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + shift : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + imm6 : bits(6) = op_code[15 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_addsub_shiftedreg_decode(sf, op, S, shift, Rm, imm6, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(1) @ 0b1111001100 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o2 : bits(1) = [op_code[23]]; + o1 : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_fp16_round_decode(Q, U, o2, o1, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b100001100 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o2 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + o1 : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_float_round_decode(Q, U, o2, sz, o1, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110010 @ _ : bits(5) @ 0b001111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_divfp16_decode(Q, U, a, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b1011100 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b111111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_div_decode(Q, U, sz, Rm, Rn, Rd) +} + +function clause decode (_ : bits(3) @ 0b100100 @ _ : bits(23) as op_code) = { + sf : bits(1) = [op_code[31]]; + opc : bits(2) = op_code[30 .. 29]; + N : bits(1) = [op_code[22]]; + immr : bits(6) = op_code[21 .. 16]; + imms : bits(6) = op_code[15 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_logical_immediate_decode(sf, opc, N, immr, imms, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111010010 @ _ : bits(9) @ 0b00 @ _ : bits(5) @ 0b0 @ _ : bits(4) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + Rm : bits(5) = op_code[20 .. 16]; + cond : bits(4) = op_code[15 .. 12]; + o2 : bits(1) = [op_code[10]]; + Rn : bits(5) = op_code[9 .. 5]; + o3 : bits(1) = [op_code[4]]; + nzcv : bits(4) = op_code[3 .. 0]; + integer_conditional_compare_register_decode(sf, op, S, Rm, cond, o2, Rn, o3, nzcv) +} + +function clause decode (_ : bits(3) @ 0b100110 @ _ : bits(23) as op_code) = { + sf : bits(1) = [op_code[31]]; + opc : bits(2) = op_code[30 .. 29]; + N : bits(1) = [op_code[22]]; + immr : bits(6) = op_code[21 .. 16]; + imms : bits(6) = op_code[15 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_bitfield_decode(sf, opc, N, immr, imms, Rn, Rd) +} + +function clause decode (0b1101010100 @ _ : bits(1) @ 0b1 @ _ : bits(20) as op_code) = { + L : bits(1) = [op_code[21]]; + o0 : bits(1) = [op_code[19]]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + op2 : bits(3) = op_code[7 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + system_register_system_decode(L, o0, op1, CRn, CRm, op2, Rt) +} + +function clause decode (0b11001110010 @ _ : bits(5) @ 0b10 @ _ : bits(2) @ 0b10 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + imm2 : bits(2) = op_code[13 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sm3_sm3tt2a_decode(Rm, imm2, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111010010 @ _ : bits(9) @ 0b10 @ _ : bits(5) @ 0b0 @ _ : bits(4) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + imm5 : bits(5) = op_code[20 .. 16]; + cond : bits(4) = op_code[15 .. 12]; + o2 : bits(1) = [op_code[10]]; + Rn : bits(5) = op_code[9 .. 5]; + o3 : bits(1) = [op_code[4]]; + nzcv : bits(4) = op_code[3 .. 0]; + integer_conditional_compare_immediate_decode(sf, op, S, imm5, cond, o2, Rn, o3, nzcv) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b000110 @ _ : bits(10) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_arithmetic_div_decode(M, S, typ, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1000000 @ _ : bits(1) @ 0b1010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + op : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_add_pairwise_decode(Q, U, size, op, Rn, Rd) +} + +function clause decode (0b01011110000 @ _ : bits(5) @ 0b000001 @ _ : bits(10) as op_code) = { + op : bits(1) = [op_code[29]]; + imm5 : bits(5) = op_code[20 .. 16]; + imm4 : bits(4) = op_code[14 .. 11]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_vector_cpydup_sisd_decode(op, imm5, imm4, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110000 @ _ : bits(5) @ 0b000001 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op : bits(1) = [op_code[29]]; + imm5 : bits(5) = op_code[20 .. 16]; + imm4 : bits(4) = op_code[14 .. 11]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_vector_cpydup_simd_decode(Q, op, imm5, imm4, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b11000 @ _ : bits(1) @ 0b101010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + op : bits(1) = [op_code[16]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_intmax_decode(Q, U, size, op, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111000 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b100000 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + A : bits(1) = [op_code[23]]; + R : bits(1) = [op_code[22]]; + Rs : bits(5) = op_code[20 .. 16]; + o3 : bits(1) = [op_code[15]]; + opc : bits(3) = op_code[14 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_atomicops_swp_decode(size, V, A, R, Rs, o3, opc, Rn, Rt) +} + +function clause decode (0b0111111011111001110110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_sqrtest_fp16_sisd_decode(U, a, Rn, Rd) +} + +function clause decode (0b011111101 @ _ : bits(1) @ 0b100001110110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_sqrtest_float_sisd_decode(U, sz, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b10111011111001110110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_sqrtest_fp16_simd_decode(Q, U, a, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b1011101 @ _ : bits(1) @ 0b100001110110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_sqrtest_float_simd_decode(Q, U, sz, Rn, Rd) +} + +function clause decode (0b11001110011 @ _ : bits(5) @ 0b100000 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + O : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha512_sha512h_decode(Rm, O, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b100000000 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + o0 : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_rev_decode(Q, U, size, o0, Rn, Rd) +} + +function clause decode (_ : bits(3) @ 0b10001 @ _ : bits(24) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + shift : bits(2) = op_code[23 .. 22]; + imm12 : bits(12) = op_code[21 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_addsub_immediate_decode(sf, op, S, shift, imm12, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b00 @ _ : bits(1) @ 0b000 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + o1 : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_addsub_long_decode(Q, U, size, Rm, o1, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b0 @ _ : bits(5) @ 0b0 @ _ : bits(1) @ 0b0110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + op : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_vector_permute_unzip_decode(Q, size, Rm, op, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b00101 @ _ : bits(26) as op_code) = { + op : bits(1) = [op_code[31]]; + imm26 : bits(26) = op_code[25 .. 0]; + branch_unconditional_immediate_decode(op, imm26) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110 @ _ : bits(2) @ 0b0 @ _ : bits(5) @ 0b111 @ _ : bits(1) @ 0b01 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + rot : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_add_fp_complex_decode(Q, U, size, Rm, rot, Rn, Rd) +} + +function clause decode (0b110110101100000100 @ _ : bits(1) @ 0b110 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + Z : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_pac_autda_dp_1src_decode(sf, S, opcode2, Z, Rn, Rd) +} + +function clause decode (0b0101111000101000000010 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha2op_sha1hash_decode(size, Rn, Rd) +} + +function clause decode (0b01001110000 @ _ : bits(5) @ 0b000111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op : bits(1) = [op_code[29]]; + imm5 : bits(5) = op_code[20 .. 16]; + imm4 : bits(4) = op_code[14 .. 11]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_integer_insert_decode(Q, op, imm5, imm4, Rn, Rd) +} + +function clause decode (0b01011110 @ _ : bits(2) @ 0b110000111110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_fp16max_sisd_decode(U, o1, sz, Rn, Rd) +} + +function clause decode (0b01111110 @ _ : bits(2) @ 0b110000111110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_fpmax_sisd_decode(U, o1, sz, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b0011 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + eq : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_cmp_int_sisd_decode(U, size, Rm, eq, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b0011 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + eq : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_cmp_int_simd_decode(Q, U, size, Rm, eq, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b10110101100000000010 @ _ : bits(11) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + op : bits(1) = [op_code[10]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_cnt_decode(sf, S, opcode2, op, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111 @ _ : bits(1) @ 0b00 @ _ : bits(2) @ 0b1 @ _ : bits(9) @ 0b00 @ _ : bits(5) @ 0b11111 as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + A : bits(1) = [op_code[23]]; + R : bits(1) = [op_code[22]]; + Rs : bits(5) = op_code[20 .. 16]; + o3 : bits(1) = [op_code[15]]; + opc : bits(3) = op_code[14 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_atomicops_st_decode(size, V, A, R, Rs, o3, opc, Rn, Rt) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b100111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_int_product_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b11010101000000110011 @ _ : bits(4) @ 0b1 @ _ : bits(2) @ 0b11111 as op_code) = { + L : bits(1) = [op_code[21]]; + op0 : bits(2) = op_code[20 .. 19]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + opc : bits(2) = op_code[6 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + system_barriers_decode(L, op0, op1, CRn, CRm, opc, Rt) +} + +function clause decode (0b11001110000 @ _ : bits(5) @ 0b0 @ _ : bits(15) as op_code) = { + Op0 : bits(2) = op_code[22 .. 21]; + Rm : bits(5) = op_code[20 .. 16]; + Ra : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha3_eor3_decode(Op0, Rm, Ra, Rn, Rd) +} + +function clause decode (0b011111110 @ _ : bits(7) @ 0b010001 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_rightinsert_sisd_decode(U, immh, immb, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b1011110 @ _ : bits(7) @ 0b010001 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_rightinsert_simd_decode(Q, U, immh, immb, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b100000011110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_diffneg_sat_sisd_decode(U, size, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b100000011110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_diffneg_sat_simd_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0010000 @ _ : bits(1) @ 0b1 @ _ : bits(21) as op_code) = { + sz : bits(1) = [op_code[30]]; + o2 : bits(1) = [op_code[23]]; + L : bits(1) = [op_code[22]]; + o1 : bits(1) = [op_code[21]]; + Rs : bits(5) = op_code[20 .. 16]; + o0 : bits(1) = [op_code[15]]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_atomicops_cas_pair_decode(sz, o2, L, o1, Rs, o0, Rt2, Rn, Rt) +} + +function clause decode (_ : bits(3) @ 0b100101 @ _ : bits(23) as op_code) = { + sf : bits(1) = [op_code[31]]; + opc : bits(2) = op_code[30 .. 29]; + hw : bits(2) = op_code[22 .. 21]; + imm16 : bits(16) = op_code[20 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_insext_insert_movewide_decode(sf, opc, hw, imm16, Rd) +} + +function clause decode (0b11010110101111110000001111100000 as op_code) = { + opc : bits(4) = op_code[24 .. 21]; + op2 : bits(5) = op_code[20 .. 16]; + op3 : bits(6) = op_code[15 .. 10]; + Rt : bits(5) = op_code[9 .. 5]; + op4 : bits(5) = op_code[4 .. 0]; + branch_unconditional_dret_decode(opc, op2, op3, Rt, op4) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b1 @ _ : bits(9) @ 0b11 @ _ : bits(10) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + cond : bits(4) = op_code[15 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_move_fp_select_decode(M, S, typ, Rm, cond, Rn, Rd) +} + +function clause decode (0b11010100101 @ _ : bits(16) @ 0b000 @ _ : bits(2) as op_code) = { + opc : bits(3) = op_code[23 .. 21]; + imm16 : bits(16) = op_code[20 .. 5]; + op2 : bits(3) = op_code[4 .. 2]; + LL : bits(2) = op_code[1 .. 0]; + system_exceptions_debug_exception_decode(opc, imm16, op2, LL) +} + +function clause decode (0b01011111 @ _ : bits(8) @ 0b0 @ _ : bits(1) @ 0b11 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + o2 : bits(1) = [op_code[14]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_double_sisd_decode(U, size, L, M, Rm, o2, H, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001111 @ _ : bits(8) @ 0b0 @ _ : bits(1) @ 0b11 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + o2 : bits(1) = [op_code[14]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_double_simd_decode(Q, U, size, L, M, Rm, o2, H, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b111110 @ _ : bits(7) @ 0b1001 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + op : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_rightnarrow_uniform_sisd_decode(U, immh, immb, op, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011110 @ _ : bits(7) @ 0b1001 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + op : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_rightnarrow_uniform_simd_decode(Q, U, immh, immb, op, Rn, Rd) +} + +function clause decode (0b01011110000 @ _ : bits(5) @ 0b000000 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha3op_sha1hash_choose_decode(size, Rm, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b1011010110000000000 @ _ : bits(12) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + opc : bits(2) = op_code[11 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_rev_decode(sf, S, opcode2, opc, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110010 @ _ : bits(5) @ 0b000111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_fp16_product_decode(Q, U, a, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b1011100 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b110111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_fp_product_decode(Q, U, sz, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b000111 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_logical_andorr_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b10001 @ _ : bits(2) @ 0b10000 @ _ : bits(10) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + opc : bits(2) = op_code[16 .. 15]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_convert_fp_decode(M, S, typ, opc, Rn, Rd) +} + +function clause decode (0b01111110 @ _ : bits(2) @ 0b0 @ _ : bits(5) @ 0b1000 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + S : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_int_doubling_accum_sisd_decode(U, size, Rm, S, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110 @ _ : bits(2) @ 0b0 @ _ : bits(5) @ 0b1000 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + S : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_int_doubling_accum_simd_decode(Q, U, size, Rm, S, Rn, Rd) +} + +function clause decode (0b11001110010 @ _ : bits(5) @ 0b10 @ _ : bits(2) @ 0b00 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + imm2 : bits(2) = op_code[13 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sm3_sm3tt1a_decode(Rm, imm2, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b10 @ _ : bits(1) @ 0b000 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + o1 : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_mul_accum_decode(Q, U, size, Rm, o1, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110 @ _ : bits(2) @ 0b0 @ _ : bits(5) @ 0b110 @ _ : bits(2) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + rot : bits(2) = op_code[12 .. 11]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_fp_complex_decode(Q, U, size, Rm, rot, Rn, Rd) +} + +function clause decode (0b110110101100000100 @ _ : bits(1) @ 0b000 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + Z : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_pac_pacia_dp_1src_decode(sf, S, opcode2, Z, Rn, Rd) +} + +function clause decode (0b11010101000000110010 @ _ : bits(7) @ 0b11111 as op_code) = { + L : bits(1) = [op_code[21]]; + op0 : bits(2) = op_code[20 .. 19]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + op2 : bits(3) = op_code[7 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + integer_pac_pacia_hint_decode(L, op0, op1, CRn, CRm, op2, Rt) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101111 @ _ : bits(8) @ 0b0 @ _ : bits(2) @ 0b1 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + rot : bits(2) = op_code[14 .. 13]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_complex_decode(Q, U, size, L, M, Rm, rot, H, Rn, Rd) +} + +function clause decode (0b01011110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b10 @ _ : bits(1) @ 0b100 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + o1 : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_mul_dmacc_sisd_decode(U, size, Rm, o1, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b10 @ _ : bits(1) @ 0b100 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + o1 : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_mul_dmacc_simd_decode(Q, U, size, Rm, o1, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b110001101110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_add_simd_decode(Q, U, size, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b0011110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b000000 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + rmode : bits(2) = op_code[20 .. 19]; + opcode : bits(3) = op_code[18 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_convert_int_decode(sf, S, typ, rmode, opcode, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b01 @ _ : bits(1) @ 0b100 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + op : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_disparate_diff_decode(Q, U, size, Rm, op, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b011010100 @ _ : bits(9) @ 0b0 @ _ : bits(11) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + Rm : bits(5) = op_code[20 .. 16]; + cond : bits(4) = op_code[15 .. 12]; + o2 : bits(1) = [op_code[10]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_conditional_select_decode(sf, op, S, Rm, cond, o2, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111000101 @ _ : bits(5) @ 0b110000 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + A : bits(1) = [op_code[23]]; + R : bits(1) = [op_code[22]]; + Rs : bits(5) = op_code[20 .. 16]; + o3 : bits(1) = [op_code[15]]; + opc : bits(3) = op_code[14 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_orderedrcpc_decode(size, V, A, R, Rs, o3, opc, Rn, Rt) +} + +function clause decode (0b0101111011111001111110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_frecpxfp16_decode(U, a, Rn, Rd) +} + +function clause decode (0b010111101 @ _ : bits(1) @ 0b100001111110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_special_frecpx_decode(U, sz, Rn, Rd) +} + +function clause decode (_ : bits(3) @ 0b01011001 @ _ : bits(21) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + opt : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + option_name : bits(3) = op_code[15 .. 13]; + imm3 : bits(3) = op_code[12 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_addsub_extendedreg_decode(sf, op, S, opt, Rm, option_name, imm3, Rn, Rd) +} + +function clause decode (0b01011110000 @ _ : bits(5) @ 0b000100 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha3op_sha1hash_parity_decode(size, Rm, Rn, Rd) +} + +function clause decode (_ : bits(3) @ 0b10000 @ _ : bits(24) as op_code) = { + op : bits(1) = [op_code[31]]; + immlo : bits(2) = op_code[30 .. 29]; + immhi : bits(19) = op_code[23 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_address_pcrel_decode(op, immlo, immhi, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011010 @ _ : bits(2) @ 0b00000 @ _ : bits(16) as op_code) = { + Q : bits(1) = [op_code[30]]; + L : bits(1) = [op_code[22]]; + R : bits(1) = [op_code[21]]; + opcode : bits(3) = op_code[15 .. 13]; + S : bits(1) = [op_code[12]]; + size : bits(2) = op_code[11 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_vector_single_nowb_aarch64_memory_vector_single_nowb__decode(Q, L, R, opcode, S, size, Rn, Rt) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b0011011 @ _ : bits(23) as op_code) = { + Q : bits(1) = [op_code[30]]; + L : bits(1) = [op_code[22]]; + R : bits(1) = [op_code[21]]; + Rm : bits(5) = op_code[20 .. 16]; + opcode : bits(3) = op_code[15 .. 13]; + S : bits(1) = [op_code[12]]; + size : bits(2) = op_code[11 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_vector_single_postinc_aarch64_memory_vector_single_nowb__decode(Q, L, R, Rm, opcode, S, size, Rn, Rt) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b100101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_mul_int_accum_decode(Q, U, size, Rm, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111000 @ _ : bits(2) @ 0b1 @ _ : bits(10) @ 0b1 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + M : bits(1) = [op_code[23]]; + S : bits(1) = [op_code[22]]; + imm9 : bits(9) = op_code[20 .. 12]; + W : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_general_immediate_signed_pac_decode(size, V, M, S, imm9, W, Rn, Rt) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(1) @ 0b0110000110010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_fp16maxnm_simd_decode(Q, U, o1, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110 @ _ : bits(2) @ 0b110000110010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_fpmaxnm_simd_decode(Q, U, o1, sz, Rn, Rd) +} + +function clause decode (0b110110101100000100 @ _ : bits(1) @ 0b101 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + Z : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_pac_autib_dp_1src_decode(sf, S, opcode2, Z, Rn, Rd) +} + +function clause decode (0b11010101000000110010 @ _ : bits(7) @ 0b11111 as op_code) = { + L : bits(1) = [op_code[21]]; + op0 : bits(2) = op_code[20 .. 19]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + op2 : bits(3) = op_code[7 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + integer_pac_autib_hint_decode(L, op0, op1, CRn, CRm, op2, Rt) +} + +function clause decode (0b11001110011 @ _ : bits(5) @ 0b100010 @ _ : bits(10) as op_code) = { + Rm : bits(5) = op_code[20 .. 16]; + O : bits(1) = [op_code[14]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha512_sha512su1_decode(Rm, O, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01111 @ _ : bits(8) @ 0b1010 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mul_long_decode(Q, U, size, L, M, Rm, H, Rn, Rd) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b1 @ _ : bits(9) @ 0b01 @ _ : bits(10) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + cond : bits(4) = op_code[15 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + op : bits(1) = [op_code[4]]; + nzcv : bits(4) = op_code[3 .. 0]; + float_compare_cond_decode(M, S, typ, Rm, cond, Rn, op, nzcv) +} + +function clause decode (_ : bits(2) @ 0b0010000 @ _ : bits(1) @ 0b0 @ _ : bits(21) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + o2 : bits(1) = [op_code[23]]; + L : bits(1) = [op_code[22]]; + o1 : bits(1) = [op_code[21]]; + Rs : bits(5) = op_code[20 .. 16]; + o0 : bits(1) = [op_code[15]]; + Rt2 : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_exclusive_single_decode(size, o2, L, o1, Rs, o0, Rt2, Rn, Rt) +} + +function clause decode (_ : bits(1) @ 0b0011110 @ _ : bits(2) @ 0b0 @ _ : bits(21) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + rmode : bits(2) = op_code[20 .. 19]; + opcode : bits(3) = op_code[18 .. 16]; + scale : bits(6) = op_code[15 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_convert_fix_decode(sf, S, typ, rmode, opcode, scale, Rn, Rd) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b1001 @ _ : bits(3) @ 0b10000 @ _ : bits(10) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + rmode : bits(3) = op_code[17 .. 15]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_arithmetic_round_decode(M, S, typ, rmode, Rn, Rd) +} + +function clause decode (_ : bits(3) @ 0b01010 @ _ : bits(24) as op_code) = { + sf : bits(1) = [op_code[31]]; + opc : bits(2) = op_code[30 .. 29]; + shift : bits(2) = op_code[23 .. 22]; + N : bits(1) = [op_code[21]]; + Rm : bits(5) = op_code[20 .. 16]; + imm6 : bits(6) = op_code[15 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_logical_shiftedreg_decode(sf, opc, shift, N, Rm, imm6, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b100000010010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_clsz_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01111 @ _ : bits(8) @ 0b0 @ _ : bits(1) @ 0b10 @ _ : bits(1) @ 0b0 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + L : bits(1) = [op_code[21]]; + M : bits(1) = [op_code[20]]; + Rm : bits(4) = op_code[19 .. 16]; + o2 : bits(1) = [op_code[14]]; + H : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_element_mulacc_long_decode(Q, U, size, L, M, Rm, o2, H, Rn, Rd) +} + +function clause decode (0b011111110 @ _ : bits(7) @ 0b1000 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + op : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_rightnarrow_nonuniform_sisd_decode(U, immh, immb, op, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b1011110 @ _ : bits(7) @ 0b1000 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + op : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_rightnarrow_nonuniform_simd_decode(Q, U, immh, immb, op, Rn, Rd) +} + +function clause decode (0b01101110000 @ _ : bits(5) @ 0b0 @ _ : bits(4) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op : bits(1) = [op_code[29]]; + imm5 : bits(5) = op_code[20 .. 16]; + imm4 : bits(4) = op_code[14 .. 11]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_transfer_vector_insert_decode(Q, op, imm5, imm4, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b0011010110 @ _ : bits(5) @ 0b010 @ _ : bits(13) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + Rm : bits(5) = op_code[20 .. 16]; + opcode2 : bits(3) = op_code[15 .. 13]; + C : bits(1) = [op_code[12]]; + sz : bits(2) = op_code[11 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_crc_decode(sf, op, S, Rm, opcode2, C, sz, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b100001001010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_extract_nosat_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b0111100000 @ _ : bits(7) @ 0b01 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + op : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[18]]; + b : bits(1) = [op_code[17]]; + c : bits(1) = [op_code[16]]; + cmode : bits(4) = op_code[15 .. 12]; + o2 : bits(1) = [op_code[11]]; + d : bits(1) = [op_code[9]]; + e : bits(1) = [op_code[8]]; + f : bits(1) = [op_code[7]]; + g : bits(1) = [op_code[6]]; + h : bits(1) = [op_code[5]]; + Rd : bits(5) = op_code[4 .. 0]; + vector_logical_decode(Q, op, a, b, c, cmode, o2, d, e, f, g, h, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b111110 @ _ : bits(7) @ 0b011 @ _ : bits(1) @ 0b01 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + op : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_leftsat_sisd_decode(U, immh, immb, op, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011110 @ _ : bits(7) @ 0b011 @ _ : bits(1) @ 0b01 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + immh : bits(4) = op_code[22 .. 19]; + immb : bits(3) = op_code[18 .. 16]; + op : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_shift_leftsat_simd_decode(Q, U, immh, immb, op, Rn, Rd) +} + +function clause decode (_ : bits(3) @ 0b11010000 @ _ : bits(5) @ 0b000000 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + Rm : bits(5) = op_code[20 .. 16]; + opcode2 : bits(6) = op_code[15 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_addsub_carry_decode(sf, op, S, Rm, opcode2, Rn, Rd) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b001000 @ _ : bits(7) @ 0b000 as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + op : bits(2) = op_code[15 .. 14]; + Rn : bits(5) = op_code[9 .. 5]; + opc : bits(2) = op_code[4 .. 3]; + float_compare_uncond_decode(M, S, typ, Rm, op, Rn, opc) +} + +function clause decode (0b01011110 @ _ : bits(2) @ 0b100000101010 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_int_lessthan_sisd_decode(U, size, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(2) @ 0b100000101010 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_int_lessthan_simd_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b1111011111000110 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + op : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_fp16_bulk_sisd_decode(U, a, op, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b111101 @ _ : bits(1) @ 0b100000110 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + op : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_float_bulk_sisd_decode(U, sz, op, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b0111011111000110 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + op : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_fp16_bulk_simd_decode(Q, U, a, op, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011101 @ _ : bits(1) @ 0b100000110 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + op : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_cmp_float_bulk_simd_decode(Q, U, sz, op, Rn, Rd) +} + +function clause decode (0b0101111000101000000110 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_crypto_sha2op_sha1sched1_decode(size, Rn, Rd) +} + +function clause decode (0b01 @ _ : bits(1) @ 0b11110 @ _ : bits(2) @ 0b100000001110 @ _ : bits(10) as op_code) = { + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_add_saturating_sisd_decode(U, size, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b100000001110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_unary_add_saturating_simd_decode(Q, U, size, Rn, Rd) +} + +function clause decode (0b11010101000000110010 @ _ : bits(7) @ 0b11111 as op_code) = { + L : bits(1) = [op_code[21]]; + op0 : bits(2) = op_code[20 .. 19]; + op1 : bits(3) = op_code[18 .. 16]; + CRn : bits(4) = op_code[15 .. 12]; + CRm : bits(4) = op_code[11 .. 8]; + op2 : bits(3) = op_code[7 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + system_hints_decode(L, op0, op1, CRn, CRm, op2, Rt) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b1010 @ _ : bits(1) @ 0b1 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + size : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + o1 : bits(1) = [op_code[11]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_maxmin_pair_decode(Q, U, size, Rm, o1, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b0011010110 @ _ : bits(5) @ 0b0010 @ _ : bits(12) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + Rm : bits(5) = op_code[20 .. 16]; + opcode2 : bits(4) = op_code[15 .. 12]; + op2 : bits(2) = op_code[11 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_shift_variable_decode(sf, op, S, Rm, opcode2, op2, Rn, Rd) +} + +function clause decode (0b110110101100000100 @ _ : bits(1) @ 0b011 @ _ : bits(10) as op_code) = { + sf : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + opcode2 : bits(5) = op_code[20 .. 16]; + Z : bits(1) = [op_code[13]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_pac_pacdb_dp_1src_decode(sf, S, opcode2, Z, Rn, Rd) +} + +function clause decode (_ : bits(2) @ 0b111000 @ _ : bits(2) @ 0b0 @ _ : bits(9) @ 0b10 @ _ : bits(10) as op_code) = { + size : bits(2) = op_code[31 .. 30]; + V : bits(1) = [op_code[26]]; + opc : bits(2) = op_code[23 .. 22]; + imm9 : bits(9) = op_code[20 .. 12]; + Rn : bits(5) = op_code[9 .. 5]; + Rt : bits(5) = op_code[4 .. 0]; + memory_single_general_immediate_signed_offset_unpriv_aarch64_memory_single_general_immediate_signed_offset_unpriv__decode(size, V, opc, imm9, Rn, Rt) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b01110110 @ _ : bits(5) @ 0b000101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + a : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_sub_fp16_simd_decode(Q, U, a, Rm, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(2) @ 0b011101 @ _ : bits(1) @ 0b1 @ _ : bits(5) @ 0b110101 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + sz : bits(1) = [op_code[22]]; + Rm : bits(5) = op_code[20 .. 16]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_arithmetic_binary_uniform_sub_fp_simd_decode(Q, U, sz, Rm, Rn, Rd) +} + +function clause decode (0b00011110 @ _ : bits(2) @ 0b1 @ _ : bits(5) @ 0b001 @ _ : bits(1) @ 0b10 @ _ : bits(10) as op_code) = { + M : bits(1) = [op_code[31]]; + S : bits(1) = [op_code[29]]; + typ : bits(2) = op_code[23 .. 22]; + Rm : bits(5) = op_code[20 .. 16]; + op : bits(1) = [op_code[12]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + float_arithmetic_addsub_decode(M, S, typ, Rm, op, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b001110 @ _ : bits(1) @ 0b0110000111110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_fp16max_simd_decode(Q, U, o1, Rn, Rd) +} + +function clause decode (0b0 @ _ : bits(1) @ 0b101110 @ _ : bits(2) @ 0b110000111110 @ _ : bits(10) as op_code) = { + Q : bits(1) = [op_code[30]]; + U : bits(1) = [op_code[29]]; + o1 : bits(1) = [op_code[23]]; + sz : bits(1) = [op_code[22]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + vector_reduce_fpmax_simd_decode(Q, U, o1, sz, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b00100111 @ _ : bits(1) @ 0b0 @ _ : bits(21) as op_code) = { + sf : bits(1) = [op_code[31]]; + op21 : bits(2) = op_code[30 .. 29]; + N : bits(1) = [op_code[22]]; + o0 : bits(1) = [op_code[21]]; + Rm : bits(5) = op_code[20 .. 16]; + imms : bits(6) = op_code[15 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_insext_extract_immediate_decode(sf, op21, N, o0, Rm, imms, Rn, Rd) +} + +function clause decode (0b11010100010 @ _ : bits(16) @ 0b00000 as op_code) = { + opc : bits(3) = op_code[23 .. 21]; + imm16 : bits(16) = op_code[20 .. 5]; + op2 : bits(3) = op_code[4 .. 2]; + LL : bits(2) = op_code[1 .. 0]; + system_exceptions_debug_halt_decode(opc, imm16, op2, LL) +} + +function clause decode (0b10011011 @ _ : bits(1) @ 0b01 @ _ : bits(21) as op_code) = { + sf : bits(1) = [op_code[31]]; + op54 : bits(2) = op_code[30 .. 29]; + U : bits(1) = [op_code[23]]; + Rm : bits(5) = op_code[20 .. 16]; + o0 : bits(1) = [op_code[15]]; + Ra : bits(5) = op_code[14 .. 10]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_mul_widening_3264_decode(sf, op54, U, Rm, o0, Ra, Rn, Rd) +} + +function clause decode (_ : bits(1) @ 0b0011010110 @ _ : bits(5) @ 0b00001 @ _ : bits(11) as op_code) = { + sf : bits(1) = [op_code[31]]; + op : bits(1) = [op_code[30]]; + S : bits(1) = [op_code[29]]; + Rm : bits(5) = op_code[20 .. 16]; + opcode2 : bits(5) = op_code[15 .. 11]; + o1 : bits(1) = [op_code[10]]; + Rn : bits(5) = op_code[9 .. 5]; + Rd : bits(5) = op_code[4 .. 0]; + integer_arithmetic_div_decode(sf, op, S, Rm, opcode2, o1, Rn, Rd) +} |