Lines Matching defs:r32
1456 uint32_t r32;
1472 r32 = gen_rand32(ctx);
1473 expect_u32_eq(r32, array32[i],
1474 "Mismatch at array32[%d]=%x, gen=%x", i, array32[i], r32);
1477 r32 = gen_rand32(ctx);
1478 expect_u32_eq(r32, array32_2[i],
1480 r32);
1491 uint32_t r32;
1507 r32 = gen_rand32(ctx);
1508 expect_u32_eq(r32, array32[i],
1509 "Mismatch at array32[%d]=%x, gen=%x", i, array32[i], r32);
1512 r32 = gen_rand32(ctx);
1513 expect_u32_eq(r32, array32_2[i],
1515 r32);