test/CodeGen/WebAssembly/comparisons_f32.ll

   1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
   2
   3 ; Test that basic 32-bit floating-point comparison operations assemble as
   4 ; expected.
   5
   6 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
   7 target triple = "wasm32-unknown-unknown"
   8
   9 ; CHECK-LABEL: ord_f32:
  10 ; CHECK-NEXT: .param f32{{$}}
  11 ; CHECK-NEXT: .param f32{{$}}
  12 ; CHECK-NEXT: .result i32{{$}}
  13 ; CHECK-NEXT: .local f32, f32, i32, i32, i32{{$}}
  14 ; CHECK-NEXT: f32.eq $push, (get_local 1), (get_local 1){{$}}
  15 ; CHECK-NEXT: set_local 2, $pop{{$}}
  16 ; CHECK-NEXT: f32.eq $push, (get_local 0), (get_local 0){{$}}
  17 ; CHECK-NEXT: set_local 3, $pop{{$}}
  18 ; CHECK-NEXT: i32.and $push, (get_local 3), (get_local 2){{$}}
  19 ; CHECK-NEXT: set_local 4, $pop{{$}}
  20 ; CHECK-NEXT: return (get_local 4){{$}}
  21 define i32 @ord_f32(float %x, float %y) {
  22   %a = fcmp ord float %x, %y
  23   %b = zext i1 %a to i32
  24   ret i32 %b
  25 }
  26
  27 ; CHECK-LABEL: uno_f32:
  28 ; CHECK-NEXT: .param f32{{$}}
  29 ; CHECK-NEXT: .param f32{{$}}
  30 ; CHECK-NEXT: .result i32{{$}}
  31 ; CHECK-NEXT: .local f32, f32, i32, i32, i32{{$}}
  32 ; CHECK-NEXT: f32.ne $push, (get_local 1), (get_local 1){{$}}
  33 ; CHECK-NEXT: set_local 2, $pop{{$}}
  34 ; CHECK-NEXT: f32.ne $push, (get_local 0), (get_local 0){{$}}
  35 ; CHECK-NEXT: set_local 3, $pop{{$}}
  36 ; CHECK-NEXT: i32.or $push, (get_local 3), (get_local 2){{$}}
  37 ; CHECK-NEXT: set_local 4, $pop{{$}}
  38 ; CHECK-NEXT: return (get_local 4){{$}}
  39 define i32 @uno_f32(float %x, float %y) {
  40   %a = fcmp uno float %x, %y
  41   %b = zext i1 %a to i32
  42   ret i32 %b
  43 }
  44
  45 ; CHECK-LABEL: oeq_f32:
  46 ; CHECK-NEXT: .param f32{{$}}
  47 ; CHECK-NEXT: .param f32{{$}}
  48 ; CHECK-NEXT: .result i32{{$}}
  49 ; CHECK-NEXT: .local f32, f32, i32{{$}}
  50 ; CHECK-NEXT: f32.eq $push, (get_local 0), (get_local 1){{$}}
  51 ; CHECK-NEXT: set_local 2, $pop{{$}}
  52 ; CHECK-NEXT: return (get_local 2){{$}}
  53 define i32 @oeq_f32(float %x, float %y) {
  54   %a = fcmp oeq float %x, %y
  55   %b = zext i1 %a to i32
  56   ret i32 %b
  57 }
  58
  59 ; CHECK-LABEL: une_f32:
  60 ; CHECK: f32.ne $push, (get_local 0), (get_local 1){{$}}
  61 ; CHECK-NEXT: set_local 2, $pop{{$}}
  62 define i32 @une_f32(float %x, float %y) {
  63   %a = fcmp une float %x, %y
  64   %b = zext i1 %a to i32
  65   ret i32 %b
  66 }
  67
  68 ; CHECK-LABEL: olt_f32:
  69 ; CHECK: f32.lt $push, (get_local 0), (get_local 1){{$}}
  70 ; CHECK-NEXT: set_local 2, $pop{{$}}
  71 define i32 @olt_f32(float %x, float %y) {
  72   %a = fcmp olt float %x, %y
  73   %b = zext i1 %a to i32
  74   ret i32 %b
  75 }
  76
  77 ; CHECK-LABEL: ole_f32:
  78 ; CHECK: f32.le $push, (get_local 0), (get_local 1){{$}}
  79 ; CHECK-NEXT: set_local 2, $pop{{$}}
  80 define i32 @ole_f32(float %x, float %y) {
  81   %a = fcmp ole float %x, %y
  82   %b = zext i1 %a to i32
  83   ret i32 %b
  84 }
  85
  86 ; CHECK-LABEL: ogt_f32:
  87 ; CHECK: f32.gt $push, (get_local 0), (get_local 1){{$}}
  88 ; CHECK-NEXT: set_local 2, $pop{{$}}
  89 define i32 @ogt_f32(float %x, float %y) {
  90   %a = fcmp ogt float %x, %y
  91   %b = zext i1 %a to i32
  92   ret i32 %b
  93 }
  94
  95 ; CHECK-LABEL: oge_f32:
  96 ; CHECK: f32.ge $push, (get_local 0), (get_local 1){{$}}
  97 ; CHECK-NEXT: set_local 2, $pop{{$}}
  98 define i32 @oge_f32(float %x, float %y) {
  99   %a = fcmp oge float %x, %y
 100   %b = zext i1 %a to i32
 101   ret i32 %b
 102 }
 103
 104 ; Expanded comparisons, which also check for NaN.
 105
 106 ; CHECK-LABEL: ueq_f32:
 107 ; CHECK-NEXT: .param f32{{$}}
 108 ; CHECK-NEXT: .param f32{{$}}
 109 ; CHECK-NEXT: .result i32{{$}}
 110 ; CHECK-NEXT: .local f32, f32, i32, i32, i32, i32, i32{{$}}
 111 ; CHECK-NEXT: f32.eq $push, (get_local 0), (get_local 1){{$}}
 112 ; CHECK-NEXT: set_local 2, $pop{{$}}
 113 ; CHECK-NEXT: f32.ne $push, (get_local 1), (get_local 1){{$}}
 114 ; CHECK-NEXT: set_local 3, $pop{{$}}
 115 ; CHECK-NEXT: f32.ne $push, (get_local 0), (get_local 0){{$}}
 116 ; CHECK-NEXT: set_local 4, $pop{{$}}
 117 ; CHECK-NEXT: i32.or $push, (get_local 4), (get_local 3){{$}}
 118 ; CHECK-NEXT: set_local 5, $pop{{$}}
 119 ; CHECK-NEXT: i32.or $push, (get_local 2), (get_local 5){{$}}
 120 ; CHECK-NEXT: set_local 6, $pop{{$}}
 121 ; CHECK-NEXT: return (get_local 6){{$}}
 122 define i32 @ueq_f32(float %x, float %y) {
 123   %a = fcmp ueq float %x, %y
 124   %b = zext i1 %a to i32
 125   ret i32 %b
 126 }
 127
 128 ; CHECK-LABEL: one_f32:
 129 ; CHECK: f32.ne $push, (get_local 0), (get_local 1){{$}}
 130 ; CHECK-NEXT: set_local 2, $pop{{$}}
 131 define i32 @one_f32(float %x, float %y) {
 132   %a = fcmp one float %x, %y
 133   %b = zext i1 %a to i32
 134   ret i32 %b
 135 }
 136
 137 ; CHECK-LABEL: ult_f32:
 138 ; CHECK: f32.lt $push, (get_local 0), (get_local 1){{$}}
 139 ; CHECK-NEXT: set_local 2, $pop{{$}}
 140 define i32 @ult_f32(float %x, float %y) {
 141   %a = fcmp ult float %x, %y
 142   %b = zext i1 %a to i32
 143   ret i32 %b
 144 }
 145
 146 ; CHECK-LABEL: ule_f32:
 147 ; CHECK: f32.le $push, (get_local 0), (get_local 1){{$}}
 148 ; CHECK-NEXT: set_local 2, $pop{{$}}
 149 define i32 @ule_f32(float %x, float %y) {
 150   %a = fcmp ule float %x, %y
 151   %b = zext i1 %a to i32
 152   ret i32 %b
 153 }
 154
 155 ; CHECK-LABEL: ugt_f32:
 156 ; CHECK: f32.gt $push, (get_local 0), (get_local 1){{$}}
 157 ; CHECK-NEXT: set_local 2, $pop{{$}}
 158 define i32 @ugt_f32(float %x, float %y) {
 159   %a = fcmp ugt float %x, %y
 160   %b = zext i1 %a to i32
 161   ret i32 %b
 162 }
 163
 164 ; CHECK-LABEL: uge_f32:
 165 ; CHECK: f32.ge $push, (get_local 0), (get_local 1){{$}}
 166 ; CHECK-NEXT: set_local 2, $pop{{$}}
 167 define i32 @uge_f32(float %x, float %y) {
 168   %a = fcmp uge float %x, %y
 169   %b = zext i1 %a to i32
 170   ret i32 %b
 171 }