1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that basic 32-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 i32 @llvm.ctlz.i32(i32, i1)
9 declare i32 @llvm.cttz.i32(i32, i1)
10 declare i32 @llvm.ctpop.i32(i32)
13 ; CHECK-NEXT: (setlocal @0 (argument 1))
14 ; CHECK-NEXT: (setlocal @1 (argument 0))
15 ; CHECK-NEXT: (setlocal @2 (add @1 @0))
16 ; CHECK-NEXT: (return @2)
17 define i32 @add32(i32 %x, i32 %y) {
23 ; CHECK-NEXT: (setlocal @0 (argument 1))
24 ; CHECK-NEXT: (setlocal @1 (argument 0))
25 ; CHECK-NEXT: (setlocal @2 (sub @1 @0))
26 ; CHECK-NEXT: (return @2)
27 define i32 @sub32(i32 %x, i32 %y) {
33 ; CHECK-NEXT: (setlocal @0 (argument 1))
34 ; CHECK-NEXT: (setlocal @1 (argument 0))
35 ; CHECK-NEXT: (setlocal @2 (mul @1 @0))
36 ; CHECK-NEXT: (return @2)
37 define i32 @mul32(i32 %x, i32 %y) {
42 ; CHECK-LABEL: sdiv32:
43 ; CHECK-NEXT: (setlocal @0 (argument 1))
44 ; CHECK-NEXT: (setlocal @1 (argument 0))
45 ; CHECK-NEXT: (setlocal @2 (sdiv @1 @0))
46 ; CHECK-NEXT: (return @2)
47 define i32 @sdiv32(i32 %x, i32 %y) {
52 ; CHECK-LABEL: udiv32:
53 ; CHECK-NEXT: (setlocal @0 (argument 1))
54 ; CHECK-NEXT: (setlocal @1 (argument 0))
55 ; CHECK-NEXT: (setlocal @2 (udiv @1 @0))
56 ; CHECK-NEXT: (return @2)
57 define i32 @udiv32(i32 %x, i32 %y) {
62 ; CHECK-LABEL: srem32:
63 ; CHECK-NEXT: (setlocal @0 (argument 1))
64 ; CHECK-NEXT: (setlocal @1 (argument 0))
65 ; CHECK-NEXT: (setlocal @2 (srem @1 @0))
66 ; CHECK-NEXT: (return @2)
67 define i32 @srem32(i32 %x, i32 %y) {
72 ; CHECK-LABEL: urem32:
73 ; CHECK-NEXT: (setlocal @0 (argument 1))
74 ; CHECK-NEXT: (setlocal @1 (argument 0))
75 ; CHECK-NEXT: (setlocal @2 (urem @1 @0))
76 ; CHECK-NEXT: (return @2)
77 define i32 @urem32(i32 %x, i32 %y) {
83 ; CHECK-NEXT: (setlocal @0 (argument 1))
84 ; CHECK-NEXT: (setlocal @1 (argument 0))
85 ; CHECK-NEXT: (setlocal @2 (and @1 @0))
86 ; CHECK-NEXT: (return @2)
87 define i32 @and32(i32 %x, i32 %y) {
93 ; CHECK-NEXT: (setlocal @0 (argument 1))
94 ; CHECK-NEXT: (setlocal @1 (argument 0))
95 ; CHECK-NEXT: (setlocal @2 (ior @1 @0))
96 ; CHECK-NEXT: (return @2)
97 define i32 @ior32(i32 %x, i32 %y) {
102 ; CHECK-LABEL: xor32:
103 ; CHECK-NEXT: (setlocal @0 (argument 1))
104 ; CHECK-NEXT: (setlocal @1 (argument 0))
105 ; CHECK-NEXT: (setlocal @2 (xor @1 @0))
106 ; CHECK-NEXT: (return @2)
107 define i32 @xor32(i32 %x, i32 %y) {
112 ; CHECK-LABEL: shl32:
113 ; CHECK-NEXT: (setlocal @0 (argument 1))
114 ; CHECK-NEXT: (setlocal @1 (argument 0))
115 ; CHECK-NEXT: (setlocal @2 (shl @1 @0))
116 ; CHECK-NEXT: (return @2)
117 define i32 @shl32(i32 %x, i32 %y) {
122 ; CHECK-LABEL: shr32:
123 ; CHECK-NEXT: (setlocal @0 (argument 1))
124 ; CHECK-NEXT: (setlocal @1 (argument 0))
125 ; CHECK-NEXT: (setlocal @2 (shr @1 @0))
126 ; CHECK-NEXT: (return @2)
127 define i32 @shr32(i32 %x, i32 %y) {
132 ; CHECK-LABEL: sar32:
133 ; CHECK-NEXT: (setlocal @0 (argument 1))
134 ; CHECK-NEXT: (setlocal @1 (argument 0))
135 ; CHECK-NEXT: (setlocal @2 (sar @1 @0))
136 ; CHECK-NEXT: (return @2)
137 define i32 @sar32(i32 %x, i32 %y) {
142 ; CHECK-LABEL: clz32:
143 ; CHECK-NEXT: (setlocal @0 (argument 0))
144 ; CHECK-NEXT: (setlocal @1 (clz @0))
145 ; CHECK-NEXT: (return @1)
146 define i32 @clz32(i32 %x) {
147 %a = call i32 @llvm.ctlz.i32(i32 %x, i1 false)
151 ; CHECK-LABEL: ctz32:
152 ; CHECK-NEXT: (setlocal @0 (argument 0))
153 ; CHECK-NEXT: (setlocal @1 (ctz @0))
154 ; CHECK-NEXT: (return @1)
155 define i32 @ctz32(i32 %x) {
156 %a = call i32 @llvm.cttz.i32(i32 %x, i1 false)
160 ; CHECK-LABEL: popcnt32:
161 ; CHECK-NEXT: (setlocal @0 (argument 0))
162 ; CHECK-NEXT: (setlocal @1 (popcnt @0))
163 ; CHECK-NEXT: (return @1)
164 define i32 @popcnt32(i32 %x) {
165 %a = call i32 @llvm.ctpop.i32(i32 %x)