// -----------
// This file was generated by riscv_ctg (https://github.com/riscv-software-src/riscv-ctg)
// version   : 0.6.3
// timestamp : Tue Apr 26 08:24:52 2022 GMT
// usage     : riscv_ctg \
//                  -- cgf //                  --cgf /home/anku/bmanip/riscv-ctg/sample_cgfs/dataset.cgf \
//                  --cgf /home/anku/bmanip/new_trials/trial26/64/clmul.cgf \
 \
//                  -- xlen 64  \
// -----------
//
// -----------
// Copyright (c) 2020. RISC-V International. All rights reserved.
// SPDX-License-Identifier: BSD-3-Clause
// -----------
//
// This assembly file tests the clmul instruction of the RISC-V RV64B,RV64K,RV64Zbc,RV64Zbkb,RV64Zkn,RV64Zks extension for the clmul covergroup.
// 
#include "model_test.h"
#include "arch_test.h"
RVTEST_ISA("RV64IB,RV64IK,RV64IZbc,RV64IZbkb,RV64IZkn,RV64IZks")

.section .text.init
.globl rvtest_entry_point
rvtest_entry_point:
RVMODEL_BOOT
RVTEST_CODE_BEGIN

#ifdef TEST_CASE_1

RVTEST_CASE(0,"//check ISA:=regex(.*64.*);check ISA:=regex(.*I.*B.*);def TEST_CASE_1=True;",clmul)

RVTEST_CASE(1,"//check ISA:=regex(.*64.*);check ISA:=regex(.*I.*Zbc.*);def TEST_CASE_1=True;",clmul)

RVTEST_SIGBASE(x1,signature_x1_1)

inst_0:
// rs1 == rd != rs2, rs1==x31, rs2==x30, rd==x31, rs1_val == 6148914691236517205, rs2_val == 18446744073709550591
// opcode: clmul ; op1:x31; op2:x30; dest:x31; op1val:0x5555555555555555;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x31, x30, 0x0000000000000000, 0x5555555555555555, 0xfffffffffffffbff, x31, x1, 0, x2)

inst_1:
// rs1 == rs2 == rd, rs1==x29, rs2==x29, rd==x29, rs2_val == 9223372036854775807, rs1_val == 18446744073709550591
// opcode: clmul ; op1:x29; op2:x29; dest:x29; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x29, x29, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffffbff, x29, x1, 8, x2)

inst_2:
// rs2 == rd != rs1, rs1==x30, rs2==x28, rd==x28, rs2_val == 13835058055282163711, 
// opcode: clmul ; op1:x30; op2:x28; dest:x28; op1val:0xfffffffffffffbff;  op2val:0xbfffffffffffffff
TEST_PKRR_OP(clmul, x28, x30, x28, 0x0000000000000000, 0xfffffffffffffbff, 0xbfffffffffffffff, x30, x1, 16, x2)

inst_3:
// rs1 == rs2 != rd, rs1==x27, rs2==x27, rd==x30, rs2_val == 16140901064495857663, 
// opcode: clmul ; op1:x27; op2:x27; dest:x30; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x30, x27, x27, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffffbff, x27, x1, 24, x2)

inst_4:
// rs1 != rs2  and rs1 != rd and rs2 != rd, rs1==x28, rs2==x31, rd==x27, rs2_val == 17293822569102704639, 
// opcode: clmul ; op1:x28; op2:x31; dest:x27; op1val:0xfffffffffffffbff;  op2val:0xefffffffffffffff
TEST_PKRR_OP(clmul, x27, x28, x31, 0x0000000000000000, 0xfffffffffffffbff, 0xefffffffffffffff, x28, x1, 32, x2)

inst_5:
// rs1==x25, rs2==x24, rd==x26, rs2_val == 17870283321406128127, 
// opcode: clmul ; op1:x25; op2:x24; dest:x26; op1val:0xfffffffffffffbff;  op2val:0xf7ffffffffffffff
TEST_PKRR_OP(clmul, x26, x25, x24, 0x0000000000000000, 0xfffffffffffffbff, 0xf7ffffffffffffff, x25, x1, 40, x2)

inst_6:
// rs1==x24, rs2==x26, rd==x25, rs2_val == 18158513697557839871, 
// opcode: clmul ; op1:x24; op2:x26; dest:x25; op1val:0xfffffffffffffbff;  op2val:0xfbffffffffffffff
TEST_PKRR_OP(clmul, x25, x24, x26, 0x0000000000000000, 0xfffffffffffffbff, 0xfbffffffffffffff, x24, x1, 48, x2)

inst_7:
// rs1==x26, rs2==x25, rd==x24, rs2_val == 18302628885633695743, 
// opcode: clmul ; op1:x26; op2:x25; dest:x24; op1val:0xfffffffffffffbff;  op2val:0xfdffffffffffffff
TEST_PKRR_OP(clmul, x24, x26, x25, 0x0000000000000000, 0xfffffffffffffbff, 0xfdffffffffffffff, x26, x1, 56, x2)

inst_8:
// rs1==x22, rs2==x21, rd==x23, rs2_val == 18374686479671623679, 
// opcode: clmul ; op1:x22; op2:x21; dest:x23; op1val:0xfffffffffffffbff;  op2val:0xfeffffffffffffff
TEST_PKRR_OP(clmul, x23, x22, x21, 0x0000000000000000, 0xfffffffffffffbff, 0xfeffffffffffffff, x22, x1, 64, x2)

inst_9:
// rs1==x21, rs2==x23, rd==x22, rs2_val == 18410715276690587647, 
// opcode: clmul ; op1:x21; op2:x23; dest:x22; op1val:0xfffffffffffffbff;  op2val:0xff7fffffffffffff
TEST_PKRR_OP(clmul, x22, x21, x23, 0x0000000000000000, 0xfffffffffffffbff, 0xff7fffffffffffff, x21, x1, 72, x2)

