| ; 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 | |
| } |