diff options
| author | Dan Gohman <gohman@apple.com> | 2009-02-16 00:56:15 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-02-16 00:56:15 +0000 |
| commit | 73f794af6a4814ab81743f3b1237e4d042bc87d9 (patch) | |
| tree | 81f2f0547fb87a10fd1ee49f6fc8eb9b2182aa07 /llvm/test/Transforms/IndVarsSimplify | |
| parent | 9cdfd44521e035ccc571b37d6b48fe391b00961e (diff) | |
| download | bcm5719-llvm-73f794af6a4814ab81743f3b1237e4d042bc87d9.tar.gz bcm5719-llvm-73f794af6a4814ab81743f3b1237e4d042bc87d9.zip | |
Rename IndVarsSimplify to IndVarSimplify, to be consistent with
the name used in the code that these tests are for.
llvm-svn: 64624
Diffstat (limited to 'llvm/test/Transforms/IndVarsSimplify')
45 files changed, 0 insertions, 1767 deletions
diff --git a/llvm/test/Transforms/IndVarsSimplify/2002-09-09-PointerIndVar.ll b/llvm/test/Transforms/IndVarsSimplify/2002-09-09-PointerIndVar.ll deleted file mode 100644 index 228772eb82c..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2002-09-09-PointerIndVar.ll +++ /dev/null @@ -1,17 +0,0 @@ -; Induction variable pass is doing bad things with pointer induction vars, -; trying to do arithmetic on them directly. -; -; RUN: llvm-as < %s | opt -indvars -; -define void @test(i32 %A, i32 %S, i8* %S.upgrd.1) { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %PIV = phi i8* [ %S.upgrd.1, %0 ], [ %PIVNext.upgrd.3, %Loop ] ; <i8*> [#uses=1] - %PIV.upgrd.2 = ptrtoint i8* %PIV to i64 ; <i64> [#uses=1] - %PIVNext = add i64 %PIV.upgrd.2, 8 ; <i64> [#uses=1] - %PIVNext.upgrd.3 = inttoptr i64 %PIVNext to i8* ; <i8*> [#uses=1] - br label %Loop -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2003-04-16-ExprAnalysis.ll b/llvm/test/Transforms/IndVarsSimplify/2003-04-16-ExprAnalysis.ll deleted file mode 100644 index 2487ea95e27..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2003-04-16-ExprAnalysis.ll +++ /dev/null @@ -1,17 +0,0 @@ -; This is a test case for the expression analysis code, not really indvars. -; It was assuming any constant of int type was a ConstantInteger. -; -; RUN: llvm-as < %s | opt -indvars - -@X = global i32 7 ; <i32*> [#uses=1] - -define void @test(i32 %A) { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %IV = phi i32 [ %A, %0 ], [ %IVNext, %Loop ] ; <i32> [#uses=1] - %IVNext = add i32 %IV, ptrtoint (i32* @X to i32) ; <i32> [#uses=1] - br label %Loop -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2003-09-12-MultiplePred.ll b/llvm/test/Transforms/IndVarsSimplify/2003-09-12-MultiplePred.ll deleted file mode 100644 index 96190991f73..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2003-09-12-MultiplePred.ll +++ /dev/null @@ -1,15 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep indvar - -define i32 @test() { -; <label>:0 - br i1 true, label %LoopHead, label %LoopHead - -LoopHead: ; preds = %LoopHead, %0, %0 - %A = phi i32 [ 7, %0 ], [ 7, %0 ], [ %B, %LoopHead ] ; <i32> [#uses=1] - %B = add i32 %A, 1 ; <i32> [#uses=2] - br i1 false, label %LoopHead, label %Out - -Out: ; preds = %LoopHead - ret i32 %B -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2003-09-23-NotAtTop.ll b/llvm/test/Transforms/IndVarsSimplify/2003-09-23-NotAtTop.ll deleted file mode 100644 index da22cf2e516..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2003-09-23-NotAtTop.ll +++ /dev/null @@ -1,17 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | %prcontext Loop: 1 | grep %indvar - -; The indvar simplification code should ensure that the first PHI in the block -; is the canonical one! - -define i32 @test() { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %NonIndvar = phi i32 [ 200, %0 ], [ %NonIndvarNext, %Loop ] ; <i32> [#uses=1] - %Canonical = phi i32 [ 0, %0 ], [ %CanonicalNext, %Loop ] ; <i32> [#uses=1] - %NonIndvarNext = sdiv i32 %NonIndvar, 2 ; <i32> [#uses=1] - %CanonicalNext = add i32 %Canonical, 1 ; <i32> [#uses=1] - br label %Loop -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2003-12-10-IndVarDeadCode.ll b/llvm/test/Transforms/IndVarsSimplify/2003-12-10-IndVarDeadCode.ll deleted file mode 100644 index bd9d1ef5cb9..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2003-12-10-IndVarDeadCode.ll +++ /dev/null @@ -1,25 +0,0 @@ -; The induction variable canonicalization pass shouldn't leave dead -; instructions laying around! -; -; RUN: llvm-as < %s | opt -indvars | llvm-dis | \ -; RUN: not grep {#uses=0} - -define i32 @mul(i32 %x, i32 %y) { -entry: - br label %tailrecurse - -tailrecurse: ; preds = %endif, %entry - %accumulator.tr = phi i32 [ %x, %entry ], [ %tmp.9, %endif ] ; <i32> [#uses=2] - %y.tr = phi i32 [ %y, %entry ], [ %tmp.8, %endif ] ; <i32> [#uses=2] - %tmp.1 = icmp eq i32 %y.tr, 0 ; <i1> [#uses=1] - br i1 %tmp.1, label %return, label %endif - -endif: ; preds = %tailrecurse - %tmp.8 = add i32 %y.tr, -1 ; <i32> [#uses=1] - %tmp.9 = add i32 %accumulator.tr, %x ; <i32> [#uses=1] - br label %tailrecurse - -return: ; preds = %tailrecurse - ret i32 %accumulator.tr -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2003-12-10-RemoveInstrCrash.ll b/llvm/test/Transforms/IndVarsSimplify/2003-12-10-RemoveInstrCrash.ll deleted file mode 100644 index 11af997e83b..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2003-12-10-RemoveInstrCrash.ll +++ /dev/null @@ -1,18 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output - -define void @test() { -entry: - %inc.2 = add i32 1, 1 ; <i32> [#uses=1] - br i1 false, label %no_exit, label %loopexit - -no_exit: ; preds = %no_exit, %entry - %j.0.pn = phi i32 [ %inc.3, %no_exit ], [ %inc.2, %entry ] ; <i32> [#uses=1] - %k.0.pn = phi i32 [ %inc.4, %no_exit ], [ 1, %entry ] ; <i32> [#uses=1] - %inc.3 = add i32 %j.0.pn, 1 ; <i32> [#uses=1] - %inc.4 = add i32 %k.0.pn, 1 ; <i32> [#uses=1] - br i1 false, label %no_exit, label %loopexit - -loopexit: ; preds = %no_exit, %entry - ret void -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2003-12-15-Crash.ll b/llvm/test/Transforms/IndVarsSimplify/2003-12-15-Crash.ll deleted file mode 100644 index b964d78d695..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2003-12-15-Crash.ll +++ /dev/null @@ -1,24 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output -define void @_ZN17CoinFactorization7cleanupEv() { -entry: - br i1 false, label %loopexit.14, label %cond_continue.3 - -cond_continue.3: ; preds = %entry - ret void - -loopexit.14: ; preds = %entry - %tmp.738 = sub i32 0, 0 ; <i32> [#uses=1] - br i1 false, label %no_exit.15.preheader, label %loopexit.15 - -no_exit.15.preheader: ; preds = %loopexit.14 - br label %no_exit.15 - -no_exit.15: ; preds = %no_exit.15, %no_exit.15.preheader - %highC.0 = phi i32 [ %tmp.738, %no_exit.15.preheader ], [ %dec.0, %no_exit.15 ] ; <i32> [#uses=1] - %dec.0 = add i32 %highC.0, -1 ; <i32> [#uses=1] - br i1 false, label %no_exit.15, label %loopexit.15 - -loopexit.15: ; preds = %no_exit.15, %loopexit.14 - ret void -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2003-12-21-IndVarSize.ll b/llvm/test/Transforms/IndVarsSimplify/2003-12-21-IndVarSize.ll deleted file mode 100644 index cf8c80472df..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2003-12-21-IndVarSize.ll +++ /dev/null @@ -1,15 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep indvar | not grep i32 - -@G = global i64 0 ; <i64*> [#uses=1] - -define void @test() { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %X = phi i64 [ 1, %0 ], [ %X.next, %Loop ] ; <i64> [#uses=2] - %X.next = add i64 %X, 1 ; <i64> [#uses=1] - store i64 %X, i64* @G - br label %Loop -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2004-03-10-PHIInsertionBug.ll b/llvm/test/Transforms/IndVarsSimplify/2004-03-10-PHIInsertionBug.ll deleted file mode 100644 index 248b29b32d2..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2004-03-10-PHIInsertionBug.ll +++ /dev/null @@ -1,26 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output - -define void @test() { - br label %endif.0.i - -endif.0.i: ; preds = %0 - br i1 false, label %then.3.i, label %endif.3.i - -then.3.i: ; preds = %endif.0.i - br label %endif.3.i - -endif.3.i: ; preds = %then.3.i, %endif.0.i - %inxm.0.i = phi i32 [ 8, %then.3.i ], [ 0, %endif.0.i ] ; <i32> [#uses=1] - %doinner.1.i = phi i32 [ 0, %then.3.i ], [ 0, %endif.0.i ] ; <i32> [#uses=0] - br label %loopentry.2.i - -loopentry.2.i: ; preds = %no_exit.2.i, %endif.3.i - %inxk.0.i = phi i32 [ %tmp.210.i, %no_exit.2.i ], [ 0, %endif.3.i ] ; <i32> [#uses=1] - br label %no_exit.2.i - -no_exit.2.i: ; preds = %loopentry.2.i - %tmp.210.i = sub i32 %inxk.0.i, %inxm.0.i ; <i32> [#uses=2] - %tmp.213.i = add i32 %tmp.210.i, 0 ; <i32> [#uses=0] - br label %loopentry.2.i -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2004-04-05-InvokeCastCrash.ll b/llvm/test/Transforms/IndVarsSimplify/2004-04-05-InvokeCastCrash.ll deleted file mode 100644 index 54d85472a89..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2004-04-05-InvokeCastCrash.ll +++ /dev/null @@ -1,283 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output -; ModuleID = '2004-04-05-InvokeCastCrash.ll' - %struct.__false_type = type { i8 } - %"struct.__gnu_cxx::_Hashtable_node<const llvm::Constant*>" = type { %"struct.__gnu_cxx::_Hashtable_node<const llvm::Constant*>"*, %"struct.llvm::Constant"* } - %"struct.__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >" = type { %"struct.__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >"*, %"struct.std::pair<const llvm::Value* const,int>" } - %"struct.__gnu_cxx::hash_map<const llvm::Value*,int,__gnu_cxx::hash<const llvm::Value*>,std::equal_to<const llvm::Value*>,std::allocator<int> >" = type { %"struct.__gnu_cxx::hashtable<std::pair<const llvm::Value* const, int>,const llvm::Value*,__gnu_cxx::hash<const llvm::Value*>,std::_Select1st<std::pair<const llvm::Value* const, int> >,std::equal_to<const llvm::Value*>,std::allocator<int> >" } - %"struct.__gnu_cxx::hash_set<const llvm::Constant*,__gnu_cxx::hash<const llvm::Constant*>,std::equal_to<const llvm::Constant*>,std::allocator<const llvm::Constant*> >" = type { %"struct.__gnu_cxx::hashtable<const llvm::Constant*,const llvm::Constant*,__gnu_cxx::hash<const llvm::Constant*>,std::_Identity<const llvm::Constant*>,std::equal_to<const llvm::Constant*>,std::allocator<const llvm::Constant*> >" } - %"struct.__gnu_cxx::hashtable<const llvm::Constant*,const llvm::Constant*,__gnu_cxx::hash<const llvm::Constant*>,std::_Identity<const llvm::Constant*>,std::equal_to<const llvm::Constant*>,std::allocator<const llvm::Constant*> >" = type { %struct.__false_type, %struct.__false_type, %struct.__false_type, %struct.__false_type, %"struct.std::vector<__gnu_cxx::_Hashtable_node<const llvm::Constant*>*,std::allocator<const llvm::Constant*> >", i32 } - %"struct.__gnu_cxx::hashtable<std::pair<const llvm::Value* const, int>,const llvm::Value*,__gnu_cxx::hash<const llvm::Value*>,std::_Select1st<std::pair<const llvm::Value* const, int> >,std::equal_to<const llvm::Value*>,std::allocator<int> >" = type { %struct.__false_type, %struct.__false_type, %struct.__false_type, %struct.__false_type, %"struct.std::vector<__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >*,std::allocator<int> >", i32 } - %"struct.llvm::AbstractTypeUser" = type { i32 (...)** } - %"struct.llvm::Annotable" = type { i32 (...)**, %"struct.llvm::Annotation"* } - %"struct.llvm::Annotation" = type { i32 (...)**, %"struct.llvm::AnnotationID", %"struct.llvm::Annotation"* } - %"struct.llvm::AnnotationID" = type { i32 } - %"struct.llvm::Argument" = type { %"struct.llvm::Value", %"struct.llvm::Function"*, %"struct.llvm::Argument"*, %"struct.llvm::Argument"* } - %"struct.llvm::BasicBlock" = type { %"struct.llvm::Value", %"struct.llvm::iplist<llvm::Instruction,llvm::ilist_traits<llvm::Instruction> >", %"struct.llvm::BasicBlock"*, %"struct.llvm::BasicBlock"* } - %"struct.llvm::Constant" = type opaque - %"struct.llvm::DerivedType" = type { %"struct.llvm::Type", %"struct.llvm::AbstractTypeUser", %"struct.std::vector<llvm::AbstractTypeUser*,std::allocator<llvm::AbstractTypeUser*> >" } - %"struct.llvm::Function" = type { %"struct.llvm::GlobalValue", %"struct.llvm::Annotable", %"struct.llvm::iplist<llvm::BasicBlock,llvm::ilist_traits<llvm::BasicBlock> >", %"struct.llvm::iplist<llvm::Argument,llvm::ilist_traits<llvm::Argument> >", %"struct.llvm::SymbolTable"*, %"struct.llvm::Function"*, %"struct.llvm::Function"* } - %"struct.llvm::FunctionPass" = type { %"struct.llvm::Pass" } - %"struct.llvm::FunctionType" = type { %"struct.llvm::DerivedType", i1 } - %"struct.llvm::GlobalValue" = type { %"struct.llvm::User", i32, %"struct.llvm::Module"* } - %"struct.llvm::Instruction" = type { %"struct.llvm::User", %"struct.llvm::Annotable", %"struct.llvm::BasicBlock"*, %"struct.llvm::Instruction"*, %"struct.llvm::Instruction"*, i32 } - %"struct.llvm::IntrinsicLowering" = type opaque - %"struct.llvm::MachineBasicBlock" = type { %"struct.llvm::ilist<llvm::MachineInstr>", %"struct.llvm::MachineBasicBlock"*, %"struct.llvm::MachineBasicBlock"*, %"struct.llvm::BasicBlock"* } - %"struct.llvm::MachineConstantPool" = type opaque - %"struct.llvm::MachineFrameInfo" = type opaque - %"struct.llvm::MachineFunction" = type { %"struct.llvm::Annotation", %"struct.llvm::Function"*, %"struct.llvm::TargetMachine"*, %"struct.llvm::iplist<llvm::MachineBasicBlock,llvm::ilist_traits<llvm::MachineBasicBlock> >", %"struct.llvm::SSARegMap"*, %"struct.llvm::MachineFunctionInfo"*, %"struct.llvm::MachineFrameInfo"*, %"struct.llvm::MachineConstantPool"* } - %"struct.llvm::MachineFunctionInfo" = type { %"struct.__gnu_cxx::hash_set<const llvm::Constant*,__gnu_cxx::hash<const llvm::Constant*>,std::equal_to<const llvm::Constant*>,std::allocator<const llvm::Constant*> >", %"struct.__gnu_cxx::hash_map<const llvm::Value*,int,__gnu_cxx::hash<const llvm::Value*>,std::equal_to<const llvm::Value*>,std::allocator<int> >", i32, i32, i32, i32, i32, i32, i32, i1, i1, i1, %"struct.llvm::MachineFunction"* } - %"struct.llvm::MachineFunctionPass" = type { %"struct.llvm::FunctionPass" } - %"struct.llvm::MachineInstr" = type { i16, i8, %"struct.std::vector<llvm::MachineOperand,std::allocator<llvm::MachineOperand> >", %"struct.llvm::MachineInstr"*, %"struct.llvm::MachineInstr"*, %"struct.llvm::MachineBasicBlock"* } - %"struct.llvm::MachineInstrBuilder" = type { %"struct.llvm::MachineInstr"* } - %"struct.llvm::MachineOperand" = type { %"union.llvm::MachineOperand::._65", i32, i32 } - %"struct.llvm::Module" = type opaque - %"struct.llvm::PATypeHandle" = type { %"struct.llvm::Type"*, %"struct.llvm::AbstractTypeUser"* } - %"struct.llvm::PATypeHolder" = type { %"struct.llvm::Type"* } - %"struct.llvm::Pass" = type { i32 (...)**, %"struct.llvm::AbstractTypeUser"*, %"struct.llvm::PassInfo"*, %"struct.std::vector<std::pair<const llvm::PassInfo*, llvm::Pass*>,std::allocator<std::pair<const llvm::PassInfo*, llvm::Pass*> > >" } - %"struct.llvm::PassInfo" = type { i8*, i8*, %"struct.std::type_info"*, i8, %"struct.std::vector<const llvm::PassInfo*,std::allocator<const llvm::PassInfo*> >", %"struct.llvm::Pass"* ()*, %"struct.llvm::Pass"* (%"struct.llvm::TargetMachine"*)* } - %"struct.llvm::SSARegMap" = type opaque - %"struct.llvm::SymbolTable" = type opaque - %"struct.llvm::SymbolTableListTraits<llvm::Argument,llvm::Function,llvm::Function,llvm::ilist_traits<llvm::Argument> >" = type { %"struct.llvm::Function"*, %"struct.llvm::Function"* } - %"struct.llvm::SymbolTableListTraits<llvm::Instruction,llvm::BasicBlock,llvm::Function,llvm::ilist_traits<llvm::Instruction> >" = type { %"struct.llvm::Function"*, %"struct.llvm::BasicBlock"* } - %"struct.llvm::TargetData" = type { %"struct.llvm::FunctionPass", i1, i8, i8, i8, i8, i8, i8, i8, i8 } - %"struct.llvm::TargetFrameInfo" = type { i32 (...)**, i32, i32, i32 } - %"struct.llvm::TargetInstrDescriptor" = type { i8*, i32, i32, i32, i1, i32, i32, i32, i32, i32, i32*, i32* } - %"struct.llvm::TargetInstrInfo" = type { i32 (...)**, %"struct.llvm::TargetInstrDescriptor"*, i32, i32 } - %"struct.llvm::TargetMachine" = type { i32 (...)**, %"struct.std::basic_string<char,std::char_traits<char>,std::allocator<char> >", %"struct.llvm::TargetData", %"struct.llvm::IntrinsicLowering"* } - %"struct.llvm::TargetRegClassInfo" = type { i32 (...)**, i32, i32, i32 } - %"struct.llvm::TargetRegInfo" = type { i32 (...)**, %"struct.std::vector<const llvm::TargetRegClassInfo*,std::allocator<const llvm::TargetRegClassInfo*> >", %"struct.llvm::TargetMachine"* } - %"struct.llvm::Type" = type { %"struct.llvm::Value", i32, i32, i1, i32, %"struct.llvm::Type"*, %"struct.std::vector<llvm::PATypeHandle,std::allocator<llvm::PATypeHandle> >" } - %"struct.llvm::Use" = type { %"struct.llvm::Value"*, %"struct.llvm::User"*, %"struct.llvm::Use"*, %"struct.llvm::Use"* } - %"struct.llvm::User" = type { %"struct.llvm::Value", %"struct.std::vector<llvm::Use,std::allocator<llvm::Use> >" } - %"struct.llvm::Value" = type { i32 (...)**, %"struct.llvm::iplist<llvm::Use,llvm::ilist_traits<llvm::Use> >", %"struct.std::basic_string<char,std::char_traits<char>,std::allocator<char> >", %"struct.llvm::PATypeHolder", i32 } - %"struct.llvm::_GLOBAL__N_::InsertPrologEpilogCode" = type { %"struct.llvm::MachineFunctionPass" } - %"struct.llvm::ilist<llvm::MachineInstr>" = type { %"struct.llvm::iplist<llvm::MachineInstr,llvm::ilist_traits<llvm::MachineInstr> >" } - %"struct.llvm::ilist_iterator<const llvm::MachineBasicBlock>" = type { %"struct.llvm::MachineBasicBlock"* } - %"struct.llvm::ilist_traits<llvm::Argument>" = type { %"struct.llvm::SymbolTableListTraits<llvm::Argument,llvm::Function,llvm::Function,llvm::ilist_traits<llvm::Argument> >" } - %"struct.llvm::ilist_traits<llvm::Instruction>" = type { %"struct.llvm::SymbolTableListTraits<llvm::Instruction,llvm::BasicBlock,llvm::Function,llvm::ilist_traits<llvm::Instruction> >" } - %"struct.llvm::iplist<llvm::Argument,llvm::ilist_traits<llvm::Argument> >" = type { %"struct.llvm::ilist_traits<llvm::Argument>", %"struct.llvm::Argument"*, %"struct.llvm::Argument"* } - %"struct.llvm::iplist<llvm::BasicBlock,llvm::ilist_traits<llvm::BasicBlock> >" = type { %"struct.llvm::ilist_traits<llvm::Argument>", %"struct.llvm::BasicBlock"*, %"struct.llvm::BasicBlock"* } - %"struct.llvm::iplist<llvm::Instruction,llvm::ilist_traits<llvm::Instruction> >" = type { %"struct.llvm::ilist_traits<llvm::Instruction>", %"struct.llvm::Instruction"*, %"struct.llvm::Instruction"* } - %"struct.llvm::iplist<llvm::MachineBasicBlock,llvm::ilist_traits<llvm::MachineBasicBlock> >" = type { %"struct.llvm::MachineBasicBlock"*, %"struct.llvm::MachineBasicBlock"* } - %"struct.llvm::iplist<llvm::MachineInstr,llvm::ilist_traits<llvm::MachineInstr> >" = type { %"struct.llvm::ilist_iterator<const llvm::MachineBasicBlock>", %"struct.llvm::MachineInstr"*, %"struct.llvm::MachineInstr"* } - %"struct.llvm::iplist<llvm::Use,llvm::ilist_traits<llvm::Use> >" = type { %"struct.llvm::Use"*, %"struct.llvm::Use"* } - %"struct.std::_Vector_alloc_base<__gnu_cxx::_Hashtable_node<const llvm::Constant*>*,std::allocator<const llvm::Constant*>, true>" = type { %"struct.__gnu_cxx::_Hashtable_node<const llvm::Constant*>"**, %"struct.__gnu_cxx::_Hashtable_node<const llvm::Constant*>"**, %"struct.__gnu_cxx::_Hashtable_node<const llvm::Constant*>"** } - %"struct.std::_Vector_alloc_base<__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >*,std::allocator<int>, true>" = type { %"struct.__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >"**, %"struct.__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >"**, %"struct.__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >"** } - %"struct.std::_Vector_alloc_base<const llvm::PassInfo*,std::allocator<const llvm::PassInfo*>, true>" = type { %"struct.llvm::PassInfo"**, %"struct.llvm::PassInfo"**, %"struct.llvm::PassInfo"** } - %"struct.std::_Vector_alloc_base<const llvm::TargetRegClassInfo*,std::allocator<const llvm::TargetRegClassInfo*>, true>" = type { %"struct.llvm::TargetFrameInfo"**, %"struct.llvm::TargetFrameInfo"**, %"struct.llvm::TargetFrameInfo"** } - %"struct.std::_Vector_alloc_base<llvm::AbstractTypeUser*,std::allocator<llvm::AbstractTypeUser*>, true>" = type { %"struct.llvm::AbstractTypeUser"**, %"struct.llvm::AbstractTypeUser"**, %"struct.llvm::AbstractTypeUser"** } - %"struct.std::_Vector_alloc_base<llvm::MachineInstr*,std::allocator<llvm::MachineInstr*>, true>" = type { %"struct.llvm::MachineInstr"**, %"struct.llvm::MachineInstr"**, %"struct.llvm::MachineInstr"** } - %"struct.std::_Vector_alloc_base<llvm::MachineOperand,std::allocator<llvm::MachineOperand>, true>" = type { %"struct.llvm::MachineOperand"*, %"struct.llvm::MachineOperand"*, %"struct.llvm::MachineOperand"* } - %"struct.std::_Vector_alloc_base<llvm::PATypeHandle,std::allocator<llvm::PATypeHandle>, true>" = type { %"struct.llvm::PATypeHandle"*, %"struct.llvm::PATypeHandle"*, %"struct.llvm::PATypeHandle"* } - %"struct.std::_Vector_alloc_base<llvm::Use,std::allocator<llvm::Use>, true>" = type { %"struct.llvm::Use"*, %"struct.llvm::Use"*, %"struct.llvm::Use"* } - %"struct.std::_Vector_alloc_base<std::pair<const llvm::PassInfo*, llvm::Pass*>,std::allocator<std::pair<const llvm::PassInfo*, llvm::Pass*> >, true>" = type { %"struct.std::pair<const llvm::PassInfo*,llvm::Pass*>"*, %"struct.std::pair<const llvm::PassInfo*,llvm::Pass*>"*, %"struct.std::pair<const llvm::PassInfo*,llvm::Pass*>"* } - %"struct.std::_Vector_base<__gnu_cxx::_Hashtable_node<const llvm::Constant*>*,std::allocator<const llvm::Constant*> >" = type { %"struct.std::_Vector_alloc_base<__gnu_cxx::_Hashtable_node<const llvm::Constant*>*,std::allocator<const llvm::Constant*>, true>" } - %"struct.std::_Vector_base<__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >*,std::allocator<int> >" = type { %"struct.std::_Vector_alloc_base<__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >*,std::allocator<int>, true>" } - %"struct.std::_Vector_base<const llvm::PassInfo*,std::allocator<const llvm::PassInfo*> >" = type { %"struct.std::_Vector_alloc_base<const llvm::PassInfo*,std::allocator<const llvm::PassInfo*>, true>" } - %"struct.std::_Vector_base<const llvm::TargetRegClassInfo*,std::allocator<const llvm::TargetRegClassInfo*> >" = type { %"struct.std::_Vector_alloc_base<const llvm::TargetRegClassInfo*,std::allocator<const llvm::TargetRegClassInfo*>, true>" } - %"struct.std::_Vector_base<llvm::AbstractTypeUser*,std::allocator<llvm::AbstractTypeUser*> >" = type { %"struct.std::_Vector_alloc_base<llvm::AbstractTypeUser*,std::allocator<llvm::AbstractTypeUser*>, true>" } - %"struct.std::_Vector_base<llvm::MachineInstr*,std::allocator<llvm::MachineInstr*> >" = type { %"struct.std::_Vector_alloc_base<llvm::MachineInstr*,std::allocator<llvm::MachineInstr*>, true>" } - %"struct.std::_Vector_base<llvm::MachineOperand,std::allocator<llvm::MachineOperand> >" = type { %"struct.std::_Vector_alloc_base<llvm::MachineOperand,std::allocator<llvm::MachineOperand>, true>" } - %"struct.std::_Vector_base<llvm::PATypeHandle,std::allocator<llvm::PATypeHandle> >" = type { %"struct.std::_Vector_alloc_base<llvm::PATypeHandle,std::allocator<llvm::PATypeHandle>, true>" } - %"struct.std::_Vector_base<llvm::Use,std::allocator<llvm::Use> >" = type { %"struct.std::_Vector_alloc_base<llvm::Use,std::allocator<llvm::Use>, true>" } - %"struct.std::_Vector_base<std::pair<const llvm::PassInfo*, llvm::Pass*>,std::allocator<std::pair<const llvm::PassInfo*, llvm::Pass*> > >" = type { %"struct.std::_Vector_alloc_base<std::pair<const llvm::PassInfo*, llvm::Pass*>,std::allocator<std::pair<const llvm::PassInfo*, llvm::Pass*> >, true>" } - %"struct.std::basic_string<char,std::char_traits<char>,std::allocator<char> >" = type { %"struct.std::basic_string<char,std::char_traits<char>,std::allocator<char> >::_Alloc_hider" } - %"struct.std::basic_string<char,std::char_traits<char>,std::allocator<char> >::_Alloc_hider" = type { i8* } - %"struct.std::pair<const llvm::PassInfo*,llvm::Pass*>" = type { %"struct.llvm::PassInfo"*, %"struct.llvm::Pass"* } - %"struct.std::pair<const llvm::Value* const,int>" = type { %"struct.llvm::Value"*, i32 } - %"struct.std::type_info" = type { i32 (...)**, i8* } - %"struct.std::vector<__gnu_cxx::_Hashtable_node<const llvm::Constant*>*,std::allocator<const llvm::Constant*> >" = type { %"struct.std::_Vector_base<__gnu_cxx::_Hashtable_node<const llvm::Constant*>*,std::allocator<const llvm::Constant*> >" } - %"struct.std::vector<__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >*,std::allocator<int> >" = type { %"struct.std::_Vector_base<__gnu_cxx::_Hashtable_node<std::pair<const llvm::Value* const, int> >*,std::allocator<int> >" } - %"struct.std::vector<const llvm::PassInfo*,std::allocator<const llvm::PassInfo*> >" = type { %"struct.std::_Vector_base<const llvm::PassInfo*,std::allocator<const llvm::PassInfo*> >" } - %"struct.std::vector<const llvm::TargetRegClassInfo*,std::allocator<const llvm::TargetRegClassInfo*> >" = type { %"struct.std::_Vector_base<const llvm::TargetRegClassInfo*,std::allocator<const llvm::TargetRegClassInfo*> >" } - %"struct.std::vector<llvm::AbstractTypeUser*,std::allocator<llvm::AbstractTypeUser*> >" = type { %"struct.std::_Vector_base<llvm::AbstractTypeUser*,std::allocator<llvm::AbstractTypeUser*> >" } - %"struct.std::vector<llvm::MachineInstr*,std::allocator<llvm::MachineInstr*> >" = type { %"struct.std::_Vector_base<llvm::MachineInstr*,std::allocator<llvm::MachineInstr*> >" } - %"struct.std::vector<llvm::MachineOperand,std::allocator<llvm::MachineOperand> >" = type { %"struct.std::_Vector_base<llvm::MachineOperand,std::allocator<llvm::MachineOperand> >" } - %"struct.std::vector<llvm::PATypeHandle,std::allocator<llvm::PATypeHandle> >" = type { %"struct.std::_Vector_base<llvm::PATypeHandle,std::allocator<llvm::PATypeHandle> >" } - %"struct.std::vector<llvm::Use,std::allocator<llvm::Use> >" = type { %"struct.std::_Vector_base<llvm::Use,std::allocator<llvm::Use> >" } - %"struct.std::vector<std::pair<const llvm::PassInfo*, llvm::Pass*>,std::allocator<std::pair<const llvm::PassInfo*, llvm::Pass*> > >" = type { %"struct.std::_Vector_base<std::pair<const llvm::PassInfo*, llvm::Pass*>,std::allocator<std::pair<const llvm::PassInfo*, llvm::Pass*> > >" } - %"union.llvm::MachineOperand::._65" = type { %"struct.std::basic_string<char,std::char_traits<char>,std::allocator<char> >"* } - -declare void @_Znwj() - -declare void @_ZN4llvm12MachineInstrC1Esjbb() - -declare void @_ZNSt6vectorIPN4llvm12MachineInstrESaIS2_EE9push_backERKS2_() - -declare void @_ZNK4llvm8Function15getFunctionTypeEv() - -declare void @_ZNK4llvm19MachineInstrBuilder7addMRegEiNS_14MachineOperand7UseTypeE() - -declare void @_ZNK4llvm19MachineInstrBuilder7addSImmEi() - -define void @_ZN4llvm11_GLOBAL__N_22InsertPrologEpilogCode20runOnMachineFunctionERNS_15MachineFunctionE(%"struct.llvm::MachineFunction"* %F) { -entry: - %tmp.8.i = invoke %"struct.llvm::TargetFrameInfo"* null( %"struct.llvm::TargetMachine"* null ) - to label %invoke_cont.0.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetFrameInfo"*> [#uses=0] - -invoke_catch.0.i: ; preds = %invoke_cont.49.i, %invoke_cont.48.i, %invoke_cont.47.i, %invoke_cont.i53.i, %no_exit.i, %invoke_cont.44.i, %invoke_cont.43.i, %invoke_cont.42.i, %invoke_cont.41.i, %invoke_cont.40.i, %invoke_cont.39.i, %invoke_cont.38.i, %invoke_cont.37.i, %then.2.i, %invoke_cont.35.i, %invoke_cont.34.i, %then.1.i, %endif.0.i, %invoke_cont.9.i, %invoke_cont.8.i, %invoke_cont.7.i, %invoke_cont.i.i, %then.0.i, %invoke_cont.4.i, %invoke_cont.3.i, %invoke_cont.2.i, %invoke_cont.1.i, %endif.0.i.i, %tmp.7.i.noexc.i, %invoke_cont.0.i, %entry - ret void - -invoke_cont.0.i: ; preds = %entry - %tmp.7.i1.i = invoke %"struct.llvm::TargetFrameInfo"* null( %"struct.llvm::TargetMachine"* null ) - to label %tmp.7.i.noexc.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetFrameInfo"*> [#uses=2] - -tmp.7.i.noexc.i: ; preds = %invoke_cont.0.i - %tmp.17.i2.i = invoke i32 null( %"struct.llvm::TargetFrameInfo"* %tmp.7.i1.i ) - to label %endif.0.i.i unwind label %invoke_catch.0.i ; <i32> [#uses=0] - -endif.0.i.i: ; preds = %tmp.7.i.noexc.i - %tmp.38.i4.i = invoke i32 null( %"struct.llvm::TargetFrameInfo"* %tmp.7.i1.i ) - to label %tmp.38.i.noexc.i unwind label %invoke_catch.0.i ; <i32> [#uses=0] - -tmp.38.i.noexc.i: ; preds = %endif.0.i.i - br i1 false, label %invoke_cont.1.i, label %then.1.i.i - -then.1.i.i: ; preds = %tmp.38.i.noexc.i - ret void - -invoke_cont.1.i: ; preds = %tmp.38.i.noexc.i - %tmp.21.i = invoke %"struct.llvm::TargetRegInfo"* null( %"struct.llvm::TargetMachine"* null ) - to label %invoke_cont.2.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetRegInfo"*> [#uses=1] - -invoke_cont.2.i: ; preds = %invoke_cont.1.i - %tmp.28.i = invoke i32 null( %"struct.llvm::TargetRegInfo"* %tmp.21.i ) - to label %invoke_cont.3.i unwind label %invoke_catch.0.i ; <i32> [#uses=0] - -invoke_cont.3.i: ; preds = %invoke_cont.2.i - %tmp.36.i = invoke %"struct.llvm::TargetInstrInfo"* null( %"struct.llvm::TargetMachine"* null ) - to label %invoke_cont.4.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetInstrInfo"*> [#uses=1] - -invoke_cont.4.i: ; preds = %invoke_cont.3.i - %tmp.43.i = invoke i1 null( %"struct.llvm::TargetInstrInfo"* %tmp.36.i, i16 383, i64 0 ) - to label %invoke_cont.5.i unwind label %invoke_catch.0.i ; <i1> [#uses=1] - -invoke_cont.5.i: ; preds = %invoke_cont.4.i - br i1 %tmp.43.i, label %then.0.i, label %else.i - -then.0.i: ; preds = %invoke_cont.5.i - invoke void @_Znwj( ) - to label %tmp.0.i.noexc.i unwind label %invoke_catch.0.i - -tmp.0.i.noexc.i: ; preds = %then.0.i - invoke void @_ZN4llvm12MachineInstrC1Esjbb( ) - to label %invoke_cont.i.i unwind label %cond_true.i.i - -cond_true.i.i: ; preds = %tmp.0.i.noexc.i - ret void - -invoke_cont.i.i: ; preds = %tmp.0.i.noexc.i - invoke void @_ZNK4llvm19MachineInstrBuilder7addMRegEiNS_14MachineOperand7UseTypeE( ) - to label %invoke_cont.7.i unwind label %invoke_catch.0.i - -invoke_cont.7.i: ; preds = %invoke_cont.i.i - invoke void @_ZNK4llvm19MachineInstrBuilder7addSImmEi( ) - to label %invoke_cont.8.i unwind label %invoke_catch.0.i - -invoke_cont.8.i: ; preds = %invoke_cont.7.i - invoke void @_ZNK4llvm19MachineInstrBuilder7addMRegEiNS_14MachineOperand7UseTypeE( ) - to label %invoke_cont.9.i unwind label %invoke_catch.0.i - -invoke_cont.9.i: ; preds = %invoke_cont.8.i - invoke void @_ZNSt6vectorIPN4llvm12MachineInstrESaIS2_EE9push_backERKS2_( ) - to label %endif.0.i unwind label %invoke_catch.0.i - -else.i: ; preds = %invoke_cont.5.i - ret void - -endif.0.i: ; preds = %invoke_cont.9.i - invoke void @_ZNK4llvm8Function15getFunctionTypeEv( ) - to label %invoke_cont.33.i unwind label %invoke_catch.0.i - -invoke_cont.33.i: ; preds = %endif.0.i - br i1 false, label %then.1.i, label %endif.1.i - -then.1.i: ; preds = %invoke_cont.33.i - invoke void @_ZNK4llvm8Function15getFunctionTypeEv( ) - to label %invoke_cont.34.i unwind label %invoke_catch.0.i - -invoke_cont.34.i: ; preds = %then.1.i - %tmp.121.i = invoke %"struct.llvm::TargetRegInfo"* null( %"struct.llvm::TargetMachine"* null ) - to label %invoke_cont.35.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetRegInfo"*> [#uses=1] - -invoke_cont.35.i: ; preds = %invoke_cont.34.i - %tmp.128.i = invoke i32 null( %"struct.llvm::TargetRegInfo"* %tmp.121.i ) - to label %invoke_cont.36.i unwind label %invoke_catch.0.i ; <i32> [#uses=0] - -invoke_cont.36.i: ; preds = %invoke_cont.35.i - br i1 false, label %then.2.i, label %endif.1.i - -then.2.i: ; preds = %invoke_cont.36.i - %tmp.140.i = invoke %"struct.llvm::TargetRegInfo"* null( %"struct.llvm::TargetMachine"* null ) - to label %invoke_cont.37.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetRegInfo"*> [#uses=0] - -invoke_cont.37.i: ; preds = %then.2.i - %tmp.148.i = invoke %"struct.llvm::TargetRegInfo"* null( %"struct.llvm::TargetMachine"* null ) - to label %invoke_cont.38.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetRegInfo"*> [#uses=1] - -invoke_cont.38.i: ; preds = %invoke_cont.37.i - %tmp.155.i = invoke i32 null( %"struct.llvm::TargetRegInfo"* %tmp.148.i, %"struct.llvm::Type"* null, i1 false ) - to label %invoke_cont.39.i unwind label %invoke_catch.0.i ; <i32> [#uses=0] - -invoke_cont.39.i: ; preds = %invoke_cont.38.i - %tmp.163.i = invoke %"struct.llvm::TargetFrameInfo"* null( %"struct.llvm::TargetMachine"* null ) - to label %invoke_cont.40.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetFrameInfo"*> [#uses=1] - -invoke_cont.40.i: ; preds = %invoke_cont.39.i - %tmp.170.i = invoke i32 null( %"struct.llvm::TargetFrameInfo"* %tmp.163.i ) - to label %invoke_cont.41.i unwind label %invoke_catch.0.i ; <i32> [#uses=0] - -invoke_cont.41.i: ; preds = %invoke_cont.40.i - %tmp.177.i = invoke %"struct.llvm::TargetFrameInfo"* null( %"struct.llvm::TargetMachine"* null ) - to label %invoke_cont.42.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetFrameInfo"*> [#uses=1] - -invoke_cont.42.i: ; preds = %invoke_cont.41.i - %tmp.184.i = invoke i32 null( %"struct.llvm::TargetFrameInfo"* %tmp.177.i ) - to label %invoke_cont.43.i unwind label %invoke_catch.0.i ; <i32> [#uses=1] - -invoke_cont.43.i: ; preds = %invoke_cont.42.i - %tmp.191.i = invoke %"struct.llvm::TargetFrameInfo"* null( %"struct.llvm::TargetMachine"* null ) - to label %invoke_cont.44.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetFrameInfo"*> [#uses=1] - -invoke_cont.44.i: ; preds = %invoke_cont.43.i - %tmp.198.i = invoke i32 null( %"struct.llvm::TargetFrameInfo"* %tmp.191.i, %"struct.llvm::MachineFunction"* %F, i1* null ) - to label %invoke_cont.45.i unwind label %invoke_catch.0.i ; <i32> [#uses=0] - -invoke_cont.45.i: ; preds = %invoke_cont.44.i - br i1 false, label %no_exit.i, label %endif.1.i - -no_exit.i: ; preds = %invoke_cont.50.i, %invoke_cont.45.i - %nextArgOffset.0.i.1 = phi i32 [ %tmp.221.i, %invoke_cont.50.i ], [ 0, %invoke_cont.45.i ] ; <i32> [#uses=1] - invoke void @_Znwj( ) - to label %tmp.0.i.noexc55.i unwind label %invoke_catch.0.i - -tmp.0.i.noexc55.i: ; preds = %no_exit.i - invoke void @_ZN4llvm12MachineInstrC1Esjbb( ) - to label %invoke_cont.i53.i unwind label %cond_true.i52.i - -cond_true.i52.i: ; preds = %tmp.0.i.noexc55.i - ret void - -invoke_cont.i53.i: ; preds = %tmp.0.i.noexc55.i - invoke void @_ZNK4llvm19MachineInstrBuilder7addMRegEiNS_14MachineOperand7UseTypeE( ) - to label %invoke_cont.47.i unwind label %invoke_catch.0.i - -invoke_cont.47.i: ; preds = %invoke_cont.i53.i - invoke void @_ZNK4llvm19MachineInstrBuilder7addMRegEiNS_14MachineOperand7UseTypeE( ) - to label %invoke_cont.48.i unwind label %invoke_catch.0.i - -invoke_cont.48.i: ; preds = %invoke_cont.47.i - invoke void @_ZNK4llvm19MachineInstrBuilder7addSImmEi( ) - to label %invoke_cont.49.i unwind label %invoke_catch.0.i - -invoke_cont.49.i: ; preds = %invoke_cont.48.i - invoke void @_ZNSt6vectorIPN4llvm12MachineInstrESaIS2_EE9push_backERKS2_( ) - to label %invoke_cont.50.i unwind label %invoke_catch.0.i - -invoke_cont.50.i: ; preds = %invoke_cont.49.i - %tmp.221.i = add i32 %nextArgOffset.0.i.1, %tmp.184.i ; <i32> [#uses=1] - br i1 false, label %no_exit.i, label %endif.1.i - -endif.1.i: ; preds = %invoke_cont.50.i, %invoke_cont.45.i, %invoke_cont.36.i, %invoke_cont.33.i - ret void -} diff --git a/llvm/test/Transforms/IndVarsSimplify/2004-04-07-ScalarEvolutionCrash.ll b/llvm/test/Transforms/IndVarsSimplify/2004-04-07-ScalarEvolutionCrash.ll deleted file mode 100644 index b4eb3db1909..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2004-04-07-ScalarEvolutionCrash.ll +++ /dev/null @@ -1,27 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output - -define void @.outPlank_21() { -entry: - br i1 false, label %loopexit.0, label %no_exit.0 - -no_exit.0: ; preds = %entry - ret void - -loopexit.0: ; preds = %entry - br i1 false, label %no_exit.1, label %loopexit.1 - -no_exit.1: ; preds = %loopexit.2, %loopexit.0 - %i.0.0 = phi i32 [ %inc, %loopexit.2 ], [ 0, %loopexit.0 ] ; <i32> [#uses=1] - br i1 false, label %loopexit.2, label %no_exit.2 - -no_exit.2: ; preds = %no_exit.1 - ret void - -loopexit.2: ; preds = %no_exit.1 - %inc = add i32 %i.0.0, 1 ; <i32> [#uses=1] - br i1 false, label %no_exit.1, label %loopexit.1 - -loopexit.1: ; preds = %loopexit.2, %loopexit.0 - ret void -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2005-02-11-InvokeCrash.ll b/llvm/test/Transforms/IndVarsSimplify/2005-02-11-InvokeCrash.ll deleted file mode 100644 index afee7e18918..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2005-02-11-InvokeCrash.ll +++ /dev/null @@ -1,23 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output - -define void @_ZN5ArrayISt7complexIdEEC2ERK10dim_vector() { -entry: - %tmp.7 = invoke i32 @_ZN5ArrayISt7complexIdEE8get_sizeERK10dim_vector( ) - to label %invoke_cont.0 unwind label %cond_true.1 ; <i32> [#uses=2] - -cond_true.1: ; preds = %entry - unwind - -invoke_cont.0: ; preds = %entry - %tmp.4.i = bitcast i32 %tmp.7 to i32 ; <i32> [#uses=0] - %tmp.14.0.i5 = add i32 %tmp.7, -1 ; <i32> [#uses=1] - br label %no_exit.i - -no_exit.i: ; preds = %no_exit.i, %invoke_cont.0 - %tmp.14.0.i.0 = phi i32 [ %tmp.14.0.i, %no_exit.i ], [ %tmp.14.0.i5, %invoke_cont.0 ] ; <i32> [#uses=1] - %tmp.14.0.i = add i32 %tmp.14.0.i.0, -1 ; <i32> [#uses=1] - br label %no_exit.i -} - -declare i32 @_ZN5ArrayISt7complexIdEE8get_sizeERK10dim_vector() - diff --git a/llvm/test/Transforms/IndVarsSimplify/2005-02-17-TruncateExprCrash.ll b/llvm/test/Transforms/IndVarsSimplify/2005-02-17-TruncateExprCrash.ll deleted file mode 100644 index a1beec64689..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2005-02-17-TruncateExprCrash.ll +++ /dev/null @@ -1,61 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output - -declare void @q_atomic_increment() - -declare void @_Z9qt_assertPKcS0_i() - -define void @_ZN13QMetaResourceC1EPKh() { -entry: - invoke void @_Z9qt_assertPKcS0_i( ) - to label %endif.1 unwind label %then.i.i551 - -then.i.i551: ; preds = %entry - ret void - -endif.1: ; preds = %entry - br i1 false, label %then.2, label %then.i.i - -then.2: ; preds = %endif.1 - invoke void @q_atomic_increment( ) - to label %loopentry.0 unwind label %invoke_catch.6 - -invoke_catch.6: ; preds = %then.2 - ret void - -loopentry.0: ; preds = %then.2 - br i1 false, label %shortcirc_next.i, label %endif.3 - -endif.3: ; preds = %loopentry.0 - ret void - -shortcirc_next.i: ; preds = %loopentry.0 - br i1 false, label %_ZNK7QString2atEi.exit, label %then.i - -then.i: ; preds = %shortcirc_next.i - ret void - -_ZNK7QString2atEi.exit: ; preds = %shortcirc_next.i - br i1 false, label %endif.4, label %then.4 - -then.4: ; preds = %_ZNK7QString2atEi.exit - ret void - -endif.4: ; preds = %_ZNK7QString2atEi.exit - %tmp.115 = load i8* null ; <i8> [#uses=1] - br i1 false, label %loopexit.1, label %no_exit.0 - -no_exit.0: ; preds = %no_exit.0, %endif.4 - %bytes_in_len.4.5 = phi i8 [ %dec, %no_exit.0 ], [ %tmp.115, %endif.4 ] ; <i8> [#uses=1] - %off.5.5.in = phi i32 [ %off.5.5, %no_exit.0 ], [ 0, %endif.4 ] ; <i32> [#uses=1] - %off.5.5 = add i32 %off.5.5.in, 1 ; <i32> [#uses=2] - %dec = add i8 %bytes_in_len.4.5, -1 ; <i8> [#uses=2] - %tmp.123631 = icmp eq i8 %dec, 0 ; <i1> [#uses=1] - br i1 %tmp.123631, label %loopexit.1, label %no_exit.0 - -loopexit.1: ; preds = %no_exit.0, %endif.4 - %off.5.in.6 = phi i32 [ 0, %endif.4 ], [ %off.5.5, %no_exit.0 ] ; <i32> [#uses=0] - ret void - -then.i.i: ; preds = %endif.1 - ret void -} diff --git a/llvm/test/Transforms/IndVarsSimplify/2005-02-26-ExitValueCompute.ll b/llvm/test/Transforms/IndVarsSimplify/2005-02-26-ExitValueCompute.ll deleted file mode 100644 index 853d5ad5014..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2005-02-26-ExitValueCompute.ll +++ /dev/null @@ -1,20 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | \ -; RUN: grep {ret i32 152} - -define i32 @main() { -entry: - br label %no_exit - -no_exit: ; preds = %no_exit, %entry - %i.1.0 = phi i32 [ 0, %entry ], [ %inc, %no_exit ] ; <i32> [#uses=2] - %tmp.4 = icmp sgt i32 %i.1.0, 50 ; <i1> [#uses=1] - %tmp.7 = select i1 %tmp.4, i32 100, i32 0 ; <i32> [#uses=1] - %i.0 = add i32 %i.1.0, 1 ; <i32> [#uses=1] - %inc = add i32 %i.0, %tmp.7 ; <i32> [#uses=3] - %tmp.1 = icmp slt i32 %inc, 100 ; <i1> [#uses=1] - br i1 %tmp.1, label %no_exit, label %loopexit - -loopexit: ; preds = %no_exit - ret i32 %inc -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2005-06-15-InstMoveCrash.ll b/llvm/test/Transforms/IndVarsSimplify/2005-06-15-InstMoveCrash.ll deleted file mode 100644 index ba4db9f9599..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2005-06-15-InstMoveCrash.ll +++ /dev/null @@ -1,37 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output - -define void @main() { -entry: - br label %no_exit.1.outer - -no_exit.1.outer: ; preds = %endif.0, %entry - %l_14237116.1.0.ph = phi i8 [ -46, %entry ], [ 0, %endif.0 ] ; <i8> [#uses=1] - %i.0.0.0.ph = phi i32 [ 0, %entry ], [ %inc.1, %endif.0 ] ; <i32> [#uses=1] - br label %no_exit.1 - -no_exit.1: ; preds = %_Z13func_47880058cc.exit, %no_exit.1.outer - br i1 false, label %_Z13func_47880058cc.exit, label %then.i - -then.i: ; preds = %no_exit.1 - br label %_Z13func_47880058cc.exit - -_Z13func_47880058cc.exit: ; preds = %then.i, %no_exit.1 - br i1 false, label %then.0, label %no_exit.1 - -then.0: ; preds = %_Z13func_47880058cc.exit - %tmp.6 = bitcast i8 %l_14237116.1.0.ph to i8 ; <i8> [#uses=1] - br i1 false, label %endif.0, label %then.1 - -then.1: ; preds = %then.0 - br label %endif.0 - -endif.0: ; preds = %then.1, %then.0 - %inc.1 = add i32 %i.0.0.0.ph, 1 ; <i32> [#uses=2] - %tmp.2 = icmp sgt i32 %inc.1, 99 ; <i1> [#uses=1] - br i1 %tmp.2, label %loopexit.0, label %no_exit.1.outer - -loopexit.0: ; preds = %endif.0 - %tmp.28 = zext i8 %tmp.6 to i32 ; <i32> [#uses=0] - ret void -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2005-11-18-Crash.ll b/llvm/test/Transforms/IndVarsSimplify/2005-11-18-Crash.ll deleted file mode 100644 index 5ee8cea74a3..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2005-11-18-Crash.ll +++ /dev/null @@ -1,17 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output - -@fixtab = external global [29 x [29 x [2 x i32]]] ; <[29 x [29 x [2 x i32]]]*> [#uses=1] - -define void @init_optabs() { -entry: - br label %no_exit.0 - -no_exit.0: ; preds = %no_exit.0, %entry - %p.0.0 = phi i32* [ getelementptr ([29 x [29 x [2 x i32]]]* @fixtab, i32 0, i32 0, i32 0, i32 0), %entry ], [ %inc.0, %no_exit.0 ] ; <i32*> [#uses=1] - %inc.0 = getelementptr i32* %p.0.0, i32 1 ; <i32*> [#uses=1] - br i1 false, label %no_exit.0, label %no_exit.1 - -no_exit.1: ; preds = %no_exit.0 - ret void -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2006-03-31-NegativeStride.ll b/llvm/test/Transforms/IndVarsSimplify/2006-03-31-NegativeStride.ll deleted file mode 100644 index 32abee9d1cc..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2006-03-31-NegativeStride.ll +++ /dev/null @@ -1,22 +0,0 @@ -; PR726 -; RUN: llvm-as < %s | opt -indvars | llvm-dis | \ -; RUN: grep {ret i32 27} - -; Make sure to compute the right exit value based on negative strides. - -define i32 @test() { -entry: - br label %cond_true - -cond_true: ; preds = %cond_true, %entry - %a.0.0 = phi i32 [ 10, %entry ], [ %tmp4, %cond_true ] ; <i32> [#uses=2] - %b.0.0 = phi i32 [ 0, %entry ], [ %tmp2, %cond_true ] ; <i32> [#uses=1] - %tmp2 = add i32 %b.0.0, %a.0.0 ; <i32> [#uses=2] - %tmp4 = add i32 %a.0.0, -1 ; <i32> [#uses=2] - %tmp = icmp sgt i32 %tmp4, 7 ; <i1> [#uses=1] - br i1 %tmp, label %cond_true, label %bb7 - -bb7: ; preds = %cond_true - ret i32 %tmp2 -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2006-06-16-Indvar-LCSSA-Crash.ll b/llvm/test/Transforms/IndVarsSimplify/2006-06-16-Indvar-LCSSA-Crash.ll deleted file mode 100644 index 986831b9a6e..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2006-06-16-Indvar-LCSSA-Crash.ll +++ /dev/null @@ -1,22 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output - -define void @get_block() { -endif.0: - br label %no_exit.30 - -no_exit.30: ; preds = %no_exit.30, %endif.0 - %x.12.0 = phi i32 [ %inc.28, %no_exit.30 ], [ -2, %endif.0 ] ; <i32> [#uses=1] - %tmp.583 = load i16* null ; <i16> [#uses=1] - %tmp.584 = zext i16 %tmp.583 to i32 ; <i32> [#uses=1] - %tmp.588 = load i32* null ; <i32> [#uses=1] - %tmp.589 = mul i32 %tmp.584, %tmp.588 ; <i32> [#uses=1] - %tmp.591 = add i32 %tmp.589, 0 ; <i32> [#uses=1] - %inc.28 = add i32 %x.12.0, 1 ; <i32> [#uses=2] - %tmp.565 = icmp sgt i32 %inc.28, 3 ; <i1> [#uses=1] - br i1 %tmp.565, label %loopexit.30, label %no_exit.30 - -loopexit.30: ; preds = %no_exit.30 - %tmp.591.lcssa = phi i32 [ %tmp.591, %no_exit.30 ] ; <i32> [#uses=0] - ret void -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2006-09-20-LFTR-Crash.ll b/llvm/test/Transforms/IndVarsSimplify/2006-09-20-LFTR-Crash.ll deleted file mode 100644 index 6a478ab5f5f..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2006-09-20-LFTR-Crash.ll +++ /dev/null @@ -1,44 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output -; ModuleID = '2006-09-20-LFTR-Crash.ll' - %struct.p7prior_s = type { i32, i32, [200 x float], [200 x [7 x float]], i32, [200 x float], [200 x [20 x float]], i32, [200 x float], [200 x [20 x float]] } - -define void @P7DefaultPrior() { -entry: - switch i32 0, label %UnifiedReturnBlock [ - i32 2, label %bb160 - i32 3, label %bb - ] - -bb: ; preds = %entry - br i1 false, label %cond_true.i, label %sre_malloc.exit - -cond_true.i: ; preds = %bb - unreachable - -sre_malloc.exit: ; preds = %bb - br label %cond_true - -cond_true: ; preds = %cond_true66, %cond_true, %sre_malloc.exit - %tmp59 = phi i32 [ 1, %sre_malloc.exit ], [ %phitmp, %cond_true66 ], [ %tmp59, %cond_true ] ; <i32> [#uses=2] - %indvar245.0.ph = phi i32 [ 0, %sre_malloc.exit ], [ %indvar.next246, %cond_true66 ], [ %indvar245.0.ph, %cond_true ] ; <i32> [#uses=2] - br i1 false, label %bb57, label %cond_true - -bb57: ; preds = %cond_true - %tmp65 = icmp sgt i32 0, %tmp59 ; <i1> [#uses=1] - %indvar.next246 = add i32 %indvar245.0.ph, 1 ; <i32> [#uses=2] - br i1 %tmp65, label %cond_true66, label %bb69 - -cond_true66: ; preds = %bb57 - %q.1.0 = bitcast i32 %indvar.next246 to i32 ; <i32> [#uses=1] - %phitmp = add i32 %q.1.0, 1 ; <i32> [#uses=1] - br label %cond_true - -bb69: ; preds = %bb57 - ret void - -bb160: ; preds = %entry - ret void - -UnifiedReturnBlock: ; preds = %entry - ret void -} diff --git a/llvm/test/Transforms/IndVarsSimplify/2006-12-10-BitCast.ll b/llvm/test/Transforms/IndVarsSimplify/2006-12-10-BitCast.ll deleted file mode 100644 index 903e81d3bf9..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2006-12-10-BitCast.ll +++ /dev/null @@ -1,33 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output -target datalayout = "e-p:32:32" -target triple = "i686-apple-darwin8" - %struct.vorbis_dsp_state = type { i32, %struct.vorbis_info*, float**, float**, i32, i32, i32, i32, i32, i32, i32, i32, i32, i64, i64, i64, i64, i64, i64, i8* } - %struct.vorbis_info = type { i32, i32, i32, i32, i32, i32, i32, i8* } - -define void @_ve_envelope_search() { -entry: - br i1 false, label %cond_true27, label %bb137 - -cond_true27: ; preds = %entry - br i1 false, label %cond_true52, label %bb80 - -cond_true52: ; preds = %cond_true27 - %tmp152.i = bitcast float 0.000000e+00 to i32 ; <i32> [#uses=1] - br label %cond_next182.i - -cond_next182.i: ; preds = %cond_next182.i, %cond_true52 - %decay.i.0 = phi i32 [ %tmp195.i.upgrd.1, %cond_next182.i ], [ %tmp152.i, %cond_true52 ] ; <i32> [#uses=1] - %tmp194.i53 = bitcast i32 %decay.i.0 to float ; <float> [#uses=1] - %tmp195.i = sub float %tmp194.i53, 8.000000e+00 ; <float> [#uses=1] - %tmp195.i.upgrd.1 = bitcast float %tmp195.i to i32 ; <i32> [#uses=1] - br i1 false, label %cond_next182.i, label %bb418.i.preheader - -bb418.i.preheader: ; preds = %cond_next182.i - ret void - -bb80: ; preds = %cond_true27 - ret void - -bb137: ; preds = %entry - ret void -} diff --git a/llvm/test/Transforms/IndVarsSimplify/2007-01-06-TripCount.ll b/llvm/test/Transforms/IndVarsSimplify/2007-01-06-TripCount.ll deleted file mode 100644 index dd151e84d00..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2007-01-06-TripCount.ll +++ /dev/null @@ -1,38 +0,0 @@ -; PR1015 -; RUN: llvm-as < %s | opt -indvars | llvm-dis | not grep {ret i32 0} - -target datalayout = "e-p:32:32" -target triple = "i686-apple-darwin8" -@foo = internal constant [5 x i8] c"\00abc\00" ; <[5 x i8]*> [#uses=1] -@str = internal constant [4 x i8] c"%d\0A\00" ; <[4 x i8]*> [#uses=1] - - -define i32 @test(i32 %J) { -entry: - br label %bb2 - -bb: ; preds = %cond_next, %cond_true - %tmp1 = add i32 %i.0, 1 ; <i32> [#uses=1] - br label %bb2 - -bb2: ; preds = %bb, %entry - %i.0 = phi i32 [ 0, %entry ], [ %tmp1, %bb ] ; <i32> [#uses=4] - %tmp = icmp eq i32 %i.0, 0 ; <i1> [#uses=1] - br i1 %tmp, label %cond_true, label %cond_next - -cond_true: ; preds = %bb2 - br label %bb - -cond_next: ; preds = %bb2 - %tmp2 = getelementptr [5 x i8]* @foo, i32 0, i32 %i.0 ; <i8*> [#uses=1] - %tmp3 = load i8* %tmp2 ; <i8> [#uses=1] - %tmp5 = icmp eq i8 %tmp3, 0 ; <i1> [#uses=1] - br i1 %tmp5, label %bb6, label %bb - -bb6: ; preds = %cond_next - br label %return - -return: ; preds = %bb6 - ret i32 %i.0 -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2007-01-08-X86-64-Pointer.ll b/llvm/test/Transforms/IndVarsSimplify/2007-01-08-X86-64-Pointer.ll deleted file mode 100644 index f1d018740a6..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2007-01-08-X86-64-Pointer.ll +++ /dev/null @@ -1,19 +0,0 @@ -; RUN: llvm-as < %s | llc -march=x86-64 | grep {(%rdi,%rax,8)} -; RUN: llvm-as < %s | llc -march=x86-64 | not grep {addq.*8} - -define void @foo(double* %y) { -entry: - br label %bb - -bb: - %i = phi i64 [ 0, %entry ], [ %k, %bb ] - %j = getelementptr double* %y, i64 %i - store double 0.000000e+00, double* %j - %k = add i64 %i, 1 - %n = icmp eq i64 %k, 0 - br i1 %n, label %return, label %bb - -return: - ret void -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/2007-06-06-DeleteDanglesPtr.ll b/llvm/test/Transforms/IndVarsSimplify/2007-06-06-DeleteDanglesPtr.ll deleted file mode 100644 index 363c98c493b..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2007-06-06-DeleteDanglesPtr.ll +++ /dev/null @@ -1,117 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output -; PR1487 - - %struct.AVClass = type { i8*, i8* (i8*)*, %struct.AVOption* } - %struct.AVCodec = type { i8*, i32, i32, i32, i32 (%struct.AVCodecContext*)*, i32 (%struct.AVCodecContext*, i8*, i32, i8*)*, i32 (%struct.AVCodecContext*)*, i32 (%struct.AVCodecContext*, i8*, i32*, i8*, i32)*, i32, %struct.AVCodec*, void (%struct.AVCodecContext*)*, %struct.AVCodecTag*, i32* } - %struct.AVCodecContext = type { %struct.AVClass*, i32, i32, i32, i32, i32, i8*, i32, %struct.AVCodecTag, i32, i32, i32, i32, i32, void (%struct.AVCodecContext*, %struct.AVFrame*, i32*, i32, i32, i32)*, i32, i32, i32, i32, i32, i32, i32, float, float, i32, i32, i32, i32, float, i32, i32, i32, %struct.AVCodec*, i8*, i32, i32, void (%struct.AVCodecContext*, i8*, i32, i32)*, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8*, [32 x i8], i32, i32, i32, i32, i32, i32, i32, float, i32, i32 (%struct.AVCodecContext*, %struct.AVFrame*)*, void (%struct.AVCodecContext*, %struct.AVFrame*)*, i32, i32, i32, i32, i8*, i8*, float, float, i32, %struct.RcOverride*, i32, i8*, i32, i32, i32, float, float, float, float, i32, float, float, float, float, float, i32, i32, i32, i32*, i32, i32, i32, i32, %struct.AVCodecTag, %struct.AVFrame*, i32, i32, [4 x i64], i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 (%struct.AVCodecContext*, i32*)*, i32, i32, i32, i32, i32, i32, i8*, i32, i32, i32, i32, i32, i32, i16*, i16*, i32, i32, i32, i32, %struct.AVPaletteControl*, i32, i32 (%struct.AVCodecContext*, %struct.AVFrame*)*, i32, i32, i32, i32, i32, i32, i32, i32 (%struct.AVCodecContext*, i32 (%struct.AVCodecContext*, i8*)*, i8**, i32*, i32)*, i8*, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, float, i32, i32, i32, i32, i32, i32, i32, i32, float, i32, i32, i32, i32, i32, i32, float, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i64 } - %struct.AVCodecTag = type { i32, i32 } - %struct.AVFrame = type { [4 x i8*], [4 x i32], [4 x i8*], i32, i32, i64, i32, i32, i32, i32, i32, i8*, i32, i8*, [2 x [2 x i16]*], i32*, i8, i8*, [4 x i64], i32, i32, i32, i32, i32, %struct.AVPanScan*, i32, i32, i16*, [2 x i8*] } - %struct.AVOption = type { i8*, i8*, i32, i32, double, double, double, i32, i8* } - %struct.AVPaletteControl = type { i32, [256 x i32] } - %struct.AVPanScan = type { i32, i32, i32, [3 x [2 x i16]] } - %struct.RcOverride = type { i32, i32, i32, float } - -define i32 @smc_decode_frame(%struct.AVCodecContext* %avctx, i8* %data, i32* %data_size, i8* %buf, i32 %buf_size) { -entry: - br i1 false, label %cond_next, label %cond_true - -cond_true: ; preds = %entry - ret i32 -1 - -cond_next: ; preds = %entry - br i1 false, label %bb.outer5.split.split.split.us, label %cond_true194.split - -bb.outer5.split.split.split.us: ; preds = %cond_next - br i1 false, label %cond_next188.us503.us, label %bb.us481 - -bb275.us493.us: ; preds = %cond_next188.us503.us, %cond_next188.us503.us - ret i32 0 - -cond_next188.us503.us: ; preds = %bb.outer5.split.split.split.us - switch i32 0, label %bb1401 [ - i32 0, label %cond_next202.bb215_crit_edge.split - i32 16, label %bb215 - i32 32, label %bb275.us493.us - i32 48, label %bb275.us493.us - i32 64, label %cond_next202.bb417_crit_edge.split - i32 80, label %bb417 - i32 96, label %cond_next202.bb615_crit_edge.split - i32 112, label %bb615 - i32 128, label %cond_next202.bb716_crit_edge.split - i32 144, label %bb716 - i32 160, label %cond_next202.bb882_crit_edge.split - i32 176, label %bb882 - i32 192, label %cond_next202.bb1062_crit_edge.split - i32 208, label %bb1062 - i32 224, label %bb1326.us.outer.outer - ] - -bb.us481: ; preds = %bb.outer5.split.split.split.us - ret i32 0 - -cond_true194.split: ; preds = %cond_next - ret i32 %buf_size - -cond_next202.bb1062_crit_edge.split: ; preds = %cond_next188.us503.us - ret i32 0 - -cond_next202.bb882_crit_edge.split: ; preds = %cond_next188.us503.us - ret i32 0 - -cond_next202.bb716_crit_edge.split: ; preds = %cond_next188.us503.us - ret i32 0 - -cond_next202.bb615_crit_edge.split: ; preds = %cond_next188.us503.us - ret i32 0 - -cond_next202.bb417_crit_edge.split: ; preds = %cond_next188.us503.us - ret i32 0 - -cond_next202.bb215_crit_edge.split: ; preds = %cond_next188.us503.us - ret i32 0 - -bb215: ; preds = %cond_next188.us503.us - ret i32 0 - -bb417: ; preds = %cond_next188.us503.us - ret i32 0 - -bb615: ; preds = %cond_next188.us503.us - ret i32 0 - -bb716: ; preds = %cond_next188.us503.us - ret i32 0 - -bb882: ; preds = %cond_next188.us503.us - ret i32 0 - -bb1062: ; preds = %cond_next188.us503.us - ret i32 0 - -bb1326.us: ; preds = %bb1326.us.outer.outer, %bb1347.loopexit.us, %bb1326.us - %pixel_y.162036.us.ph = phi i32 [ %tmp1352.us, %bb1347.loopexit.us ], [ 0, %bb1326.us.outer.outer ], [ %pixel_y.162036.us.ph, %bb1326.us ] ; <i32> [#uses=2] - %stream_ptr.142038.us.ph = phi i32 [ %tmp1339.us, %bb1347.loopexit.us ], [ %stream_ptr.142038.us.ph.ph, %bb1326.us.outer.outer ], [ %stream_ptr.142038.us.ph, %bb1326.us ] ; <i32> [#uses=2] - %pixel_x.232031.us = phi i32 [ %tmp1341.us, %bb1326.us ], [ 0, %bb1326.us.outer.outer ], [ 0, %bb1347.loopexit.us ] ; <i32> [#uses=3] - %block_ptr.222030.us = add i32 0, %pixel_x.232031.us ; <i32> [#uses=1] - %stream_ptr.132032.us = add i32 %pixel_x.232031.us, %stream_ptr.142038.us.ph ; <i32> [#uses=1] - %tmp1341.us = add i32 %pixel_x.232031.us, 1 ; <i32> [#uses=2] - %tmp1344.us = icmp slt i32 %tmp1341.us, 4 ; <i1> [#uses=1] - br i1 %tmp1344.us, label %bb1326.us, label %bb1347.loopexit.us - -bb1347.loopexit.us: ; preds = %bb1326.us - %tmp1339.us = add i32 %stream_ptr.132032.us, 1 ; <i32> [#uses=2] - %tmp1337.us = add i32 %block_ptr.222030.us, 1 ; <i32> [#uses=0] - %tmp1352.us = add i32 %pixel_y.162036.us.ph, 1 ; <i32> [#uses=2] - %tmp1355.us = icmp slt i32 %tmp1352.us, 4 ; <i1> [#uses=1] - br i1 %tmp1355.us, label %bb1326.us, label %bb1358 - -bb1358: ; preds = %bb1347.loopexit.us - br label %bb1326.us.outer.outer - -bb1326.us.outer.outer: ; preds = %bb1358, %cond_next188.us503.us - %stream_ptr.142038.us.ph.ph = phi i32 [ %tmp1339.us, %bb1358 ], [ 0, %cond_next188.us503.us ] ; <i32> [#uses=1] - br label %bb1326.us - -bb1401: ; preds = %cond_next188.us503.us - ret i32 0 -} diff --git a/llvm/test/Transforms/IndVarsSimplify/2007-11-23-BitcastCrash.ll b/llvm/test/Transforms/IndVarsSimplify/2007-11-23-BitcastCrash.ll deleted file mode 100644 index 555cadda6de..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2007-11-23-BitcastCrash.ll +++ /dev/null @@ -1,20 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output -; PR1814 -target datalayout = "e-p:32:32-f64:32:64-i64:32:64-f80:32:32" - -define void @FuncAt1938470480(i32, i32, i32, i32, i32, i32, i32, i32, i64, i64, i64, i64, i64, i64, i64, i64, i1, i1, i1, i1, i1, i1) { -EntryBlock: - br label %asmBlockAt738ab7f3 - -asmBlockAt738ab9b0: ; preds = %asmBlockAt738ab7f3 - %.lcssa6 = phi i64 [ %23, %asmBlockAt738ab7f3 ] ; <i64> [#uses=0] - ret void - -asmBlockAt738ab7f3: ; preds = %asmBlockAt738ab7f3, %EntryBlock - %ebp95 = phi i32 [ 128, %EntryBlock ], [ %24, %asmBlockAt738ab7f3 ] ; <i32> [#uses=2] - sub <4 x i16> zeroinitializer, zeroinitializer ; <<4 x i16>>:22 [#uses=1] - bitcast <4 x i16> %22 to i64 ; <i64>:23 [#uses=1] - add i32 %ebp95, -64 ; <i32>:24 [#uses=1] - icmp ult i32 %ebp95, 64 ; <i1>:25 [#uses=1] - br i1 %25, label %asmBlockAt738ab9b0, label %asmBlockAt738ab7f3 -} diff --git a/llvm/test/Transforms/IndVarsSimplify/2008-06-15-SCEVExpanderBug.ll b/llvm/test/Transforms/IndVarsSimplify/2008-06-15-SCEVExpanderBug.ll deleted file mode 100644 index aac8d978946..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2008-06-15-SCEVExpanderBug.ll +++ /dev/null @@ -1,17 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output -; PR2434 - -define fastcc void @regcppop() nounwind { -entry: - %tmp61 = add i32 0, -5 ; <i32> [#uses=1] - br label %bb - -bb: ; preds = %bb, %entry - %PL_savestack_ix.tmp.0 = phi i32 [ %tmp61, %entry ], [ %tmp127, %bb ] ; <i32> [#uses=2] - %indvar10 = phi i32 [ 0, %entry ], [ %indvar.next11, %bb ] ; <i32> [#uses=2] - %tmp13 = mul i32 %indvar10, -4 ; <i32> [#uses=0] - %tmp111 = add i32 %PL_savestack_ix.tmp.0, -3 ; <i32> [#uses=0] - %tmp127 = add i32 %PL_savestack_ix.tmp.0, -4 ; <i32> [#uses=1] - %indvar.next11 = add i32 %indvar10, 1 ; <i32> [#uses=1] - br label %bb -} diff --git a/llvm/test/Transforms/IndVarsSimplify/2008-09-02-IVType.ll b/llvm/test/Transforms/IndVarsSimplify/2008-09-02-IVType.ll deleted file mode 100644 index 8111cbe3a48..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2008-09-02-IVType.ll +++ /dev/null @@ -1,58 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep sext | count 1 -; ModuleID = '<stdin>' - - %struct.App1Marker = type <{ i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }> - %struct.ComponentInstanceRecord = type <{ [1 x i32] }> - %struct.DCPredictors = type { [5 x i16] } - %struct.DecodeTable = type { i16, i16, i16, i16, i8**, i8** } - %struct.ICMDataProcRecord = type <{ i16 (i8**, i32, i32)*, i32 }> - %struct.JPEGBitStream = type { i8*, i32, i32, i32, i32, i32, %struct.App1Marker*, i8*, i32, i16, i16, i32 } - %struct.JPEGGlobals = type { [2048 x i8], %struct.JPEGBitStream, i8*, i32, i32, %struct.ComponentInstanceRecord*, %struct.ComponentInstanceRecord*, i32, %struct.OpaqueQTMLMutex*, %struct.Rect, i32, i32, %struct.SharedGlobals, %struct.DCPredictors, i8, i8, void (i8*, i16**, i32, %struct.YUVGeneralParams*)*, %struct.YUVGeneralParams, i16, i16, i32, [5 x i16*], [5 x %struct.DecodeTable*], [5 x %struct.DecodeTable*], [5 x i8], [5 x i8], [4 x [65 x i16]], [4 x %struct.DecodeTable], [4 x %struct.DecodeTable], [4 x i8*], [4 x i8*], i16, i16, i32, i8**, i8**, i8**, i8**, i8**, i8**, i8**, i8**, i8**, i8**, [18 x i8], [18 x i8], [18 x i8], [18 x i8], i32, i32, i8**, i8**, i8, i8, i8, i8, i16, i16, %struct.App1Marker*, i8, i8, i8, i8, i32**, i8*, i16*, i8*, i16*, i8, [3 x i8], i32, [3 x i32], [3 x i32], [3 x i32], [3 x i32], [3 x i32], [3 x i16*], [3 x i16*], [3 x i8**], [3 x %struct.DecodeTable*], [3 x %struct.DecodeTable*], [3 x i32], i32, [3 x i16*], i32, i32, i32, [3 x i32], i8, i8, i8, i8, %struct.ICMDataProcRecord*, i32, i32, i8**, i8**, i8**, i8**, i32, i32, i8*, i32, i32, i16*, i16*, i8*, i32, i32, i32, i32, i32, i32, i32, [16 x <2 x i64>], [1280 x i8], i8 } - %struct.OpaqueQTMLMutex = type opaque - %struct.Rect = type { i16, i16, i16, i16 } - %struct.SharedDGlobals = type { %struct.DecodeTable, %struct.DecodeTable, %struct.DecodeTable, %struct.DecodeTable } - %struct.SharedEGlobals = type { i8**, i8**, i8**, i8** } - %struct.SharedGlobals = type { %struct.SharedEGlobals*, %struct.SharedDGlobals* } - %struct.YUVGeneralParams = type { i16*, i8*, i8*, i8*, i8*, i8*, void (i8*, i16**, i32, %struct.YUVGeneralParams*)*, i16, i16, i16, [6 x i8], void (i8*, i16**, i32, %struct.YUVGeneralParams*)*, i16, i16 } -@llvm.used = appending global [1 x i8*] [ i8* bitcast (i16 (%struct.JPEGGlobals*)* @ExtractBufferedBlocksIgnored to i8*) ], section "llvm.metadata" ; <[1 x i8*]*> [#uses=0] - -define i16 @ExtractBufferedBlocksIgnored(%struct.JPEGGlobals* %globp) signext nounwind { -entry: - %tmp4311 = getelementptr %struct.JPEGGlobals* %globp, i32 0, i32 70 ; <i32*> [#uses=1] - %tmp4412 = load i32* %tmp4311, align 16 ; <i32> [#uses=2] - %tmp4613 = icmp sgt i32 %tmp4412, 0 ; <i1> [#uses=1] - br i1 %tmp4613, label %bb, label %bb49 - -bb: ; preds = %bb28, %entry - %component.09 = phi i16 [ 0, %entry ], [ %tmp37, %bb28 ] ; <i16> [#uses=2] - %tmp12 = sext i16 %component.09 to i32 ; <i32> [#uses=2] - %tmp6 = getelementptr %struct.JPEGGlobals* %globp, i32 0, i32 77, i32 %tmp12 ; <i16**> [#uses=2] - %tmp7 = load i16** %tmp6, align 4 ; <i16*> [#uses=2] - %tmp235 = getelementptr %struct.JPEGGlobals* %globp, i32 0, i32 71, i32 %tmp12 ; <i32*> [#uses=1] - %tmp246 = load i32* %tmp235, align 4 ; <i32> [#uses=2] - %tmp267 = icmp sgt i32 %tmp246, 0 ; <i1> [#uses=1] - br i1 %tmp267, label %bb8, label %bb28 - -bb8: ; preds = %bb8, %bb - %indvar = phi i32 [ 0, %bb ], [ %indvar.next2, %bb8 ] ; <i32> [#uses=3] - %theDCTBufferIter.01.rec = shl i32 %indvar, 6 ; <i32> [#uses=1] - %tmp10.rec = add i32 %theDCTBufferIter.01.rec, 64 ; <i32> [#uses=1] - %tmp10 = getelementptr i16* %tmp7, i32 %tmp10.rec ; <i16*> [#uses=1] - %i.02 = trunc i32 %indvar to i16 ; <i16> [#uses=1] - %tmp13 = add i16 %i.02, 1 ; <i16> [#uses=1] - %phitmp = sext i16 %tmp13 to i32 ; <i32> [#uses=1] - %tmp26 = icmp slt i32 %phitmp, %tmp246 ; <i1> [#uses=1] - %indvar.next2 = add i32 %indvar, 1 ; <i32> [#uses=1] - br i1 %tmp26, label %bb8, label %bb28 - -bb28: ; preds = %bb8, %bb - %theDCTBufferIter.0.lcssa = phi i16* [ %tmp7, %bb ], [ %tmp10, %bb8 ] ; <i16*> [#uses=1] - store i16* %theDCTBufferIter.0.lcssa, i16** %tmp6, align 4 - %tmp37 = add i16 %component.09, 1 ; <i16> [#uses=2] - %phitmp15 = sext i16 %tmp37 to i32 ; <i32> [#uses=1] - %tmp46 = icmp slt i32 %phitmp15, 42 ; <i1> [#uses=1] - br i1 %tmp46, label %bb, label %bb49 - -bb49: ; preds = %bb28, %entry - ret i16 0 -} diff --git a/llvm/test/Transforms/IndVarsSimplify/2008-10-03-CouldNotCompute.ll b/llvm/test/Transforms/IndVarsSimplify/2008-10-03-CouldNotCompute.ll deleted file mode 100644 index c78188d4d22..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2008-10-03-CouldNotCompute.ll +++ /dev/null @@ -1,32 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -; PR2857 - -@foo = external global i32 ; <i32*> [#uses=1] - -define void @test(i32 %n, i32 %arg) { -entry: - br i1 false, label %bb.nph, label %return - -bb.nph: ; preds = %entry - %0 = load i32* @foo, align 4 ; <i32> [#uses=1] - %1 = sext i32 %0 to i64 ; <i64> [#uses=1] - br label %bb - -bb: ; preds = %bb, %bb.nph - %.in = phi i32 [ %2, %bb ], [ %n, %bb.nph ] ; <i32> [#uses=1] - %val.02 = phi i64 [ %5, %bb ], [ 0, %bb.nph ] ; <i64> [#uses=2] - %result.01 = phi i64 [ %4, %bb ], [ 0, %bb.nph ] ; <i64> [#uses=1] - %2 = add i32 %.in, -1 ; <i32> [#uses=2] - %3 = mul i64 %1, %val.02 ; <i64> [#uses=1] - %4 = add i64 %3, %result.01 ; <i64> [#uses=2] - %5 = add i64 %val.02, 1 ; <i64> [#uses=1] - %6 = icmp sgt i32 %2, 0 ; <i1> [#uses=1] - br i1 %6, label %bb, label %bb3.bb4_crit_edge - -bb3.bb4_crit_edge: ; preds = %bb - %.lcssa = phi i64 [ %4, %bb ] ; <i64> [#uses=0] - ret void - -return: ; preds = %entry - ret void -} diff --git a/llvm/test/Transforms/IndVarsSimplify/2008-11-03-Floating.ll b/llvm/test/Transforms/IndVarsSimplify/2008-11-03-Floating.ll deleted file mode 100644 index 6fc065f83f6..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2008-11-03-Floating.ll +++ /dev/null @@ -1,65 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep icmp | count 4 -define void @bar() nounwind { -entry: - br label %bb - -bb: ; preds = %bb, %entry - %x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2] - %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0] - %1 = add double %x.0.reg2mem.0, 1.000000e+00 ; <double> [#uses=2] - %2 = fcmp olt double %1, 1.000000e+04 ; <i1> [#uses=1] - br i1 %2, label %bb, label %return - -return: ; preds = %bb - ret void -} - -declare i32 @foo(double) - -define void @bar2() nounwind { -entry: - br label %bb - -bb: ; preds = %bb, %entry - %x.0.reg2mem.0 = phi double [ -10.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2] - %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0] - %1 = add double %x.0.reg2mem.0, 2.000000e+00 ; <double> [#uses=2] - %2 = fcmp olt double %1, -1.000000e+00 ; <i1> [#uses=1] - br i1 %2, label %bb, label %return - -return: ; preds = %bb - ret void -} - - -define void @bar3() nounwind { -entry: - br label %bb - -bb: ; preds = %bb, %entry - %x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2] - %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0] - %1 = add double %x.0.reg2mem.0, 1.000000e+00 ; <double> [#uses=2] - %2 = fcmp olt double %1, -1.000000e+00 ; <i1> [#uses=1] - br i1 %2, label %bb, label %return - -return: ; preds = %bb - ret void -} - -define void @bar4() nounwind { -entry: - br label %bb - -bb: ; preds = %bb, %entry - %x.0.reg2mem.0 = phi double [ 40.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2] - %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0] - %1 = add double %x.0.reg2mem.0, -1.000000e+00 ; <double> [#uses=2] - %2 = fcmp olt double %1, 1.000000e+00 ; <i1> [#uses=1] - br i1 %2, label %bb, label %return - -return: ; preds = %bb - ret void -} - - diff --git a/llvm/test/Transforms/IndVarsSimplify/2008-11-17-Floating.ll b/llvm/test/Transforms/IndVarsSimplify/2008-11-17-Floating.ll deleted file mode 100644 index faf1da3058c..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2008-11-17-Floating.ll +++ /dev/null @@ -1,35 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep icmp | count 2 -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep sitofp | count 1 -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep uitofp | count 1 - -define void @bar() nounwind { -entry: - br label %bb - -bb: ; preds = %bb, %entry - %x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2] - %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0] - %1 = add double %x.0.reg2mem.0, 1.0e+0 ; <double> [#uses=2] - %2 = fcmp olt double %1, 2147483646.0e+0 ; <i1> [#uses=1] - br i1 %2, label %bb, label %return - -return: ; preds = %bb - ret void -} - -define void @bar1() nounwind { -entry: - br label %bb - -bb: ; preds = %bb, %entry - %x.0.reg2mem.0 = phi double [ 0.000000e+00, %entry ], [ %1, %bb ] ; <double> [#uses=2] - %0 = tail call i32 @foo(double %x.0.reg2mem.0) nounwind ; <i32> [#uses=0] - %1 = add double %x.0.reg2mem.0, 1.0e+0 ; <double> [#uses=2] - %2 = fcmp olt double %1, 2147483647.0e+0 ; <i1> [#uses=1] - br i1 %2, label %bb, label %return - -return: ; preds = %bb - ret void -} - -declare i32 @foo(double) diff --git a/llvm/test/Transforms/IndVarsSimplify/2008-11-25-APFloatAssert.ll b/llvm/test/Transforms/IndVarsSimplify/2008-11-25-APFloatAssert.ll deleted file mode 100644 index 9fd0eb9e65a..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/2008-11-25-APFloatAssert.ll +++ /dev/null @@ -1,11 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars - -define void @t() nounwind { -entry: - br label %bb23.i91 - -bb23.i91: ; preds = %bb23.i91, %entry - %result.0.i89 = phi ppc_fp128 [ 0xM00000000000000000000000000000000, %entry ], [ %0, %bb23.i91 ] ; <ppc_fp128> [#uses=2] - %0 = mul ppc_fp128 %result.0.i89, %result.0.i89 ; <ppc_fp128> [#uses=1] - br label %bb23.i91 -} diff --git a/llvm/test/Transforms/IndVarsSimplify/complex-scev.ll b/llvm/test/Transforms/IndVarsSimplify/complex-scev.ll deleted file mode 100644 index 4bfc4e981af..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/complex-scev.ll +++ /dev/null @@ -1,29 +0,0 @@ -; The i induction variable looks like a wrap-around, but it really is just -; a simple affine IV. Make sure that indvars eliminates it. - -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep phi | count 1 - -define void @foo() { -entry: - br label %bb6 - -bb6: ; preds = %cond_true, %entry - %j.0 = phi i32 [ 1, %entry ], [ %tmp5, %cond_true ] ; <i32> [#uses=3] - %i.0 = phi i32 [ 0, %entry ], [ %j.0, %cond_true ] ; <i32> [#uses=1] - %tmp7 = call i32 (...)* @foo2( ) ; <i32> [#uses=1] - %tmp = icmp ne i32 %tmp7, 0 ; <i1> [#uses=1] - br i1 %tmp, label %cond_true, label %return - -cond_true: ; preds = %bb6 - %tmp2 = call i32 (...)* @bar( i32 %i.0, i32 %j.0 ) ; <i32> [#uses=0] - %tmp5 = add i32 %j.0, 1 ; <i32> [#uses=1] - br label %bb6 - -return: ; preds = %bb6 - ret void -} - -declare i32 @bar(...) - -declare i32 @foo2(...) - diff --git a/llvm/test/Transforms/IndVarsSimplify/dg.exp b/llvm/test/Transforms/IndVarsSimplify/dg.exp deleted file mode 100644 index f2005891a59..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/dg.exp +++ /dev/null @@ -1,3 +0,0 @@ -load_lib llvm.exp - -RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,c,cpp}]] diff --git a/llvm/test/Transforms/IndVarsSimplify/exit_value_tests.ll b/llvm/test/Transforms/IndVarsSimplify/exit_value_tests.ll deleted file mode 100644 index b39f40f4866..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/exit_value_tests.ll +++ /dev/null @@ -1,114 +0,0 @@ -; Test that we can evaluate the exit values of various expression types. Since -; these loops all have predictable exit values we can replace the use outside -; of the loop with a closed-form computation, making the loop dead. -; -; RUN: llvm-as < %s | opt -indvars -loop-deletion -simplifycfg | \ -; RUN: llvm-dis | not grep br - -define i32 @polynomial_constant() { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %A1 = phi i32 [ 0, %0 ], [ %A2, %Loop ] ; <i32> [#uses=3] - %B1 = phi i32 [ 0, %0 ], [ %B2, %Loop ] ; <i32> [#uses=1] - %A2 = add i32 %A1, 1 ; <i32> [#uses=1] - %B2 = add i32 %B1, %A1 ; <i32> [#uses=2] - %C = icmp eq i32 %A1, 1000 ; <i1> [#uses=1] - br i1 %C, label %Out, label %Loop - -Out: ; preds = %Loop - ret i32 %B2 -} - -define i32 @NSquare(i32 %N) { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %X = phi i32 [ 0, %0 ], [ %X2, %Loop ] ; <i32> [#uses=4] - %X2 = add i32 %X, 1 ; <i32> [#uses=1] - %c = icmp eq i32 %X, %N ; <i1> [#uses=1] - br i1 %c, label %Out, label %Loop - -Out: ; preds = %Loop - %Y = mul i32 %X, %X ; <i32> [#uses=1] - ret i32 %Y -} - -define i32 @NSquareOver2(i32 %N) { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %X = phi i32 [ 0, %0 ], [ %X2, %Loop ] ; <i32> [#uses=3] - %Y = phi i32 [ 15, %0 ], [ %Y2, %Loop ] ; <i32> [#uses=1] - %Y2 = add i32 %Y, %X ; <i32> [#uses=2] - %X2 = add i32 %X, 1 ; <i32> [#uses=1] - %c = icmp eq i32 %X, %N ; <i1> [#uses=1] - br i1 %c, label %Out, label %Loop - -Out: ; preds = %Loop - ret i32 %Y2 -} - -define i32 @strength_reduced() { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %A1 = phi i32 [ 0, %0 ], [ %A2, %Loop ] ; <i32> [#uses=3] - %B1 = phi i32 [ 0, %0 ], [ %B2, %Loop ] ; <i32> [#uses=1] - %A2 = add i32 %A1, 1 ; <i32> [#uses=1] - %B2 = add i32 %B1, %A1 ; <i32> [#uses=2] - %C = icmp eq i32 %A1, 1000 ; <i1> [#uses=1] - br i1 %C, label %Out, label %Loop - -Out: ; preds = %Loop - ret i32 %B2 -} - -define i32 @chrec_equals() { -entry: - br label %no_exit - -no_exit: ; preds = %no_exit, %entry - %i0 = phi i32 [ 0, %entry ], [ %i1, %no_exit ] ; <i32> [#uses=3] - %ISq = mul i32 %i0, %i0 ; <i32> [#uses=1] - %i1 = add i32 %i0, 1 ; <i32> [#uses=2] - %tmp.1 = icmp ne i32 %ISq, 10000 ; <i1> [#uses=1] - br i1 %tmp.1, label %no_exit, label %loopexit - -loopexit: ; preds = %no_exit - ret i32 %i1 -} - -define i16 @cast_chrec_test() { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %A1 = phi i32 [ 0, %0 ], [ %A2, %Loop ] ; <i32> [#uses=2] - %B1 = trunc i32 %A1 to i16 ; <i16> [#uses=2] - %A2 = add i32 %A1, 1 ; <i32> [#uses=1] - %C = icmp eq i16 %B1, 1000 ; <i1> [#uses=1] - br i1 %C, label %Out, label %Loop - -Out: ; preds = %Loop - ret i16 %B1 -} - -define i32 @linear_div_fold() { -entry: - br label %loop - -loop: ; preds = %loop, %entry - %i = phi i32 [ 4, %entry ], [ %i.next, %loop ] ; <i32> [#uses=3] - %i.next = add i32 %i, 8 ; <i32> [#uses=1] - %RV = udiv i32 %i, 2 ; <i32> [#uses=1] - %c = icmp ne i32 %i, 68 ; <i1> [#uses=1] - br i1 %c, label %loop, label %loopexit - -loopexit: ; preds = %loop - ret i32 %RV -} diff --git a/llvm/test/Transforms/IndVarsSimplify/iterationCount_zext_or_trunc.ll b/llvm/test/Transforms/IndVarsSimplify/iterationCount_zext_or_trunc.ll deleted file mode 100644 index 747c781e993..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/iterationCount_zext_or_trunc.ll +++ /dev/null @@ -1,25 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -disable-output - -; ModuleID = 'testcase.bc' -target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64" -target triple = "i686-pc-linux-gnu" - -define i32 @testcase(i5 zeroext %k) { -entry: - br label %bb2 - -bb: ; preds = %bb2 - %tmp1 = add i32 %tmp2, %result ; <i32> [#uses=1] - %indvar_next1 = add i5 %k_0, 1 ; <i5> [#uses=1] - br label %bb2 - -bb2: ; preds = %bb, %entry - %k_0 = phi i5 [ 0, %entry ], [ %indvar_next1, %bb ] ; <i5> [#uses=2] - %result = phi i32 [ 0, %entry ], [ %tmp1, %bb ] ; <i32> [#uses=2] - %tmp2 = zext i5 %k_0 to i32 ; <i32> [#uses=1] - %exitcond = icmp eq i32 %tmp2, 16 ; <i1> [#uses=1] - br i1 %exitcond, label %bb3, label %bb - -bb3: ; preds = %bb2 - ret i32 %result -} diff --git a/llvm/test/Transforms/IndVarsSimplify/lftr_simple.ll b/llvm/test/Transforms/IndVarsSimplify/lftr_simple.ll deleted file mode 100644 index 3f7c289a488..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/lftr_simple.ll +++ /dev/null @@ -1,22 +0,0 @@ -; LFTR should eliminate the need for the computation of i*i completely. It -; is only used to compute the exit value. -; RUN: llvm-as < %s | opt -indvars -dce | llvm-dis | not grep mul - -@A = external global i32 ; <i32*> [#uses=1] - -define i32 @quadratic_setlt() { -entry: - br label %loop - -loop: ; preds = %loop, %entry - %i = phi i32 [ 7, %entry ], [ %i.next, %loop ] ; <i32> [#uses=5] - %i.next = add i32 %i, 1 ; <i32> [#uses=1] - store i32 %i, i32* @A - %i2 = mul i32 %i, %i ; <i32> [#uses=1] - %c = icmp slt i32 %i2, 1000 ; <i1> [#uses=1] - br i1 %c, label %loop, label %loopexit - -loopexit: ; preds = %loop - ret i32 %i -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_1.ll b/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_1.ll deleted file mode 100644 index dfb42e4feae..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_1.ll +++ /dev/null @@ -1,21 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -loop-deletion -simplifycfg | llvm-dis | not grep br -; -; Testcase distilled from 256.bzip2 - -define i32 @main() { -entry: - br label %loopentry - -loopentry: ; preds = %loopentry, %entry - %indvar1 = phi i32 [ 0, %entry ], [ %indvar.next2, %loopentry ] ; <i32> [#uses=1] - %h.0 = phi i32 [ %tmp.2, %loopentry ], [ 4, %entry ] ; <i32> [#uses=1] - %tmp.1 = mul i32 %h.0, 3 ; <i32> [#uses=1] - %tmp.2 = add i32 %tmp.1, 1 ; <i32> [#uses=2] - %indvar.next2 = add i32 %indvar1, 1 ; <i32> [#uses=2] - %exitcond3 = icmp ne i32 %indvar.next2, 4 ; <i1> [#uses=1] - br i1 %exitcond3, label %loopentry, label %loopexit - -loopexit: ; preds = %loopentry - ret i32 %tmp.2 -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_2.ll b/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_2.ll deleted file mode 100644 index efcf20a9344..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_2.ll +++ /dev/null @@ -1,28 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -loop-deletion -simplifycfg | opt \ -; RUN: -analyze -loops | not grep "^Loop Containing" -; PR1179 - -define i32 @ltst(i32 %x) { -entry: - icmp sgt i32 %x, 0 ; <i1>:0 [#uses=1] - br i1 %0, label %bb.preheader, label %bb8 - -bb.preheader: ; preds = %entry - br label %bb - -bb: ; preds = %bb, %bb.preheader - %i.01.0 = phi i32 [ %tmp4, %bb ], [ 0, %bb.preheader ] ; <i32> [#uses=1] - %j.03.0 = phi i32 [ %tmp2, %bb ], [ 0, %bb.preheader ] ; <i32> [#uses=1] - %tmp4 = add i32 %i.01.0, 1 ; <i32> [#uses=2] - %tmp2 = add i32 %j.03.0, 1 ; <i32> [#uses=2] - icmp slt i32 %tmp4, %x ; <i1>:1 [#uses=1] - br i1 %1, label %bb, label %bb8.loopexit - -bb8.loopexit: ; preds = %bb - br label %bb8 - -bb8: ; preds = %bb8.loopexit, %entry - %j.03.1 = phi i32 [ 0, %entry ], [ %tmp2, %bb8.loopexit ] ; <i32> [#uses=1] - ret i32 %j.03.1 -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_3.ll b/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_3.ll deleted file mode 100644 index 2a2f69dd486..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_3.ll +++ /dev/null @@ -1,19 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep {ret i32 600000} -; PR1179 - -define i32 @foo() { -entry: - br label %bb5 - -bb5: ; preds = %bb5, %entry - %i.01.0 = phi i32 [ 0, %entry ], [ %tmp2, %bb5 ] ; <i32> [#uses=1] - %x.03.0 = phi i32 [ 0, %entry ], [ %tmp4, %bb5 ] ; <i32> [#uses=1] - %tmp2 = add i32 %i.01.0, 3 ; <i32> [#uses=2] - %tmp4 = add i32 %x.03.0, 1 ; <i32> [#uses=2] - icmp slt i32 %tmp4, 200000 ; <i1>:0 [#uses=1] - br i1 %0, label %bb5, label %bb7 - -bb7: ; preds = %bb5 - ret i32 %tmp2 -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_4.ll b/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_4.ll deleted file mode 100644 index 6c6a362f48e..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/loop_evaluate_4.ll +++ /dev/null @@ -1,20 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep {ret i32 9900} -; PR1179 - -define i32 @test4() { -entry: - br label %bb7 - -bb7: ; preds = %bb7, %entry - %v.01.0 = phi i32 [ 0, %entry ], [ %tmp4, %bb7 ] ; <i32> [#uses=1] - %i.03.0 = phi i32 [ 0, %entry ], [ %tmp6, %bb7 ] ; <i32> [#uses=2] - %tmp2 = shl i32 %i.03.0, 1 ; <i32> [#uses=1] - %tmp4 = add i32 %tmp2, %v.01.0 ; <i32> [#uses=2] - %tmp6 = add i32 %i.03.0, 1 ; <i32> [#uses=2] - icmp slt i32 %tmp6, 100 ; <i1>:0 [#uses=1] - br i1 %0, label %bb7, label %bb9 - -bb9: ; preds = %bb7 - ret i32 %tmp4 -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/pointer-indvars.ll b/llvm/test/Transforms/IndVarsSimplify/pointer-indvars.ll deleted file mode 100644 index c9da1579e98..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/pointer-indvars.ll +++ /dev/null @@ -1,15 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep indvar -@G = global i32* null ; <i32**> [#uses=1] -@Array = external global [40 x i32] ; <[40 x i32]*> [#uses=1] - -define void @test() { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %X = phi i32* [ getelementptr ([40 x i32]* @Array, i64 0, i64 0), %0 ], [ %X.next, %Loop ] ; <i32*> [#uses=2] - %X.next = getelementptr i32* %X, i64 1 ; <i32*> [#uses=1] - store i32* %X, i32** @G - br label %Loop -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/promote-iv-to-eliminate-casts.ll b/llvm/test/Transforms/IndVarsSimplify/promote-iv-to-eliminate-casts.ll deleted file mode 100644 index 08b08f200ec..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/promote-iv-to-eliminate-casts.ll +++ /dev/null @@ -1,100 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | not grep sext - -target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" - -define i64 @test(i64* nocapture %first, i32 %count) nounwind readonly { -entry: - %t0 = icmp sgt i32 %count, 0 ; <i1> [#uses=1] - br i1 %t0, label %bb.nph, label %bb2 - -bb.nph: ; preds = %entry - br label %bb - -bb: ; preds = %bb1, %bb.nph - %result.02 = phi i64 [ %t5, %bb1 ], [ 0, %bb.nph ] ; <i64> [#uses=1] - %n.01 = phi i32 [ %t6, %bb1 ], [ 0, %bb.nph ] ; <i32> [#uses=2] - %t1 = sext i32 %n.01 to i64 ; <i64> [#uses=1] - %t2 = getelementptr i64* %first, i64 %t1 ; <i64*> [#uses=1] - %t3 = load i64* %t2, align 8 ; <i64> [#uses=1] - %t4 = lshr i64 %t3, 4 ; <i64> [#uses=1] - %t5 = add i64 %t4, %result.02 ; <i64> [#uses=2] - %t6 = add i32 %n.01, 1 ; <i32> [#uses=2] - br label %bb1 - -bb1: ; preds = %bb - %t7 = icmp slt i32 %t6, %count ; <i1> [#uses=1] - br i1 %t7, label %bb, label %bb1.bb2_crit_edge - -bb1.bb2_crit_edge: ; preds = %bb1 - %.lcssa = phi i64 [ %t5, %bb1 ] ; <i64> [#uses=1] - br label %bb2 - -bb2: ; preds = %bb1.bb2_crit_edge, %entry - %result.0.lcssa = phi i64 [ %.lcssa, %bb1.bb2_crit_edge ], [ 0, %entry ] ; <i64> [#uses=1] - ret i64 %result.0.lcssa -} - -define void @foo(i16 signext %N, i32* nocapture %P) nounwind { -entry: - %t0 = icmp sgt i16 %N, 0 ; <i1> [#uses=1] - br i1 %t0, label %bb.nph, label %return - -bb.nph: ; preds = %entry - br label %bb - -bb: ; preds = %bb1, %bb.nph - %i.01 = phi i16 [ %t3, %bb1 ], [ 0, %bb.nph ] ; <i16> [#uses=2] - %t1 = sext i16 %i.01 to i64 ; <i64> [#uses=1] - %t2 = getelementptr i32* %P, i64 %t1 ; <i32*> [#uses=1] - store i32 123, i32* %t2, align 4 - %t3 = add i16 %i.01, 1 ; <i16> [#uses=2] - br label %bb1 - -bb1: ; preds = %bb - %t4 = icmp slt i16 %t3, %N ; <i1> [#uses=1] - br i1 %t4, label %bb, label %bb1.return_crit_edge - -bb1.return_crit_edge: ; preds = %bb1 - br label %return - -return: ; preds = %bb1.return_crit_edge, %entry - ret void -} - -; Test cases from PR1301: - -define void @kinds__srangezero([21 x i32]* nocapture %a) nounwind { -bb.thread: - br label %bb - -bb: ; preds = %bb, %bb.thread - %i.0.reg2mem.0 = phi i8 [ -10, %bb.thread ], [ %tmp7, %bb ] ; <i8> [#uses=2] - %tmp12 = sext i8 %i.0.reg2mem.0 to i32 ; <i32> [#uses=1] - %tmp4 = add i32 %tmp12, 10 ; <i32> [#uses=1] - %tmp5 = getelementptr [21 x i32]* %a, i32 0, i32 %tmp4 ; <i32*> [#uses=1] - store i32 0, i32* %tmp5 - %tmp7 = add i8 %i.0.reg2mem.0, 1 ; <i8> [#uses=2] - %0 = icmp sgt i8 %tmp7, 10 ; <i1> [#uses=1] - br i1 %0, label %return, label %bb - -return: ; preds = %bb - ret void -} - -define void @kinds__urangezero([21 x i32]* nocapture %a) nounwind { -bb.thread: - br label %bb - -bb: ; preds = %bb, %bb.thread - %i.0.reg2mem.0 = phi i8 [ 10, %bb.thread ], [ %tmp7, %bb ] ; <i8> [#uses=2] - %tmp12 = sext i8 %i.0.reg2mem.0 to i32 ; <i32> [#uses=1] - %tmp4 = add i32 %tmp12, -10 ; <i32> [#uses=1] - %tmp5 = getelementptr [21 x i32]* %a, i32 0, i32 %tmp4 ; <i32*> [#uses=1] - store i32 0, i32* %tmp5 - %tmp7 = add i8 %i.0.reg2mem.0, 1 ; <i8> [#uses=2] - %0 = icmp sgt i8 %tmp7, 30 ; <i1> [#uses=1] - br i1 %0, label %return, label %bb - -return: ; preds = %bb - ret void -} diff --git a/llvm/test/Transforms/IndVarsSimplify/subtract.ll b/llvm/test/Transforms/IndVarsSimplify/subtract.ll deleted file mode 100644 index 51065cc1a8a..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/subtract.ll +++ /dev/null @@ -1,15 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars | llvm-dis | grep indvar - -@G = global i64 0 ; <i64*> [#uses=1] - -define void @test(i64 %V) { -; <label>:0 - br label %Loop - -Loop: ; preds = %Loop, %0 - %X = phi i64 [ 1, %0 ], [ %X.next, %Loop ] ; <i64> [#uses=2] - %X.next = sub i64 %X, %V ; <i64> [#uses=1] - store i64 %X, i64* @G - br label %Loop -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/tripcount_compute.ll b/llvm/test/Transforms/IndVarsSimplify/tripcount_compute.ll deleted file mode 100644 index 9ffce813023..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/tripcount_compute.ll +++ /dev/null @@ -1,100 +0,0 @@ -; These tests ensure that we can compute the trip count of various forms of -; loops. If the trip count of the loop is computable, then we will know what -; the exit value of the loop will be for some value, allowing us to substitute -; it directly into users outside of the loop, making the loop dead. -; -; RUN: llvm-as < %s | opt -indvars -loop-deletion -simplifycfg | llvm-dis | not grep br - -define i32 @linear_setne() { -entry: - br label %loop - -loop: ; preds = %loop, %entry - %i = phi i32 [ 0, %entry ], [ %i.next, %loop ] ; <i32> [#uses=3] - %i.next = add i32 %i, 1 ; <i32> [#uses=1] - %c = icmp ne i32 %i, 100 ; <i1> [#uses=1] - br i1 %c, label %loop, label %loopexit - -loopexit: ; preds = %loop - ret i32 %i -} - -define i32 @linear_setne_2() { -entry: - br label %loop - -loop: ; preds = %loop, %entry - %i = phi i32 [ 0, %entry ], [ %i.next, %loop ] ; <i32> [#uses=3] - %i.next = add i32 %i, 2 ; <i32> [#uses=1] - %c = icmp ne i32 %i, 100 ; <i1> [#uses=1] - br i1 %c, label %loop, label %loopexit - -loopexit: ; preds = %loop - ret i32 %i -} - -define i32 @linear_setne_overflow() { -entry: - br label %loop - -loop: ; preds = %loop, %entry - %i = phi i32 [ 1024, %entry ], [ %i.next, %loop ] ; <i32> [#uses=3] - %i.next = add i32 %i, 1024 ; <i32> [#uses=1] - %c = icmp ne i32 %i, 0 ; <i1> [#uses=1] - br i1 %c, label %loop, label %loopexit - -loopexit: ; preds = %loop - ret i32 %i -} - -define i32 @linear_setlt() { -entry: - br label %loop - -loop: ; preds = %loop, %entry - %i = phi i32 [ 0, %entry ], [ %i.next, %loop ] ; <i32> [#uses=3] - %i.next = add i32 %i, 1 ; <i32> [#uses=1] - %c = icmp slt i32 %i, 100 ; <i1> [#uses=1] - br i1 %c, label %loop, label %loopexit - -loopexit: ; preds = %loop - ret i32 %i -} - -define i32 @quadratic_setlt() { -entry: - br label %loop - -loop: ; preds = %loop, %entry - %i = phi i32 [ 7, %entry ], [ %i.next, %loop ] ; <i32> [#uses=4] - %i.next = add i32 %i, 3 ; <i32> [#uses=1] - %i2 = mul i32 %i, %i ; <i32> [#uses=1] - %c = icmp slt i32 %i2, 1000 ; <i1> [#uses=1] - br i1 %c, label %loop, label %loopexit - -loopexit: ; preds = %loop - ret i32 %i -} - -define i32 @chained() { -entry: - br label %loop - -loop: ; preds = %loop, %entry - %i = phi i32 [ 0, %entry ], [ %i.next, %loop ] ; <i32> [#uses=3] - %i.next = add i32 %i, 1 ; <i32> [#uses=1] - %c = icmp ne i32 %i, 100 ; <i1> [#uses=1] - br i1 %c, label %loop, label %loopexit - -loopexit: ; preds = %loop - br label %loop2 - -loop2: ; preds = %loop2, %loopexit - %j = phi i32 [ %i, %loopexit ], [ %j.next, %loop2 ] ; <i32> [#uses=3] - %j.next = add i32 %j, 1 ; <i32> [#uses=1] - %c2 = icmp ne i32 %j, 200 ; <i1> [#uses=1] - br i1 %c2, label %loop2, label %loopexit2 - -loopexit2: ; preds = %loop2 - ret i32 %j -} diff --git a/llvm/test/Transforms/IndVarsSimplify/tripcount_infinite.ll b/llvm/test/Transforms/IndVarsSimplify/tripcount_infinite.ll deleted file mode 100644 index d5965f4ed6f..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/tripcount_infinite.ll +++ /dev/null @@ -1,38 +0,0 @@ -; These tests have an infinite trip count. We obviously shouldn't remove the -; loops! :) -; -; RUN: llvm-as < %s | opt -indvars -adce -simplifycfg | llvm-dis | grep icmp | wc -l > %t2 -; RUN: llvm-as < %s | llvm-dis | grep icmp | wc -l > %t1 -; RUN: diff %t1 %t2 - -;; test for (i = 1; i != 100; i += 2) -define i32 @infinite_linear() { -entry: - br label %loop - -loop: ; preds = %loop, %entry - %i = phi i32 [ 1, %entry ], [ %i.next, %loop ] ; <i32> [#uses=3] - %i.next = add i32 %i, 2 ; <i32> [#uses=1] - %c = icmp ne i32 %i, 100 ; <i1> [#uses=1] - br i1 %c, label %loop, label %loopexit - -loopexit: ; preds = %loop - ret i32 %i -} - -;; test for (i = 1; i*i != 63; ++i) -define i32 @infinite_quadratic() { -entry: - br label %loop - -loop: ; preds = %loop, %entry - %i = phi i32 [ 1, %entry ], [ %i.next, %loop ] ; <i32> [#uses=4] - %isquare = mul i32 %i, %i ; <i32> [#uses=1] - %i.next = add i32 %i, 1 ; <i32> [#uses=1] - %c = icmp ne i32 %isquare, 63 ; <i1> [#uses=1] - br i1 %c, label %loop, label %loopexit - -loopexit: ; preds = %loop - ret i32 %i -} - diff --git a/llvm/test/Transforms/IndVarsSimplify/variable-stride-ivs.ll b/llvm/test/Transforms/IndVarsSimplify/variable-stride-ivs.ll deleted file mode 100644 index 759ba8e177b..00000000000 --- a/llvm/test/Transforms/IndVarsSimplify/variable-stride-ivs.ll +++ /dev/null @@ -1,43 +0,0 @@ -; RUN: llvm-as < %s | opt -indvars -instcombine | llvm-dis | \ -; RUN: grep {store i32 0} -; Test that -indvars can reduce variable stride IVs. If it can reduce variable -; stride iv's, it will make %iv. and %m.0.0 isomorphic to each other without -; cycles, allowing the tmp.21 subtraction to be eliminated. -; END. - -define void @vnum_test8(i32* %data) { -entry: - %tmp.1 = getelementptr i32* %data, i32 3 ; <i32*> [#uses=1] - %tmp.2 = load i32* %tmp.1 ; <i32> [#uses=2] - %tmp.4 = getelementptr i32* %data, i32 4 ; <i32*> [#uses=1] - %tmp.5 = load i32* %tmp.4 ; <i32> [#uses=2] - %tmp.8 = getelementptr i32* %data, i32 2 ; <i32*> [#uses=1] - %tmp.9 = load i32* %tmp.8 ; <i32> [#uses=3] - %tmp.125 = icmp sgt i32 %tmp.2, 0 ; <i1> [#uses=1] - br i1 %tmp.125, label %no_exit.preheader, label %return - -no_exit.preheader: ; preds = %entry - %tmp.16 = getelementptr i32* %data, i32 %tmp.9 ; <i32*> [#uses=1] - br label %no_exit - -no_exit: ; preds = %no_exit, %no_exit.preheader - %iv.ui = phi i32 [ 0, %no_exit.preheader ], [ %iv..inc.ui, %no_exit ] ; <i32> [#uses=1] - %iv. = phi i32 [ %tmp.5, %no_exit.preheader ], [ %iv..inc, %no_exit ] ; <i32> [#uses=2] - %m.0.0 = phi i32 [ %tmp.5, %no_exit.preheader ], [ %tmp.24, %no_exit ] ; <i32> [#uses=2] - store i32 2, i32* %tmp.16 - %tmp.21 = sub i32 %m.0.0, %iv. ; <i32> [#uses=1] - store i32 %tmp.21, i32* %data - %tmp.24 = add i32 %m.0.0, %tmp.9 ; <i32> [#uses=1] - %iv..inc = add i32 %tmp.9, %iv. ; <i32> [#uses=1] - %iv..inc.ui = add i32 %iv.ui, 1 ; <i32> [#uses=2] - %iv..inc1 = bitcast i32 %iv..inc.ui to i32 ; <i32> [#uses=1] - %tmp.12 = icmp slt i32 %iv..inc1, %tmp.2 ; <i1> [#uses=1] - br i1 %tmp.12, label %no_exit, label %return.loopexit - -return.loopexit: ; preds = %no_exit - br label %return - -return: ; preds = %return.loopexit, %entry - ret void -} - |