inst_10:
// rs1==x23, rs2==x22, rd==x21, rs2_val == 18428729675200069631, 
// opcode: clmul ; op1:x23; op2:x22; dest:x21; op1val:0xfffffffffffffbff;  op2val:0xffbfffffffffffff
TEST_PKRR_OP(clmul, x21, x23, x22, 0x0000000000000000, 0xfffffffffffffbff, 0xffbfffffffffffff, x23, x1, 80, x2)

inst_11:
// rs1==x19, rs2==x18, rd==x20, rs2_val == 18437736874454810623, 
// opcode: clmul ; op1:x19; op2:x18; dest:x20; op1val:0xfffffffffffffbff;  op2val:0xffdfffffffffffff
TEST_PKRR_OP(clmul, x20, x19, x18, 0x0000000000000000, 0xfffffffffffffbff, 0xffdfffffffffffff, x19, x1, 88, x2)

inst_12:
// rs1==x18, rs2==x20, rd==x19, rs2_val == 18442240474082181119, 
// opcode: clmul ; op1:x18; op2:x20; dest:x19; op1val:0xfffffffffffffbff;  op2val:0xffefffffffffffff
TEST_PKRR_OP(clmul, x19, x18, x20, 0x0000000000000000, 0xfffffffffffffbff, 0xffefffffffffffff, x18, x1, 96, x2)

inst_13:
// rs1==x20, rs2==x19, rd==x18, rs2_val == 18444492273895866367, 
// opcode: clmul ; op1:x20; op2:x19; dest:x18; op1val:0xfffffffffffffbff;  op2val:0xfff7ffffffffffff
TEST_PKRR_OP(clmul, x18, x20, x19, 0x0000000000000000, 0xfffffffffffffbff, 0xfff7ffffffffffff, x20, x1, 104, x2)

inst_14:
// rs1==x16, rs2==x15, rd==x17, rs2_val == 18445618173802708991, 
// opcode: clmul ; op1:x16; op2:x15; dest:x17; op1val:0xfffffffffffffbff;  op2val:0xfffbffffffffffff
TEST_PKRR_OP(clmul, x17, x16, x15, 0x0000000000000000, 0xfffffffffffffbff, 0xfffbffffffffffff, x16, x1, 112, x2)

inst_15:
// rs1==x15, rs2==x17, rd==x16, rs2_val == 18446181123756130303, 
// opcode: clmul ; op1:x15; op2:x17; dest:x16; op1val:0xfffffffffffffbff;  op2val:0xfffdffffffffffff
TEST_PKRR_OP(clmul, x16, x15, x17, 0x0000000000000000, 0xfffffffffffffbff, 0xfffdffffffffffff, x15, x1, 120, x2)

inst_16:
// rs1==x17, rs2==x16, rd==x15, rs2_val == 18446462598732840959, 
// opcode: clmul ; op1:x17; op2:x16; dest:x15; op1val:0xfffffffffffffbff;  op2val:0xfffeffffffffffff
TEST_PKRR_OP(clmul, x15, x17, x16, 0x0000000000000000, 0xfffffffffffffbff, 0xfffeffffffffffff, x17, x1, 128, x2)

inst_17:
// rs1==x13, rs2==x12, rd==x14, rs2_val == 18446603336221196287, 
// opcode: clmul ; op1:x13; op2:x12; dest:x14; op1val:0xfffffffffffffbff;  op2val:0xffff7fffffffffff
TEST_PKRR_OP(clmul, x14, x13, x12, 0x0000000000000000, 0xfffffffffffffbff, 0xffff7fffffffffff, x13, x1, 136, x2)

inst_18:
// rs1==x12, rs2==x14, rd==x13, rs2_val == 18446673704965373951, 
// opcode: clmul ; op1:x12; op2:x14; dest:x13; op1val:0xfffffffffffffbff;  op2val:0xffffbfffffffffff
TEST_PKRR_OP(clmul, x13, x12, x14, 0x0000000000000000, 0xfffffffffffffbff, 0xffffbfffffffffff, x12, x1, 144, x2)

inst_19:
// rs1==x14, rs2==x13, rd==x12, rs2_val == 18446708889337462783, 
// opcode: clmul ; op1:x14; op2:x13; dest:x12; op1val:0xfffffffffffffbff;  op2val:0xffffdfffffffffff
TEST_PKRR_OP(clmul, x12, x14, x13, 0x0000000000000000, 0xfffffffffffffbff, 0xffffdfffffffffff, x14, x1, 152, x2)

inst_20:
// rs1==x10, rs2==x9, rd==x11, rs2_val == 18446726481523507199, 
// opcode: clmul ; op1:x10; op2:x9; dest:x11; op1val:0xfffffffffffffbff;  op2val:0xffffefffffffffff
TEST_PKRR_OP(clmul, x11, x10, x9, 0x0000000000000000, 0xfffffffffffffbff, 0xffffefffffffffff, x10, x1, 160, x2)

inst_21:
// rs1==x9, rs2==x11, rd==x10, rs2_val == 18446735277616529407, 
// opcode: clmul ; op1:x9; op2:x11; dest:x10; op1val:0xfffffffffffffbff;  op2val:0xfffff7ffffffffff
TEST_PKRR_OP(clmul, x10, x9, x11, 0x0000000000000000, 0xfffffffffffffbff, 0xfffff7ffffffffff, x9, x1, 168, x2)

inst_22:
// rs1==x11, rs2==x10, rd==x9, rs2_val == 18446739675663040511, 
// opcode: clmul ; op1:x11; op2:x10; dest:x9; op1val:0xfffffffffffffbff;  op2val:0xfffffbffffffffff
TEST_PKRR_OP(clmul, x9, x11, x10, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffbffffffffff, x11, x1, 176, x2)

inst_23:
// rs1==x7, rs2==x6, rd==x8, rs2_val == 18446741874686296063, 
// opcode: clmul ; op1:x7; op2:x6; dest:x8; op1val:0xfffffffffffffbff;  op2val:0xfffffdffffffffff
TEST_PKRR_OP(clmul, x8, x7, x6, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffdffffffffff, x7, x1, 184, x2)

