20 static void checkf(ui32 r,ui32 t) {  in checkf()  function
46     checkf(m33cf_fadd(0x4d3c3e6f,0x7617944a),0x7617944a);  in main()
47     checkf(m33cf_fadd(0x67819fdb,0xe6225dcc),0x675aa843);  in main()
48     checkf(m33cf_fadd(0x3c9a71a0,0x22d538f1),0x3c9a71a0);  in main()
49     checkf(m33cf_fadd(0xc37ab23a,0x825141a3),0xc37ab23a);  in main()
50     checkf(m33cf_fadd(0x98586bf0,0x17d915be),0x97d7c222);  in main()
51     checkf(m33cf_fadd(0x69572e49,0x4e650317),0x69572e49);  in main()
52     checkf(m33cf_fadd(0xa67b6fbc,0x266be0aa),0xa478f120);  in main()
53     checkf(m33cf_fadd(0x01d100ff,0xf3a2011c),0xf3a2011c);  in main()
54     checkf(m33cf_fadd(0x01f9ed0f,0x81130914),0x01b06885);  in main()
55     checkf(m33cf_fadd(0xb2ce6eb7,0x325aff32),0xb241de3c);  in main()
56     checkf(m33cf_fsub(0xc8c2cfa1,0xaca3309c),0xc8c2cfa1);  in main()
57     checkf(m33cf_fsub(0xe1e2656e,0x311fb841),0xe1e2656e);  in main()
58     checkf(m33cf_fsub(0xbb5b7ea5,0x2e393a3c),0xbb5b7ea5);  in main()
59     checkf(m33cf_fsub(0x04047b97,0x07c5cd1a),0x87c4c423);  in main()
60     checkf(m33cf_fsub(0xda4c2f9b,0xda13370e),0xd963e234);  in main()
61     checkf(m33cf_fsub(0x06325a1d,0xd9ccae75),0x59ccae75);  in main()
62     checkf(m33cf_fsub(0x001f6b55,0x71efb885),0xf1efb885);  in main()
63     checkf(m33cf_fsub(0x3eafa278,0x7d3bc3af),0xfd3bc3af);  in main()
64     checkf(m33cf_fsub(0xe8203c86,0x3d93556b),0xe8203c86);  in main()
65     checkf(m33cf_fsub(0xa5f8dbf1,0xc3f00090),0x43f00090);  in main()
66     checkf(m33cf_fmul(0x8009dc76,0x7cb46e28),0x80000000);  in main()
67     checkf(m33cf_fmul(0x2e3ba1b3,0x0fa7a191),0x00000000);  in main()
68     checkf(m33cf_fmul(0xf0c99917,0xf0c7ff9a),0x7f800000);  in main()
69     checkf(m33cf_fmul(0x41b2a69c,0xc14000be),0xc385fd7a);  in main()
70     checkf(m33cf_fmul(0x765c15f1,0x0aad9b08),0x4195401c);  in main()
71     checkf(m33cf_fmul(0xea3a2755,0xcc8ba580),0x774b1767);  in main()
72     checkf(m33cf_fmul(0xe0368e14,0xbdc000de),0x5e88eb2d);  in main()
73     checkf(m33cf_fmul(0x832fe859,0x8217ff9f),0x00000000);  in main()
74     checkf(m33cf_fmul(0x00f19200,0xe3752d1a),0xa4e75b49);  in main()
75     checkf(m33cf_fmul(0x42d1061e,0x63a8a510),0x6709b2ca);  in main()
76     checkf(m33cf_fdiv_fast(0xbe891ac7,0x779000b4),0x8673bca3);  in main()
77     checkf(m33cf_fdiv_fast(0x06cd4e3a,0x8075c830),0xff800000);  in main()
78     checkf(m33cf_fdiv_fast(0x1fca4821,0x9f084021),0xc03e0865);  in main()
79     checkf(m33cf_fdiv_fast(0x036f1348,0x715ba87b),0x00000000);  in main()
80     checkf(m33cf_fdiv_fast(0x403c6064,0xbe000057),0xc1bc5fe4);  in main()
81     checkf(m33cf_fdiv_fast(0x009bf1e5,0xbe5000a0),0x81bfee10);  in main()
82     checkf(m33cf_fdiv_fast(0x507bac6d,0x946acd7e),0xfb89326b);  in main()
83     checkf(m33cf_fdiv_fast(0x0810656a,0x880448ea),0xbf8bb812);  in main()
84     checkf(m33cf_fdiv_fast(0x16e368e6,0x965dc974),0xc0033ebf);  in main()
85     checkf(m33cf_fdiv_fast(0x72a7e095,0x6ba01097),0x46863f59);  in main()
86     checkf(m33cf_fadd(0x83e2ed1d,0x00d5c831),0x83df95fc);  in main()
87     checkf(m33cf_fadd(0xe4ddd608,0xb9587489),0xe4ddd608);  in main()
88     checkf(m33cf_fadd(0x6f337823,0xc0679a9f),0x6f337823);  in main()
89     checkf(m33cf_fadd(0x49a367e6,0x3f4679ba),0x49a367ec);  in main()
90     checkf(m33cf_fadd(0xd1307f4d,0xaf17b226),0xd1307f4d);  in main()
91     checkf(m33cf_fadd(0xbdf2106c,0x49a6a874),0x49a6a873);  in main()
92     checkf(m33cf_fadd(0xf3eacf1b,0x52634887),0xf3eacf1b);  in main()
93     checkf(m33cf_fadd(0x6f33647b,0x0442ab37),0x6f33647b);  in main()
94     checkf(m33cf_fadd(0x4cdb9e7a,0x7d301bff),0x7d301bff);  in main()
95     checkf(m33cf_fadd(0x4e1abca7,0x57441d4c),0x57441d73);  in main()
96     checkf(m33cf_fsub(0x8391af63,0xfee57d3d),0x7ee57d3d);  in main()
97     checkf(m33cf_fsub(0x2508aef8,0x1bd43e41),0x2508aedd);  in main()
98     checkf(m33cf_fsub(0x47fe76b7,0x9131d5b0),0x47fe76b7);  in main()
99     checkf(m33cf_fsub(0x5d3119e5,0xd16c2f47),0x5d3119e6);  in main()
100     checkf(m33cf_fsub(0xe39f668c,0x1f0dabef),0xe39f668c);  in main()
101     checkf(m33cf_fsub(0x1e6d2035,0x3bdab1d6),0xbbdab1d6);  in main()
102     checkf(m33cf_fsub(0xb5fde6fa,0x1a379480),0xb5fde6fa);  in main()
103     checkf(m33cf_fsub(0x225bb239,0xfeff8ff3),0x7eff8ff3);  in main()
104     checkf(m33cf_fsub(0x844054a3,0x2122b279),0xa122b279);  in main()
105     checkf(m33cf_fsub(0x5a04757e,0x56caed2b),0x5a02dfa4);  in main()
106     checkf(m33cf_fmul(0x4cb93c51,0xd3c0275f),0xe10b09ba);  in main()
107     checkf(m33cf_fmul(0x3f390c21,0x64abdb95),0x647873a6);  in main()
108     checkf(m33cf_fmul(0x56bd6b48,0x04a56d68),0x1bf4ce32);  in main()
109     checkf(m33cf_fmul(0xa3367c5f,0x59e18108),0xbda0bf4a);  in main()
110     checkf(m33cf_fmul(0x55939e8d,0x29b3443a),0x3fcebe68);  in main()
111     checkf(m33cf_fmul(0xd9fe416a,0x4e18e879),0xe897ddba);  in main()
112     checkf(m33cf_fmul(0x4c0712bd,0xfe8f0d4e),0xff800000);  in main()
113     checkf(m33cf_fmul(0xbdcb53f9,0x7b5292ea),0xf9a73f92);  in main()
114     checkf(m33cf_fmul(0x290fc5cc,0x8d7fcbed),0x80000000);  in main()
115     checkf(m33cf_fmul(0x98abd414,0x595cce6e),0xb29434d0);  in main()
116     checkf(m33cf_fdiv_fast(0x19fec05d,0x198926d6),0x3fedc0ae);  in main()
117     checkf(m33cf_fdiv_fast(0xd3f6c6ef,0xeb89ccae),0x27e53a49);  in main()
118     checkf(m33cf_fdiv_fast(0xe929f69d,0x5dd3860a),0xcacdb375);  in main()
119     checkf(m33cf_fdiv_fast(0xceef0386,0x3a2a3aa2),0xd433b89f);  in main()
120     checkf(m33cf_fdiv_fast(0xf3e76a98,0x859a5a67),0x7f800000);  in main()
121     checkf(m33cf_fdiv_fast(0x2ade013a,0x42dbe607),0x278139dc);  in main()
122     checkf(m33cf_fdiv_fast(0x7676da5e,0x48e1ff79),0x6d0bcfd4);  in main()
123     checkf(m33cf_fdiv_fast(0x42a137e4,0x5c054bdf),0x261ad000);  in main()
124     checkf(m33cf_fdiv_fast(0x358e8442,0x4a4c7e5a),0x2ab269aa);  in main()
125     checkf(m33cf_fdiv_fast(0xf72429ca,0xdc475d3a),0x5a52cc93);  in main()
126     checkf(m33cf_fsqrt_fast(0xc100dc14),0xffc00000);  in main()
127     checkf(m33cf_fsqrt_fast(0x2a2eaa04),0x34d374f7);  in main()
128     checkf(m33cf_fsqrt_fast(0x6e9ff12a),0x570f151a);  in main()
129     checkf(m33cf_fsqrt_fast(0xae37c4b7),0xffc00000);  in main()
130     checkf(m33cf_fsqrt_fast(0x47584a58),0x436b4f1d);  in main()
131     checkf(m33cf_fsqrt_fast(0xebca1f1e),0xffc00000);  in main()
132     checkf(m33cf_fsqrt_fast(0xba92914d),0xffc00000);  in main()
133     checkf(m33cf_fsqrt_fast(0xdb304a6d),0xffc00000);  in main()
134     checkf(m33cf_fsqrt_fast(0x92a72ec1),0xffc00000);  in main()
135     checkf(m33cf_fsqrt_fast(0x936f9320),0xffc00000);  in main()