test/CodeGen/WebAssembly/comparisons_f64.ll

   1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
   2
   3 ; Test that basic 64-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: (func $ord_f64
  10 ; CHECK-NEXT: (param f64) (param f64) (result i32)
  11 ; CHECK-NEXT: (set_local @0 (argument 0))
  12 ; CHECK-NEXT: (set_local @1 (argument 1))
  13 ; CHECK-NEXT: (set_local @2 (eq @1 @1))
  14 ; CHECK-NEXT: (set_local @3 (eq @0 @0))
  15 ; CHECK-NEXT: (set_local @4 (and @3 @2))
  16 ; CHECK-NEXT: (return @4)
  17 define i32 @ord_f64(double %x, double %y) {
  18   %a = fcmp ord double %x, %y
  19   %b = zext i1 %a to i32
  20   ret i32 %b
  21 }
  22
  23 ; CHECK-LABEL: (func $uno_f64
  24 ; CHECK-NEXT: (param f64) (param f64) (result i32)
  25 ; CHECK-NEXT: (set_local @0 (argument 0))
  26 ; CHECK-NEXT: (set_local @1 (argument 1))
  27 ; CHECK-NEXT: (set_local @2 (ne @1 @1))
  28 ; CHECK-NEXT: (set_local @3 (ne @0 @0))
  29 ; CHECK-NEXT: (set_local @4 (ior @3 @2))
  30 ; CHECK-NEXT: (return @4)
  31 define i32 @uno_f64(double %x, double %y) {
  32   %a = fcmp uno double %x, %y
  33   %b = zext i1 %a to i32
  34   ret i32 %b
  35 }
  36
  37 ; CHECK-LABEL: (func $oeq_f64
  38 ; CHECK-NEXT: (param f64) (param f64) (result i32)
  39 ; CHECK-NEXT: (set_local @0 (argument 1))
  40 ; CHECK-NEXT: (set_local @1 (argument 0))
  41 ; CHECK-NEXT: (set_local @2 (eq @1 @0))
  42 ; CHECK-NEXT: (return @2)
  43 define i32 @oeq_f64(double %x, double %y) {
  44   %a = fcmp oeq double %x, %y
  45   %b = zext i1 %a to i32
  46   ret i32 %b
  47 }
  48
  49 ; CHECK-LABEL: (func $une_f64
  50 ; CHECK: (set_local @2 (ne @1 @0))
  51 define i32 @une_f64(double %x, double %y) {
  52   %a = fcmp une double %x, %y
  53   %b = zext i1 %a to i32
  54   ret i32 %b
  55 }
  56
  57 ; CHECK-LABEL: (func $olt_f64
  58 ; CHECK: (set_local @2 (lt @1 @0))
  59 define i32 @olt_f64(double %x, double %y) {
  60   %a = fcmp olt double %x, %y
  61   %b = zext i1 %a to i32
  62   ret i32 %b
  63 }
  64
  65 ; CHECK-LABEL: (func $ole_f64
  66 ; CHECK: (set_local @2 (le @1 @0))
  67 define i32 @ole_f64(double %x, double %y) {
  68   %a = fcmp ole double %x, %y
  69   %b = zext i1 %a to i32
  70   ret i32 %b
  71 }
  72
  73 ; CHECK-LABEL: (func $ogt_f64
  74 ; CHECK: (set_local @2 (gt @1 @0))
  75 define i32 @ogt_f64(double %x, double %y) {
  76   %a = fcmp ogt double %x, %y
  77   %b = zext i1 %a to i32
  78   ret i32 %b
  79 }
  80
  81 ; CHECK-LABEL: (func $oge_f64
  82 ; CHECK: (set_local @2 (ge @1 @0))
  83 define i32 @oge_f64(double %x, double %y) {
  84   %a = fcmp oge double %x, %y
  85   %b = zext i1 %a to i32
  86   ret i32 %b
  87 }
  88
  89 ; Expanded comparisons, which also check for NaN.
  90
  91 ; CHECK-LABEL: (func $ueq_f64
  92 ; CHECK-NEXT: (param f64) (param f64) (result i32)
  93 ; CHECK-NEXT: (set_local @0 (argument 1))
  94 ; CHECK-NEXT: (set_local @1 (argument 0))
  95 ; CHECK-NEXT: (set_local @2 (eq @1 @0))
  96 ; CHECK-NEXT: (set_local @3 (ne @0 @0))
  97 ; CHECK-NEXT: (set_local @4 (ne @1 @1))
  98 ; CHECK-NEXT: (set_local @5 (ior @4 @3))
  99 ; CHECK-NEXT: (set_local @6 (ior @2 @5))
 100 ; CHECK-NEXT: (return @6)
 101 define i32 @ueq_f64(double %x, double %y) {
 102   %a = fcmp ueq double %x, %y
 103   %b = zext i1 %a to i32
 104   ret i32 %b
 105 }
 106
 107 ; CHECK-LABEL: (func $one_f64
 108 ; CHECK: (set_local @2 (ne @1 @0))
 109 define i32 @one_f64(double %x, double %y) {
 110   %a = fcmp one double %x, %y
 111   %b = zext i1 %a to i32
 112   ret i32 %b
 113 }
 114
 115 ; CHECK-LABEL: (func $ult_f64
 116 ; CHECK: (set_local @2 (lt @1 @0))
 117 define i32 @ult_f64(double %x, double %y) {
 118   %a = fcmp ult double %x, %y
 119   %b = zext i1 %a to i32
 120   ret i32 %b
 121 }
 122
 123 ; CHECK-LABEL: (func $ule_f64
 124 ; CHECK: (set_local @2 (le @1 @0))
 125 define i32 @ule_f64(double %x, double %y) {
 126   %a = fcmp ule double %x, %y
 127   %b = zext i1 %a to i32
 128   ret i32 %b
 129 }
 130
 131 ; CHECK-LABEL: (func $ugt_f64
 132 ; CHECK: (set_local @2 (gt @1 @0))
 133 define i32 @ugt_f64(double %x, double %y) {
 134   %a = fcmp ugt double %x, %y
 135   %b = zext i1 %a to i32
 136   ret i32 %b
 137 }
 138
 139 ; CHECK-LABEL: (func $uge_f64
 140 ; CHECK: (set_local @2 (ge @1 @0))
 141 define i32 @uge_f64(double %x, double %y) {
 142   %a = fcmp uge double %x, %y
 143   %b = zext i1 %a to i32
 144   ret i32 %b
 145 }