inst_24:
// rs1==x6, rs2==x8, rd==x7, rs2_val == 18446742974197923839, 
// opcode: clmul ; op1:x6; op2:x8; dest:x7; op1val:0xfffffffffffffbff;  op2val:0xfffffeffffffffff
TEST_PKRR_OP(clmul, x7, x6, x8, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffeffffffffff, x6, x1, 192, x9)

inst_25:
// rs1==x8, rs2==x7, rd==x6, rs2_val == 18446743523953737727, 
// opcode: clmul ; op1:x8; op2:x7; dest:x6; op1val:0xfffffffffffffbff;  op2val:0xffffff7fffffffff
TEST_PKRR_OP(clmul, x6, x8, x7, 0x0000000000000000, 0xfffffffffffffbff, 0xffffff7fffffffff, x8, x1, 200, x9)

inst_26:
// rs1==x4, rs2==x3, rd==x5, rs2_val == 18446743798831644671, 
// opcode: clmul ; op1:x4; op2:x3; dest:x5; op1val:0xfffffffffffffbff;  op2val:0xffffffbfffffffff
TEST_PKRR_OP(clmul, x5, x4, x3, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffbfffffffff, x4, x1, 208, x9)
RVTEST_SIGBASE(x6,signature_x6_0)

inst_27:
// rs1==x3, rs2==x5, rd==x4, rs2_val == 18446743936270598143, 
// opcode: clmul ; op1:x3; op2:x5; dest:x4; op1val:0xfffffffffffffbff;  op2val:0xffffffdfffffffff
TEST_PKRR_OP(clmul, x4, x3, x5, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffdfffffffff, x3, x6, 0, x9)

inst_28:
// rs1==x5, rs2==x4, rd==x3, rs2_val == 18446744004990074879, 
// opcode: clmul ; op1:x5; op2:x4; dest:x3; op1val:0xfffffffffffffbff;  op2val:0xffffffefffffffff
TEST_PKRR_OP(clmul, x3, x5, x4, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffefffffffff, x5, x6, 8, x9)

inst_29:
// rs1==x1, rs2==x0, rd==x2, rs2_val == 18446744039349813247, 
// opcode: clmul ; op1:x1; op2:x0; dest:x2; op1val:0xfffffffffffffbff;  op2val:0x0
TEST_PKRR_OP(clmul, x2, x1, x0, 0x0000000000000000, 0xfffffffffffffbff, 0x0, x1, x6, 16, x9)

inst_30:
// rs1==x0, rs2==x2, rd==x1, rs2_val == 18446744056529682431, 
// opcode: clmul ; op1:x0; op2:x2; dest:x1; op1val:0x0;  op2val:0xfffffffbffffffff
TEST_PKRR_OP(clmul, x1, x0, x2, 0x0000000000000000, 0x0, 0xfffffffbffffffff, x0, x6, 24, x9)

inst_31:
// rs1==x2, rs2==x1, rd==x0, rs2_val == 18446744065119617023, 
// opcode: clmul ; op1:x2; op2:x1; dest:x0; op1val:0xfffffffffffffbff;  op2val:0xfffffffdffffffff
TEST_PKRR_OP(clmul, x0, x2, x1, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffdffffffff, x2, x6, 32, x9)

inst_32:
// rs2_val == 18446744069414584319, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffeffffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffeffffffff, x30, x6, 40, x9)

inst_33:
// rs2_val == 18446744071562067967, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffff7fffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffff7fffffff, x30, x6, 48, x9)

inst_34:
// rs2_val == 18446744072635809791, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffbfffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffbfffffff, x30, x6, 56, x9)

inst_35:
// rs2_val == 18446744073172680703, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffdfffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffdfffffff, x30, x6, 64, x9)

inst_36:
// rs2_val == 18446744073441116159, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffefffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffefffffff, x30, x6, 72, x9)

inst_37:
// rs2_val == 18446744073575333887, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffff7ffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffff7ffffff, x30, x6, 80, x9)

inst_38:
// rs2_val == 18446744073642442751, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffbffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffbffffff, x30, x6, 88, x9)

inst_39:
// rs2_val == 18446744073675997183, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffdffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffdffffff, x30, x6, 96, x9)

inst_40:
// rs2_val == 18446744073692774399, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffeffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffeffffff, x30, x6, 104, x9)

inst_41:
// rs2_val == 18446744073701163007, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffff7fffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffff7fffff, x30, x6, 112, x9)

inst_42:
// rs2_val == 18446744073705357311, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffbfffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffbfffff, x30, x6, 120, x9)

inst_43:
// rs2_val == 18446744073707454463, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffdfffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffdfffff, x30, x6, 128, x9)

inst_44:
// rs2_val == 18446744073708503039, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffefffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffefffff, x30, x6, 136, x9)

inst_45:
// rs2_val == 18446744073709027327, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffff7ffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffff7ffff, x30, x6, 144, x9)

inst_46:
// rs2_val == 18446744073709289471, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffbffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffbffff, x30, x6, 152, x9)

inst_47:
// rs2_val == 18446744073709420543, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffdffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffdffff, x30, x6, 160, x9)

inst_48:
// rs2_val == 18446744073709486079, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffeffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffeffff, x30, x6, 168, x9)

inst_49:
// rs2_val == 18446744073709518847, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffff7fff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffff7fff, x30, x6, 176, x9)

inst_50:
// rs2_val == 18446744073709535231, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffffbfff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffffbfff, x30, x6, 184, x9)

inst_51:
// rs2_val == 18446744073709543423, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffffdfff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffffdfff, x30, x6, 192, x9)

inst_52:
// rs2_val == 18446744073709547519, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffffefff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffffefff, x30, x6, 200, x9)

