1  /* { dg-do run } */
       2  /* { dg-options "-O2 -g -ffast-math" } */
       3  
       4  #include "pr94589-2.c"
       5  
       6  #define C(fn, i, j, r) if (fn (i, j) != r) __builtin_abort ()
       7  #define D(fn, i, r) if (fn (i) != r) __builtin_abort ()
       8  
       9  int
      10  main ()
      11  {
      12    C (f1, 7.0, 8.0, 0);
      13    C (f1, 8.0, 8.0, 1);
      14    C (f1, 9.0, 8.0, 0);
      15    C (f2, 7.0, 8.0, 1);
      16    C (f2, 8.0, 8.0, 0);
      17    C (f2, 9.0, 8.0, 1);
      18    C (f3, 7.0, 8.0, 0);
      19    C (f3, 8.0, 8.0, 0);
      20    C (f3, 9.0, 8.0, 1);
      21    C (f4, 7.0, 8.0, 1);
      22    C (f4, 8.0, 8.0, 0);
      23    C (f4, 9.0, 8.0, 0);
      24    C (f5, 7.0, 8.0, 0);
      25    C (f5, 8.0, 8.0, 1);
      26    C (f5, 9.0, 8.0, 1);
      27    C (f6, 7.0, 8.0, 1);
      28    C (f6, 8.0, 8.0, 1);
      29    C (f6, 9.0, 8.0, 0);
      30    C (f7, 7.0, 8.0, 1);
      31    C (f7, 8.0, 8.0, 0);
      32    C (f7, 9.0, 8.0, 0);
      33    C (f8, 7.0, 8.0, 0);
      34    C (f8, 8.0, 8.0, 1);
      35    C (f8, 9.0, 8.0, 1);
      36    C (f9, 7.0, 8.0, 0);
      37    C (f9, 8.0, 8.0, 1);
      38    C (f9, 9.0, 8.0, 1);
      39    C (f10, 7.0, 8.0, 1);
      40    C (f10, 8.0, 8.0, 0);
      41    C (f10, 9.0, 8.0, 0);
      42    C (f11, 7.0, 8.0, 0);
      43    C (f11, 8.0, 8.0, 0);
      44    C (f11, 9.0, 8.0, 1);
      45    C (f12, 7.0, 8.0, 1);
      46    C (f12, 8.0, 8.0, 1);
      47    C (f12, 9.0, 8.0, 0);
      48    C (f13, 7.0, 8.0, 1);
      49    C (f13, 8.0, 8.0, 1);
      50    C (f13, 9.0, 8.0, 0);
      51    C (f14, 7.0, 8.0, 0);
      52    C (f14, 8.0, 8.0, 0);
      53    C (f14, 9.0, 8.0, 1);
      54    D (f15, 4.0, 0);
      55    D (f15, 5.0, 1);
      56    D (f15, 6.0, 0);
      57    D (f16, 4.0, 1);
      58    D (f16, 5.0, 0);
      59    D (f16, 6.0, 1);
      60    D (f17, 4.0, 0);
      61    D (f17, 5.0, 0);
      62    D (f17, 6.0, 1);
      63    D (f18, 4.0, 1);
      64    D (f18, 5.0, 0);
      65    D (f18, 6.0, 0);
      66    D (f19, 4.0, 0);
      67    D (f19, 5.0, 1);
      68    D (f19, 6.0, 1);
      69    D (f20, 4.0, 1);
      70    D (f20, 5.0, 1);
      71    D (f20, 6.0, 0);
      72    D (f21, 4.0, 1);
      73    D (f21, 5.0, 0);
      74    D (f21, 6.0, 0);
      75    D (f22, 4.0, 0);
      76    D (f22, 5.0, 1);
      77    D (f22, 6.0, 1);
      78    D (f23, 4.0, 0);
      79    D (f23, 5.0, 1);
      80    D (f23, 6.0, 1);
      81    D (f24, 4.0, 1);
      82    D (f24, 5.0, 0);
      83    D (f24, 6.0, 0);
      84    D (f25, 4.0, 0);
      85    D (f25, 5.0, 0);
      86    D (f25, 6.0, 1);
      87    D (f26, 4.0, 1);
      88    D (f26, 5.0, 1);
      89    D (f26, 6.0, 0);
      90    D (f27, 4.0, 1);
      91    D (f27, 5.0, 1);
      92    D (f27, 6.0, 0);
      93    D (f28, 4.0, 0);
      94    D (f28, 5.0, 0);
      95    D (f28, 6.0, 1);
      96    return 0;
      97  }