fparith_double_div.c (284B)
1 /* Double FDIV round-trip. volatile int inputs -> double so a real FDIV (double) 2 * is emitted. 84.0 / 2.0 = 42.0; (int)42.0 == 42. */ 3 int test_main(void) { 4 volatile int ia = 84, ib = 2; 5 double a = (double)ia, b = (double)ib; 6 double r = a / b; 7 return (int)r == 42 ? 42 : 0; 8 }