inst_53:
// rs2_val == 18446744073709549567, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffff7ff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffff7ff, x30, x6, 208, x9)

inst_54:
// rs2_val == 18446744073709551103, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffffdff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffffdff, x30, x6, 216, x9)

inst_55:
// rs2_val == 18446744073709551359, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffffeff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffffeff, x30, x6, 224, x9)

inst_56:
// rs2_val == 18446744073709551487, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffffff7f
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffffff7f, x30, x6, 232, x9)

inst_57:
// rs2_val == 18446744073709551551, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffffffbf
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffffffbf, x30, x6, 240, x9)

inst_58:
// rs2_val == 18446744073709551583, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffffffdf
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffffffdf, x30, x6, 248, x9)

inst_59:
// rs2_val == 18446744073709551599, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xffffffffffffffef
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xffffffffffffffef, x30, x6, 256, x9)

inst_60:
// rs2_val == 18446744073709551607, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffffff7
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffffff7, x30, x6, 264, x9)

inst_61:
// rs2_val == 18446744073709551611, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffffffb
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffffffb, x30, x6, 272, x9)

inst_62:
// rs2_val == 18446744073709551613, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffffffd
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffffffd, x30, x6, 280, x9)

inst_63:
// rs2_val == 18446744073709551614, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffffffffffe
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffffffffffe, x30, x6, 288, x9)

inst_64:
// rs1_val == 9223372036854775807, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x7fffffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x7fffffffffffffff, 0xfffffffffffffbff, x30, x6, 296, x9)

inst_65:
// rs1_val == 13835058055282163711, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xbfffffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xbfffffffffffffff, 0xfffffffffffffbff, x30, x6, 304, x9)

inst_66:
// rs1_val == 16140901064495857663, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xdfffffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xdfffffffffffffff, 0xfffffffffffffbff, x30, x6, 312, x9)

inst_67:
// rs1_val == 17293822569102704639, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xefffffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xefffffffffffffff, 0xfffffffffffffbff, x30, x6, 320, x9)

inst_68:
// rs1_val == 17870283321406128127, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xf7ffffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xf7ffffffffffffff, 0xfffffffffffffbff, x30, x6, 328, x9)

inst_69:
// rs1_val == 18158513697557839871, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfbffffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfbffffffffffffff, 0xfffffffffffffbff, x30, x6, 336, x9)

inst_70:
// rs1_val == 18302628885633695743, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfdffffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfdffffffffffffff, 0xfffffffffffffbff, x30, x6, 344, x9)

inst_71:
// rs1_val == 18374686479671623679, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfeffffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfeffffffffffffff, 0xfffffffffffffbff, x30, x6, 352, x9)

inst_72:
// rs1_val == 18410715276690587647, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xff7fffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xff7fffffffffffff, 0xfffffffffffffbff, x30, x6, 360, x9)

inst_73:
// rs1_val == 18428729675200069631, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffbfffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffbfffffffffffff, 0xfffffffffffffbff, x30, x6, 368, x9)

inst_74:
// rs1_val == 18437736874454810623, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffdfffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffdfffffffffffff, 0xfffffffffffffbff, x30, x6, 376, x9)

inst_75:
// rs1_val == 18442240474082181119, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffefffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffefffffffffffff, 0xfffffffffffffbff, x30, x6, 384, x9)

inst_76:
// rs1_val == 18444492273895866367, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfff7ffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfff7ffffffffffff, 0xfffffffffffffbff, x30, x6, 392, x9)

inst_77:
// rs1_val == 18445618173802708991, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffbffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffbffffffffffff, 0xfffffffffffffbff, x30, x6, 400, x9)

inst_78:
// rs1_val == 18446181123756130303, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffdffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffdffffffffffff, 0xfffffffffffffbff, x30, x6, 408, x9)

inst_79:
// rs1_val == 18446462598732840959, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffeffffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffeffffffffffff, 0xfffffffffffffbff, x30, x6, 416, x9)

inst_80:
// rs1_val == 18446603336221196287, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffff7fffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffff7fffffffffff, 0xfffffffffffffbff, x30, x6, 424, x9)

inst_81:
// rs1_val == 18446673704965373951, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffbfffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffbfffffffffff, 0xfffffffffffffbff, x30, x6, 432, x9)

inst_82:
// rs1_val == 18446708889337462783, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffdfffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffdfffffffffff, 0xfffffffffffffbff, x30, x6, 440, x9)

inst_83:
// rs1_val == 18446726481523507199, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffefffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffefffffffffff, 0xfffffffffffffbff, x30, x6, 448, x9)

inst_84:
// rs1_val == 18446735277616529407, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffff7ffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffff7ffffffffff, 0xfffffffffffffbff, x30, x6, 456, x9)

inst_85:
// rs1_val == 18446739675663040511, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffbffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffbffffffffff, 0xfffffffffffffbff, x30, x6, 464, x9)

inst_86:
// rs1_val == 18446741874686296063, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffdffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffdffffffffff, 0xfffffffffffffbff, x30, x6, 472, x9)

inst_87:
// rs1_val == 18446742974197923839, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffeffffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffeffffffffff, 0xfffffffffffffbff, x30, x6, 480, x9)

inst_88:
// rs1_val == 18446743523953737727, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffff7fffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffff7fffffffff, 0xfffffffffffffbff, x30, x6, 488, x9)

inst_89:
// rs1_val == 18446743798831644671, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffbfffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffbfffffffff, 0xfffffffffffffbff, x30, x6, 496, x9)

inst_90:
// rs1_val == 18446743936270598143, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffdfffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffdfffffffff, 0xfffffffffffffbff, x30, x6, 504, x9)

inst_91:
// rs1_val == 18446744004990074879, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffefffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffefffffffff, 0xfffffffffffffbff, x30, x6, 512, x9)

