blob: 5fb65c216cf0a2b3cad6e0045dc80ad0cbb2943e [file] [log] [blame] [edit]
/*
* Copyright 2023 Google LLC
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include <cstdio>
#include "crt/kelvin.h"
// clang-format off
#define test_alu_x(op, in0, ref) \
{ \
uint32_t dut; \
__asm__ __volatile_always__(ARGS_F_A_A(op, %0, %1) \
: "=r"(dut) \
: "r"(in0)); \
if (ref != dut) { \
printf("**error(%d)[%s] %08x : %08x %08lx\n", __LINE__, op, in0, ref, \
dut); \
exit(-1); \
} \
}
#define test_alu_xx(op, in0, in1, ref) \
{ \
uint32_t dut; \
__asm__ __volatile_always__(ARGS_F_A_A_A(op, %0, %1, %2) \
: "=r"(dut) \
: "r"(in0), "r"(in1)); \
if (ref != dut) { \
printf("**error(%d)[%s] %08x %08x : %08x %08lx\n", __LINE__, op, in0, \
in1, ref, dut); \
exit(-1); \
} \
}
static void div_under_mul() {
// Check write port collision of divide and multiply units.
constexpr int ref = 14;
int dut, n = 100, d = 7;
__asm__ volatile(ARGS_F_A_A_A("div", %0, %1, %2)
: "=r"(dut)
: "r"(n), "r"(d));
// clang-format on
__asm__ volatile("mul s0, s1, s1");
__asm__ volatile("mul s2, s3, s3");
__asm__ volatile("mul s4, s5, s5");
__asm__ volatile("mul s6, s7, s7");
__asm__ volatile("mul s8, s9, s9");
__asm__ volatile("mul s0, s1, s1");
__asm__ volatile("mul s2, s3, s3");
__asm__ volatile("mul s4, s5, s5");
__asm__ volatile("mul s6, s7, s7");
__asm__ volatile("mul s8, s9, s9");
__asm__ volatile("mul s0, s1, s1");
__asm__ volatile("mul s2, s3, s3");
__asm__ volatile("mul s4, s5, s5");
__asm__ volatile("mul s6, s7, s7");
__asm__ volatile("mul s8, s9, s9");
__asm__ volatile("mul s0, s1, s1");
__asm__ volatile("mul s2, s3, s3");
__asm__ volatile("mul s4, s5, s5");
__asm__ volatile("mul s6, s7, s7");
__asm__ volatile("mul s8, s9, s9");
if (ref != dut) {
printf("**error alu::div_under_mul %d %d\n", ref, dut);
exit(-1);
}
}
int main() {
test_alu_xx("and", 0x55ffcc5a, 0xaa015566, 0x00014442);
test_alu_x("not", 0x55ffcc5a, 0xaa0033a5);
test_alu_x("not", 0xa05f1248, 0x5fa0edb7);
test_alu_xx("or", 0x55555555, 0xaaaaaaaa, 0xffffffff);
test_alu_xx("or", 0xa05f1248, 0x5fa02481, 0xffff36c9);
test_alu_xx("or", 0x12345678, 0x87654321, 0x97755779);
test_alu_xx("xor", 0x55555555, 0xaaaaaaaa, 0xffffffff);
test_alu_xx("xor", 0x55555555, 0x5555ffff, 0x0000aaaa);
test_alu_xx("xor", 0xa05f1248, 0x5fa02481, 0xffff36c9);
test_alu_xx("xor", 0x12345678, 0x87654321, 0x95511559);
test_alu_xx("slt", 0x00000000, 0x00000000, 0);
test_alu_xx("slt", 0x00000000, 0x55555555, 1);
test_alu_xx("slt", 0x00000000, 0x7fffffff, 1);
test_alu_xx("slt", 0x00000000, 0x80000000, 0);
test_alu_xx("slt", 0x00000000, 0xcccccccc, 0);
test_alu_xx("slt", 0x00000000, 0xffffffff, 0);
test_alu_xx("slt", 0x55555555, 0x00000000, 0);
test_alu_xx("slt", 0x55555555, 0x55555555, 0);
test_alu_xx("slt", 0x55555555, 0x7fffffff, 1);
test_alu_xx("slt", 0x55555555, 0x80000000, 0);
test_alu_xx("slt", 0x55555555, 0xcccccccc, 0);
test_alu_xx("slt", 0x55555555, 0xffffffff, 0);
test_alu_xx("slt", 0x7fffffff, 0x00000000, 0);
test_alu_xx("slt", 0x7fffffff, 0x55555555, 0);
test_alu_xx("slt", 0x7fffffff, 0x7fffffff, 0);
test_alu_xx("slt", 0x7fffffff, 0x80000000, 0);
test_alu_xx("slt", 0x7fffffff, 0xcccccccc, 0);
test_alu_xx("slt", 0x7fffffff, 0xffffffff, 0);
test_alu_xx("slt", 0x80000000, 0x00000000, 1);
test_alu_xx("slt", 0x80000000, 0x55555555, 1);
test_alu_xx("slt", 0x80000000, 0x7fffffff, 1);
test_alu_xx("slt", 0x80000000, 0x80000000, 0);
test_alu_xx("slt", 0x80000000, 0xcccccccc, 1);
test_alu_xx("slt", 0x80000000, 0xffffffff, 1);
test_alu_xx("slt", 0xcccccccc, 0x00000000, 1);
test_alu_xx("slt", 0xcccccccc, 0x55555555, 1);
test_alu_xx("slt", 0xcccccccc, 0x7fffffff, 1);
test_alu_xx("slt", 0xcccccccc, 0x80000000, 0);
test_alu_xx("slt", 0xcccccccc, 0xcccccccc, 0);
test_alu_xx("slt", 0xcccccccc, 0xffffffff, 1);
test_alu_xx("slt", 0xffffffff, 0x00000000, 1);
test_alu_xx("slt", 0xffffffff, 0x55555555, 1);
test_alu_xx("slt", 0xffffffff, 0x7fffffff, 1);
test_alu_xx("slt", 0xffffffff, 0x80000000, 0);
test_alu_xx("slt", 0xffffffff, 0xcccccccc, 0);
test_alu_xx("slt", 0xffffffff, 0xffffffff, 0);
test_alu_xx("sltu", 0x00000000, 0x00000000, 0);
test_alu_xx("sltu", 0x00000000, 0x55555555, 1);
test_alu_xx("sltu", 0x00000000, 0x7fffffff, 1);
test_alu_xx("sltu", 0x00000000, 0x80000000, 1);
test_alu_xx("sltu", 0x00000000, 0xcccccccc, 1);
test_alu_xx("sltu", 0x00000000, 0xffffffff, 1);
test_alu_xx("sltu", 0x55555555, 0x00000000, 0);
test_alu_xx("sltu", 0x55555555, 0x55555555, 0);
test_alu_xx("sltu", 0x55555555, 0x7fffffff, 1);
test_alu_xx("sltu", 0x55555555, 0x80000000, 1);
test_alu_xx("sltu", 0x55555555, 0xcccccccc, 1);
test_alu_xx("sltu", 0x55555555, 0xffffffff, 1);
test_alu_xx("sltu", 0x7fffffff, 0x00000000, 0);
test_alu_xx("sltu", 0x7fffffff, 0x55555555, 0);
test_alu_xx("sltu", 0x7fffffff, 0x7fffffff, 0);
test_alu_xx("sltu", 0x7fffffff, 0x80000000, 1);
test_alu_xx("sltu", 0x7fffffff, 0xcccccccc, 1);
test_alu_xx("sltu", 0x7fffffff, 0xffffffff, 1);
test_alu_xx("sltu", 0x80000000, 0x00000000, 0);
test_alu_xx("sltu", 0x80000000, 0x55555555, 0);
test_alu_xx("sltu", 0x80000000, 0x7fffffff, 0);
test_alu_xx("sltu", 0x80000000, 0x80000000, 0);
test_alu_xx("sltu", 0x80000000, 0xcccccccc, 1);
test_alu_xx("sltu", 0x80000000, 0xffffffff, 1);
test_alu_xx("sltu", 0xcccccccc, 0x00000000, 0);
test_alu_xx("sltu", 0xcccccccc, 0x55555555, 0);
test_alu_xx("sltu", 0xcccccccc, 0x7fffffff, 0);
test_alu_xx("sltu", 0xcccccccc, 0x80000000, 0);
test_alu_xx("sltu", 0xcccccccc, 0xcccccccc, 0);
test_alu_xx("sltu", 0xcccccccc, 0xffffffff, 1);
test_alu_xx("sltu", 0xffffffff, 0x00000000, 0);
test_alu_xx("sltu", 0xffffffff, 0x55555555, 0);
test_alu_xx("sltu", 0xffffffff, 0x7fffffff, 0);
test_alu_xx("sltu", 0xffffffff, 0x80000000, 0);
test_alu_xx("sltu", 0xffffffff, 0xcccccccc, 0);
test_alu_xx("sltu", 0xffffffff, 0xffffffff, 0);
test_alu_xx("sgt", 0x00000000, 0x00000000, 0);
test_alu_xx("sgt", 0x00000000, 0x55555555, 0);
test_alu_xx("sgt", 0x00000000, 0x7fffffff, 0);
test_alu_xx("sgt", 0x00000000, 0x80000000, 1);
test_alu_xx("sgt", 0x00000000, 0xcccccccc, 1);
test_alu_xx("sgt", 0x00000000, 0xffffffff, 1);
test_alu_xx("sgt", 0x55555555, 0x00000000, 1);
test_alu_xx("sgt", 0x55555555, 0x55555555, 0);
test_alu_xx("sgt", 0x55555555, 0x7fffffff, 0);
test_alu_xx("sgt", 0x55555555, 0x80000000, 1);
test_alu_xx("sgt", 0x55555555, 0xcccccccc, 1);
test_alu_xx("sgt", 0x55555555, 0xffffffff, 1);
test_alu_xx("sgt", 0x7fffffff, 0x00000000, 1);
test_alu_xx("sgt", 0x7fffffff, 0x55555555, 1);
test_alu_xx("sgt", 0x7fffffff, 0x7fffffff, 0);
test_alu_xx("sgt", 0x7fffffff, 0x80000000, 1);
test_alu_xx("sgt", 0x7fffffff, 0xcccccccc, 1);
test_alu_xx("sgt", 0x7fffffff, 0xffffffff, 1);
test_alu_xx("sgt", 0x80000000, 0x00000000, 0);
test_alu_xx("sgt", 0x80000000, 0x55555555, 0);
test_alu_xx("sgt", 0x80000000, 0x7fffffff, 0);
test_alu_xx("sgt", 0x80000000, 0x80000000, 0);
test_alu_xx("sgt", 0x80000000, 0xcccccccc, 0);
test_alu_xx("sgt", 0x80000000, 0xffffffff, 0);
test_alu_xx("sgt", 0xcccccccc, 0x00000000, 0);
test_alu_xx("sgt", 0xcccccccc, 0x55555555, 0);
test_alu_xx("sgt", 0xcccccccc, 0x7fffffff, 0);
test_alu_xx("sgt", 0xcccccccc, 0x80000000, 1);
test_alu_xx("sgt", 0xcccccccc, 0xcccccccc, 0);
test_alu_xx("sgt", 0xcccccccc, 0xffffffff, 0);
test_alu_xx("sgt", 0xffffffff, 0x00000000, 0);
test_alu_xx("sgt", 0xffffffff, 0x55555555, 0);
test_alu_xx("sgt", 0xffffffff, 0x7fffffff, 0);
test_alu_xx("sgt", 0xffffffff, 0x80000000, 1);
test_alu_xx("sgt", 0xffffffff, 0xcccccccc, 1);
test_alu_xx("sgt", 0xffffffff, 0xffffffff, 0);
test_alu_xx("sgtu", 0x00000000, 0x00000000, 0);
test_alu_xx("sgtu", 0x00000000, 0x55555555, 0);
test_alu_xx("sgtu", 0x00000000, 0x7fffffff, 0);
test_alu_xx("sgtu", 0x00000000, 0x80000000, 0);
test_alu_xx("sgtu", 0x00000000, 0xcccccccc, 0);
test_alu_xx("sgtu", 0x00000000, 0xffffffff, 0);
test_alu_xx("sgtu", 0x55555555, 0x00000000, 1);
test_alu_xx("sgtu", 0x55555555, 0x55555555, 0);
test_alu_xx("sgtu", 0x55555555, 0x7fffffff, 0);
test_alu_xx("sgtu", 0x55555555, 0x80000000, 0);
test_alu_xx("sgtu", 0x55555555, 0xcccccccc, 0);
test_alu_xx("sgtu", 0x55555555, 0xffffffff, 0);
test_alu_xx("sgtu", 0x7fffffff, 0x00000000, 1);
test_alu_xx("sgtu", 0x7fffffff, 0x55555555, 1);
test_alu_xx("sgtu", 0x7fffffff, 0x7fffffff, 0);
test_alu_xx("sgtu", 0x7fffffff, 0x80000000, 0);
test_alu_xx("sgtu", 0x7fffffff, 0xcccccccc, 0);
test_alu_xx("sgtu", 0x7fffffff, 0xffffffff, 0);
test_alu_xx("sgtu", 0x80000000, 0x00000000, 1);
test_alu_xx("sgtu", 0x80000000, 0x55555555, 1);
test_alu_xx("sgtu", 0x80000000, 0x7fffffff, 1);
test_alu_xx("sgtu", 0x80000000, 0x80000000, 0);
test_alu_xx("sgtu", 0x80000000, 0xcccccccc, 0);
test_alu_xx("sgtu", 0x80000000, 0xffffffff, 0);
test_alu_xx("sgtu", 0xcccccccc, 0x00000000, 1);
test_alu_xx("sgtu", 0xcccccccc, 0x55555555, 1);
test_alu_xx("sgtu", 0xcccccccc, 0x7fffffff, 1);
test_alu_xx("sgtu", 0xcccccccc, 0x80000000, 1);
test_alu_xx("sgtu", 0xcccccccc, 0xcccccccc, 0);
test_alu_xx("sgtu", 0xcccccccc, 0xffffffff, 0);
test_alu_xx("sgtu", 0xffffffff, 0x00000000, 1);
test_alu_xx("sgtu", 0xffffffff, 0x55555555, 1);
test_alu_xx("sgtu", 0xffffffff, 0x7fffffff, 1);
test_alu_xx("sgtu", 0xffffffff, 0x80000000, 1);
test_alu_xx("sgtu", 0xffffffff, 0xcccccccc, 1);
test_alu_xx("sgtu", 0xffffffff, 0xffffffff, 0);
test_alu_xx("sll", 0x23456789, 0x00, 0x23456789);
test_alu_xx("sll", 0x23456789, 0x01, 0x468acf12);
test_alu_xx("sll", 0x23456789, 0x02, 0x8d159e24);
test_alu_xx("sll", 0x23456789, 0x04, 0x34567890);
test_alu_xx("sll", 0x23456789, 0x08, 0x45678900);
test_alu_xx("sll", 0x23456789, 0x10, 0x67890000);
test_alu_xx("sll", 0x23456789, 0x1f, 0x80000000);
test_alu_xx("sll", 0x23456789, 0xe0, 0x23456789);
test_alu_xx("sra", 0x23456789, 0x00, 0x23456789);
test_alu_xx("sra", 0x23456789, 0x01, 0x11a2b3c4);
test_alu_xx("sra", 0x23456789, 0x02, 0x08d159e2);
test_alu_xx("sra", 0x23456789, 0x04, 0x02345678);
test_alu_xx("sra", 0x23456789, 0x08, 0x00234567);
test_alu_xx("sra", 0x23456789, 0x10, 0x00002345);
test_alu_xx("sra", 0x23456789, 0x1f, 0x00000000);
test_alu_xx("sra", 0x23456789, 0xe0, 0x23456789);
test_alu_xx("sra", 0x98765432, 0x00, 0x98765432);
test_alu_xx("sra", 0x98765432, 0x01, 0xcc3b2a19);
test_alu_xx("sra", 0x98765432, 0x02, 0xe61d950c);
test_alu_xx("sra", 0x98765432, 0x04, 0xf9876543);
test_alu_xx("sra", 0x98765432, 0x08, 0xff987654);
test_alu_xx("sra", 0x98765432, 0x10, 0xffff9876);
test_alu_xx("sra", 0x98765432, 0x1f, 0xffffffff);
test_alu_xx("sra", 0x98765432, 0xe0, 0x98765432);
test_alu_xx("srl", 0x23456789, 0x00, 0x23456789);
test_alu_xx("srl", 0x23456789, 0x01, 0x11a2b3c4);
test_alu_xx("srl", 0x23456789, 0x02, 0x08d159e2);
test_alu_xx("srl", 0x23456789, 0x04, 0x02345678);
test_alu_xx("srl", 0x23456789, 0x08, 0x00234567);
test_alu_xx("srl", 0x23456789, 0x10, 0x00002345);
test_alu_xx("srl", 0x23456789, 0x1f, 0x00000000);
test_alu_xx("srl", 0x23456789, 0xe0, 0x23456789);
test_alu_xx("srl", 0x98765432, 0x00, 0x98765432);
test_alu_xx("srl", 0x98765432, 0x01, 0x4c3b2a19);
test_alu_xx("srl", 0x98765432, 0x02, 0x261d950c);
test_alu_xx("srl", 0x98765432, 0x04, 0x09876543);
test_alu_xx("srl", 0x98765432, 0x08, 0x00987654);
test_alu_xx("srl", 0x98765432, 0x10, 0x00009876);
test_alu_xx("srl", 0x98765432, 0x1f, 0x00000001);
test_alu_xx("srl", 0x98765432, 0xe0, 0x98765432);
test_alu_xx("mul", 0x00000000, 0x00000000, 0x00000000);
test_alu_xx("mul", 0x55555555, 0x00000000, 0x00000000);
test_alu_xx("mul", 0x00000002, 0x00000003, 0x00000006);
test_alu_xx("mul", 0x12345678, 0x00000006, 0x6d3a06d0);
test_alu_xx("mul", 0x12345678, 0x00000009, 0xa3d70a38);
test_alu_xx("mul", 0x55555555, 0x00000003, 0xffffffff);
test_alu_xx("mul", 0x55555555, 0x00000005, 0xaaaaaaa9);
test_alu_xx("mul", 0x23456789, 0x02305670, 0x3ad551f0);
test_alu_xx("mul", 0x543210fe, 0x12345678, 0x98c54b10);
test_alu_xx("mul", 0x543210fe, 0x89abcdef, 0xfa034322);
test_alu_xx("mul", 0xedcba987, 0x12345678, 0xcfd6d148);
test_alu_xx("mul", 0xedcba987, 0x89abcdef, 0x94116009);
test_alu_xx("mul", 0xcba98765, 0x00000007, 0x91a2b3c3);
test_alu_xx("mul", 0xcba98765, 0x98765432, 0xc81795ba);
test_alu_xx("mul", 0xcba98765, 0xdef34567, 0xbd92b2a3);
test_alu_xx("mulh", 0x00000000, 0x00000000, 0x00000000);
test_alu_xx("mulh", 0x55555555, 0x00000000, 0x00000000);
test_alu_xx("mulh", 0x00000002, 0x00000003, 0x00000000);
test_alu_xx("mulh", 0x12345678, 0x00000006, 0x00000000);
test_alu_xx("mulh", 0x12345678, 0x00000009, 0x00000000);
test_alu_xx("mulh", 0x55555555, 0x00000003, 0x00000000);
test_alu_xx("mulh", 0x55555555, 0x00000005, 0x00000001);
test_alu_xx("mulh", 0x23456789, 0x02305670, 0x004d33bb);
test_alu_xx("mulh", 0x543210fe, 0x12345678, 0x05fcbbcd);
test_alu_xx("mulh", 0x543210fe, 0x89abcdef, 0xd9153b45);
test_alu_xx("mulh", 0xedcba987, 0x12345678, 0xfeb49923);
test_alu_xx("mulh", 0xedcba987, 0x89abcdef, 0x086a1c97);
test_alu_xx("mulh", 0xcba98765, 0x00000007, 0xfffffffe);
test_alu_xx("mulh", 0xcba98765, 0x98765432, 0x152aefec);
test_alu_xx("mulh", 0xcba98765, 0xdef34567, 0x06c1bfbf);
test_alu_xx("mulhu", 0x00000000, 0x00000000, 0x00000000);
test_alu_xx("mulhu", 0x55555555, 0x00000000, 0x00000000);
test_alu_xx("mulhu", 0x00000002, 0x00000003, 0x00000000);
test_alu_xx("mulhu", 0x12345678, 0x00000006, 0x00000000);
test_alu_xx("mulhu", 0x12345678, 0x00000009, 0x00000000);
test_alu_xx("mulhu", 0x55555555, 0x00000003, 0x00000000);
test_alu_xx("mulhu", 0x55555555, 0x00000005, 0x00000001);
test_alu_xx("mulhu", 0x23456789, 0x02305670, 0x004d33bb);
test_alu_xx("mulhu", 0x543210fe, 0x12345678, 0x05fcbbcd);
test_alu_xx("mulhu", 0x543210fe, 0x89abcdef, 0x2d474c43);
test_alu_xx("mulhu", 0xedcba987, 0x12345678, 0x10e8ef9b);
test_alu_xx("mulhu", 0xedcba987, 0x89abcdef, 0x7fe1940d);
test_alu_xx("mulhu", 0xcba98765, 0x00000007, 0x00000005);
test_alu_xx("mulhu", 0xcba98765, 0x98765432, 0x794acb83);
test_alu_xx("mulhu", 0xcba98765, 0xdef34567, 0xb15e8c8b);
test_alu_xx("div", 0x00000000, 0x00000000, 0xffffffff);
test_alu_xx("div", 0x00000000, 0x00000001, 0x00000000);
test_alu_xx("div", 0x00000001, 0x00000000, 0xffffffff);
test_alu_xx("div", 0x00000001, 0x00000001, 0x00000001);
test_alu_xx("div", 0x00001234, 0x00000000, 0xffffffff);
test_alu_xx("div", 0xcdba9876, 0x00000000, 0xffffffff);
test_alu_xx("div", 0x00000064, 0x0000000a, 0x0000000a);
test_alu_xx("div", 0x00000067, 0x0000000a, 0x0000000a);
test_alu_xx("div", 0x7fffffff, 0xffffffff, 0x80000001);
test_alu_xx("div", 0xffffffff, 0x7fffffff, 0x00000000);
test_alu_xx("div", 0x80000000, 0xffffffff, 0x80000000);
test_alu_xx("div", 0xffffffff, 0x80000000, 0x00000000);
test_alu_xx("div", 0x12345678, 0x00004567, 0x00004326);
test_alu_xx("div", 0xcdba9876, 0x00004567, 0xffff4692);
test_alu_xx("div", 0x12345678, 0xffffba99, 0xffffbcda);
test_alu_xx("div", 0xcdba9876, 0xffffba99, 0x0000b96e);
test_alu_xx("divu", 0x00000000, 0x00000000, 0xffffffff);
test_alu_xx("divu", 0x00000000, 0x00000001, 0x00000000);
test_alu_xx("divu", 0x00000001, 0x00000000, 0xffffffff);
test_alu_xx("divu", 0x00000001, 0x00000001, 0x00000001);
test_alu_xx("divu", 0x00001234, 0x00000000, 0xffffffff);
test_alu_xx("divu", 0xcdba9876, 0x00000000, 0xffffffff);
test_alu_xx("divu", 0x00000064, 0x0000000a, 0x0000000a);
test_alu_xx("divu", 0x00000067, 0x0000000a, 0x0000000a);
test_alu_xx("divu", 0x7fffffff, 0xffffffff, 0x00000000);
test_alu_xx("divu", 0xffffffff, 0x7fffffff, 0x00000002);
test_alu_xx("divu", 0x80000000, 0xffffffff, 0x00000000);
test_alu_xx("divu", 0xffffffff, 0x80000000, 0x00000001);
test_alu_xx("divu", 0x12345678, 0x00004567, 0x00004326);
test_alu_xx("divu", 0xcdba9876, 0x00004567, 0x0002f6db);
test_alu_xx("divu", 0x12345678, 0xffffba99, 0x00000000);
test_alu_xx("divu", 0xcdba9876, 0xffffba99, 0x00000000);
test_alu_xx("rem", 0x00000000, 0x00000000, 0x00000000);
test_alu_xx("rem", 0x00000000, 0x00000001, 0x00000000);
test_alu_xx("rem", 0x00000001, 0x00000000, 0x00000001);
test_alu_xx("rem", 0x00000001, 0x00000001, 0x00000000);
test_alu_xx("rem", 0x00001234, 0x00000000, 0x00001234);
test_alu_xx("rem", 0xcdba9876, 0x00000000, 0xcdba9876);
test_alu_xx("rem", 0x00000064, 0x0000000a, 0x00000000);
test_alu_xx("rem", 0x00000067, 0x0000000a, 0x00000003);
test_alu_xx("rem", 0x7fffffff, 0xffffffff, 0x00000000);
test_alu_xx("rem", 0xffffffff, 0x7fffffff, 0xffffffff);
test_alu_xx("rem", 0x80000000, 0xffffffff, 0x00000000);
test_alu_xx("rem", 0xffffffff, 0x80000000, 0xffffffff);
test_alu_xx("rem", 0x12345678, 0x00004567, 0x0000142e);
test_alu_xx("rem", 0xcdba9876, 0x00004567, 0xffffd9b8);
test_alu_xx("rem", 0x12345678, 0xffffba99, 0x0000142e);
test_alu_xx("rem", 0xcdba9876, 0xffffba99, 0xffffd9b8);
test_alu_xx("remu", 0x00000000, 0x00000000, 0x00000000);
test_alu_xx("remu", 0x00000000, 0x00000001, 0x00000000);
test_alu_xx("remu", 0x00000001, 0x00000000, 0x00000001);
test_alu_xx("remu", 0x00000001, 0x00000001, 0x00000000);
test_alu_xx("remu", 0x00001234, 0x00000000, 0x00001234);
test_alu_xx("remu", 0xcdba9876, 0x00000000, 0xcdba9876);
test_alu_xx("remu", 0x00000064, 0x0000000a, 0x00000000);
test_alu_xx("remu", 0x00000067, 0x0000000a, 0x00000003);
test_alu_xx("remu", 0x7fffffff, 0xffffffff, 0x7fffffff);
test_alu_xx("remu", 0xffffffff, 0x7fffffff, 0x00000001);
test_alu_xx("remu", 0x80000000, 0xffffffff, 0x80000000);
test_alu_xx("remu", 0xffffffff, 0x80000000, 0x7fffffff);
test_alu_xx("remu", 0x12345678, 0x00004567, 0x0000142e);
test_alu_xx("remu", 0xcdba9876, 0x00004567, 0x00003f59);
test_alu_xx("remu", 0x12345678, 0xffffba99, 0x12345678);
test_alu_xx("remu", 0xcdba9876, 0xffffba99, 0xcdba9876);
div_under_mul();
return 0;
}