OpenE2K
/
qemu-e2k
13
4
Fork 0
Code Issues 4 Pull Requests Projects 2 Releases Activity

tests/tcg/mips: Add tests for R5900 DIVU1 

Add a test for DIVU1.

Reviewed-by: Aleksandar Markovic <amarkovic@wavecomp.com>
Signed-off-by: Fredrik Noring <noring@nocrew.org>
Signed-off-by: Aleksandar Markovic <amarkovic@wavecomp.com>
This commit is contained in:
Fredrik Noring 2018-10-21 17:42:19 +02:00 committed by Aleksandar Markovic
parent 990aa328be
commit 35eb9be6bb
2 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tests/tcg/mips/mipsr5900/Makefile
View File

@ -9,6 +9,7 @@ CC = $(CROSS)gcc
CFLAGS = -Wall -mabi=32 -march=r5900 -static
TESTCASES = div1.tst
TESTCASES += divu1.tst
TESTCASES += mflohi1.tst
TESTCASES += mtlohi1.tst
TESTCASES += mult.tst

48
tests/tcg/mips/mipsr5900/divu1.c Normal file
View File

@ -0,0 +1,48 @@
/*
* Test R5900-specific DIVU1.
*/
#include <stdio.h>
#include <inttypes.h>
#include <assert.h>
struct quotient_remainder { uint32_t quotient, remainder; };
static struct quotient_remainder divu1(uint32_t rs, uint32_t rt)
{
uint32_t lo, hi;
__asm__ __volatile__ (
" divu1 $0, %2, %3\n"
" mflo1 %0\n"
" mfhi1 %1\n"
: "=r" (lo), "=r" (hi)
: "r" (rs), "r" (rt));
assert(rs / rt == lo);
assert(rs % rt == hi);
return (struct quotient_remainder) { .quotient = lo, .remainder = hi };
}
static void verify_divu1(uint32_t rs, uint32_t rt,
uint32_t expected_quotient,
uint32_t expected_remainder)
{
struct quotient_remainder qr = divu1(rs, rt);
assert(qr.quotient == expected_quotient);
assert(qr.remainder == expected_remainder);
}
int main()
{
verify_divu1(0, 1, 0, 0);
verify_divu1(1, 1, 1, 0);
verify_divu1(1, 2, 0, 1);
verify_divu1(17, 19, 0, 17);
verify_divu1(19, 17, 1, 2);
verify_divu1(77773, 101, 770, 3);
return 0;
}