blob: ab4b6619dc8ac516892fc45301676e542d4f91dd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
; Mem2reg should not insert dead PHI nodes! The naive algorithm inserts a PHI
; node in L3, even though there is no load of %A in anything dominated by L3.
; RUN: llvm-upgrade < %s | llvm-as | opt -mem2reg | llvm-dis | not grep phi
void %test(int %B, bool %C) {
%A = alloca int
store int %B, int* %A
br bool %C, label %L1, label %L2
L1:
store int %B, int* %A
%D = load int* %A
call void %test(int %D, bool false)
br label %L3
L2:
%E = load int* %A
call void %test(int %E, bool true)
br label %L3
L3:
ret void
}
|
