1; RUN: llc < %s -asm-verbose=false | FileCheck %s 2 3; Test that basic 64-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_i64: 9; CHECK-NEXT: .param i64, i64{{$}} 10; CHECK-NEXT: .result i32{{$}} 11; CHECK-NEXT: i64.eq $push[[NUM:[0-9]+]]=, $0, $1{{$}} 12; CHECK-NEXT: return $pop[[NUM]]{{$}} 13define i32 @eq_i64(i64 %x, i64 %y) { 14 %a = icmp eq i64 %x, %y 15 %b = zext i1 %a to i32 16 ret i32 %b 17} 18 19; CHECK-LABEL: ne_i64: 20; CHECK: i64.ne $push[[NUM:[0-9]+]]=, $0, $1{{$}} 21; CHECK-NEXT: return $pop[[NUM]]{{$}} 22define i32 @ne_i64(i64 %x, i64 %y) { 23 %a = icmp ne i64 %x, %y 24 %b = zext i1 %a to i32 25 ret i32 %b 26} 27 28; CHECK-LABEL: slt_i64: 29; CHECK: i64.lt_s $push[[NUM:[0-9]+]]=, $0, $1{{$}} 30; CHECK-NEXT: return $pop[[NUM]]{{$}} 31define i32 @slt_i64(i64 %x, i64 %y) { 32 %a = icmp slt i64 %x, %y 33 %b = zext i1 %a to i32 34 ret i32 %b 35} 36 37; CHECK-LABEL: sle_i64: 38; CHECK: i64.le_s $push[[NUM:[0-9]+]]=, $0, $1{{$}} 39; CHECK-NEXT: return $pop[[NUM]]{{$}} 40define i32 @sle_i64(i64 %x, i64 %y) { 41 %a = icmp sle i64 %x, %y 42 %b = zext i1 %a to i32 43 ret i32 %b 44} 45 46; CHECK-LABEL: ult_i64: 47; CHECK: i64.lt_u $push[[NUM:[0-9]+]]=, $0, $1{{$}} 48; CHECK-NEXT: return $pop[[NUM]]{{$}} 49define i32 @ult_i64(i64 %x, i64 %y) { 50 %a = icmp ult i64 %x, %y 51 %b = zext i1 %a to i32 52 ret i32 %b 53} 54 55; CHECK-LABEL: ule_i64: 56; CHECK: i64.le_u $push[[NUM:[0-9]+]]=, $0, $1{{$}} 57; CHECK-NEXT: return $pop[[NUM]]{{$}} 58define i32 @ule_i64(i64 %x, i64 %y) { 59 %a = icmp ule i64 %x, %y 60 %b = zext i1 %a to i32 61 ret i32 %b 62} 63 64; CHECK-LABEL: sgt_i64: 65; CHECK: i64.gt_s $push[[NUM:[0-9]+]]=, $0, $1{{$}} 66; CHECK-NEXT: return $pop[[NUM]]{{$}} 67define i32 @sgt_i64(i64 %x, i64 %y) { 68 %a = icmp sgt i64 %x, %y 69 %b = zext i1 %a to i32 70 ret i32 %b 71} 72 73; CHECK-LABEL: sge_i64: 74; CHECK: i64.ge_s $push[[NUM:[0-9]+]]=, $0, $1{{$}} 75; CHECK-NEXT: return $pop[[NUM]]{{$}} 76define i32 @sge_i64(i64 %x, i64 %y) { 77 %a = icmp sge i64 %x, %y 78 %b = zext i1 %a to i32 79 ret i32 %b 80} 81 82; CHECK-LABEL: ugt_i64: 83; CHECK: i64.gt_u $push[[NUM:[0-9]+]]=, $0, $1{{$}} 84; CHECK-NEXT: return $pop[[NUM]]{{$}} 85define i32 @ugt_i64(i64 %x, i64 %y) { 86 %a = icmp ugt i64 %x, %y 87 %b = zext i1 %a to i32 88 ret i32 %b 89} 90 91; CHECK-LABEL: uge_i64: 92; CHECK: i64.ge_u $push[[NUM:[0-9]+]]=, $0, $1{{$}} 93; CHECK-NEXT: return $pop[[NUM]]{{$}} 94define i32 @uge_i64(i64 %x, i64 %y) { 95 %a = icmp uge i64 %x, %y 96 %b = zext i1 %a to i32 97 ret i32 %b 98} 99