1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that basic 64-bit integer comparison operations assemble as expected.
5 target datalayout = "e-p:32:32-i64:64-v128:8:128-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
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_i64(i64 %x, i64 %y) {
16 %a = icmp eq i64 %x, %y
17 %b = zext i1 %a to i32
21 ; CHECK-LABEL: ne_i64:
22 ; CHECK: (setlocal @2 (ne @1 @0))
23 define i32 @ne_i64(i64 %x, i64 %y) {
24 %a = icmp ne i64 %x, %y
25 %b = zext i1 %a to i32
29 ; CHECK-LABEL: slt_i64:
30 ; CHECK: (setlocal @2 (slt @1 @0))
31 define i32 @slt_i64(i64 %x, i64 %y) {
32 %a = icmp slt i64 %x, %y
33 %b = zext i1 %a to i32
37 ; CHECK-LABEL: sle_i64:
38 ; CHECK: (setlocal @2 (sle @1 @0))
39 define i32 @sle_i64(i64 %x, i64 %y) {
40 %a = icmp sle i64 %x, %y
41 %b = zext i1 %a to i32
45 ; CHECK-LABEL: ult_i64:
46 ; CHECK: (setlocal @2 (ult @1 @0))
47 define i32 @ult_i64(i64 %x, i64 %y) {
48 %a = icmp ult i64 %x, %y
49 %b = zext i1 %a to i32
53 ; CHECK-LABEL: ule_i64:
54 ; CHECK: (setlocal @2 (ule @1 @0))
55 define i32 @ule_i64(i64 %x, i64 %y) {
56 %a = icmp ule i64 %x, %y
57 %b = zext i1 %a to i32
61 ; CHECK-LABEL: sgt_i64:
62 ; CHECK: (setlocal @2 (sgt @1 @0))
63 define i32 @sgt_i64(i64 %x, i64 %y) {
64 %a = icmp sgt i64 %x, %y
65 %b = zext i1 %a to i32
69 ; CHECK-LABEL: sge_i64:
70 ; CHECK: (setlocal @2 (sge @1 @0))
71 define i32 @sge_i64(i64 %x, i64 %y) {
72 %a = icmp sge i64 %x, %y
73 %b = zext i1 %a to i32
77 ; CHECK-LABEL: ugt_i64:
78 ; CHECK: (setlocal @2 (ugt @1 @0))
79 define i32 @ugt_i64(i64 %x, i64 %y) {
80 %a = icmp ugt i64 %x, %y
81 %b = zext i1 %a to i32
85 ; CHECK-LABEL: uge_i64:
86 ; CHECK: (setlocal @2 (uge @1 @0))
87 define i32 @uge_i64(i64 %x, i64 %y) {
88 %a = icmp uge i64 %x, %y
89 %b = zext i1 %a to i32