summaryrefslogtreecommitdiff
path: root/test/Transforms
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms')
-rw-r--r--test/Transforms/IndVarSimplify/loop-invariant-step.ll33
-rw-r--r--test/Transforms/IndVarSimplify/loop_evaluate7.ll61
-rw-r--r--test/Transforms/IndVarSimplify/loop_evaluate8.ll63
-rw-r--r--test/Transforms/IndVarSimplify/phi-uses-value-multiple-times.ll33
-rw-r--r--test/Transforms/LCSSA/invoke-dest.ll143
5 files changed, 333 insertions, 0 deletions
diff --git a/test/Transforms/IndVarSimplify/loop-invariant-step.ll b/test/Transforms/IndVarSimplify/loop-invariant-step.ll
new file mode 100644
index 000000000000..40156eaab59e
--- /dev/null
+++ b/test/Transforms/IndVarSimplify/loop-invariant-step.ll
@@ -0,0 +1,33 @@
+; RUN: llvm-as < %s | opt -loop-index-split -instcombine -indvars -disable-output
+; PR4455
+
+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"
+
+declare i8* @fast_memcpy(i8*, i8*, i64)
+
+define void @dvdsub_decode() nounwind {
+entry: ; preds = %bb1
+ br label %LoopA
+
+LoopA: ; preds = %LoopA, %entry
+ %x1.0.i17 = phi i32 [ %t0, %LoopA ], [ 0, %entry ] ; <i32> [#uses=2]
+ %t0 = add i32 %x1.0.i17, 1 ; <i32> [#uses=1]
+ br i1 undef, label %LoopA, label %middle
+
+middle: ; preds = %LoopA
+ %t1 = sub i32 0, %x1.0.i17 ; <i32> [#uses=1]
+ %t2 = add i32 %t1, 1 ; <i32> [#uses=1]
+ br label %LoopB
+
+LoopB: ; preds = %LoopB, %bb.nph.i27
+ %y.029.i = phi i32 [ 0, %middle ], [ %t7, %LoopB ] ; <i32> [#uses=2]
+ %t3 = mul i32 %y.029.i, %t2 ; <i32> [#uses=1]
+ %t4 = sext i32 %t3 to i64 ; <i64> [#uses=1]
+ %t5 = getelementptr i8* null, i64 %t4 ; <i8*> [#uses=1]
+ %t6 = call i8* @fast_memcpy(i8* %t5, i8* undef, i64 undef) nounwind ; <i8*> [#uses=0]
+ %t7 = add i32 %y.029.i, 1 ; <i32> [#uses=1]
+ br i1 undef, label %LoopB, label %exit
+
+exit:
+ ret void
+}
diff --git a/test/Transforms/IndVarSimplify/loop_evaluate7.ll b/test/Transforms/IndVarSimplify/loop_evaluate7.ll
new file mode 100644
index 000000000000..6e31c55d5265
--- /dev/null
+++ b/test/Transforms/IndVarSimplify/loop_evaluate7.ll
@@ -0,0 +1,61 @@
+; RUN: llvm-as < %s | opt -indvars
+; PR4436
+
+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-f80:32:32"
+target triple = "i386-pc-linux-gnu"
+
+define i8* @string_expandtabs(i32 %n, i8* %m) nounwind {
+entry:
+ br i1 undef, label %bb33, label %bb1
+
+bb1: ; preds = %entry
+ br i1 undef, label %overflow1, label %bb15
+
+bb15: ; preds = %bb1
+ br i1 undef, label %bb33, label %bb17
+
+bb17: ; preds = %bb15
+ br label %bb30
+
+bb19: ; preds = %bb30
+ br i1 undef, label %bb20, label %bb29
+
+bb20: ; preds = %bb19
+ %0 = load i32* undef, align 4 ; <i32> [#uses=1]
+ %1 = sub i32 %0, %n ; <i32> [#uses=1]
+ br label %bb23
+
+bb21: ; preds = %bb23
+ %2 = icmp ult i8* %q.0, %m ; <i1> [#uses=1]
+ br i1 %2, label %bb22, label %overflow2
+
+bb22: ; preds = %bb21
+ %3 = getelementptr i8* %q.0, i32 1 ; <i8*> [#uses=1]
+ br label %bb23
+
+bb23: ; preds = %bb22, %bb20
+ %i.2 = phi i32 [ %1, %bb20 ], [ %4, %bb22 ] ; <i32> [#uses=1]
+ %q.0 = phi i8* [ undef, %bb20 ], [ %3, %bb22 ] ; <i8*> [#uses=3]
+ %4 = add i32 %i.2, -1 ; <i32> [#uses=2]
+ %5 = icmp eq i32 %4, -1 ; <i1> [#uses=1]
+ br i1 %5, label %bb29, label %bb21
+
+bb29: ; preds = %bb23, %bb19
+ %q.1 = phi i8* [ undef, %bb19 ], [ %q.0, %bb23 ] ; <i8*> [#uses=0]
+ br label %bb30
+
+bb30: ; preds = %bb29, %bb17
+ br i1 undef, label %bb19, label %bb33
+
+overflow2: ; preds = %bb21
+ br i1 undef, label %bb32, label %overflow1
+
+bb32: ; preds = %overflow2
+ br label %overflow1
+
+overflow1: ; preds = %bb32, %overflow2, %bb1
+ ret i8* null
+
+bb33: ; preds = %bb30, %bb15, %entry
+ ret i8* undef
+}
diff --git a/test/Transforms/IndVarSimplify/loop_evaluate8.ll b/test/Transforms/IndVarSimplify/loop_evaluate8.ll
new file mode 100644
index 000000000000..fa2f9e57f07c
--- /dev/null
+++ b/test/Transforms/IndVarSimplify/loop_evaluate8.ll
@@ -0,0 +1,63 @@
+; RUN: llvm-as < %s | opt -indvars | llvm-dis | not grep select
+
+; This loop has backedge-taken-count zero. Indvars shouldn't expand any
+; instructions to compute a trip count.
+
+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-f80:32:32"
+target triple = "i386-pc-linux-gnu"
+
+define i8* @string_expandtabs() nounwind {
+entry:
+ br i1 undef, label %bb33, label %bb1
+
+bb1: ; preds = %entry
+ br i1 undef, label %overflow1, label %bb15
+
+bb15: ; preds = %bb1
+ br i1 undef, label %bb33, label %bb17
+
+bb17: ; preds = %bb15
+ br label %bb30
+
+bb19: ; preds = %bb30
+ br i1 undef, label %bb20, label %bb29
+
+bb20: ; preds = %bb19
+ %0 = load i32* undef, align 4 ; <i32> [#uses=1]
+ %1 = sub i32 %0, undef ; <i32> [#uses=1]
+ br label %bb23
+
+bb21: ; preds = %bb23
+ %2 = icmp ult i8* %q.0, undef ; <i1> [#uses=1]
+ br i1 %2, label %bb22, label %overflow2
+
+bb22: ; preds = %bb21
+ %3 = getelementptr i8* %q.0, i32 1 ; <i8*> [#uses=1]
+ br label %bb23
+
+bb23: ; preds = %bb22, %bb20
+ %i.2 = phi i32 [ %1, %bb20 ], [ %4, %bb22 ] ; <i32> [#uses=1]
+ %q.0 = phi i8* [ undef, %bb20 ], [ %3, %bb22 ] ; <i8*> [#uses=3]
+ %4 = add i32 %i.2, -1 ; <i32> [#uses=2]
+ %5 = icmp eq i32 %4, -1 ; <i1> [#uses=1]
+ br i1 %5, label %bb29, label %bb21
+
+bb29: ; preds = %bb23, %bb19
+ %q.1 = phi i8* [ undef, %bb19 ], [ %q.0, %bb23 ] ; <i8*> [#uses=0]
+ br label %bb30
+
+bb30: ; preds = %bb29, %bb17
+ br i1 undef, label %bb19, label %bb33
+
+overflow2: ; preds = %bb21
+ br i1 undef, label %bb32, label %overflow1
+
+bb32: ; preds = %overflow2
+ br label %overflow1
+
+overflow1: ; preds = %bb32, %overflow2, %bb1
+ ret i8* null
+
+bb33: ; preds = %bb30, %bb15, %entry
+ ret i8* undef
+}
diff --git a/test/Transforms/IndVarSimplify/phi-uses-value-multiple-times.ll b/test/Transforms/IndVarSimplify/phi-uses-value-multiple-times.ll
new file mode 100644
index 000000000000..7119cbbc05c6
--- /dev/null
+++ b/test/Transforms/IndVarSimplify/phi-uses-value-multiple-times.ll
@@ -0,0 +1,33 @@
+; RUN: llvm-as < %s | opt -indvars
+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"
+
+@ue = external global i64
+
+define i32 @foo() nounwind {
+entry:
+ br label %bb38.i
+
+bb14.i27:
+ %t0 = load i64* @ue, align 8
+ %t1 = sub i64 %t0, %i.0.i35
+ %t2 = add i64 %t1, 1
+ br i1 undef, label %bb15.i28, label %bb19.i31
+
+bb15.i28:
+ br label %bb19.i31
+
+bb19.i31:
+ %y.0.i = phi i64 [ %t2, %bb15.i28 ], [ %t2, %bb14.i27 ]
+ br label %bb35.i
+
+bb35.i:
+ br i1 undef, label %bb37.i, label %bb14.i27
+
+bb37.i:
+ %t3 = add i64 %i.0.i35, 1
+ br label %bb38.i
+
+bb38.i:
+ %i.0.i35 = phi i64 [ 1, %entry ], [ %t3, %bb37.i ]
+ br label %bb35.i
+}
diff --git a/test/Transforms/LCSSA/invoke-dest.ll b/test/Transforms/LCSSA/invoke-dest.ll
new file mode 100644
index 000000000000..5c6c7a0a9b52
--- /dev/null
+++ b/test/Transforms/LCSSA/invoke-dest.ll
@@ -0,0 +1,143 @@
+; RUN: llvm-as < %s | opt -lcssa
+
+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-f80:32:32"
+
+@.str12 = external constant [3 x i8], align 1 ; <[3 x i8]*> [#uses=1]
+@.str17175 = external constant [4 x i8], align 1 ; <[4 x i8]*> [#uses=1]
+@.str21179 = external constant [12 x i8], align 1 ; <[12 x i8]*> [#uses=1]
+@.str25183 = external constant [10 x i8], align 1 ; <[10 x i8]*> [#uses=1]
+@.str32190 = external constant [92 x i8], align 1 ; <[92 x i8]*> [#uses=1]
+@.str41 = external constant [25 x i8], align 1 ; <[25 x i8]*> [#uses=1]
+
+define void @_ZN8EtherBus10initializeEv() {
+entry:
+ br i1 undef, label %_ZN7cObjectnwEj.exit, label %bb.i
+
+bb.i: ; preds = %entry
+ br label %_ZN7cObjectnwEj.exit
+
+_ZN7cObjectnwEj.exit: ; preds = %bb.i, %entry
+ invoke void @_ZN7cObjectC2EPKc(i8* undef, i8* getelementptr ([12 x i8]* @.str21179, i32 0, i32 0))
+ to label %bb1 unwind label %lpad
+
+bb1: ; preds = %_ZN7cObjectnwEj.exit
+ br i1 undef, label %_ZNK5cGate4sizeEv.exit, label %bb.i110
+
+bb.i110: ; preds = %bb1
+ br label %_ZNK5cGate4sizeEv.exit
+
+_ZNK5cGate4sizeEv.exit: ; preds = %bb.i110, %bb1
+ br i1 undef, label %_ZNK5cGate4sizeEv.exit122, label %bb.i120
+
+bb.i120: ; preds = %_ZNK5cGate4sizeEv.exit
+ br label %_ZNK5cGate4sizeEv.exit122
+
+_ZNK5cGate4sizeEv.exit122: ; preds = %bb.i120, %_ZNK5cGate4sizeEv.exit
+ br i1 undef, label %bb8, label %bb2
+
+bb2: ; preds = %_ZNK5cGate4sizeEv.exit122
+ unreachable
+
+bb8: ; preds = %_ZNK5cGate4sizeEv.exit122
+ %tmp = invoke i8* @_ZN7cModule3parEPKc(i8* undef, i8* getelementptr ([10 x i8]* @.str25183, i32 0, i32 0))
+ to label %invcont9 unwind label %lpad119 ; <i8*> [#uses=1]
+
+invcont9: ; preds = %bb8
+ %tmp1 = invoke i8* @_ZN4cPar11stringValueEv(i8* %tmp)
+ to label %invcont10 unwind label %lpad119 ; <i8*> [#uses=1]
+
+invcont10: ; preds = %invcont9
+ invoke void @_ZN8EtherBus8tokenizeEPKcRSt6vectorIdSaIdEE(i8* null, i8* %tmp1, i8* undef)
+ to label %invcont11 unwind label %lpad119
+
+invcont11: ; preds = %invcont10
+ br i1 undef, label %bb12, label %bb18
+
+bb12: ; preds = %invcont11
+ invoke void (i8*, i8*, ...)* @_ZN6cEnvir6printfEPKcz(i8* null, i8* getelementptr ([3 x i8]* @.str12, i32 0, i32 0), i32 undef)
+ to label %bb.i.i159 unwind label %lpad119
+
+bb.i.i159: ; preds = %bb12
+ unreachable
+
+bb18: ; preds = %invcont11
+ br i1 undef, label %bb32, label %bb34
+
+bb32: ; preds = %bb18
+ br i1 undef, label %bb.i.i123, label %bb34
+
+bb.i.i123: ; preds = %bb32
+ br label %bb34
+
+bb34: ; preds = %bb.i.i123, %bb32, %bb18
+ %tmp2 = invoke i8* @_Znaj(i32 undef)
+ to label %invcont35 unwind label %lpad119 ; <i8*> [#uses=0]
+
+invcont35: ; preds = %bb34
+ br i1 undef, label %bb49, label %bb61
+
+bb49: ; preds = %invcont35
+ invoke void (i8*, i8*, ...)* @_ZNK13cSimpleModule5errorEPKcz(i8* undef, i8* getelementptr ([92 x i8]* @.str32190, i32 0, i32 0))
+ to label %bb51 unwind label %lpad119
+
+bb51: ; preds = %bb49
+ unreachable
+
+bb61: ; preds = %invcont35
+ br label %bb106
+
+.noexc: ; preds = %bb106
+ invoke void @_ZN7cObjectC2EPKc(i8* undef, i8* getelementptr ([25 x i8]* @.str41, i32 0, i32 0))
+ to label %bb102 unwind label %lpad123
+
+bb102: ; preds = %.noexc
+ invoke void undef(i8* undef, i8 zeroext 1)
+ to label %invcont103 unwind label %lpad119
+
+invcont103: ; preds = %bb102
+ invoke void undef(i8* undef, double 1.000000e+07)
+ to label %invcont104 unwind label %lpad119
+
+invcont104: ; preds = %invcont103
+ %tmp3 = invoke i32 @_ZN13cSimpleModule11sendDelayedEP8cMessagedPKci(i8* undef, i8* undef, double 0.000000e+00, i8* getelementptr ([4 x i8]* @.str17175, i32 0, i32 0), i32 undef)
+ to label %invcont105 unwind label %lpad119 ; <i32> [#uses=0]
+
+invcont105: ; preds = %invcont104
+ br label %bb106
+
+bb106: ; preds = %invcont105, %bb61
+ %tmp4 = invoke i8* @_Znaj(i32 124)
+ to label %.noexc unwind label %lpad119 ; <i8*> [#uses=1]
+
+lpad: ; preds = %_ZN7cObjectnwEj.exit
+ br label %Unwind
+
+lpad119: ; preds = %bb106, %invcont104, %invcont103, %bb102, %bb49, %bb34, %bb12, %invcont10, %invcont9, %bb8
+ unreachable
+
+lpad123: ; preds = %.noexc
+ %tmp5 = icmp eq i8* %tmp4, null ; <i1> [#uses=1]
+ br i1 %tmp5, label %Unwind, label %bb.i2
+
+bb.i2: ; preds = %lpad123
+ br label %Unwind
+
+Unwind: ; preds = %bb.i2, %lpad123, %lpad
+ unreachable
+}
+
+declare void @_ZN8EtherBus8tokenizeEPKcRSt6vectorIdSaIdEE(i8* nocapture, i8*, i8*)
+
+declare i8* @_Znaj(i32)
+
+declare void @_ZN6cEnvir6printfEPKcz(i8* nocapture, i8* nocapture, ...)
+
+declare void @_ZNK13cSimpleModule5errorEPKcz(i8* nocapture, i8* nocapture, ...) noreturn
+
+declare i8* @_ZN7cModule3parEPKc(i8*, i8*)
+
+declare i32 @_ZN13cSimpleModule11sendDelayedEP8cMessagedPKci(i8*, i8*, double, i8*, i32)
+
+declare void @_ZN7cObjectC2EPKc(i8*, i8*)
+
+declare i8* @_ZN4cPar11stringValueEv(i8*)