1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test the register stackifier pass.
5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
8 ; No because of pointer aliasing.
11 ; CHECK: return $1{{$}}
12 define i32 @no0(i32* %p, i32* %q) {
13 %t = load i32, i32* %q
18 ; No because of side effects.
21 ; CHECK: return $1{{$}}
22 define i32 @no1(i32* %p, i32* dereferenceable(4) %q) {
23 %t = load volatile i32, i32* %q, !invariant.load !0
24 store volatile i32 0, i32* %p
28 ; Yes because of invariant load and no side effects.
31 ; CHECK: return $pop0{{$}}
32 define i32 @yes0(i32* %p, i32* dereferenceable(4) %q) {
33 %t = load i32, i32* %q, !invariant.load !0
38 ; Yes because of no intervening side effects.
41 ; CHECK: return $pop0{{$}}
42 define i32 @yes1(i32* %q) {
43 %t = load volatile i32, i32* %q
47 ; Don't schedule stack uses into the stack. To reduce register pressure, the
48 ; scheduler might be tempted to move the definition of $2 down. However, this
49 ; would risk getting incorrect liveness if the instructions are later
50 ; rearranged to make the stack contiguous.
52 ; CHECK-LABEL: stack_uses:
53 ; CHECK-NEXT: .param i32{{$}}
54 ; CHECK-NEXT: .result i32{{$}}
55 ; CHECK-NEXT: local i32, i32{{$}}
56 ; CHECK-NEXT: i32.const $1=, 1{{$}}
57 ; CHECK-NEXT: i32.const $2=, 0{{$}}
58 ; CHECK-NEXT: i32.and $push0=, $0, $1{{$}}
59 ; CHECK-NEXT: i32.eq $push1=, $pop0, $2{{$}}
60 ; CHECK-NEXT: block BB4_2{{$}}
61 ; CHECK-NEXT: br_if $pop1, BB4_2{{$}}
62 ; CHECK-NEXT: return $2{{$}}
63 ; CHECK-NEXT: BB4_2:{{$}}
64 ; CHECK-NEXT: return $1{{$}}
65 define i32 @stack_uses(i32 %x) {
67 %c = trunc i32 %x to i1
68 br i1 %c, label %true, label %false