inst_92:
// rs1_val == 18446744039349813247, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffff7ffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffff7ffffffff, 0xfffffffffffffbff, x30, x6, 520, x9)

inst_93:
// rs1_val == 18446744056529682431, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffbffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffbffffffff, 0xfffffffffffffbff, x30, x6, 528, x9)

inst_94:
// rs1_val == 18446744065119617023, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffdffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffdffffffff, 0xfffffffffffffbff, x30, x6, 536, x9)

inst_95:
// rs1_val == 18446744069414584319, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffeffffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffeffffffff, 0xfffffffffffffbff, x30, x6, 544, x9)

inst_96:
// rs1_val == 18446744071562067967, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffff7fffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffff7fffffff, 0xfffffffffffffbff, x30, x6, 552, x9)

inst_97:
// rs1_val == 18446744072635809791, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffbfffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffbfffffff, 0xfffffffffffffbff, x30, x6, 560, x9)

inst_98:
// rs1_val == 18446744073172680703, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffdfffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffdfffffff, 0xfffffffffffffbff, x30, x6, 568, x9)

inst_99:
// rs1_val == 18446744073441116159, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffefffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffefffffff, 0xfffffffffffffbff, x30, x6, 576, x9)

inst_100:
// rs1_val == 18446744073575333887, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffff7ffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffff7ffffff, 0xfffffffffffffbff, x30, x6, 584, x9)

inst_101:
// rs1_val == 18446744073642442751, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffbffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffbffffff, 0xfffffffffffffbff, x30, x6, 592, x9)

inst_102:
// rs1_val == 18446744073675997183, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffdffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffdffffff, 0xfffffffffffffbff, x30, x6, 600, x9)

inst_103:
// rs1_val == 18446744073692774399, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffeffffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffeffffff, 0xfffffffffffffbff, x30, x6, 608, x9)

inst_104:
// rs1_val == 18446744073701163007, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffff7fffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffff7fffff, 0xfffffffffffffbff, x30, x6, 616, x9)

inst_105:
// rs1_val == 18446744073705357311, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffbfffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffbfffff, 0xfffffffffffffbff, x30, x6, 624, x9)

inst_106:
// rs1_val == 18446744073707454463, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffdfffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffdfffff, 0xfffffffffffffbff, x30, x6, 632, x9)

inst_107:
// rs1_val == 18446744073708503039, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffefffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffefffff, 0xfffffffffffffbff, x30, x6, 640, x9)

inst_108:
// rs1_val == 18446744073709027327, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffff7ffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffff7ffff, 0xfffffffffffffbff, x30, x6, 648, x9)

inst_109:
// rs1_val == 18446744073709289471, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffbffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffbffff, 0xfffffffffffffbff, x30, x6, 656, x9)

inst_110:
// rs1_val == 18446744073709420543, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffdffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffdffff, 0xfffffffffffffbff, x30, x6, 664, x9)

inst_111:
// rs1_val == 18446744073709486079, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffeffff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffeffff, 0xfffffffffffffbff, x30, x6, 672, x9)

inst_112:
// rs1_val == 18446744073709518847, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffff7fff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffff7fff, 0xfffffffffffffbff, x30, x6, 680, x9)

inst_113:
// rs1_val == 18446744073709535231, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffffbfff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffffbfff, 0xfffffffffffffbff, x30, x6, 688, x9)

inst_114:
// rs1_val == 18446744073709543423, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffffdfff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffffdfff, 0xfffffffffffffbff, x30, x6, 696, x9)

inst_115:
// rs1_val == 18446744073709547519, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffffefff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffffefff, 0xfffffffffffffbff, x30, x6, 704, x9)

inst_116:
// rs1_val == 18446744073709549567, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffff7ff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffff7ff, 0xfffffffffffffbff, x30, x6, 712, x9)

inst_117:
// rs1_val == 18446744073709551103, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffdff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffdff, 0xfffffffffffffbff, x30, x6, 720, x9)

inst_118:
// rs1_val == 18446744073709551359, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffeff;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffeff, 0xfffffffffffffbff, x30, x6, 728, x9)

inst_119:
// rs1_val == 18446744073709551487, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffffff7f;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffffff7f, 0xfffffffffffffbff, x30, x6, 736, x9)

inst_120:
// rs1_val == 18446744073709551551, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffffffbf;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffffffbf, 0xfffffffffffffbff, x30, x6, 744, x9)

inst_121:
// rs1_val == 18446744073709551583, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffffffdf;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffffffdf, 0xfffffffffffffbff, x30, x6, 752, x9)

inst_122:
// rs1_val == 18446744073709551599, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xffffffffffffffef;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xffffffffffffffef, 0xfffffffffffffbff, x30, x6, 760, x9)

inst_123:
// rs1_val == 18446744073709551607, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffff7;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffff7, 0xfffffffffffffbff, x30, x6, 768, x9)

inst_124:
// rs1_val == 18446744073709551611, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffffb;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffffb, 0xfffffffffffffbff, x30, x6, 776, x9)

inst_125:
// rs1_val == 18446744073709551613, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffffd;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffffd, 0xfffffffffffffbff, x30, x6, 784, x9)

inst_126:
// rs1_val == 18446744073709551614, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffffe;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffffe, 0xfffffffffffffbff, x30, x6, 792, x9)

inst_127:
// rs2_val == 9223372036854775808, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x8000000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x8000000000000000, x30, x6, 800, x9)

inst_128:
// rs2_val == 4611686018427387904, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x4000000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x4000000000000000, x30, x6, 808, x9)

inst_129:
// rs2_val == 2305843009213693952, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x2000000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x2000000000000000, x30, x6, 816, x9)

inst_130:
// rs2_val == 1152921504606846976, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x1000000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x1000000000000000, x30, x6, 824, x9)

