diff options
| author | Reid Spencer <rspencer@reidspencer.com> | 2007-01-17 07:59:14 +0000 |
|---|---|---|
| committer | Reid Spencer <rspencer@reidspencer.com> | 2007-01-17 07:59:14 +0000 |
| commit | 83b3d8267225d585678d5d3af9bba5735f4b415d (patch) | |
| tree | 9d6c2ad7bfd568186e83a39e6f03e1c0bf415715 /llvm/test/Transforms/SimplifyCFG/branch-phi-thread.ll | |
| parent | 100602d7561ca5e245db6194bddae86357d203d4 (diff) | |
| download | bcm5719-llvm-83b3d8267225d585678d5d3af9bba5735f4b415d.tar.gz bcm5719-llvm-83b3d8267225d585678d5d3af9bba5735f4b415d.zip | |
Regression is gone, don't try to find it on clean target.
llvm-svn: 33296
Diffstat (limited to 'llvm/test/Transforms/SimplifyCFG/branch-phi-thread.ll')
| -rw-r--r-- | llvm/test/Transforms/SimplifyCFG/branch-phi-thread.ll | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/llvm/test/Transforms/SimplifyCFG/branch-phi-thread.ll b/llvm/test/Transforms/SimplifyCFG/branch-phi-thread.ll new file mode 100644 index 00000000000..3b8d1885443 --- /dev/null +++ b/llvm/test/Transforms/SimplifyCFG/branch-phi-thread.ll @@ -0,0 +1,63 @@ +; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg -adce | llvm-dis | not grep 'call void %f1' && +; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg -adce -disable-output +declare void %f1() +declare void %f2() +declare void %f3() +declare void %f4() + +implementation + +int %test1(int %X, bool %D) { +E: + %C = seteq int %X, 0 + br bool %C, label %T, label %F +T: + br bool %C, label %B, label %A +A: + call void %f1() + br bool %D, label %T, label %F +B: + call void %f2() + ret int 345 +F: + call void %f3() + ret int 123 +} + +int %test2(int %X, bool %D) { +E: + %C = seteq int %X, 0 + br bool %C, label %T, label %F +T: + %P = phi bool [true, %E], [%C, %A] + br bool %P, label %B, label %A +A: + call void %f1() + br bool %D, label %T, label %F +B: + call void %f2() + ret int 345 +F: + call void %f3() + ret int 123 +} + +int %test3(int %X, bool %D, int* %AP, int* %BP) { +E: + %C = seteq int %X, 0 + br bool %C, label %T, label %F +T: + call void %f3() ;; Inst in block. + %XX = load int* %AP + store int %XX, int* %BP + br bool %C, label %B, label %A +A: + call void %f1() + br bool %D, label %T, label %F +B: + call void %f2() + ret int 345 +F: + call void %f3() + ret int 123 +} |
