1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that basic 64-bit integer 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"
8 declare i64 @llvm.ctlz.i64(i64, i1)
9 declare i64 @llvm.cttz.i64(i64, i1)
10 declare i64 @llvm.ctpop.i64(i64)
13 ; CHECK-NEXT: (setlocal @0 (argument 1))
14 ; CHECK-NEXT: (setlocal @1 (argument 0))
15 ; CHECK-NEXT: (setlocal @2 (ADD_I64 @1 @0))
16 ; CHECK-NEXT: (return @2)
17 define i64 @add64(i64 %x, i64 %y) {
23 ; CHECK-NEXT: (setlocal @0 (argument 1))
24 ; CHECK-NEXT: (setlocal @1 (argument 0))
25 ; CHECK-NEXT: (setlocal @2 (SUB_I64 @1 @0))
26 ; CHECK-NEXT: (return @2)
27 define i64 @sub64(i64 %x, i64 %y) {
33 ; CHECK-NEXT: (setlocal @0 (argument 1))
34 ; CHECK-NEXT: (setlocal @1 (argument 0))
35 ; CHECK-NEXT: (setlocal @2 (MUL_I64 @1 @0))
36 ; CHECK-NEXT: (return @2)
37 define i64 @mul64(i64 %x, i64 %y) {
42 ; CHECK-LABEL: sdiv64:
43 ; CHECK-NEXT: (setlocal @0 (argument 1))
44 ; CHECK-NEXT: (setlocal @1 (argument 0))
45 ; CHECK-NEXT: (setlocal @2 (SDIV_I64 @1 @0))
46 ; CHECK-NEXT: (return @2)
47 define i64 @sdiv64(i64 %x, i64 %y) {
52 ; CHECK-LABEL: udiv64:
53 ; CHECK-NEXT: (setlocal @0 (argument 1))
54 ; CHECK-NEXT: (setlocal @1 (argument 0))
55 ; CHECK-NEXT: (setlocal @2 (UDIV_I64 @1 @0))
56 ; CHECK-NEXT: (return @2)
57 define i64 @udiv64(i64 %x, i64 %y) {
62 ; CHECK-LABEL: srem64:
63 ; CHECK-NEXT: (setlocal @0 (argument 1))
64 ; CHECK-NEXT: (setlocal @1 (argument 0))
65 ; CHECK-NEXT: (setlocal @2 (SREM_I64 @1 @0))
66 ; CHECK-NEXT: (return @2)
67 define i64 @srem64(i64 %x, i64 %y) {
72 ; CHECK-LABEL: urem64:
73 ; CHECK-NEXT: (setlocal @0 (argument 1))
74 ; CHECK-NEXT: (setlocal @1 (argument 0))
75 ; CHECK-NEXT: (setlocal @2 (UREM_I64 @1 @0))
76 ; CHECK-NEXT: (return @2)
77 define i64 @urem64(i64 %x, i64 %y) {
83 ; CHECK-NEXT: (setlocal @0 (argument 1))
84 ; CHECK-NEXT: (setlocal @1 (argument 0))
85 ; CHECK-NEXT: (setlocal @2 (AND_I64 @1 @0))
86 ; CHECK-NEXT: (return @2)
87 define i64 @and64(i64 %x, i64 %y) {
93 ; CHECK-NEXT: (setlocal @0 (argument 1))
94 ; CHECK-NEXT: (setlocal @1 (argument 0))
95 ; CHECK-NEXT: (setlocal @2 (IOR_I64 @1 @0))
96 ; CHECK-NEXT: (return @2)
97 define i64 @ior64(i64 %x, i64 %y) {
102 ; CHECK-LABEL: xor64:
103 ; CHECK-NEXT: (setlocal @0 (argument 1))
104 ; CHECK-NEXT: (setlocal @1 (argument 0))
105 ; CHECK-NEXT: (setlocal @2 (XOR_I64 @1 @0))
106 ; CHECK-NEXT: (return @2)
107 define i64 @xor64(i64 %x, i64 %y) {
112 ; FIXME: 64-bit shifts have an extra truncate of the input shift value, which
113 ; WebAssembly hasn't taught isel to match yet. Fix with
114 ; getScalarShiftAmountTy.
116 ; C;HECK-LABEL: shl64:
117 ; C;HECK-NEXT: (setlocal @0 (argument 1))
118 ; C;HECK-NEXT: (setlocal @1 (argument 0))
119 ; C;HECK-NEXT: (setlocal @2 (SHL_I64 @1 @0))
120 ; C;HECK-NEXT: (return @2)
121 ;define i64 @shl64(i64 %x, i64 %y) {
122 ; %a = shl i64 %x, %y
126 ; C;HECK-LABEL: shr64:
127 ; C;HECK-NEXT: (setlocal @0 (argument 1))
128 ; C;HECK-NEXT: (setlocal @1 (argument 0))
129 ; C;HECK-NEXT: (setlocal @2 (SHR_I64 @1 @0))
130 ; C;HECK-NEXT: (return @2)
131 ;define i64 @shr64(i64 %x, i64 %y) {
132 ; %a = lshr i64 %x, %y
136 ; C;HECK-LABEL: sar64:
137 ; C;HECK-NEXT: (setlocal @0 (argument 1))
138 ; C;HECK-NEXT: (setlocal @1 (argument 0))
139 ; C;HECK-NEXT: (setlocal @2 (SAR_I64 @1 @0))
140 ; C;HECK-NEXT: (return @2)
141 ;define i64 @sar64(i64 %x, i64 %y) {
142 ; %a = ashr i64 %x, %y
146 ; CHECK-LABEL: clz64:
147 ; CHECK-NEXT: (setlocal @0 (argument 0))
148 ; CHECK-NEXT: (setlocal @1 (CLZ_I64 @0))
149 ; CHECK-NEXT: (return @1)
150 define i64 @clz64(i64 %x) {
151 %a = call i64 @llvm.ctlz.i64(i64 %x, i1 false)
155 ; CHECK-LABEL: ctz64:
156 ; CHECK-NEXT: (setlocal @0 (argument 0))
157 ; CHECK-NEXT: (setlocal @1 (CTZ_I64 @0))
158 ; CHECK-NEXT: (return @1)
159 define i64 @ctz64(i64 %x) {
160 %a = call i64 @llvm.cttz.i64(i64 %x, i1 false)
164 ; CHECK-LABEL: popcnt64:
165 ; CHECK-NEXT: (setlocal @0 (argument 0))
166 ; CHECK-NEXT: (setlocal @1 (POPCNT_I64 @0))
167 ; CHECK-NEXT: (return @1)
168 define i64 @popcnt64(i64 %x) {
169 %a = call i64 @llvm.ctpop.i64(i64 %x)