Commit 50f299da authored by Fredrik Noring's avatar Fredrik Noring Committed by Aleksandar Markovic
Browse files

tests/tcg: mips: Test R5900 three-operand MADD 



Test R5900 three-operand MADD.

Reviewed-by: default avatarAleksandar Markovic <amarkovic@wavecomp.com>
Signed-off-by: default avatarAleksandar Markovic <amarkovic@wavecomp.com>
Signed-off-by: default avatarFredrik Noring <noring@nocrew.org>
parent 779bdf41

tests/tcg/mips/mipsr5900/Makefile

+1 −0
Original line number Diff line number Diff line
@@ -10,6 +10,7 @@ CFLAGS = -Wall -mabi=32 -march=r5900 -static 


TESTCASES = div1.tst

TESTCASES += divu1.tst

TESTCASES += madd.tst

TESTCASES += mflohi1.tst

TESTCASES += mtlohi1.tst

TESTCASES += mult.tst

tests/tcg/mips/mipsr5900/madd.c

0 → 100644
+45 −0
Original line number Diff line number Diff line 
/*

 * Test R5900-specific three-operand MADD.

 */



#include <stdio.h>

#include <inttypes.h>

#include <assert.h>



int64_t madd(int64_t a, int32_t rs, int32_t rt)

{

    int32_t lo = a;

    int32_t hi = a >> 32;

    int32_t rd;

    int64_t r;



    __asm__ __volatile__ (

            "    mtlo %5\n"

            "    mthi %6\n"

            "    madd %0, %3, %4\n"

            "    mflo %1\n"

            "    mfhi %2\n"

            : "=r" (rd), "=r" (lo), "=r" (hi)

            : "r" (rs), "r" (rt), "r" (lo), "r" (hi));

    r = ((int64_t)hi << 32) | (uint32_t)lo;



    assert(a + (int64_t)rs * rt == r);

    assert(rd == lo);



    return r;

}



static void verify_madd(int64_t a, int32_t rs, int32_t rt, int64_t expected)

{

    assert(madd(a, rs, rt) == expected);

    assert(madd(a, -rs, rt) == a + a - expected);

    assert(madd(a, rs, -rt) == a + a - expected);

    assert(madd(a, -rs, -rt) == expected);

}



int main()

{

    verify_madd(13, 17, 19, 336);



    return 0;

}