inst_131:
// rs1_val == 1, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x1;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x1, 0xfffffffffffffbff, x30, x6, 832, x9)

inst_132:
// rs2_val == 12297829382473034410, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xaaaaaaaaaaaaaaaa
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xaaaaaaaaaaaaaaaa, x30, x6, 840, x9)

inst_133:
// rs2_val == 6148914691236517205, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x5555555555555555
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x5555555555555555, x30, x6, 848, x9)

inst_134:
// rs1_val == 12297829382473034410, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xaaaaaaaaaaaaaaaa;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xaaaaaaaaaaaaaaaa, 0xfffffffffffffbff, x30, x6, 856, x9)

inst_135:
// rs2_val == 576460752303423488, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x800000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x800000000000000, x30, x6, 864, x9)

inst_136:
// rs2_val == 288230376151711744, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x400000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x400000000000000, x30, x6, 872, x9)

inst_137:
// rs2_val == 144115188075855872, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x200000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x200000000000000, x30, x6, 880, x9)

inst_138:
// rs2_val == 72057594037927936, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x100000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x100000000000000, x30, x6, 888, x9)

inst_139:
// rs2_val == 36028797018963968, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x80000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x80000000000000, x30, x6, 896, x9)

inst_140:
// rs2_val == 18014398509481984, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x40000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x40000000000000, x30, x6, 904, x9)

inst_141:
// rs2_val == 9007199254740992, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x20000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x20000000000000, x30, x6, 912, x9)

inst_142:
// rs2_val == 4503599627370496, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x10000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x10000000000000, x30, x6, 920, x9)

inst_143:
// rs2_val == 2251799813685248, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x8000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x8000000000000, x30, x6, 928, x9)

inst_144:
// rs2_val == 1125899906842624, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x4000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x4000000000000, x30, x6, 936, x9)

inst_145:
// rs2_val == 562949953421312, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x2000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x2000000000000, x30, x6, 944, x9)

inst_146:
// rs2_val == 281474976710656, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x1000000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x1000000000000, x30, x6, 952, x9)

inst_147:
// rs2_val == 140737488355328, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x800000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x800000000000, x30, x6, 960, x9)

inst_148:
// rs2_val == 70368744177664, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x400000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x400000000000, x30, x6, 968, x9)

inst_149:
// rs2_val == 35184372088832, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x200000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x200000000000, x30, x6, 976, x9)

inst_150:
// rs2_val == 17592186044416, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x100000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x100000000000, x30, x6, 984, x9)

inst_151:
// rs2_val == 8796093022208, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x80000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x80000000000, x30, x6, 992, x9)

inst_152:
// rs2_val == 4398046511104, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x40000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x40000000000, x30, x6, 1000, x9)

inst_153:
// rs2_val == 2199023255552, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x20000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x20000000000, x30, x6, 1008, x9)

inst_154:
// rs2_val == 1099511627776, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x10000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x10000000000, x30, x6, 1016, x9)

inst_155:
// rs2_val == 549755813888, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x8000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x8000000000, x30, x6, 1024, x9)

inst_156:
// rs2_val == 274877906944, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x4000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x4000000000, x30, x6, 1032, x9)

inst_157:
// rs2_val == 137438953472, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x2000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x2000000000, x30, x6, 1040, x9)

inst_158:
// rs2_val == 68719476736, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x1000000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x1000000000, x30, x6, 1048, x9)

inst_159:
// rs2_val == 34359738368, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x800000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x800000000, x30, x6, 1056, x9)

inst_160:
// rs2_val == 17179869184, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x400000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x400000000, x30, x6, 1064, x9)

inst_161:
// rs2_val == 8589934592, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x200000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x200000000, x30, x6, 1072, x9)

inst_162:
// rs2_val == 4294967296, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x100000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x100000000, x30, x6, 1080, x9)

inst_163:
// rs2_val == 2147483648, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x80000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x80000000, x30, x6, 1088, x9)

inst_164:
// rs2_val == 1073741824, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x40000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x40000000, x30, x6, 1096, x9)

inst_165:
// rs2_val == 536870912, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x20000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x20000000, x30, x6, 1104, x9)

inst_166:
// rs2_val == 268435456, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x10000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x10000000, x30, x6, 1112, x9)

inst_167:
// rs2_val == 134217728, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x8000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x8000000, x30, x6, 1120, x9)

inst_168:
// rs2_val == 67108864, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x4000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x4000000, x30, x6, 1128, x9)

inst_169:
// rs2_val == 33554432, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x2000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x2000000, x30, x6, 1136, x9)

inst_170:
// rs2_val == 16777216, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x1000000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x1000000, x30, x6, 1144, x9)

inst_171:
// rs2_val == 8388608, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x800000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x800000, x30, x6, 1152, x9)

inst_172:
// rs2_val == 4194304, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x400000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x400000, x30, x6, 1160, x9)

inst_173:
// rs2_val == 2097152, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x200000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x200000, x30, x6, 1168, x9)

inst_174:
// rs2_val == 1048576, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x100000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x100000, x30, x6, 1176, x9)

inst_175:
// rs2_val == 524288, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x80000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x80000, x30, x6, 1184, x9)

inst_176:
// rs2_val == 262144, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x40000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x40000, x30, x6, 1192, x9)

inst_177:
// rs2_val == 131072, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x20000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x20000, x30, x6, 1200, x9)

inst_178:
// rs2_val == 65536, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x10000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x10000, x30, x6, 1208, x9)

inst_179:
// rs2_val == 32768, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x8000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x8000, x30, x6, 1216, x9)

inst_180:
// rs2_val == 16384, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x4000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x4000, x30, x6, 1224, x9)

inst_181:
// rs2_val == 8192, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x2000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x2000, x30, x6, 1232, x9)

inst_182:
// rs2_val == 4096, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x1000
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x1000, x30, x6, 1240, x9)

