blob: 4dc1f54cd724c062951728e6d02fa3a3cd4e6420 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa | llvm-dis | \
; RUN: grep {X3.lcssa = phi i32}
; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa | llvm-dis | \
; RUN: grep {X4 = add i32 3, %X3.lcssa}
void %lcssa(bool %S2) {
entry:
br label %loop.interior
loop.interior: ; preds = %entry
br bool %S2, label %if.true, label %if.false
if.true:
%X1 = add int 0, 0
br label %post.if
if.false:
%X2 = add int 0, 1
br label %post.if
post.if:
%X3 = phi int [%X1, %if.true], [%X2, %if.false]
br bool %S2, label %loop.exit, label %loop.interior
loop.exit:
%X4 = add int 3, %X3
ret void
}
|
