From 66f92df761bfbc97217627008960bbfa98f9d4fa Mon Sep 17 00:00:00 2001 From: Max Kazantsev Date: Thu, 24 Jan 2019 05:43:19 +0000 Subject: [PATCH] [NFC] Add another failing test on LoopSimplifyCFG llvm-svn: 352026 --- .../LoopSimplifyCFG/update_parents.ll | 32 +++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 llvm/test/Transforms/LoopSimplifyCFG/update_parents.ll diff --git a/llvm/test/Transforms/LoopSimplifyCFG/update_parents.ll b/llvm/test/Transforms/LoopSimplifyCFG/update_parents.ll new file mode 100644 index 000000000000..fe2c5a582f00 --- /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,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 +}