inst_183:
// rs2_val == 2048, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x800
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x800, x30, x6, 1248, x9)

inst_184:
// rs2_val == 1024, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x400
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x400, x30, x6, 1256, x9)

inst_185:
// rs2_val == 512, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x200
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x200, x30, x6, 1264, x9)

inst_186:
// rs2_val == 256, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x100
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x100, x30, x6, 1272, x9)

inst_187:
// rs2_val == 128, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x80
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x80, x30, x6, 1280, x9)

inst_188:
// rs2_val == 64, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x40
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x40, x30, x6, 1288, x9)

inst_189:
// rs2_val == 32, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x20
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x20, x30, x6, 1296, x9)

inst_190:
// rs2_val == 16, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x10
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x10, x30, x6, 1304, x9)

inst_191:
// rs2_val == 8, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x8
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x8, x30, x6, 1312, x9)

inst_192:
// rs2_val == 4, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x4
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x4, x30, x6, 1320, x9)

inst_193:
// rs2_val == 2, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x2
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x2, x30, x6, 1328, x9)

inst_194:
// rs2_val == 1, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x1
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x1, x30, x6, 1336, x9)

inst_195:
// rs1_val == 9223372036854775808, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x8000000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x8000000000000000, 0xfffffffffffffbff, x30, x6, 1344, x9)

inst_196:
// rs1_val == 4611686018427387904, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x4000000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x4000000000000000, 0xfffffffffffffbff, x30, x6, 1352, x9)

inst_197:
// rs1_val == 2305843009213693952, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x2000000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x2000000000000000, 0xfffffffffffffbff, x30, x6, 1360, x9)

inst_198:
// rs1_val == 1152921504606846976, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x1000000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x1000000000000000, 0xfffffffffffffbff, x30, x6, 1368, x9)

inst_199:
// rs1_val == 576460752303423488, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x800000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x800000000000000, 0xfffffffffffffbff, x30, x6, 1376, x9)

inst_200:
// rs1_val == 288230376151711744, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x400000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x400000000000000, 0xfffffffffffffbff, x30, x6, 1384, x9)

inst_201:
// rs1_val == 144115188075855872, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x200000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x200000000000000, 0xfffffffffffffbff, x30, x6, 1392, x9)

inst_202:
// rs1_val == 72057594037927936, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x100000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x100000000000000, 0xfffffffffffffbff, x30, x6, 1400, x9)

inst_203:
// rs1_val == 36028797018963968, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x80000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x80000000000000, 0xfffffffffffffbff, x30, x6, 1408, x9)

inst_204:
// rs1_val == 18014398509481984, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x40000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x40000000000000, 0xfffffffffffffbff, x30, x6, 1416, x9)

inst_205:
// rs1_val == 9007199254740992, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x20000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x20000000000000, 0xfffffffffffffbff, x30, x6, 1424, x9)

inst_206:
// rs1_val == 4503599627370496, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x10000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x10000000000000, 0xfffffffffffffbff, x30, x6, 1432, x9)

inst_207:
// rs1_val == 2251799813685248, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x8000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x8000000000000, 0xfffffffffffffbff, x30, x6, 1440, x9)

inst_208:
// rs1_val == 1125899906842624, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x4000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x4000000000000, 0xfffffffffffffbff, x30, x6, 1448, x9)

inst_209:
// rs1_val == 562949953421312, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x2000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x2000000000000, 0xfffffffffffffbff, x30, x6, 1456, x9)

inst_210:
// rs1_val == 281474976710656, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x1000000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x1000000000000, 0xfffffffffffffbff, x30, x6, 1464, x9)

inst_211:
// rs1_val == 140737488355328, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x800000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x800000000000, 0xfffffffffffffbff, x30, x6, 1472, x9)

inst_212:
// rs1_val == 70368744177664, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x400000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x400000000000, 0xfffffffffffffbff, x30, x6, 1480, x9)

inst_213:
// rs1_val == 35184372088832, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x200000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x200000000000, 0xfffffffffffffbff, x30, x6, 1488, x9)

inst_214:
// rs1_val == 17592186044416, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x100000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x100000000000, 0xfffffffffffffbff, x30, x6, 1496, x9)

inst_215:
// rs1_val == 8796093022208, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x80000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x80000000000, 0xfffffffffffffbff, x30, x6, 1504, x9)

inst_216:
// rs1_val == 4398046511104, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x40000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x40000000000, 0xfffffffffffffbff, x30, x6, 1512, x9)

inst_217:
// rs1_val == 2199023255552, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x20000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x20000000000, 0xfffffffffffffbff, x30, x6, 1520, x9)

inst_218:
// rs1_val == 1099511627776, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x10000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x10000000000, 0xfffffffffffffbff, x30, x6, 1528, x9)

inst_219:
// rs1_val == 549755813888, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x8000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x8000000000, 0xfffffffffffffbff, x30, x6, 1536, x9)

inst_220:
// rs1_val == 274877906944, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x4000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x4000000000, 0xfffffffffffffbff, x30, x6, 1544, x9)

inst_221:
// rs1_val == 137438953472, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x2000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x2000000000, 0xfffffffffffffbff, x30, x6, 1552, x9)

inst_222:
// rs1_val == 68719476736, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x1000000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x1000000000, 0xfffffffffffffbff, x30, x6, 1560, x9)

inst_223:
// rs1_val == 34359738368, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x800000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x800000000, 0xfffffffffffffbff, x30, x6, 1568, x9)

inst_224:
// rs1_val == 17179869184, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x400000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x400000000, 0xfffffffffffffbff, x30, x6, 1576, x9)

inst_225:
// rs1_val == 8589934592, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x200000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x200000000, 0xfffffffffffffbff, x30, x6, 1584, x9)

inst_226:
// rs1_val == 4294967296, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x100000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x100000000, 0xfffffffffffffbff, x30, x6, 1592, x9)

inst_227:
// rs1_val == 2147483648, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x80000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x80000000, 0xfffffffffffffbff, x30, x6, 1600, x9)

