Commit 84dc0712 authored by Fredrik Noring's avatar Fredrik Noring Committed by Aleksandar Markovic
Browse files

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



Test R5900 three-operand MADD1.

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 50f299da

tests/tcg/mips/mipsr5900/madd.c

+38 −5
Original line number Diff line number Diff line 
/*

 * Test R5900-specific three-operand MADD.

 * Test R5900-specific three-operand MADD and MADD1.

 */



#include <stdio.h>
@@ -29,12 +29,45 @@ int64_t madd(int64_t a, int32_t rs, int32_t rt) 
    return r;

}



int64_t madd1(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__ (

            "    mtlo1 %5\n"

            "    mthi1 %6\n"

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

            "    mflo1 %1\n"

            "    mfhi1 %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 int64_t madd_variants(int64_t a, int32_t rs, int32_t rt)

{

    int64_t rd  = madd(a, rs, rt);

    int64_t rd1 = madd1(a, rs, rt);



    assert(rd == rd1);



    return rd;

}



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);

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

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

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

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

}



int main()