diff options
| author | Max Kazantsev <max.kazantsev@azul.com> | 2019-01-24 05:43:19 +0000 |
|---|---|---|
| committer | Max Kazantsev <max.kazantsev@azul.com> | 2019-01-24 05:43:19 +0000 |
| commit | 66f92df761bfbc97217627008960bbfa98f9d4fa (patch) | |
| tree | e8b5c2dd67690520913ea437b275ebb73dbe3aec | |
| parent | 3575149092ee3b87d063b006dc947263603ec164 (diff) | |
| download | bcm5719-llvm-66f92df761bfbc97217627008960bbfa98f9d4fa.tar.gz bcm5719-llvm-66f92df761bfbc97217627008960bbfa98f9d4fa.zip | |
[NFC] Add another failing test on LoopSimplifyCFG
llvm-svn: 352026
| -rw-r--r-- | llvm/test/Transforms/LoopSimplifyCFG/update_parents.ll | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/llvm/test/Transforms/LoopSimplifyCFG/update_parents.ll b/llvm/test/Transforms/LoopSimplifyCFG/update_parents.ll new file mode 100644 index 00000000000..fe2c5a582f0 --- /dev/null +++ b/llvm/test/Transforms/LoopSimplifyCFG/update_parents.ll @@ -0,0 +1,32 @@ +; XFAIL: * +; REQUIRES: asserts +; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -loop-simplifycfg -debug-only=loop-simplifycfg -verify-loop-info -verify-dom-info -verify-loop-lcssa 2>&1 < %s | FileCheck %s +; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -passes='require<domtree>,loop(simplify-cfg)' -debug-only=loop-simplifycfg -verify-loop-info -verify-dom-info -verify-loop-lcssa 2>&1 < %s | FileCheck %s +; RUN: opt -S -enable-loop-simplifycfg-term-folding=true -loop-simplifycfg -enable-mssa-loop-dependency=true -verify-memoryssa -debug-only=loop-simplifycfg -verify-loop-info -verify-dom-info -verify-loop-lcssa 2>&1 < %s | FileCheck %s + +target triple = "x86_64-unknown-linux-gnu" + +define void @test() { + +; CHECK-LABEL: @test( + + br label %bb1 + +bb1: ; preds = %bb4, %0 + br label %bb2 + +bb2: ; preds = %bb6, %bb1 + br label %bb3 + +bb3: ; preds = %bb8, %bb3, %bb2 + br i1 false, label %bb4, label %bb3 + +bb4: ; preds = %bb8, %bb3 + br i1 undef, label %bb1, label %bb6 + +bb6: ; preds = %bb4 + br i1 undef, label %bb2, label %bb8 + +bb8: ; preds = %bb6 + br i1 true, label %bb4, label %bb3 +} |