inst_228:
// rs1_val == 1073741824, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x40000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x40000000, 0xfffffffffffffbff, x30, x6, 1608, x9)

inst_229:
// rs1_val == 536870912, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x20000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x20000000, 0xfffffffffffffbff, x30, x6, 1616, x9)

inst_230:
// rs1_val == 268435456, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x10000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x10000000, 0xfffffffffffffbff, x30, x6, 1624, x9)

inst_231:
// rs1_val == 134217728, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x8000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x8000000, 0xfffffffffffffbff, x30, x6, 1632, x9)

inst_232:
// rs1_val == 67108864, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x4000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x4000000, 0xfffffffffffffbff, x30, x6, 1640, x9)

inst_233:
// rs1_val == 33554432, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x2000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x2000000, 0xfffffffffffffbff, x30, x6, 1648, x9)

inst_234:
// rs1_val == 16777216, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x1000000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x1000000, 0xfffffffffffffbff, x30, x6, 1656, x9)

inst_235:
// rs1_val == 8388608, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x800000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x800000, 0xfffffffffffffbff, x30, x6, 1664, x9)

inst_236:
// rs1_val == 4194304, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x400000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x400000, 0xfffffffffffffbff, x30, x6, 1672, x9)

inst_237:
// rs1_val == 2097152, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x200000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x200000, 0xfffffffffffffbff, x30, x6, 1680, x9)

inst_238:
// rs1_val == 1048576, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x100000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x100000, 0xfffffffffffffbff, x30, x6, 1688, x9)

inst_239:
// rs1_val == 524288, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x80000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x80000, 0xfffffffffffffbff, x30, x6, 1696, x9)

inst_240:
// rs1_val == 262144, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x40000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x40000, 0xfffffffffffffbff, x30, x6, 1704, x9)

inst_241:
// rs1_val == 131072, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x20000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x20000, 0xfffffffffffffbff, x30, x6, 1712, x9)

inst_242:
// rs1_val == 65536, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x10000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x10000, 0xfffffffffffffbff, x30, x6, 1720, x9)

inst_243:
// rs1_val == 32768, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x8000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x8000, 0xfffffffffffffbff, x30, x6, 1728, x9)

inst_244:
// rs1_val == 16384, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x4000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x4000, 0xfffffffffffffbff, x30, x6, 1736, x9)

inst_245:
// rs1_val == 8192, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x2000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x2000, 0xfffffffffffffbff, x30, x6, 1744, x9)

inst_246:
// rs1_val == 4096, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x1000;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x1000, 0xfffffffffffffbff, x30, x6, 1752, x9)

inst_247:
// rs1_val == 2048, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x800;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x800, 0xfffffffffffffbff, x30, x6, 1760, x9)

inst_248:
// rs1_val == 1024, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x400;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x400, 0xfffffffffffffbff, x30, x6, 1768, x9)

inst_249:
// rs1_val == 512, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x200;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x200, 0xfffffffffffffbff, x30, x6, 1776, x9)

inst_250:
// rs1_val == 256, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x100;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x100, 0xfffffffffffffbff, x30, x6, 1784, x9)

inst_251:
// rs1_val == 128, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x80;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x80, 0xfffffffffffffbff, x30, x6, 1792, x9)

inst_252:
// rs1_val == 64, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x40;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x40, 0xfffffffffffffbff, x30, x6, 1800, x9)

inst_253:
// rs1_val == 32, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x20;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x20, 0xfffffffffffffbff, x30, x6, 1808, x9)

inst_254:
// rs1_val == 16, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x10;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x10, 0xfffffffffffffbff, x30, x6, 1816, x9)

inst_255:
// rs1_val == 8, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x8;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x8, 0xfffffffffffffbff, x30, x6, 1824, x9)

inst_256:
// rs1_val == 4, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x4;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x4, 0xfffffffffffffbff, x30, x6, 1832, x9)

inst_257:
// rs1_val == 2, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0x2;  op2val:0xfffffffffffffbff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0x2, 0xfffffffffffffbff, x30, x6, 1840, x9)

inst_258:
// rs2_val == 9223372036854775807, rs1_val == 18446744073709550591
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0x7fffffffffffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0x7fffffffffffffff, x30, x6, 1848, x9)

inst_259:
// rs2_val == 16140901064495857663, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xdfffffffffffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xdfffffffffffffff, x30, x6, 1856, x9)

inst_260:
// rs2_val == 18446744039349813247, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffff7ffffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffff7ffffffff, x30, x6, 1864, x9)

inst_261:
// rs2_val == 18446744056529682431, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffbffffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffbffffffff, x30, x6, 1872, x9)

inst_262:
// rs2_val == 18446744065119617023, 
// opcode: clmul ; op1:x30; op2:x29; dest:x31; op1val:0xfffffffffffffbff;  op2val:0xfffffffdffffffff
TEST_PKRR_OP(clmul, x31, x30, x29, 0x0000000000000000, 0xfffffffffffffbff, 0xfffffffdffffffff, x30, x6, 1880, x9)
#endif


RVTEST_CODE_END
RVMODEL_HALT

RVTEST_DATA_BEGIN
.align 4
rvtest_data:
.word 0xbabecafe
.word 0xabecafeb
.word 0xbecafeba
.word 0xecafebab
RVTEST_DATA_END

RVMODEL_DATA_BEGIN


signature_x1_0:
    .fill 0*(XLEN/32),4,0xdeadbeef


signature_x1_1:
    .fill 27*(XLEN/32),4,0xdeadbeef


signature_x6_0:
    .fill 236*(XLEN/32),4,0xdeadbeef

#ifdef rvtest_mtrap_routine

mtrap_sigptr:
    .fill 64*(XLEN/32),4,0xdeadbeef

#endif

#ifdef rvtest_gpr_save

gpr_save:
    .fill 32*(XLEN/32),4,0xdeadbeef

#endif

RVMODEL_DATA_END