Lines Matching defs:test32
2778 static void test32(void)
2794 printf("Run test32\n");
2823 printf("no fpu available, test32 skipped\n");
2881 FAILED(buf[0] != 1, "test32 case 1 failed\n");
2882 FAILED(buf[1] != 2, "test32 case 2 failed\n");
2883 FAILED(buf[2] != 2, "test32 case 3 failed\n");
2884 FAILED(buf[3] != 1, "test32 case 4 failed\n");
2885 FAILED(buf[4] != 1, "test32 case 5 failed\n");
2886 FAILED(buf[5] != 2, "test32 case 6 failed\n");
2887 FAILED(buf[6] != 2, "test32 case 7 failed\n");
2888 FAILED(buf[7] != 1, "test32 case 8 failed\n");
2889 FAILED(buf[8] != 2, "test32 case 9 failed\n");
2890 FAILED(buf[9] != 1, "test32 case 10 failed\n");
2891 FAILED(buf[10] != 2, "test32 case 11 failed\n");
2892 FAILED(buf[11] != 1, "test32 case 12 failed\n");
2893 FAILED(buf[12] != 2, "test32 case 13 failed\n");
2894 FAILED(buf[13] != 1, "test32 case 14 failed\n");
5374 test32();