cvw/tests/wally-riscv-arch-test/riscv-test-suite/rv32i_m/I/src/E-slt-01.S

2992 lines
114 KiB
ArmAsm

// -----------
// This file was generated by riscv_ctg (https://gitlab.com/incoresemi/riscv-compliance/riscv_ctg)
// version : 0.5.1
// timestamp : Mon Aug 2 08:58:53 2021 GMT
// usage : riscv_ctg \
// --cgf /home/bilalsakhawat/riscv-ctg/sample_cgfs/dataset.cgf \
// --cgf /home/bilalsakhawat/riscv-ctg/sample_cgfs/rv32e.cgf \
// --base-isa rv32e \
// --randomize
// -----------
//
// -----------
// Copyright (c) 2020. RISC-V International. All rights reserved.
// SPDX-License-Identifier: BSD-3-Clause
// -----------
//
// This assembly file tests the slt instruction of the RISC-V E extension for the slt covergroup.
//
#define RVTEST_E
#include "model_test.h"
#include "arch_test.h"
RVTEST_ISA("RV32E")
.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(.*32.*);check ISA:=regex(.*E.*) ;def RVTEST_E = True;def TEST_CASE_1=True;",slt)
RVTEST_SIGBASE( x12,signature_x12_1)
inst_0:
// rs1 != rs2 and rs1 != rd and rs2 != rd, rs1==x5, rs2==x10, rd==x7, rs1_val != rs2_val, rs2_val == -65537, rs1_val == -129, rs1_val < 0 and rs2_val < 0
// opcode: slt ; op1:x5; op2:x10; dest:x7; op1val:-0x81; op2val:-0x10001
TEST_RR_OP(slt, x7, x5, x10, 0x0, -0x81, -0x10001, x12, 0, x13)
inst_1:
// rs1 == rd != rs2, rs1==x0, rs2==x6, rd==x0, rs2_val == 2147483647, rs1_val == -4194305, rs1_val < 0 and rs2_val > 0, rs2_val == (2**(xlen-1)-1)
// opcode: slt ; op1:x0; op2:x6; dest:x0; op1val:0x0; op2val:0x7fffffff
TEST_RR_OP(slt, x0, x0, x6, 0, 0x0, 0x7fffffff, x12, 4, x13)
inst_2:
// rs2 == rd != rs1, rs1==x9, rs2==x8, rd==x8, rs2_val == -1073741825, rs1_val > 0 and rs2_val < 0, rs1_val == 512
// opcode: slt ; op1:x9; op2:x8; dest:x8; op1val:0x200; op2val:-0x40000001
TEST_RR_OP(slt, x8, x9, x8, 0x0, 0x200, -0x40000001, x12, 8, x13)
inst_3:
// rs1 == rs2 != rd, rs1==x4, rs2==x4, rd==x11, rs2_val == -536870913, rs1_val == -4097
// opcode: slt ; op1:x4; op2:x4; dest:x11; op1val:-0x1001; op2val:-0x1001
TEST_RR_OP(slt, x11, x4, x4, 0x0, -0x1001, -0x1001, x12, 12, x13)
inst_4:
// rs1 == rs2 == rd, rs1==x3, rs2==x3, rd==x3, rs2_val == -268435457,
// opcode: slt ; op1:x3; op2:x3; dest:x3; op1val:-0x55555555; op2val:-0x55555555
TEST_RR_OP(slt, x3, x3, x3, 0x0, -0x55555555, -0x55555555, x12, 16, x13)
inst_5:
// rs1==x1, rs2==x0, rd==x4, rs2_val == -134217729, rs1_val == -65537
// opcode: slt ; op1:x1; op2:x0; dest:x4; op1val:-0x10001; op2val:0x0
TEST_RR_OP(slt, x4, x1, x0, 0x1, -0x10001, 0x0, x12, 20, x13)
inst_6:
// rs1==x6, rs2==x2, rd==x5, rs2_val == -67108865, rs1_val == -33554433
// opcode: slt ; op1:x6; op2:x2; dest:x5; op1val:-0x2000001; op2val:-0x4000001
TEST_RR_OP(slt, x5, x6, x2, 0x0, -0x2000001, -0x4000001, x12, 24, x13)
inst_7:
// rs1==x7, rs2==x11, rd==x13, rs2_val == -33554433, rs1_val == -2
// opcode: slt ; op1:x7; op2:x11; dest:x13; op1val:-0x2; op2val:-0x2000001
TEST_RR_OP(slt, x13, x7, x11, 0x0, -0x2, -0x2000001, x12, 28, x1)
RVTEST_SIGBASE( x3,signature_x3_0)
inst_8:
// rs1==x15, rs2==x7, rd==x12, rs2_val == -16777217, rs1_val == 4096
// opcode: slt ; op1:x15; op2:x7; dest:x12; op1val:0x1000; op2val:-0x1000001
TEST_RR_OP(slt, x12, x15, x7, 0x0, 0x1000, -0x1000001, x3, 0, x1)
inst_9:
// rs1==x13, rs2==x5, rd==x2, rs2_val == -8388609, rs1_val == -268435457
// opcode: slt ; op1:x13; op2:x5; dest:x2; op1val:-0x10000001; op2val:-0x800001
TEST_RR_OP(slt, x2, x13, x5, 0x1, -0x10000001, -0x800001, x3, 4, x1)
inst_10:
// rs1==x2, rs2==x9, rd==x15, rs2_val == -4194305, rs1_val == -1431655766
// opcode: slt ; op1:x2; op2:x9; dest:x15; op1val:-0x55555556; op2val:-0x400001
TEST_RR_OP(slt, x15, x2, x9, 0x1, -0x55555556, -0x400001, x3, 8, x1)
inst_11:
// rs1==x8, rs2==x15, rd==x14, rs2_val == -2097153, rs1_val == -513
// opcode: slt ; op1:x8; op2:x15; dest:x14; op1val:-0x201; op2val:-0x200001
TEST_RR_OP(slt, x14, x8, x15, 0x0, -0x201, -0x200001, x3, 12, x1)
inst_12:
// rs1==x10, rs2==x13, rd==x9, rs2_val == -1048577, rs1_val == 524288
// opcode: slt ; op1:x10; op2:x13; dest:x9; op1val:0x80000; op2val:-0x100001
TEST_RR_OP(slt, x9, x10, x13, 0x0, 0x80000, -0x100001, x3, 16, x1)
inst_13:
// rs1==x12, rs2==x14, rd==x6, rs2_val == -524289, rs1_val == 0
// opcode: slt ; op1:x12; op2:x14; dest:x6; op1val:0x0; op2val:-0x80001
TEST_RR_OP(slt, x6, x12, x14, 0x0, 0x0, -0x80001, x3, 20, x4)
inst_14:
// rs1==x14, rs2==x1, rd==x10, rs2_val == -262145, rs1_val == -2049
// opcode: slt ; op1:x14; op2:x1; dest:x10; op1val:-0x801; op2val:-0x40001
TEST_RR_OP(slt, x10, x14, x1, 0x0, -0x801, -0x40001, x3, 24, x4)
RVTEST_SIGBASE( x2,signature_x2_0)
inst_15:
// rs1==x11, rs2==x12, rd==x1, rs2_val == -131073,
// opcode: slt ; op1:x11; op2:x12; dest:x1; op1val:0x0; op2val:-0x20001
TEST_RR_OP(slt, x1, x11, x12, 0x0, 0x0, -0x20001, x2, 0, x4)
inst_16:
// rs2_val == -32769, rs1_val == 16384
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4000; op2val:-0x8001
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x4000, -0x8001, x2, 4, x4)
inst_17:
// rs2_val == -16385, rs1_val == 1073741824
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x40000000; op2val:-0x4001
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x40000000, -0x4001, x2, 8, x4)
inst_18:
// rs2_val == -8193,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x801; op2val:-0x2001
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x801, -0x2001, x2, 12, x4)
inst_19:
// rs2_val == -4097,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:-0x1001
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x5, -0x1001, x2, 16, x4)
inst_20:
// rs2_val == -2049,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:-0x801
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, -0x801, x2, 20, x4)
inst_21:
// rs2_val == -1025, rs1_val == -16385
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x4001; op2val:-0x401
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x4001, -0x401, x2, 24, x4)
inst_22:
// rs2_val == -513, rs1_val == 8192
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2000; op2val:-0x201
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x2000, -0x201, x2, 28, x4)
inst_23:
// rs2_val == -257, rs1_val == -5
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x5; op2val:-0x101
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x5, -0x101, x2, 32, x4)
inst_24:
// rs2_val == -129,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:-0x81
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, -0x81, x2, 36, x4)
inst_25:
// rs2_val == -65, rs1_val == -32769
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x8001; op2val:-0x41
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x8001, -0x41, x2, 40, x4)
inst_26:
// rs2_val == -33,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x10000001; op2val:-0x21
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x10000001, -0x21, x2, 44, x4)
inst_27:
// rs2_val == -17,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x40000000; op2val:-0x11
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x40000000, -0x11, x2, 48, x4)
inst_28:
// rs2_val == -9, rs1_val == 536870912
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x20000000; op2val:-0x9
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x20000000, -0x9, x2, 52, x4)
inst_29:
// rs2_val == -5, rs1_val == 128
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x80; op2val:-0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x80, -0x5, x2, 56, x4)
inst_30:
// rs2_val == -3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x9; op2val:-0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x9, -0x3, x2, 60, x4)
inst_31:
// rs2_val == -2, rs1_val == -65
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x41; op2val:-0x2
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x41, -0x2, x2, 64, x4)
inst_32:
// rs1_val == 2147483647, rs2_val == 16777216, rs1_val == (2**(xlen-1)-1), rs1_val > 0 and rs2_val > 0
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x7fffffff; op2val:0x1000000
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x7fffffff, 0x1000000, x2, 68, x4)
inst_33:
// rs1_val == -1073741825,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x40000001; op2val:-0x8001
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x40000001, -0x8001, x2, 72, x4)
inst_34:
// rs1_val == -536870913, rs2_val == 128
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x20000001; op2val:0x80
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x20000001, 0x80, x2, 76, x4)
inst_35:
// rs1_val == -134217729,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x8000001; op2val:-0x3
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x8000001, -0x3, x2, 80, x4)
inst_36:
// rs1_val == -67108865, rs2_val == 8192
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x4000001; op2val:0x2000
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x4000001, 0x2000, x2, 84, x4)
inst_37:
// rs1_val == -16777217, rs2_val == 2048
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x1000001; op2val:0x800
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x1000001, 0x800, x2, 88, x4)
inst_38:
// rs1_val == -8388609, rs2_val == -1431655766
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x800001; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x800001, -0x55555556, x2, 92, x4)
inst_39:
// rs1_val == -2097153,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x200001; op2val:-0x1000001
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x200001, -0x1000001, x2, 96, x4)
inst_40:
// rs1_val == -1048577, rs1_val == rs2_val
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x100001; op2val:-0x100001
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x100001, -0x100001, x2, 100, x4)
inst_41:
// rs1_val == -524289,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x80001; op2val:-0x81
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x80001, -0x81, x2, 104, x4)
inst_42:
// rs1_val == -262145,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x40001; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x40001, 0x66666665, x2, 108, x4)
inst_43:
// rs1_val == -131073,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x20001; op2val:0x7fffffff
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x20001, 0x7fffffff, x2, 112, x4)
inst_44:
// rs1_val == -8193,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x2001; op2val:-0x4
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x2001, -0x4, x2, 116, x4)
inst_45:
// rs1_val == -1025,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x401; op2val:-0x2
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x401, -0x2, x2, 120, x4)
inst_46:
// rs1_val == -257,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x101; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x101, 0x66666667, x2, 124, x4)
inst_47:
// rs1_val == -33, rs2_val == 512
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x21; op2val:0x200
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x21, 0x200, x2, 128, x4)
inst_48:
// rs1_val == -17, rs2_val == 4
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x11; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x11, 0x4, x2, 132, x4)
inst_49:
// rs1_val == -9,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x9; op2val:-0x20000001
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x9, -0x20000001, x2, 136, x4)
inst_50:
// rs1_val == -3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x3; op2val:-0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x3, -0x6, x2, 140, x4)
inst_51:
// rs2_val == -2147483648, rs2_val == (-2**(xlen-1)), rs1_val == 8
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x8; op2val:-0x80000000
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x8, -0x80000000, x2, 144, x4)
inst_52:
// rs2_val == 1073741824,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x8000001; op2val:0x40000000
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x8000001, 0x40000000, x2, 148, x4)
inst_53:
// rs2_val == 536870912,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x20000000
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x20000000, x2, 152, x4)
inst_54:
// rs2_val == 268435456, rs1_val == 65536
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x10000; op2val:0x10000000
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x10000, 0x10000000, x2, 156, x4)
inst_55:
// rs2_val == 134217728,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x4000001; op2val:0x8000000
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x4000001, 0x8000000, x2, 160, x4)
inst_56:
// rs2_val == 67108864,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x4000000
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x4000000, x2, 164, x4)
inst_57:
// rs2_val == 33554432,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x2000000
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x2000000, x2, 168, x4)
inst_58:
// rs2_val == 8388608,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x7; op2val:0x800000
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x7, 0x800000, x2, 172, x4)
inst_59:
// rs2_val == 4194304,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x400000
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x400000, x2, 176, x4)
inst_60:
// rs2_val == 2097152,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x80; op2val:0x200000
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x80, 0x200000, x2, 180, x4)
inst_61:
// rs2_val == 1048576, rs1_val == 16
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x10; op2val:0x100000
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x10, 0x100000, x2, 184, x4)
inst_62:
// rs2_val == 524288,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x80000
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0x80000, x2, 188, x4)
inst_63:
// rs2_val == 262144,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x5; op2val:0x40000
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x5, 0x40000, x2, 192, x4)
inst_64:
// rs2_val == 131072,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x20000
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x20000, x2, 196, x4)
inst_65:
// rs2_val == 65536, rs1_val == 2097152
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x200000; op2val:0x10000
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x200000, 0x10000, x2, 200, x4)
inst_66:
// rs2_val == 32768,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x10000; op2val:0x8000
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x10000, 0x8000, x2, 204, x4)
inst_67:
// rs2_val == 16384,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x20001; op2val:0x4000
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x20001, 0x4000, x2, 208, x4)
inst_68:
// rs2_val == 4096,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x11; op2val:0x1000
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x11, 0x1000, x2, 212, x4)
inst_69:
// rs2_val == 1024, rs1_val == 32768
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x8000; op2val:0x400
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x8000, 0x400, x2, 216, x4)
inst_70:
// rs2_val == 256,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3fffffff; op2val:0x100
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x3fffffff, 0x100, x2, 220, x4)
inst_71:
// rs2_val == 64,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x40
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x40, x2, 224, x4)
inst_72:
// rs2_val == 32, rs1_val == 262144
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x40000; op2val:0x20
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x40000, 0x20, x2, 228, x4)
inst_73:
// rs2_val == 16,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x10
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, 0x10, x2, 232, x4)
inst_74:
// rs2_val == 8,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x8
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x8, x2, 236, x4)
inst_75:
// rs2_val == 2, rs1_val==2 and rs2_val==2, rs1_val == 2
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x2, 0x2, x2, 240, x4)
inst_76:
// rs2_val == 1,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x1
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x1, x2, 244, x4)
inst_77:
// rs1_val == -2147483648, rs1_val == (-2**(xlen-1))
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x80000000; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x80000000, 0x3, x2, 248, x4)
inst_78:
// rs1_val == 268435456,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x10000000; op2val:-0x100001
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x10000000, -0x100001, x2, 252, x4)
inst_79:
// rs1_val == 134217728,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x8000000; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x8000000, -0xb504, x2, 256, x4)
inst_80:
// rs1_val == 67108864,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4000000; op2val:-0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x4000000, -0x3, x2, 260, x4)
inst_81:
// rs1_val == 33554432,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2000000; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2000000, 0x66666667, x2, 264, x4)
inst_82:
// rs1_val == 16777216,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x1000000; op2val:0x200000
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x1000000, 0x200000, x2, 268, x4)
inst_83:
// rs1_val == 8388608,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x800000; op2val:0x8000000
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x800000, 0x8000000, x2, 272, x4)
inst_84:
// rs1_val == 4194304,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x400000; op2val:-0x100001
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x400000, -0x100001, x2, 276, x4)
inst_85:
// rs1_val == 1048576,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x100000; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x100000, 0x6, x2, 280, x4)
inst_86:
// rs1_val == 131072,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x20000; op2val:0x800
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x20000, 0x800, x2, 284, x4)
inst_87:
// rs1_val == 2048,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x800; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x800, 0x66666665, x2, 288, x4)
inst_88:
// rs1_val == 1024,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x400; op2val:-0x40000000
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x400, -0x40000000, x2, 292, x4)
inst_89:
// rs1_val == 256,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x100; op2val:0x40000000
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x100, 0x40000000, x2, 296, x4)
inst_90:
// rs1_val == 64,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x40; op2val:-0x80000000
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x40, -0x80000000, x2, 300, x4)
inst_91:
// rs1_val == 32,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x20; op2val:-0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x20, -0x3, x2, 304, x4)
inst_92:
// rs1_val == 4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x7fffffff
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x7fffffff, x2, 308, x4)
inst_93:
// rs1_val == 1,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x1; op2val:0x2000
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x1, 0x2000, x2, 312, x4)
inst_94:
// rs1_val==46341 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, 0xb505, x2, 316, x4)
inst_95:
// rs1_val==46341 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, -0xb503, x2, 320, x4)
inst_96:
// rs1_val==46341 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb505, 0x66666667, x2, 324, x4)
inst_97:
// rs1_val==46341 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb505, 0x33333334, x2, 328, x4)
inst_98:
// rs1_val==46341 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, 0x6, x2, 332, x4)
inst_99:
// rs1_val==46341 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, -0x55555555, x2, 336, x4)
inst_100:
// rs1_val==46341 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb505, 0x55555556, x2, 340, x4)
inst_101:
// rs1_val==46341 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, 0x4, x2, 344, x4)
inst_102:
// rs1_val==46341 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, 0xb503, x2, 348, x4)
inst_103:
// rs1_val==46341 and rs2_val==0, rs2_val == 0
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, 0x0, x2, 352, x4)
inst_104:
// rs1_val==46341 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb505, 0x66666665, x2, 356, x4)
inst_105:
// rs1_val==46341 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb505, 0x33333332, x2, 360, x4)
inst_106:
// rs1_val==46341 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb505, 0x55555554, x2, 364, x4)
inst_107:
// rs1_val==46341 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, 0x2, x2, 368, x4)
inst_108:
// rs1_val==46341 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, 0xb504, x2, 372, x4)
inst_109:
// rs1_val==46341 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, -0xb504, x2, 376, x4)
inst_110:
// rs1_val==46341 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb505, 0x66666666, x2, 380, x4)
inst_111:
// rs1_val==46341 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb505, 0x33333333, x2, 384, x4)
inst_112:
// rs1_val==46341 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, 0x5, x2, 388, x4)
inst_113:
// rs1_val==46341 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, -0x55555556, x2, 392, x4)
inst_114:
// rs1_val==46341 and rs2_val==1431655765, rs2_val == 1431655765
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb505, 0x55555555, x2, 396, x4)
inst_115:
// rs1_val==46341 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb505; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb505, 0x3, x2, 400, x4)
inst_116:
// rs1_val==-46339 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0xb505, x2, 404, x4)
inst_117:
// rs1_val==-46339 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0xb503, -0xb503, x2, 408, x4)
inst_118:
// rs1_val==-46339 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x66666667, x2, 412, x4)
inst_119:
// rs1_val==-46339 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x33333334, x2, 416, x4)
inst_120:
// rs1_val==-46339 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x6, x2, 420, x4)
inst_121:
// rs1_val==-46339 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0xb503, -0x55555555, x2, 424, x4)
inst_122:
// rs1_val==-46339 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x55555556, x2, 428, x4)
inst_123:
// rs1_val==-46339 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x4, x2, 432, x4)
inst_124:
// rs1_val==-46339 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0xb503, x2, 436, x4)
inst_125:
// rs1_val==-46339 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x0, x2, 440, x4)
inst_126:
// rs1_val==-46339 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x66666665, x2, 444, x4)
inst_127:
// rs1_val==-46339 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x33333332, x2, 448, x4)
inst_128:
// rs1_val==-46339 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x55555554, x2, 452, x4)
inst_129:
// rs1_val==-46339 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x2, x2, 456, x4)
inst_130:
// rs1_val==-46339 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0xb504, x2, 460, x4)
inst_131:
// rs1_val==-46339 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0xb503, -0xb504, x2, 464, x4)
inst_132:
// rs1_val==-46339 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x66666666, x2, 468, x4)
inst_133:
// rs1_val==-46339 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x33333333, x2, 472, x4)
inst_134:
// rs1_val==-46339 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x5, x2, 476, x4)
inst_135:
// rs1_val==-46339 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0xb503, -0x55555556, x2, 480, x4)
inst_136:
// rs1_val==-46339 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x55555555, x2, 484, x4)
inst_137:
// rs1_val==-46339 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb503; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb503, 0x3, x2, 488, x4)
inst_138:
// rs1_val==1717986919 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0xb505, x2, 492, x4)
inst_139:
// rs1_val==1717986919 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, -0xb503, x2, 496, x4)
inst_140:
// rs1_val==1717986919 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x66666667, x2, 500, x4)
inst_141:
// rs1_val==1717986919 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x33333334, x2, 504, x4)
inst_142:
// rs1_val==1717986919 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x6, x2, 508, x4)
inst_143:
// rs1_val==1717986919 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, -0x55555555, x2, 512, x4)
inst_144:
// rs1_val==1717986919 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x55555556, x2, 516, x4)
inst_145:
// rs1_val==1717986919 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x4, x2, 520, x4)
inst_146:
// rs1_val==1717986919 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0xb503, x2, 524, x4)
inst_147:
// rs1_val==1717986919 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x0, x2, 528, x4)
inst_148:
// rs1_val==1717986919 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x66666665, x2, 532, x4)
inst_149:
// rs1_val==1717986919 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x33333332, x2, 536, x4)
inst_150:
// rs1_val==1717986919 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x55555554, x2, 540, x4)
inst_151:
// rs1_val==1717986919 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x2, x2, 544, x4)
inst_152:
// rs1_val==1717986919 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0xb504, x2, 548, x4)
inst_153:
// rs1_val==1717986919 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, -0xb504, x2, 552, x4)
inst_154:
// rs1_val==1717986919 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x66666666, x2, 556, x4)
inst_155:
// rs1_val==1717986919 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x33333333, x2, 560, x4)
inst_156:
// rs1_val==1717986919 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x5, x2, 564, x4)
inst_157:
// rs1_val==1717986919 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, -0x55555556, x2, 568, x4)
inst_158:
// rs1_val==1717986919 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x55555555, x2, 572, x4)
inst_159:
// rs1_val==1717986919 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666667; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666667, 0x3, x2, 576, x4)
inst_160:
// rs1_val==858993460 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0xb505, x2, 580, x4)
inst_161:
// rs1_val==858993460 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, -0xb503, x2, 584, x4)
inst_162:
// rs1_val==858993460 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333334, 0x66666667, x2, 588, x4)
inst_163:
// rs1_val==858993460 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0x33333334, x2, 592, x4)
inst_164:
// rs1_val==858993460 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0x6, x2, 596, x4)
inst_165:
// rs1_val==858993460 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, -0x55555555, x2, 600, x4)
inst_166:
// rs1_val==858993460 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333334, 0x55555556, x2, 604, x4)
inst_167:
// rs1_val==858993460 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0x4, x2, 608, x4)
inst_168:
// rs1_val==858993460 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0xb503, x2, 612, x4)
inst_169:
// rs1_val==858993460 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0x0, x2, 616, x4)
inst_170:
// rs1_val==858993460 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333334, 0x66666665, x2, 620, x4)
inst_171:
// rs1_val==858993460 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0x33333332, x2, 624, x4)
inst_172:
// rs1_val==858993460 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333334, 0x55555554, x2, 628, x4)
inst_173:
// rs1_val==858993460 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0x2, x2, 632, x4)
inst_174:
// rs1_val==858993460 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0xb504, x2, 636, x4)
inst_175:
// rs1_val==858993460 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, -0xb504, x2, 640, x4)
inst_176:
// rs1_val==858993460 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333334, 0x66666666, x2, 644, x4)
inst_177:
// rs1_val==858993460 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0x33333333, x2, 648, x4)
inst_178:
// rs1_val==858993460 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0x5, x2, 652, x4)
inst_179:
// rs1_val==858993460 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, -0x55555556, x2, 656, x4)
inst_180:
// rs1_val==858993460 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333334, 0x55555555, x2, 660, x4)
inst_181:
// rs1_val==858993460 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333334; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333334, 0x3, x2, 664, x4)
inst_182:
// rs1_val==6 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0xb505, x2, 668, x4)
inst_183:
// rs1_val==6 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x6, -0xb503, x2, 672, x4)
inst_184:
// rs1_val==6 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0x66666667, x2, 676, x4)
inst_185:
// rs1_val==6 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0x33333334, x2, 680, x4)
inst_186:
// rs1_val==6 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x6, 0x6, x2, 684, x4)
inst_187:
// rs1_val==6 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x6, -0x55555555, x2, 688, x4)
inst_188:
// rs1_val==6 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0x55555556, x2, 692, x4)
inst_189:
// rs1_val==6 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x6, 0x4, x2, 696, x4)
inst_190:
// rs1_val==6 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0xb503, x2, 700, x4)
inst_191:
// rs1_val==6 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x6, 0x0, x2, 704, x4)
inst_192:
// rs1_val==6 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0x66666665, x2, 708, x4)
inst_193:
// rs1_val==6 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0x33333332, x2, 712, x4)
inst_194:
// rs1_val==6 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0x55555554, x2, 716, x4)
inst_195:
// rs1_val==6 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x6, 0x2, x2, 720, x4)
inst_196:
// rs1_val==6 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0xb504, x2, 724, x4)
inst_197:
// rs1_val==6 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x6, -0xb504, x2, 728, x4)
inst_198:
// rs1_val==6 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0x66666666, x2, 732, x4)
inst_199:
// rs1_val==6 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0x33333333, x2, 736, x4)
inst_200:
// rs1_val==6 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x6, 0x5, x2, 740, x4)
inst_201:
// rs1_val==6 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x6, -0x55555556, x2, 744, x4)
inst_202:
// rs1_val==6 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x6, 0x55555555, x2, 748, x4)
inst_203:
// rs1_val==6 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x6; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x6, 0x3, x2, 752, x4)
inst_204:
// rs1_val==-1431655765 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0xb505, x2, 756, x4)
inst_205:
// rs1_val==-1431655765 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, -0xb503, x2, 760, x4)
inst_206:
// rs1_val==-1431655765 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x66666667, x2, 764, x4)
inst_207:
// rs1_val==-1431655765 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x33333334, x2, 768, x4)
inst_208:
// rs1_val==-1431655765 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x6, x2, 772, x4)
inst_209:
// rs1_val==-1431655765 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x55555555, -0x55555555, x2, 776, x4)
inst_210:
// rs1_val==-1431655765 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x55555556, x2, 780, x4)
inst_211:
// rs1_val==-1431655765 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x4, x2, 784, x4)
inst_212:
// rs1_val==-1431655765 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0xb503, x2, 788, x4)
inst_213:
// rs1_val==-1431655765 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x0, x2, 792, x4)
inst_214:
// rs1_val==-1431655765 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x66666665, x2, 796, x4)
inst_215:
// rs1_val==-1431655765 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x33333332, x2, 800, x4)
inst_216:
// rs1_val==-1431655765 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x55555554, x2, 804, x4)
inst_217:
// rs1_val==-1431655765 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x2, x2, 808, x4)
inst_218:
// rs1_val==-1431655765 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0xb504, x2, 812, x4)
inst_219:
// rs1_val==-1431655765 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, -0xb504, x2, 816, x4)
inst_220:
// rs1_val==-1431655765 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x66666666, x2, 820, x4)
inst_221:
// rs1_val==-1431655765 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x33333333, x2, 824, x4)
inst_222:
// rs1_val==-1431655765 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x5, x2, 828, x4)
inst_223:
// rs1_val==-1431655765 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x55555555, -0x55555556, x2, 832, x4)
inst_224:
// rs1_val==-1431655765 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x55555555, x2, 836, x4)
inst_225:
// rs1_val==-1431655765 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, 0x3, x2, 840, x4)
inst_226:
// rs1_val==1431655766 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0xb505, x2, 844, x4)
inst_227:
// rs1_val==1431655766 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, -0xb503, x2, 848, x4)
inst_228:
// rs1_val==1431655766 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555556, 0x66666667, x2, 852, x4)
inst_229:
// rs1_val==1431655766 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x33333334, x2, 856, x4)
inst_230:
// rs1_val==1431655766 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x6, x2, 860, x4)
inst_231:
// rs1_val==1431655766 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, -0x55555555, x2, 864, x4)
inst_232:
// rs1_val==1431655766 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x55555556, x2, 868, x4)
inst_233:
// rs1_val==1431655766 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x4, x2, 872, x4)
inst_234:
// rs1_val==1431655766 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0xb503, x2, 876, x4)
inst_235:
// rs1_val==1431655766 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x0, x2, 880, x4)
inst_236:
// rs1_val==1431655766 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555556, 0x66666665, x2, 884, x4)
inst_237:
// rs1_val==1431655766 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x33333332, x2, 888, x4)
inst_238:
// rs1_val==1431655766 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x55555554, x2, 892, x4)
inst_239:
// rs1_val==1431655766 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x2, x2, 896, x4)
inst_240:
// rs1_val==1431655766 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0xb504, x2, 900, x4)
inst_241:
// rs1_val==1431655766 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, -0xb504, x2, 904, x4)
inst_242:
// rs1_val==1431655766 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555556, 0x66666666, x2, 908, x4)
inst_243:
// rs1_val==1431655766 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x33333333, x2, 912, x4)
inst_244:
// rs1_val==1431655766 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x5, x2, 916, x4)
inst_245:
// rs1_val==1431655766 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, -0x55555556, x2, 920, x4)
inst_246:
// rs1_val==1431655766 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x55555555, x2, 924, x4)
inst_247:
// rs1_val==1431655766 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555556; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555556, 0x3, x2, 928, x4)
inst_248:
// rs1_val==4 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0xb505, x2, 932, x4)
inst_249:
// rs1_val==4 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x4, -0xb503, x2, 936, x4)
inst_250:
// rs1_val==4 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x66666667, x2, 940, x4)
inst_251:
// rs1_val==4 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x33333334, x2, 944, x4)
inst_252:
// rs1_val==4 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x6, x2, 948, x4)
inst_253:
// rs1_val==4 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x4, -0x55555555, x2, 952, x4)
inst_254:
// rs1_val==4 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x55555556, x2, 956, x4)
inst_255:
// rs1_val==4 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x4, 0x4, x2, 960, x4)
inst_256:
// rs1_val==4 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0xb503, x2, 964, x4)
inst_257:
// rs1_val==4 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x4, 0x0, x2, 968, x4)
inst_258:
// rs1_val==4 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x66666665, x2, 972, x4)
inst_259:
// rs1_val==4 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x33333332, x2, 976, x4)
inst_260:
// rs1_val==4 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x55555554, x2, 980, x4)
inst_261:
// rs1_val==4 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x4, 0x2, x2, 984, x4)
inst_262:
// rs1_val==4 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0xb504, x2, 988, x4)
inst_263:
// rs1_val==4 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x4, -0xb504, x2, 992, x4)
inst_264:
// rs1_val==4 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x66666666, x2, 996, x4)
inst_265:
// rs1_val==4 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x33333333, x2, 1000, x4)
inst_266:
// rs1_val==4 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x5, x2, 1004, x4)
inst_267:
// rs1_val==4 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x4, -0x55555556, x2, 1008, x4)
inst_268:
// rs1_val==4 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x4, 0x55555555, x2, 1012, x4)
inst_269:
// rs1_val==4 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x4; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x4, 0x3, x2, 1016, x4)
inst_270:
// rs1_val==46339 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0xb505, x2, 1020, x4)
inst_271:
// rs1_val==46339 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, -0xb503, x2, 1024, x4)
inst_272:
// rs1_val==46339 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0x66666667, x2, 1028, x4)
inst_273:
// rs1_val==46339 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0x33333334, x2, 1032, x4)
inst_274:
// rs1_val==46339 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, 0x6, x2, 1036, x4)
inst_275:
// rs1_val==46339 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, -0x55555555, x2, 1040, x4)
inst_276:
// rs1_val==46339 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0x55555556, x2, 1044, x4)
inst_277:
// rs1_val==46339 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, 0x4, x2, 1048, x4)
inst_278:
// rs1_val==46339 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, 0xb503, x2, 1052, x4)
inst_279:
// rs1_val==46339 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, 0x0, x2, 1056, x4)
inst_280:
// rs1_val==46339 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0x66666665, x2, 1060, x4)
inst_281:
// rs1_val==46339 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0x33333332, x2, 1064, x4)
inst_282:
// rs1_val==46339 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0x55555554, x2, 1068, x4)
inst_283:
// rs1_val==46339 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, 0x2, x2, 1072, x4)
inst_284:
// rs1_val==46339 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0xb504, x2, 1076, x4)
inst_285:
// rs1_val==46339 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, -0xb504, x2, 1080, x4)
inst_286:
// rs1_val==46339 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0x66666666, x2, 1084, x4)
inst_287:
// rs1_val==46339 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0x33333333, x2, 1088, x4)
inst_288:
// rs1_val==46339 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, 0x5, x2, 1092, x4)
inst_289:
// rs1_val==46339 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, -0x55555556, x2, 1096, x4)
inst_290:
// rs1_val==46339 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb503, 0x55555555, x2, 1100, x4)
inst_291:
// rs1_val==46339 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb503; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb503, 0x3, x2, 1104, x4)
inst_292:
// rs1_val==0 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0xb505, x2, 1108, x4)
inst_293:
// rs1_val==0 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x0, -0xb503, x2, 1112, x4)
inst_294:
// rs1_val==0 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x66666667, x2, 1116, x4)
inst_295:
// rs1_val==0 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x33333334, x2, 1120, x4)
inst_296:
// rs1_val==0 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x6, x2, 1124, x4)
inst_297:
// rs1_val==0 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x0, -0x55555555, x2, 1128, x4)
inst_298:
// rs1_val==0 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x55555556, x2, 1132, x4)
inst_299:
// rs1_val==0 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x4, x2, 1136, x4)
inst_300:
// rs1_val==0 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0xb503, x2, 1140, x4)
inst_301:
// rs1_val==0 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x0, 0x0, x2, 1144, x4)
inst_302:
// rs1_val==0 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x66666665, x2, 1148, x4)
inst_303:
// rs1_val==0 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x33333332, x2, 1152, x4)
inst_304:
// rs1_val==0 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x55555554, x2, 1156, x4)
inst_305:
// rs1_val==0 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x2, x2, 1160, x4)
inst_306:
// rs1_val==0 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0xb504, x2, 1164, x4)
inst_307:
// rs1_val==0 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x0, -0xb504, x2, 1168, x4)
inst_308:
// rs1_val==0 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x66666666, x2, 1172, x4)
inst_309:
// rs1_val==0 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x33333333, x2, 1176, x4)
inst_310:
// rs1_val==0 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x5, x2, 1180, x4)
inst_311:
// rs1_val==0 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x0, -0x55555556, x2, 1184, x4)
inst_312:
// rs1_val==0 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x55555555, x2, 1188, x4)
inst_313:
// rs1_val==0 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x0; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x0, 0x3, x2, 1192, x4)
inst_314:
// rs1_val==1717986917 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0xb505, x2, 1196, x4)
inst_315:
// rs1_val==1717986917 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, -0xb503, x2, 1200, x4)
inst_316:
// rs1_val==1717986917 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x66666665, 0x66666667, x2, 1204, x4)
inst_317:
// rs1_val==1717986917 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x33333334, x2, 1208, x4)
inst_318:
// rs1_val==1717986917 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x6, x2, 1212, x4)
inst_319:
// rs1_val==1717986917 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, -0x55555555, x2, 1216, x4)
inst_320:
// rs1_val==1717986917 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x55555556, x2, 1220, x4)
inst_321:
// rs1_val==1717986917 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x4, x2, 1224, x4)
inst_322:
// rs1_val==1717986917 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0xb503, x2, 1228, x4)
inst_323:
// rs1_val==858993459 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0x0, x2, 1232, x4)
inst_324:
// rs1_val==858993459 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333333, 0x66666665, x2, 1236, x4)
inst_325:
// rs1_val==858993459 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0x33333332, x2, 1240, x4)
inst_326:
// rs1_val==858993459 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333333, 0x55555554, x2, 1244, x4)
inst_327:
// rs1_val==858993459 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0x2, x2, 1248, x4)
inst_328:
// rs1_val==858993459 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0xb504, x2, 1252, x4)
inst_329:
// rs1_val==858993459 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, -0xb504, x2, 1256, x4)
inst_330:
// rs1_val==858993459 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333333, 0x66666666, x2, 1260, x4)
inst_331:
// rs1_val==858993459 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0x33333333, x2, 1264, x4)
inst_332:
// rs1_val==858993459 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0x5, x2, 1268, x4)
inst_333:
// rs1_val==858993459 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, -0x55555556, x2, 1272, x4)
inst_334:
// rs1_val==858993459 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333333, 0x55555555, x2, 1276, x4)
inst_335:
// rs1_val==858993459 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0x3, x2, 1280, x4)
inst_336:
// rs1_val==5 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0xb505, x2, 1284, x4)
inst_337:
// rs1_val==5 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x5, -0xb503, x2, 1288, x4)
inst_338:
// rs1_val==5 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0x66666667, x2, 1292, x4)
inst_339:
// rs1_val==5 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0x33333334, x2, 1296, x4)
inst_340:
// rs1_val==5 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0x6, x2, 1300, x4)
inst_341:
// rs1_val==5 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x5, -0x55555555, x2, 1304, x4)
inst_342:
// rs1_val==5 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0x55555556, x2, 1308, x4)
inst_343:
// rs1_val==5 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x5, 0x4, x2, 1312, x4)
inst_344:
// rs1_val==5 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0xb503, x2, 1316, x4)
inst_345:
// rs1_val==5 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x5, 0x0, x2, 1320, x4)
inst_346:
// rs1_val==5 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0x66666665, x2, 1324, x4)
inst_347:
// rs1_val==5 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0x33333332, x2, 1328, x4)
inst_348:
// rs1_val==5 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0x55555554, x2, 1332, x4)
inst_349:
// rs1_val==5 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x5, 0x2, x2, 1336, x4)
inst_350:
// rs1_val==5 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0xb504, x2, 1340, x4)
inst_351:
// rs1_val==5 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x5, -0xb504, x2, 1344, x4)
inst_352:
// rs1_val==5 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0x66666666, x2, 1348, x4)
inst_353:
// rs1_val==5 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0x33333333, x2, 1352, x4)
inst_354:
// rs1_val==5 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x5, 0x5, x2, 1356, x4)
inst_355:
// rs1_val==5 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x5, -0x55555556, x2, 1360, x4)
inst_356:
// rs1_val==5 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x5, 0x55555555, x2, 1364, x4)
inst_357:
// rs1_val==5 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x5; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x5, 0x3, x2, 1368, x4)
inst_358:
// rs1_val==-1431655766 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0xb505, x2, 1372, x4)
inst_359:
// rs1_val==-1431655766 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, -0xb503, x2, 1376, x4)
inst_360:
// rs1_val==-1431655766 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x66666667, x2, 1380, x4)
inst_361:
// rs1_val==-1431655766 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x33333334, x2, 1384, x4)
inst_362:
// rs1_val==-1431655766 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x6, x2, 1388, x4)
inst_363:
// rs1_val==-1431655766 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, -0x55555555, x2, 1392, x4)
inst_364:
// rs1_val==-1431655766 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x55555556, x2, 1396, x4)
inst_365:
// rs1_val==-1431655766 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x4, x2, 1400, x4)
inst_366:
// rs1_val==-1431655766 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0xb503, x2, 1404, x4)
inst_367:
// rs1_val==-1431655766 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x0, x2, 1408, x4)
inst_368:
// rs1_val==-1431655766 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x66666665, x2, 1412, x4)
inst_369:
// rs1_val==-1431655766 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x33333332, x2, 1416, x4)
inst_370:
// rs1_val==-1431655766 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x55555554, x2, 1420, x4)
inst_371:
// rs1_val==-1431655766 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x2, x2, 1424, x4)
inst_372:
// rs1_val==-1431655766 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0xb504, x2, 1428, x4)
inst_373:
// rs1_val==-1431655766 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, -0xb504, x2, 1432, x4)
inst_374:
// rs1_val==-1431655766 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x66666666, x2, 1436, x4)
inst_375:
// rs1_val==-1431655766 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x33333333, x2, 1440, x4)
inst_376:
// rs1_val==-1431655766 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x5, x2, 1444, x4)
inst_377:
// rs1_val==-1431655766 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x55555556, -0x55555556, x2, 1448, x4)
inst_378:
// rs1_val==-1431655766 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x55555555, x2, 1452, x4)
inst_379:
// rs1_val==-1431655766 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555556; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555556, 0x3, x2, 1456, x4)
inst_380:
// rs1_val==1431655765 and rs2_val==46341, rs1_val == 1431655765
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0xb505, x2, 1460, x4)
inst_381:
// rs1_val==1431655765 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, -0xb503, x2, 1464, x4)
inst_382:
// rs1_val==1431655765 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555555, 0x66666667, x2, 1468, x4)
inst_383:
// rs1_val==1431655765 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x33333334, x2, 1472, x4)
inst_384:
// rs1_val==1431655765 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x6, x2, 1476, x4)
inst_385:
// rs1_val==1431655765 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, -0x55555555, x2, 1480, x4)
inst_386:
// rs1_val==1431655765 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555555, 0x55555556, x2, 1484, x4)
inst_387:
// rs1_val==1431655765 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x4, x2, 1488, x4)
inst_388:
// rs1_val==1431655765 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0xb503, x2, 1492, x4)
inst_389:
// rs1_val==1431655765 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x0, x2, 1496, x4)
inst_390:
// rs1_val==1431655765 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555555, 0x66666665, x2, 1500, x4)
inst_391:
// rs1_val==1431655765 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x33333332, x2, 1504, x4)
inst_392:
// rs1_val==1431655765 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x55555554, x2, 1508, x4)
inst_393:
// rs1_val==1431655765 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x2, x2, 1512, x4)
inst_394:
// rs1_val==1431655765 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0xb504, x2, 1516, x4)
inst_395:
// rs1_val==1431655765 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, -0xb504, x2, 1520, x4)
inst_396:
// rs1_val==1431655765 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555555, 0x66666666, x2, 1524, x4)
inst_397:
// rs1_val==1431655765 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x33333333, x2, 1528, x4)
inst_398:
// rs1_val==1431655765 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x5, x2, 1532, x4)
inst_399:
// rs1_val==1431655765 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, -0x55555556, x2, 1536, x4)
inst_400:
// rs1_val==1431655765 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x55555555, x2, 1540, x4)
inst_401:
// rs1_val==1431655765 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555555; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555555, 0x3, x2, 1544, x4)
inst_402:
// rs1_val==3 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0xb505, x2, 1548, x4)
inst_403:
// rs1_val==3 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x3, -0xb503, x2, 1552, x4)
inst_404:
// rs1_val==3 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x66666667, x2, 1556, x4)
inst_405:
// rs1_val==3 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x33333334, x2, 1560, x4)
inst_406:
// rs1_val==3 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x6, x2, 1564, x4)
inst_407:
// rs1_val==3 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x3, -0x55555555, x2, 1568, x4)
inst_408:
// rs1_val==3 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x55555556, x2, 1572, x4)
inst_409:
// rs1_val==3 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x4, x2, 1576, x4)
inst_410:
// rs1_val==3 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0xb503, x2, 1580, x4)
inst_411:
// rs1_val==3 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x3, 0x0, x2, 1584, x4)
inst_412:
// rs1_val==3 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x66666665, x2, 1588, x4)
inst_413:
// rs1_val==3 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x33333332, x2, 1592, x4)
inst_414:
// rs1_val==3 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x55555554, x2, 1596, x4)
inst_415:
// rs1_val==3 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x3, 0x2, x2, 1600, x4)
inst_416:
// rs1_val==3 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0xb504, x2, 1604, x4)
inst_417:
// rs1_val==3 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x3, -0xb504, x2, 1608, x4)
inst_418:
// rs1_val==3 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x66666666, x2, 1612, x4)
inst_419:
// rs1_val==3 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x33333333, x2, 1616, x4)
inst_420:
// rs1_val==3 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x5, x2, 1620, x4)
inst_421:
// rs1_val==3 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x3, -0x55555556, x2, 1624, x4)
inst_422:
// rs1_val==3 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x3, 0x55555555, x2, 1628, x4)
inst_423:
// rs1_val==3 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x3; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x3, 0x3, x2, 1632, x4)
inst_424:
// rs1_val==1717986917 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x0, x2, 1636, x4)
inst_425:
// rs1_val==1717986917 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x66666665, x2, 1640, x4)
inst_426:
// rs1_val==1717986917 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x33333332, x2, 1644, x4)
inst_427:
// rs1_val==1717986917 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x55555554, x2, 1648, x4)
inst_428:
// rs1_val==1717986917 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x2, x2, 1652, x4)
inst_429:
// rs1_val==1717986917 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0xb504, x2, 1656, x4)
inst_430:
// rs1_val==1717986917 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, -0xb504, x2, 1660, x4)
inst_431:
// rs1_val==1717986917 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x66666665, 0x66666666, x2, 1664, x4)
inst_432:
// rs1_val==1717986917 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x33333333, x2, 1668, x4)
inst_433:
// rs1_val==1717986917 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x5, x2, 1672, x4)
inst_434:
// rs1_val==1717986917 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, -0x55555556, x2, 1676, x4)
inst_435:
// rs1_val==1717986917 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x55555555, x2, 1680, x4)
inst_436:
// rs1_val==1717986917 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666665; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666665, 0x3, x2, 1684, x4)
inst_437:
// rs1_val==858993458 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, 0xb505, x2, 1688, x4)
inst_438:
// rs1_val==858993458 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, -0xb503, x2, 1692, x4)
inst_439:
// rs1_val==858993458 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333332, 0x66666667, x2, 1696, x4)
inst_440:
// rs1_val==858993458 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333332, 0x33333334, x2, 1700, x4)
inst_441:
// rs1_val==858993458 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, 0x6, x2, 1704, x4)
inst_442:
// rs1_val==858993458 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, -0x55555555, x2, 1708, x4)
inst_443:
// rs1_val==858993458 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333332, 0x55555556, x2, 1712, x4)
inst_444:
// rs1_val==858993458 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, 0x4, x2, 1716, x4)
inst_445:
// rs1_val==858993458 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, 0xb503, x2, 1720, x4)
inst_446:
// rs1_val==858993458 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, 0x0, x2, 1724, x4)
inst_447:
// rs1_val==858993458 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333332, 0x66666665, x2, 1728, x4)
inst_448:
// rs1_val==858993458 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, 0x33333332, x2, 1732, x4)
inst_449:
// rs1_val==858993458 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333332, 0x55555554, x2, 1736, x4)
inst_450:
// rs1_val==858993458 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, 0x2, x2, 1740, x4)
inst_451:
// rs1_val==858993458 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, 0xb504, x2, 1744, x4)
inst_452:
// rs1_val==858993458 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, -0xb504, x2, 1748, x4)
inst_453:
// rs1_val==858993458 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333332, 0x66666666, x2, 1752, x4)
inst_454:
// rs1_val==858993458 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333332, 0x33333333, x2, 1756, x4)
inst_455:
// rs1_val==858993458 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, 0x5, x2, 1760, x4)
inst_456:
// rs1_val==858993458 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, -0x55555556, x2, 1764, x4)
inst_457:
// rs1_val==858993458 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333332, 0x55555555, x2, 1768, x4)
inst_458:
// rs1_val==858993458 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333332; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333332, 0x3, x2, 1772, x4)
inst_459:
// rs1_val==1431655764 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0xb505, x2, 1776, x4)
inst_460:
// rs1_val==1431655764 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, -0xb503, x2, 1780, x4)
inst_461:
// rs1_val==1431655764 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555554, 0x66666667, x2, 1784, x4)
inst_462:
// rs1_val==1431655764 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x33333334, x2, 1788, x4)
inst_463:
// rs1_val==1431655764 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x6, x2, 1792, x4)
inst_464:
// rs1_val==1431655764 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, -0x55555555, x2, 1796, x4)
inst_465:
// rs1_val==1431655764 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555554, 0x55555556, x2, 1800, x4)
inst_466:
// rs1_val==1431655764 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x4, x2, 1804, x4)
inst_467:
// rs1_val==1431655764 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0xb503, x2, 1808, x4)
inst_468:
// rs1_val==1431655764 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x0, x2, 1812, x4)
inst_469:
// rs1_val==1431655764 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555554, 0x66666665, x2, 1816, x4)
inst_470:
// rs1_val==1431655764 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x33333332, x2, 1820, x4)
inst_471:
// rs1_val==1431655764 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x55555554, x2, 1824, x4)
inst_472:
// rs1_val==1431655764 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x2, x2, 1828, x4)
inst_473:
// rs1_val==1431655764 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0xb504, x2, 1832, x4)
inst_474:
// rs1_val==1431655764 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, -0xb504, x2, 1836, x4)
inst_475:
// rs1_val==1431655764 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555554, 0x66666666, x2, 1840, x4)
inst_476:
// rs1_val==1431655764 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x33333333, x2, 1844, x4)
inst_477:
// rs1_val==1431655764 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x5, x2, 1848, x4)
inst_478:
// rs1_val==1431655764 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, -0x55555556, x2, 1852, x4)
inst_479:
// rs1_val==1431655764 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x55555554, 0x55555555, x2, 1856, x4)
inst_480:
// rs1_val==1431655764 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x55555554; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x55555554, 0x3, x2, 1860, x4)
inst_481:
// rs1_val==2 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0xb505, x2, 1864, x4)
inst_482:
// rs1_val==2 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x2, -0xb503, x2, 1868, x4)
inst_483:
// rs1_val==2 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x66666667, x2, 1872, x4)
inst_484:
// rs1_val==2 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x33333334, x2, 1876, x4)
inst_485:
// rs1_val==2 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x6, x2, 1880, x4)
inst_486:
// rs1_val==2 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x2, -0x55555555, x2, 1884, x4)
inst_487:
// rs1_val==2 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x55555556, x2, 1888, x4)
inst_488:
// rs1_val==2 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x4, x2, 1892, x4)
inst_489:
// rs1_val==2 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0xb503, x2, 1896, x4)
inst_490:
// rs1_val==2 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x2, 0x0, x2, 1900, x4)
inst_491:
// rs1_val==2 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x66666665, x2, 1904, x4)
inst_492:
// rs1_val==2 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x33333332, x2, 1908, x4)
inst_493:
// rs1_val==2 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x55555554, x2, 1912, x4)
inst_494:
// rs1_val==2 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0xb504, x2, 1916, x4)
inst_495:
// rs1_val==2 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x2, -0xb504, x2, 1920, x4)
inst_496:
// rs1_val==2 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x66666666, x2, 1924, x4)
inst_497:
// rs1_val==2 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x33333333, x2, 1928, x4)
inst_498:
// rs1_val==2 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x5, x2, 1932, x4)
inst_499:
// rs1_val==2 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x2, -0x55555556, x2, 1936, x4)
inst_500:
// rs1_val==2 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x55555555, x2, 1940, x4)
inst_501:
// rs1_val==2 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x2; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x2, 0x3, x2, 1944, x4)
inst_502:
// rs1_val==46340 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb504, 0xb505, x2, 1948, x4)
inst_503:
// rs1_val==46340 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, -0xb503, x2, 1952, x4)
inst_504:
// rs1_val==46340 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb504, 0x66666667, x2, 1956, x4)
inst_505:
// rs1_val==46340 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb504, 0x33333334, x2, 1960, x4)
inst_506:
// rs1_val==46340 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, 0x6, x2, 1964, x4)
inst_507:
// rs1_val==46340 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, -0x55555555, x2, 1968, x4)
inst_508:
// rs1_val==46340 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb504, 0x55555556, x2, 1972, x4)
inst_509:
// rs1_val==46340 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, 0x4, x2, 1976, x4)
inst_510:
// rs1_val==46340 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, 0xb503, x2, 1980, x4)
inst_511:
// rs1_val==46340 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, 0x0, x2, 1984, x4)
inst_512:
// rs1_val==46340 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb504, 0x66666665, x2, 1988, x4)
inst_513:
// rs1_val==46340 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb504, 0x33333332, x2, 1992, x4)
inst_514:
// rs1_val==46340 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb504, 0x55555554, x2, 1996, x4)
inst_515:
// rs1_val==46340 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, 0x2, x2, 2000, x4)
inst_516:
// rs1_val==46340 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, 0xb504, x2, 2004, x4)
inst_517:
// rs1_val==46340 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, -0xb504, x2, 2008, x4)
inst_518:
// rs1_val==46340 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb504, 0x66666666, x2, 2012, x4)
inst_519:
// rs1_val==46340 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb504, 0x33333333, x2, 2016, x4)
inst_520:
// rs1_val==46340 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, 0x5, x2, 2020, x4)
inst_521:
// rs1_val==46340 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, -0x55555556, x2, 2024, x4)
inst_522:
// rs1_val==46340 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0xb504, 0x55555555, x2, 2028, x4)
inst_523:
// rs1_val==46340 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0xb504; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0xb504, 0x3, x2, 2032, x4)
inst_524:
// rs1_val==-46340 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0xb505, x2, 2036, x4)
inst_525:
// rs1_val==-46340 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, -0xb503, x2, 2040, x4)
inst_526:
// rs1_val==-46340 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x66666667, x2, 2044, x4)
RVTEST_SIGBASE( x2,signature_x2_1)
inst_527:
// rs1_val==-46340 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x33333334, x2, 0, x4)
inst_528:
// rs1_val==-46340 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x6, x2, 4, x4)
inst_529:
// rs1_val==-46340 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0xb504, -0x55555555, x2, 8, x4)
inst_530:
// rs1_val==-46340 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x55555556, x2, 12, x4)
inst_531:
// rs1_val==-46340 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x4, x2, 16, x4)
inst_532:
// rs1_val==-46340 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0xb503, x2, 20, x4)
inst_533:
// rs1_val==-46340 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x0, x2, 24, x4)
inst_534:
// rs1_val==-46340 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x66666665, x2, 28, x4)
inst_535:
// rs1_val==-46340 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x33333332, x2, 32, x4)
inst_536:
// rs1_val==-46340 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x55555554, x2, 36, x4)
inst_537:
// rs1_val==-46340 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x2, x2, 40, x4)
inst_538:
// rs1_val==-46340 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0xb504, x2, 44, x4)
inst_539:
// rs1_val==-46340 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0xb504, -0xb504, x2, 48, x4)
inst_540:
// rs1_val==-46340 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x66666666, x2, 52, x4)
inst_541:
// rs1_val==-46340 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x33333333, x2, 56, x4)
inst_542:
// rs1_val==-46340 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x5, x2, 60, x4)
inst_543:
// rs1_val==-46340 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0xb504, -0x55555556, x2, 64, x4)
inst_544:
// rs1_val==-46340 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x55555555, x2, 68, x4)
inst_545:
// rs1_val==-46340 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0xb504; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0xb504, 0x3, x2, 72, x4)
inst_546:
// rs1_val==1717986918 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0xb505, x2, 76, x4)
inst_547:
// rs1_val==1717986918 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, -0xb503, x2, 80, x4)
inst_548:
// rs1_val==1717986918 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x66666666, 0x66666667, x2, 84, x4)
inst_549:
// rs1_val==1717986918 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x33333334, x2, 88, x4)
inst_550:
// rs1_val==1717986918 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x6, x2, 92, x4)
inst_551:
// rs1_val==1717986918 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, -0x55555555, x2, 96, x4)
inst_552:
// rs1_val==1717986918 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x55555556, x2, 100, x4)
inst_553:
// rs1_val==1717986918 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x4, x2, 104, x4)
inst_554:
// rs1_val==1717986918 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0xb503, x2, 108, x4)
inst_555:
// rs1_val==1717986918 and rs2_val==0,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x0
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x0, x2, 112, x4)
inst_556:
// rs1_val==1717986918 and rs2_val==1717986917,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x66666665
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x66666665, x2, 116, x4)
inst_557:
// rs1_val==1717986918 and rs2_val==858993458,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x33333332
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x33333332, x2, 120, x4)
inst_558:
// rs1_val==1717986918 and rs2_val==1431655764,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x55555554
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x55555554, x2, 124, x4)
inst_559:
// rs1_val==1717986918 and rs2_val==2,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x2
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x2, x2, 128, x4)
inst_560:
// rs1_val==1717986918 and rs2_val==46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0xb504, x2, 132, x4)
inst_561:
// rs1_val==1717986918 and rs2_val==-46340,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:-0xb504
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, -0xb504, x2, 136, x4)
inst_562:
// rs1_val==1717986918 and rs2_val==1717986918,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x66666666
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x66666666, x2, 140, x4)
inst_563:
// rs1_val==1717986918 and rs2_val==858993459,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x33333333
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x33333333, x2, 144, x4)
inst_564:
// rs1_val==1717986918 and rs2_val==5,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x5
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x5, x2, 148, x4)
inst_565:
// rs1_val==1717986918 and rs2_val==-1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:-0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, -0x55555556, x2, 152, x4)
inst_566:
// rs1_val==1717986918 and rs2_val==1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x55555555, x2, 156, x4)
inst_567:
// rs1_val==1717986918 and rs2_val==3,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x66666666; op2val:0x3
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x66666666, 0x3, x2, 160, x4)
inst_568:
// rs1_val==858993459 and rs2_val==46341,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0xb505
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0xb505, x2, 164, x4)
inst_569:
// rs1_val==858993459 and rs2_val==-46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:-0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, -0xb503, x2, 168, x4)
inst_570:
// rs1_val==858993459 and rs2_val==1717986919,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x66666667
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333333, 0x66666667, x2, 172, x4)
inst_571:
// rs1_val==858993459 and rs2_val==858993460,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x33333334
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333333, 0x33333334, x2, 176, x4)
inst_572:
// rs1_val==858993459 and rs2_val==6,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x6
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0x6, x2, 180, x4)
inst_573:
// rs1_val==858993459 and rs2_val==-1431655765,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:-0x55555555
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, -0x55555555, x2, 184, x4)
inst_574:
// rs1_val==858993459 and rs2_val==1431655766,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x55555556
TEST_RR_OP(slt, x12, x10, x11, 0x1, 0x33333333, 0x55555556, x2, 188, x4)
inst_575:
// rs1_val==858993459 and rs2_val==4,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0x4
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0x4, x2, 192, x4)
inst_576:
// rs1_val==858993459 and rs2_val==46339,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:0x33333333; op2val:0xb503
TEST_RR_OP(slt, x12, x10, x11, 0x0, 0x33333333, 0xb503, x2, 196, x4)
inst_577:
// rs2_val == 2147483647, rs1_val == -4194305, rs1_val < 0 and rs2_val > 0, rs2_val == (2**(xlen-1)-1)
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x400001; op2val:0x7fffffff
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x400001, 0x7fffffff, x2, 200, x4)
inst_578:
// rs2_val == -536870913, rs1_val == -4097
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x1001; op2val:-0x20000001
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x1001, -0x20000001, x2, 204, x4)
inst_579:
// rs2_val == -268435457,
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x55555555; op2val:-0x10000001
TEST_RR_OP(slt, x12, x10, x11, 0x1, -0x55555555, -0x10000001, x2, 208, x4)
inst_580:
// rs2_val == -134217729, rs1_val == -65537
// opcode: slt ; op1:x10; op2:x11; dest:x12; op1val:-0x10001; op2val:-0x8000001
TEST_RR_OP(slt, x12, x10, x11, 0x0, -0x10001, -0x8000001, x2, 212, x4)
#endif
RVTEST_CODE_END
RVMODEL_HALT
RVTEST_DATA_BEGIN
.align 4
rvtest_data:
.word 0xbabecafe
RVTEST_DATA_END
RVMODEL_DATA_BEGIN
signature_x12_0:
.fill 0*(XLEN/32),4,0xdeadbeef
signature_x12_1:
.fill 8*(XLEN/32),4,0xdeadbeef
signature_x3_0:
.fill 7*(XLEN/32),4,0xdeadbeef
signature_x2_0:
.fill 512*(XLEN/32),4,0xdeadbeef
signature_x2_1:
.fill 54*(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