Lines Matching refs:a
9 int64_t madd(int64_t a, int32_t rs, int32_t rt) in madd() argument
11 int32_t lo = a; in madd()
12 int32_t hi = a >> 32; in madd()
26 assert(a + (int64_t)rs * rt == r); in madd()
32 int64_t madd1(int64_t a, int32_t rs, int32_t rt) in madd1() argument
34 int32_t lo = a; in madd1()
35 int32_t hi = a >> 32; in madd1()
49 assert(a + (int64_t)rs * rt == r); in madd1()
55 static int64_t madd_variants(int64_t a, int32_t rs, int32_t rt) in madd_variants() argument
57 int64_t rd = madd(a, rs, rt); in madd_variants()
58 int64_t rd1 = madd1(a, rs, rt); in madd_variants()
65 static void verify_madd(int64_t a, int32_t rs, int32_t rt, int64_t expected) in verify_madd() argument
67 assert(madd_variants(a, rs, rt) == expected); in verify_madd()
68 assert(madd_variants(a, -rs, rt) == a + a - expected); in verify_madd()
69 assert(madd_variants(a, rs, -rt) == a + a - expected); in verify_madd()
70 assert(madd_variants(a, -rs, -rt) == expected); in verify_madd()