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-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: .param i64, i64{{$}}
14 ; CHECK-NEXT: .result i64{{$}}
15 ; CHECK-NEXT: i64.add $push0=, $0, $1{{$}}
16 ; CHECK-NEXT: return $pop0{{$}}
17 define i64 @add64(i64 %x, i64 %y) {
23 ; CHECK-NEXT: .param i64, i64{{$}}
24 ; CHECK-NEXT: .result i64{{$}}
25 ; CHECK-NEXT: i64.sub $push0=, $0, $1{{$}}
26 ; CHECK-NEXT: return $pop0{{$}}
27 define i64 @sub64(i64 %x, i64 %y) {
33 ; CHECK-NEXT: .param i64, i64{{$}}
34 ; CHECK-NEXT: .result i64{{$}}
35 ; CHECK-NEXT: i64.mul $push0=, $0, $1{{$}}
36 ; CHECK-NEXT: return $pop0{{$}}
37 define i64 @mul64(i64 %x, i64 %y) {
42 ; CHECK-LABEL: sdiv64:
43 ; CHECK-NEXT: .param i64, i64{{$}}
44 ; CHECK-NEXT: .result i64{{$}}
45 ; CHECK-NEXT: i64.div_s $push0=, $0, $1{{$}}
46 ; CHECK-NEXT: return $pop0{{$}}
47 define i64 @sdiv64(i64 %x, i64 %y) {
52 ; CHECK-LABEL: udiv64:
53 ; CHECK-NEXT: .param i64, i64{{$}}
54 ; CHECK-NEXT: .result i64{{$}}
55 ; CHECK-NEXT: i64.div_u $push0=, $0, $1{{$}}
56 ; CHECK-NEXT: return $pop0{{$}}
57 define i64 @udiv64(i64 %x, i64 %y) {
62 ; CHECK-LABEL: srem64:
63 ; CHECK-NEXT: .param i64, i64{{$}}
64 ; CHECK-NEXT: .result i64{{$}}
65 ; CHECK-NEXT: i64.rem_s $push0=, $0, $1{{$}}
66 ; CHECK-NEXT: return $pop0{{$}}
67 define i64 @srem64(i64 %x, i64 %y) {
72 ; CHECK-LABEL: urem64:
73 ; CHECK-NEXT: .param i64, i64{{$}}
74 ; CHECK-NEXT: .result i64{{$}}
75 ; CHECK-NEXT: i64.rem_u $push0=, $0, $1{{$}}
76 ; CHECK-NEXT: return $pop0{{$}}
77 define i64 @urem64(i64 %x, i64 %y) {
83 ; CHECK-NEXT: .param i64, i64{{$}}
84 ; CHECK-NEXT: .result i64{{$}}
85 ; CHECK-NEXT: i64.and $push0=, $0, $1{{$}}
86 ; CHECK-NEXT: return $pop0{{$}}
87 define i64 @and64(i64 %x, i64 %y) {
93 ; CHECK-NEXT: .param i64, i64{{$}}
94 ; CHECK-NEXT: .result i64{{$}}
95 ; CHECK-NEXT: i64.or $push0=, $0, $1{{$}}
96 ; CHECK-NEXT: return $pop0{{$}}
97 define i64 @or64(i64 %x, i64 %y) {
102 ; CHECK-LABEL: xor64:
103 ; CHECK-NEXT: .param i64, i64{{$}}
104 ; CHECK-NEXT: .result i64{{$}}
105 ; CHECK-NEXT: i64.xor $push0=, $0, $1{{$}}
106 ; CHECK-NEXT: return $pop0{{$}}
107 define i64 @xor64(i64 %x, i64 %y) {
112 ; CHECK-LABEL: shl64:
113 ; CHECK-NEXT: .param i64, i64{{$}}
114 ; CHECK-NEXT: .result i64{{$}}
115 ; CHECK-NEXT: i64.shl $push0=, $0, $1{{$}}
116 ; CHECK-NEXT: return $pop0{{$}}
117 define i64 @shl64(i64 %x, i64 %y) {
122 ; CHECK-LABEL: shr64:
123 ; CHECK-NEXT: .param i64, i64{{$}}
124 ; CHECK-NEXT: .result i64{{$}}
125 ; CHECK-NEXT: i64.shr_u $push0=, $0, $1{{$}}
126 ; CHECK-NEXT: return $pop0{{$}}
127 define i64 @shr64(i64 %x, i64 %y) {
132 ; CHECK-LABEL: sar64:
133 ; CHECK-NEXT: .param i64, i64{{$}}
134 ; CHECK-NEXT: .result i64{{$}}
135 ; CHECK-NEXT: i64.shr_s $push0=, $0, $1{{$}}
136 ; CHECK-NEXT: return $pop0{{$}}
137 define i64 @sar64(i64 %x, i64 %y) {
142 ; CHECK-LABEL: clz64:
143 ; CHECK-NEXT: .param i64{{$}}
144 ; CHECK-NEXT: .result i64{{$}}
145 ; CHECK-NEXT: i64.clz $push0=, $0{{$}}
146 ; CHECK-NEXT: return $pop0{{$}}
147 define i64 @clz64(i64 %x) {
148 %a = call i64 @llvm.ctlz.i64(i64 %x, i1 false)
152 ; CHECK-LABEL: clz64_zero_undef:
153 ; CHECK-NEXT: .param i64{{$}}
154 ; CHECK-NEXT: .result i64{{$}}
155 ; CHECK-NEXT: i64.clz $push0=, $0{{$}}
156 ; CHECK-NEXT: return $pop0{{$}}
157 define i64 @clz64_zero_undef(i64 %x) {
158 %a = call i64 @llvm.ctlz.i64(i64 %x, i1 true)
162 ; CHECK-LABEL: ctz64:
163 ; CHECK-NEXT: .param i64{{$}}
164 ; CHECK-NEXT: .result i64{{$}}
165 ; CHECK-NEXT: i64.ctz $push0=, $0{{$}}
166 ; CHECK-NEXT: return $pop0{{$}}
167 define i64 @ctz64(i64 %x) {
168 %a = call i64 @llvm.cttz.i64(i64 %x, i1 false)
172 ; CHECK-LABEL: ctz64_zero_undef:
173 ; CHECK-NEXT: .param i64{{$}}
174 ; CHECK-NEXT: .result i64{{$}}
175 ; CHECK-NEXT: i64.ctz $push0=, $0{{$}}
176 ; CHECK-NEXT: return $pop0{{$}}
177 define i64 @ctz64_zero_undef(i64 %x) {
178 %a = call i64 @llvm.cttz.i64(i64 %x, i1 true)
182 ; CHECK-LABEL: popcnt64:
183 ; CHECK-NEXT: .param i64{{$}}
184 ; CHECK-NEXT: .result i64{{$}}
185 ; CHECK-NEXT: i64.popcnt $push0=, $0{{$}}
186 ; CHECK-NEXT: return $pop0{{$}}
187 define i64 @popcnt64(i64 %x) {
188 %a = call i64 @llvm.ctpop.i64(i64 %x)