WebAssembly: floating-point comparisons
[oota-llvm.git] / test / CodeGen / WebAssembly / comparisons_i64.ll
1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
2
3 ; Test that basic 64-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_i64:
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: (return @2)
13 define 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: (setlocal @2 (ne @1 @0))
21 define i32 @ne_i64(i64 %x, i64 %y) {
22   %a = icmp ne i64 %x, %y
23   %b = zext i1 %a to i32
24   ret i32 %b
25 }
26
27 ; CHECK-LABEL: slt_i64:
28 ; CHECK: (setlocal @2 (slt @1 @0))
29 define i32 @slt_i64(i64 %x, i64 %y) {
30   %a = icmp slt i64 %x, %y
31   %b = zext i1 %a to i32
32   ret i32 %b
33 }
34
35 ; CHECK-LABEL: sle_i64:
36 ; CHECK: (setlocal @2 (sle @1 @0))
37 define i32 @sle_i64(i64 %x, i64 %y) {
38   %a = icmp sle i64 %x, %y
39   %b = zext i1 %a to i32
40   ret i32 %b
41 }
42
43 ; CHECK-LABEL: ult_i64:
44 ; CHECK: (setlocal @2 (ult @1 @0))
45 define i32 @ult_i64(i64 %x, i64 %y) {
46   %a = icmp ult i64 %x, %y
47   %b = zext i1 %a to i32
48   ret i32 %b
49 }
50
51 ; CHECK-LABEL: ule_i64:
52 ; CHECK: (setlocal @2 (ule @1 @0))
53 define i32 @ule_i64(i64 %x, i64 %y) {
54   %a = icmp ule i64 %x, %y
55   %b = zext i1 %a to i32
56   ret i32 %b
57 }
58
59 ; CHECK-LABEL: sgt_i64:
60 ; CHECK: (setlocal @2 (sgt @1 @0))
61 define i32 @sgt_i64(i64 %x, i64 %y) {
62   %a = icmp sgt i64 %x, %y
63   %b = zext i1 %a to i32
64   ret i32 %b
65 }
66
67 ; CHECK-LABEL: sge_i64:
68 ; CHECK: (setlocal @2 (sge @1 @0))
69 define i32 @sge_i64(i64 %x, i64 %y) {
70   %a = icmp sge i64 %x, %y
71   %b = zext i1 %a to i32
72   ret i32 %b
73 }
74
75 ; CHECK-LABEL: ugt_i64:
76 ; CHECK: (setlocal @2 (ugt @1 @0))
77 define i32 @ugt_i64(i64 %x, i64 %y) {
78   %a = icmp ugt i64 %x, %y
79   %b = zext i1 %a to i32
80   ret i32 %b
81 }
82
83 ; CHECK-LABEL: uge_i64:
84 ; CHECK: (setlocal @2 (uge @1 @0))
85 define i32 @uge_i64(i64 %x, i64 %y) {
86   %a = icmp uge i64 %x, %y
87   %b = zext i1 %a to i32
88   ret i32 %b
89 }