1; RUN: llc < %s -asm-verbose=false | FileCheck %s
2
3; Test that phis are lowered.
4
5target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6target triple = "wasm32-unknown-unknown"
7
8; Basic phi triangle.
9
10; CHECK-LABEL: test0:
11; CHECK: get_local push, 0{{$}}
12; CHECK: set_local [[REG:.*]], pop
13; CHECK: div_s push, (get_local [[REG]]), {{.*}}
14; CHECK: set_local [[REG]], pop
15; CHECK: return (get_local [[REG]])
16define i32 @test0(i32 %p) {
17entry:
18  %t = icmp slt i32 %p, 0
19  br i1 %t, label %true, label %done
20true:
21  %a = sdiv i32 %p, 3
22  br label %done
23done:
24  %s = phi i32 [ %a, %true ], [ %p, %entry ]
25  ret i32 %s
26}
27
28; Swap phis.
29
30; CHECK-LABEL: test1:
31; CHECK: BB1_1:
32; CHECK: get_local push, [[REG1:.*]]
33; CHECK: set_local [[REG0:.*]], pop
34; CHECK: get_local push, [[REG2:.*]]
35; CHECK: set_local [[REG1]], pop
36; CHECK: [[REG0]]
37; CHECK: set_local [[REG2]], pop
38define i32 @test1(i32 %n) {
39entry:
40  br label %loop
41
42loop:
43  %a = phi i32 [ 0, %entry ], [ %b, %loop ]
44  %b = phi i32 [ 1, %entry ], [ %a, %loop ]
45  %i = phi i32 [ 0, %entry ], [ %i.next, %loop ]
46
47  %i.next = add i32 %i, 1
48  %t = icmp slt i32 %i.next, %n
49  br i1 %t, label %loop, label %exit
50
51exit:
52  ret i32 %a
53}
54