int test__modsi3(si_int a, si_int b, si_int expected) {
si_int x = __modsi3(a, b);
if (x != expected)
fprintf(stderr, "error in __modsi3: %d %% %d = %d, expected %d\n",
a, b, x, expected);
return x != expected;
}
static void trap_dispatch(struct trapframe *tf)
{
int i;
int code = GET_CAUSE_EXCODE(tf->tf_cause);
switch (code) {
case EX_IRQ:
interrupt_handler(tf);
break;
case EX_MOD:
handle_tlbmiss(tf, 1, 1);
break;
case EX_TLBL:
handle_tlbmiss(tf, 0, 0);
break;
case EX_TLBS:
handle_tlbmiss(tf, 1, 0);
break;
case EX_RI: {
if(tf->tf_cause & (1 << 31)) {
print_trapframe(tf);
panic("Cannot fix unimplemented instruction in branch delay slot.");
}
const uint32_t DIV_OPCODE_MASK = 0xFC00FFFF;
const uint32_t DIV_OPCODE = 0x0000001A;
const uint32_t DIVU_OPCODE = 0x0000001B;
const uint32_t MULTU_OPCODE = 0x00000019;
uint32_t instruction = *(uint32_t*)tf->tf_epc;
if((instruction & DIV_OPCODE_MASK) == DIV_OPCODE) {
int rt = (instruction >> 16) & 0x1F;
int rs = (instruction >> 21) & 0x1F;
int dividend = rs == 0 ? 0 : tf->tf_regs.reg_r[rs - 1];
int division = rt == 0 ? 0 : tf->tf_regs.reg_r[rt - 1];
tf->tf_lo = __divsi3(dividend, division);
tf->tf_hi = __modsi3(dividend, division);
tf->tf_epc = (void*)((uint32_t)tf->tf_epc + 4);
break;
}
else if((instruction & DIV_OPCODE_MASK) == DIVU_OPCODE) {
int rt = (instruction >> 16) & 0x1F;
int rs = (instruction >> 21) & 0x1F;
int dividend = rs == 0 ? 0 : tf->tf_regs.reg_r[rs - 1];
int division = rt == 0 ? 0 : tf->tf_regs.reg_r[rt - 1];
tf->tf_lo = udivmodsi4(dividend, division, 0);
tf->tf_hi = udivmodsi4(dividend, division, 1);
tf->tf_epc = (void*)((uint32_t)tf->tf_epc + 4);
break;
}
int main()
{
// Shift left 64 bits, less than 32 bit shift, unsigned value
print64bit(__ashldi3(0x1257493827394374LL, 3));
// CHECK: 0x92ba49c139ca1ba0
// Shift left 64 bits, more than 32 bit shift, unsigned value
print64bit(__ashldi3(0x1257493827394374LL, 34));
// CHECK: 0x9ce50dd000000000
// Logical shift right 64 bits, less than 32 bit shift, unsigned value
print64bit(__lshrdi3(0x1d348856d51c4737LL, 7));
// CHECK: 0x003a6910adaa388e
// Signed value
print64bit(__lshrdi3(0xfd348856d51c4737LL, 7));
// CHECK: 0x01fa6910adaa388e
// Logical shift right 64 bits, more than 32 bit shift, unsigned value
print64bit(__lshrdi3(0x1d348856d51c4737LL, 37));
// CHECK: 0x0000000000e9a442
// Signed value
print64bit(__lshrdi3(0xfd348856d51c4737LL, 37));
// CHECK: 0x0000000007e9a442
// Unsigned 32 bit integer division, signed value
printf("0x%08x\n", __udivsi3(0xf39eca1b, 17));
// CHECK: 0x0e54a27a
// Unsigned value
printf("0x%08x\n", __udivsi3(0x5b0a6c63, 17));
// CHECK: 0x055af751
// Signed 32 bit integer division, signed value
printf("0x%08x\n", __divsi3(0xf39eca1b, 17));
// CHECK: 0xff45936b
// Unsigned value
printf("0x%08x\n", __divsi3(0x539eca1b, 17));
// CHECK: 0x04eb3910
// Unsigned 32 bit integer modulus, signed value
printf("0x%08x\n", __umodsi3(0xf39eca1b, 495));
// CHECK: 0x000001d1
// Unsigned value
printf("0x%08x\n", __umodsi3(0x539eca1b, 495));
// CHECK: 0x000000d7
// Signed 32 bit integer modulus, signed value
printf("0x%08x\n", __modsi3(0xf39eca1b, 495));
// CHECK: 0xfffffeb5
// Unsigned value
printf("0x%08x\n", __modsi3(0x539eca1b, 495));
// CHECK: 0x000000d7
// Unsigned 64 bit integer division, signed value
print64bit(__udivdi3(0xf3c367523e29230aLL, 495));
// CHECK: 0x007e114680625881
// Unsigned value
print64bit(__udivdi3(0x53c367523e29230aLL, 495));
// CHECK: 0x002b51ebff175b17
// Signed 64 bit integer division, signed value
print64bit(__divdi3(0xf3c367523e29230aLL, 495));
// CHECK: 0xfff9abe8e4b72972
// Unsigned value
print64bit(__divdi3(0x53c367523e29230aLL, 495));
// CHECK: 0x002b51ebff175b17
// Unsigned 64 bit integer modulus, signed value
print64bit(__umoddi3(0xf3c367523e29230aLL, 495));
// CHECK: 0x000000000000019b
// Unsigned value
print64bit(__umoddi3(0x53c367523e29230aLL, 495));
// CHECK: 0x0000000000000191
// Signed 64 bit integer modulus, signed value
print64bit(__moddi3(0xf3c367523e29230aLL, 495));
// CHECK: 0xffffffffffffff9c
// Unsigned value
print64bit(__moddi3(0x53c367523e29230aLL, 495));
// CHECK: 0x0000000000000191
// Convert 64 bit value to float, greater than > 32 bits
printfloathex(__floatundisf(1674874919848732277LL));
// CHECK: 0x5db9f2cf
// < 32 bits
printfloathex(__floatundisf(1674877LL));
// CHECK: 0x49cc73e8
}
