From 5c4cd0d82e22a50e95a1acffa3364e4f7658ab32 Mon Sep 17 00:00:00 2001 From: Devang Patel Date: Fri, 5 Oct 2007 22:29:34 +0000 Subject: Fix bug in updating dominance frontier after loop unswitch when frontier includes basic blocks that are not inside loop. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42654 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../LoopUnswitch/2007-10-04-DomFrontier.ll | 29 ++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 test/Transforms/LoopUnswitch/2007-10-04-DomFrontier.ll (limited to 'test/Transforms/LoopUnswitch') diff --git a/test/Transforms/LoopUnswitch/2007-10-04-DomFrontier.ll b/test/Transforms/LoopUnswitch/2007-10-04-DomFrontier.ll new file mode 100644 index 0000000..b236edc --- /dev/null +++ b/test/Transforms/LoopUnswitch/2007-10-04-DomFrontier.ll @@ -0,0 +1,29 @@ +; RUN: llvm-as < %s | opt -licm -loop-unroll -disable-output + +@resonant = external global i32 ; [#uses=2] + +define void @weightadj() { +entry: + br label %bb + +bb: ; preds = %bb158, %entry + store i32 0, i32* @resonant, align 4 + br i1 false, label %g.exit, label %bb158 + +g.exit: ; preds = %bb68, %bb + br i1 false, label %bb68, label %cond_true + +cond_true: ; preds = %g.exit + store i32 1, i32* @resonant, align 4 + br label %bb68 + +bb68: ; preds = %cond_true, %g.exit + %tmp71 = icmp slt i32 0, 0 ; [#uses=1] + br i1 %tmp71, label %g.exit, label %bb158 + +bb158: ; preds = %bb68, %bb + br i1 false, label %bb, label %return + +return: ; preds = %bb158 + ret void +} -- cgit v1.1