blob: a9b87fd1f475ef998fc1e9da2de4c42cce999ad4 (
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-as < %s | 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
}
|
