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-n32:64-S128"
   6 target triple = "wasm32-unknown-unknown"
   7
   8 ; CHECK-LABEL: (func $eq_i32
   9 ; CHECK-NEXT: (param i32) (param i32) (result i32)
  10 ; CHECK-NEXT: (set_local @0 (argument 1))
  11 ; CHECK-NEXT: (set_local @1 (argument 0))
  12 ; CHECK-NEXT: (set_local @2 (eq @1 @0))
  13 ; CHECK-NEXT: (return @2)
  14 define i32 @eq_i32(i32 %x, i32 %y) {
  15   %a = icmp eq i32 %x, %y
  16   %b = zext i1 %a to i32
  17   ret i32 %b
  18 }
  19
  20 ; CHECK-LABEL: (func $ne_i32
  21 ; CHECK: (set_local @2 (ne @1 @0))
  22 define i32 @ne_i32(i32 %x, i32 %y) {
  23   %a = icmp ne i32 %x, %y
  24   %b = zext i1 %a to i32
  25   ret i32 %b
  26 }
  27
  28 ; CHECK-LABEL: (func $slt_i32
  29 ; CHECK: (set_local @2 (slt @1 @0))
  30 define i32 @slt_i32(i32 %x, i32 %y) {
  31   %a = icmp slt i32 %x, %y
  32   %b = zext i1 %a to i32
  33   ret i32 %b
  34 }
  35
  36 ; CHECK-LABEL: (func $sle_i32
  37 ; CHECK: (set_local @2 (sle @1 @0))
  38 define i32 @sle_i32(i32 %x, i32 %y) {
  39   %a = icmp sle i32 %x, %y
  40   %b = zext i1 %a to i32
  41   ret i32 %b
  42 }
  43
  44 ; CHECK-LABEL: (func $ult_i32
  45 ; CHECK: (set_local @2 (ult @1 @0))
  46 define i32 @ult_i32(i32 %x, i32 %y) {
  47   %a = icmp ult i32 %x, %y
  48   %b = zext i1 %a to i32
  49   ret i32 %b
  50 }
  51
  52 ; CHECK-LABEL: (func $ule_i32
  53 ; CHECK: (set_local @2 (ule @1 @0))
  54 define i32 @ule_i32(i32 %x, i32 %y) {
  55   %a = icmp ule i32 %x, %y
  56   %b = zext i1 %a to i32
  57   ret i32 %b
  58 }
  59
  60 ; CHECK-LABEL: (func $sgt_i32
  61 ; CHECK: (set_local @2 (sgt @1 @0))
  62 define i32 @sgt_i32(i32 %x, i32 %y) {
  63   %a = icmp sgt i32 %x, %y
  64   %b = zext i1 %a to i32
  65   ret i32 %b
  66 }
  67
  68 ; CHECK-LABEL: (func $sge_i32
  69 ; CHECK: (set_local @2 (sge @1 @0))
  70 define i32 @sge_i32(i32 %x, i32 %y) {
  71   %a = icmp sge i32 %x, %y
  72   %b = zext i1 %a to i32
  73   ret i32 %b
  74 }
  75
  76 ; CHECK-LABEL: (func $ugt_i32
  77 ; CHECK: (set_local @2 (ugt @1 @0))
  78 define i32 @ugt_i32(i32 %x, i32 %y) {
  79   %a = icmp ugt i32 %x, %y
  80   %b = zext i1 %a to i32
  81   ret i32 %b
  82 }
  83
  84 ; CHECK-LABEL: (func $uge_i32
  85 ; CHECK: (set_local @2 (uge @1 @0))
  86 define i32 @uge_i32(i32 %x, i32 %y) {
  87   %a = icmp uge i32 %x, %y
  88   %b = zext i1 %a to i32
  89   ret i32 %b
  90 }