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