1; RUN: llc < %s -asm-verbose=false | FileCheck %s 2 3; Test that basic 32-bit integer comparison operations assemble as expected. 4 5target datalayout = "e-p:32:32-i64:64-n32:64-S128" 6target triple = "wasm32-unknown-unknown" 7 8; CHECK-LABEL: eq_i32: 9; CHECK-NEXT: .param i32, i32{{$}} 10; CHECK-NEXT: .result i32{{$}} 11; CHECK-NEXT: i32.eq $push[[NUM:[0-9]+]]=, $0, $1{{$}} 12; CHECK-NEXT: return $pop[[NUM]]{{$}} 13define i32 @eq_i32(i32 %x, i32 %y) { 14 %a = icmp eq i32 %x, %y 15 %b = zext i1 %a to i32 16 ret i32 %b 17} 18 19; CHECK-LABEL: ne_i32: 20; CHECK: i32.ne $push[[NUM:[0-9]+]]=, $0, $1{{$}} 21; CHECK-NEXT: return $pop[[NUM]]{{$}} 22define 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: slt_i32: 29; CHECK: i32.lt_s $push[[NUM:[0-9]+]]=, $0, $1{{$}} 30; CHECK-NEXT: return $pop[[NUM]]{{$}} 31define 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: i32.le_s $push[[NUM:[0-9]+]]=, $0, $1{{$}} 39; CHECK-NEXT: return $pop[[NUM]]{{$}} 40define i32 @sle_i32(i32 %x, i32 %y) { 41 %a = icmp sle i32 %x, %y 42 %b = zext i1 %a to i32 43 ret i32 %b 44} 45 46; CHECK-LABEL: ult_i32: 47; CHECK: i32.lt_u $push[[NUM:[0-9]+]]=, $0, $1{{$}} 48; CHECK-NEXT: return $pop[[NUM]]{{$}} 49define i32 @ult_i32(i32 %x, i32 %y) { 50 %a = icmp ult i32 %x, %y 51 %b = zext i1 %a to i32 52 ret i32 %b 53} 54 55; CHECK-LABEL: ule_i32: 56; CHECK: i32.le_u $push[[NUM:[0-9]+]]=, $0, $1{{$}} 57; CHECK-NEXT: return $pop[[NUM]]{{$}} 58define i32 @ule_i32(i32 %x, i32 %y) { 59 %a = icmp ule i32 %x, %y 60 %b = zext i1 %a to i32 61 ret i32 %b 62} 63 64; CHECK-LABEL: sgt_i32: 65; CHECK: i32.gt_s $push[[NUM:[0-9]+]]=, $0, $1{{$}} 66; CHECK-NEXT: return $pop[[NUM]]{{$}} 67define i32 @sgt_i32(i32 %x, i32 %y) { 68 %a = icmp sgt i32 %x, %y 69 %b = zext i1 %a to i32 70 ret i32 %b 71} 72 73; CHECK-LABEL: sge_i32: 74; CHECK: i32.ge_s $push[[NUM:[0-9]+]]=, $0, $1{{$}} 75; CHECK-NEXT: return $pop[[NUM]]{{$}} 76define i32 @sge_i32(i32 %x, i32 %y) { 77 %a = icmp sge i32 %x, %y 78 %b = zext i1 %a to i32 79 ret i32 %b 80} 81 82; CHECK-LABEL: ugt_i32: 83; CHECK: i32.gt_u $push[[NUM:[0-9]+]]=, $0, $1{{$}} 84; CHECK-NEXT: return $pop[[NUM]]{{$}} 85define i32 @ugt_i32(i32 %x, i32 %y) { 86 %a = icmp ugt i32 %x, %y 87 %b = zext i1 %a to i32 88 ret i32 %b 89} 90 91; CHECK-LABEL: uge_i32: 92; CHECK: i32.ge_u $push[[NUM:[0-9]+]]=, $0, $1{{$}} 93; CHECK-NEXT: return $pop[[NUM]]{{$}} 94define i32 @uge_i32(i32 %x, i32 %y) { 95 %a = icmp uge i32 %x, %y 96 %b = zext i1 %a to i32 97 ret i32 %b 98} 99