test/isel2.ssa

   1 # tests that NaN is handled properly by
   2 # floating point comparisons
   3
   4 export function w $lt(d %x, d %y) {
   5 @start
   6         %r =w cltd %x, %y
   7         ret %r
   8 }
   9
  10 export function w $le(d %x, d %y) {
  11 @start
  12         %r =w cled %x, %y
  13         ret %r
  14 }
  15
  16 export function w $gt(d %x, d %y) {
  17 @start
  18         %r =w cgtd %x, %y
  19         ret %r
  20 }
  21
  22 export function w $ge(d %x, d %y) {
  23 @start
  24         %r =w cged %x, %y
  25         ret %r
  26 }
  27
  28 export function w $eq1(d %x, d %y) {
  29 @start
  30         %r =w ceqd %x, %y
  31         ret %r
  32 }
  33
  34 export function w $eq2(d %x, d %y) {
  35 @start
  36         %r =w ceqd %x, %y
  37         jnz %r, @true, @false
  38 @true
  39         ret 1
  40 @false
  41         ret 0
  42 }
  43
  44 export function w $eq3(d %x, d %y) {
  45 @start
  46         %r =w ceqd %x, %y
  47         jnz %r, @true, @false
  48 @true
  49         ret %r
  50 @false
  51         ret 0
  52 }
  53
  54 export function w $ne1(d %x, d %y) {
  55 @start
  56         %r =w cned %x, %y
  57         ret %r
  58 }
  59
  60 export function w $ne2(d %x, d %y) {
  61 @start
  62         %r =w cned %x, %y
  63         jnz %r, @true, @false
  64 @true
  65         ret 1
  66 @false
  67         ret 0
  68 }
  69
  70 export function w $ne3(d %x, d %y) {
  71 @start
  72         %r =w cned %x, %y
  73         jnz %r, @true, @false
  74 @true
  75         ret %r
  76 @false
  77         ret 0
  78 }
  79
  80 export function w $o(d %x, d %y) {
  81 @start
  82         %r =w cod %x, %y
  83         ret %r
  84 }
  85
  86 export function w $uo(d %x, d %y) {
  87 @start
  88         %r =w cuod %x, %y
  89         ret %r
  90 }
  91
  92 # >>> driver
  93 # #include <math.h>
  94 # extern int lt(double, double);
  95 # extern int le(double, double);
  96 # extern int gt(double, double);
  97 # extern int ge(double, double);
  98 # extern int eq1(double, double);
  99 # extern int eq2(double, double);
 100 # extern int eq3(double, double);
 101 # extern int ne1(double, double);
 102 # extern int ne2(double, double);
 103 # extern int ne3(double, double);
 104 # extern int o(double, double);
 105 # extern int uo(double, double);
 106 # int main(void) {
 107 #       /*     LessThan     Equal        GreaterThan   Unordered */
 108 #       return !lt(0, 1)  + lt(0, 0)   + lt(1, 0)    + lt(NAN, NAN)
 109 #            + !le(0, 1)  + !le(0, 0)  + le(1, 0)    + le(NAN, NAN)
 110 #            + gt(0, 1)   + gt(0, 0)   + !gt(1, 0)   + gt(NAN, NAN)
 111 #            + ge(0, 1)   + !ge(0, 0)  + !ge(1, 0)   + ge(NAN, NAN)
 112 #            + eq1(0, 1)  + !eq1(0, 0) + eq1(1, 0)   + eq1(NAN, NAN)
 113 #            + eq2(0, 1)  + !eq2(0, 0) + eq2(1, 0)   + eq2(NAN, NAN)
 114 #            + eq3(0, 1)  + !eq3(0, 0) + eq3(1, 0)   + eq3(NAN, NAN)
 115 #            + !ne1(0, 1) + ne1(0, 0)  + !ne1(1, 0)  + !ne1(NAN, NAN)
 116 #            + !ne2(0, 1) + ne2(0, 0)  + !ne2(1, 0)  + !ne2(NAN, NAN)
 117 #            + !ne3(0, 1) + ne3(0, 0)  + !ne3(1, 0)  + !ne3(NAN, NAN)
 118 #            + !o(0, 1)   + !o(0, 0)   + !o(1, 0)    + o(NAN, NAN)
 119 #            + uo(0, 1)   + uo(0, 0)   + uo(1, 0)    + !uo(NAN, NAN)
 120 #            ;
 121 # }
 122 # <<<