test/CodeGen/WebAssembly/comparisons_i32.ll

   1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
   2
   3 ; Test that basic 32-bit integer comparison operations assemble as expected.
   4
   5 target datalayout = "e-p:32:32-i64:64-v128:8:128-n32:64-S128"
   6 target triple = "wasm32-unknown-unknown"
   7
   8 ; CHECK-LABEL: eq_i32:
   9 ; CHECK-NEXT: (setlocal @0 (argument 1))
  10 ; CHECK-NEXT: (setlocal @1 (argument 0))
  11 ; CHECK-NEXT: (setlocal @2 (eq @1 @0))
  12 ; CHECK-NEXT: (setlocal @3 (immediate 1))
  13 ; CHECK-NEXT: (setlocal @4 (and @2 @3))
  14 ; CHECK-NEXT: (return @4)
  15 define i32 @eq_i32(i32 %x, i32 %y) {
  16   %a = icmp eq i32 %x, %y
  17   %b = zext i1 %a to i32
  18   ret i32 %b
  19 }
  20
  21 ; CHECK-LABEL: ne_i32:
  22 ; CHECK: (setlocal @2 (ne @1 @0))
  23 define i32 @ne_i32(i32 %x, i32 %y) {
  24   %a = icmp ne i32 %x, %y
  25   %b = zext i1 %a to i32
  26   ret i32 %b
  27 }
  28
  29 ; CHECK-LABEL: slt_i32:
  30 ; CHECK: (setlocal @2 (slt @1 @0))
  31 define i32 @slt_i32(i32 %x, i32 %y) {
  32   %a = icmp slt i32 %x, %y
  33   %b = zext i1 %a to i32
  34   ret i32 %b
  35 }
  36
  37 ; CHECK-LABEL: sle_i32:
  38 ; CHECK: (setlocal @2 (sle @1 @0))
  39 define i32 @sle_i32(i32 %x, i32 %y) {
  40   %a = icmp sle i32 %x, %y
  41   %b = zext i1 %a to i32
  42   ret i32 %b
  43 }
  44
  45 ; CHECK-LABEL: ult_i32:
  46 ; CHECK: (setlocal @2 (ult @1 @0))
  47 define i32 @ult_i32(i32 %x, i32 %y) {
  48   %a = icmp ult i32 %x, %y
  49   %b = zext i1 %a to i32
  50   ret i32 %b
  51 }
  52
  53 ; CHECK-LABEL: ule_i32:
  54 ; CHECK: (setlocal @2 (ule @1 @0))
  55 define i32 @ule_i32(i32 %x, i32 %y) {
  56   %a = icmp ule i32 %x, %y
  57   %b = zext i1 %a to i32
  58   ret i32 %b
  59 }
  60
  61 ; CHECK-LABEL: sgt_i32:
  62 ; CHECK: (setlocal @2 (sgt @1 @0))
  63 define i32 @sgt_i32(i32 %x, i32 %y) {
  64   %a = icmp sgt i32 %x, %y
  65   %b = zext i1 %a to i32
  66   ret i32 %b
  67 }
  68
  69 ; CHECK-LABEL: sge_i32:
  70 ; CHECK: (setlocal @2 (sge @1 @0))
  71 define i32 @sge_i32(i32 %x, i32 %y) {
  72   %a = icmp sge i32 %x, %y
  73   %b = zext i1 %a to i32
  74   ret i32 %b
  75 }
  76
  77 ; CHECK-LABEL: ugt_i32:
  78 ; CHECK: (setlocal @2 (ugt @1 @0))
  79 define i32 @ugt_i32(i32 %x, i32 %y) {
  80   %a = icmp ugt i32 %x, %y
  81   %b = zext i1 %a to i32
  82   ret i32 %b
  83 }
  84
  85 ; CHECK-LABEL: uge_i32:
  86 ; CHECK: (setlocal @2 (uge @1 @0))
  87 define i32 @uge_i32(i32 %x, i32 %y) {
  88   %a = icmp uge i32 %x, %y
  89   %b = zext i1 %a to i32
  90   ret i32 %b
  91 }