aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/NewGVN/basic-cyclic-opt.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/NewGVN/basic-cyclic-opt.ll')
-rw-r--r--test/Transforms/NewGVN/basic-cyclic-opt.ll235
1 files changed, 235 insertions, 0 deletions
diff --git a/test/Transforms/NewGVN/basic-cyclic-opt.ll b/test/Transforms/NewGVN/basic-cyclic-opt.ll
new file mode 100644
index 0000000000000..523ed2612e3ce
--- /dev/null
+++ b/test/Transforms/NewGVN/basic-cyclic-opt.ll
@@ -0,0 +1,235 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
+target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
+
+;; Function Attrs: nounwind ssp uwtable
+;; We should eliminate the sub, and one of the phi nodes
+define void @vnum_test1(i32* %data) #0 {
+; CHECK-LABEL: @vnum_test1(
+; CHECK-NEXT: bb:
+; CHECK-NEXT: [[TMP:%.*]] = getelementptr inbounds i32, i32* [[DATA:%.*]], i64 3
+; CHECK-NEXT: [[TMP1:%.*]] = load i32, i32* [[TMP]], align 4
+; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 4
+; CHECK-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP2]], align 4
+; CHECK-NEXT: br label [[BB4:%.*]]
+; CHECK: bb4:
+; CHECK-NEXT: [[M_0:%.*]] = phi i32 [ [[TMP3]], [[BB:%.*]] ], [ [[TMP15:%.*]], [[BB17:%.*]] ]
+; CHECK-NEXT: [[I_0:%.*]] = phi i32 [ 0, [[BB]] ], [ [[TMP18:%.*]], [[BB17]] ]
+; CHECK-NEXT: [[TMP5:%.*]] = icmp slt i32 [[I_0]], [[TMP1]]
+; CHECK-NEXT: br i1 [[TMP5]], label [[BB6:%.*]], label [[BB19:%.*]]
+; CHECK: bb6:
+; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 2
+; CHECK-NEXT: [[TMP8:%.*]] = load i32, i32* [[TMP7]], align 4
+; CHECK-NEXT: [[TMP9:%.*]] = sext i32 [[TMP8]] to i64
+; CHECK-NEXT: [[TMP10:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 [[TMP9]]
+; CHECK-NEXT: store i32 2, i32* [[TMP10]], align 4
+; CHECK-NEXT: store i32 0, i32* [[DATA]], align 4
+; CHECK-NEXT: [[TMP13:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 1
+; CHECK-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP13]], align 4
+; CHECK-NEXT: [[TMP15]] = add nsw i32 [[M_0]], [[TMP14]]
+; CHECK-NEXT: br label [[BB17]]
+; CHECK: bb17:
+; CHECK-NEXT: [[TMP18]] = add nsw i32 [[I_0]], 1
+; CHECK-NEXT: br label [[BB4]]
+; CHECK: bb19:
+; CHECK-NEXT: ret void
+;
+bb:
+ %tmp = getelementptr inbounds i32, i32* %data, i64 3
+ %tmp1 = load i32, i32* %tmp, align 4
+ %tmp2 = getelementptr inbounds i32, i32* %data, i64 4
+ %tmp3 = load i32, i32* %tmp2, align 4
+ br label %bb4
+
+bb4: ; preds = %bb17, %bb
+ %m.0 = phi i32 [ %tmp3, %bb ], [ %tmp15, %bb17 ]
+ %i.0 = phi i32 [ 0, %bb ], [ %tmp18, %bb17 ]
+ %n.0 = phi i32 [ %tmp3, %bb ], [ %tmp16, %bb17 ]
+ %tmp5 = icmp slt i32 %i.0, %tmp1
+ br i1 %tmp5, label %bb6, label %bb19
+
+bb6: ; preds = %bb4
+ %tmp7 = getelementptr inbounds i32, i32* %data, i64 2
+ %tmp8 = load i32, i32* %tmp7, align 4
+ %tmp9 = sext i32 %tmp8 to i64
+ %tmp10 = getelementptr inbounds i32, i32* %data, i64 %tmp9
+ store i32 2, i32* %tmp10, align 4
+ %tmp11 = sub nsw i32 %m.0, %n.0
+ %tmp12 = getelementptr inbounds i32, i32* %data, i64 0
+ store i32 %tmp11, i32* %tmp12, align 4
+ %tmp13 = getelementptr inbounds i32, i32* %data, i64 1
+ %tmp14 = load i32, i32* %tmp13, align 4
+ %tmp15 = add nsw i32 %m.0, %tmp14
+ %tmp16 = add nsw i32 %n.0, %tmp14
+ br label %bb17
+
+bb17: ; preds = %bb6
+ %tmp18 = add nsw i32 %i.0, 1
+ br label %bb4
+
+bb19: ; preds = %bb4
+ ret void
+}
+
+;; Function Attrs: nounwind ssp uwtable
+;; We should eliminate the sub, one of the phi nodes, prove the store of the sub
+;; and the load of data are equivalent, that the load always produces constant 0, and
+;; delete the load replacing it with constant 0.
+define i32 @vnum_test2(i32* %data) #0 {
+; CHECK-LABEL: @vnum_test2(
+; CHECK-NEXT: bb:
+; CHECK-NEXT: [[TMP:%.*]] = getelementptr inbounds i32, i32* [[DATA:%.*]], i64 3
+; CHECK-NEXT: [[TMP1:%.*]] = load i32, i32* [[TMP]], align 4
+; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 4
+; CHECK-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP2]], align 4
+; CHECK-NEXT: br label [[BB4:%.*]]
+; CHECK: bb4:
+; CHECK-NEXT: [[M_0:%.*]] = phi i32 [ [[TMP3]], [[BB:%.*]] ], [ [[TMP15:%.*]], [[BB19:%.*]] ]
+; CHECK-NEXT: [[I_0:%.*]] = phi i32 [ 0, [[BB]] ], [ [[TMP20:%.*]], [[BB19]] ]
+; CHECK-NEXT: [[TMP5:%.*]] = icmp slt i32 [[I_0]], [[TMP1]]
+; CHECK-NEXT: br i1 [[TMP5]], label [[BB6:%.*]], label [[BB21:%.*]]
+; CHECK: bb6:
+; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 2
+; CHECK-NEXT: [[TMP8:%.*]] = load i32, i32* [[TMP7]], align 4
+; CHECK-NEXT: [[TMP9:%.*]] = sext i32 [[TMP8]] to i64
+; CHECK-NEXT: [[TMP10:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 [[TMP9]]
+; CHECK-NEXT: store i32 2, i32* [[TMP10]], align 4
+; CHECK-NEXT: store i32 0, i32* [[DATA]], align 4
+; CHECK-NEXT: [[TMP13:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 1
+; CHECK-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP13]], align 4
+; CHECK-NEXT: [[TMP15]] = add nsw i32 [[M_0]], [[TMP14]]
+; CHECK-NEXT: br label [[BB19]]
+; CHECK: bb19:
+; CHECK-NEXT: [[TMP20]] = add nsw i32 [[I_0]], 1
+; CHECK-NEXT: br label [[BB4]]
+; CHECK: bb21:
+; CHECK-NEXT: ret i32 0
+;
+bb:
+ %tmp = getelementptr inbounds i32, i32* %data, i64 3
+ %tmp1 = load i32, i32* %tmp, align 4
+ %tmp2 = getelementptr inbounds i32, i32* %data, i64 4
+ %tmp3 = load i32, i32* %tmp2, align 4
+ br label %bb4
+
+bb4: ; preds = %bb19, %bb
+ %m.0 = phi i32 [ %tmp3, %bb ], [ %tmp15, %bb19 ]
+ %n.0 = phi i32 [ %tmp3, %bb ], [ %tmp16, %bb19 ]
+ %i.0 = phi i32 [ 0, %bb ], [ %tmp20, %bb19 ]
+ %p.0 = phi i32 [ undef, %bb ], [ %tmp18, %bb19 ]
+ %tmp5 = icmp slt i32 %i.0, %tmp1
+ br i1 %tmp5, label %bb6, label %bb21
+
+bb6: ; preds = %bb4
+ %tmp7 = getelementptr inbounds i32, i32* %data, i64 2
+ %tmp8 = load i32, i32* %tmp7, align 4
+ %tmp9 = sext i32 %tmp8 to i64
+ %tmp10 = getelementptr inbounds i32, i32* %data, i64 %tmp9
+ store i32 2, i32* %tmp10, align 4
+ %tmp11 = sub nsw i32 %m.0, %n.0
+ %tmp12 = getelementptr inbounds i32, i32* %data, i64 0
+ store i32 %tmp11, i32* %tmp12, align 4
+ %tmp13 = getelementptr inbounds i32, i32* %data, i64 1
+ %tmp14 = load i32, i32* %tmp13, align 4
+ %tmp15 = add nsw i32 %m.0, %tmp14
+ %tmp16 = add nsw i32 %n.0, %tmp14
+ %tmp17 = getelementptr inbounds i32, i32* %data, i64 0
+ %tmp18 = load i32, i32* %tmp17, align 4
+ br label %bb19
+
+bb19: ; preds = %bb6
+ %tmp20 = add nsw i32 %i.0, 1
+ br label %bb4
+
+bb21: ; preds = %bb4
+ ret i32 %p.0
+}
+
+
+; Function Attrs: nounwind ssp uwtable
+;; Same as test 2, with a conditional store of m-n, so it has to also discover
+;; that data ends up with the same value no matter what branch is taken.
+define i32 @vnum_test3(i32* %data) #0 {
+; CHECK-LABEL: @vnum_test3(
+; CHECK-NEXT: bb:
+; CHECK-NEXT: [[TMP:%.*]] = getelementptr inbounds i32, i32* [[DATA:%.*]], i64 3
+; CHECK-NEXT: [[TMP1:%.*]] = load i32, i32* [[TMP]], align 4
+; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 4
+; CHECK-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP2]], align 4
+; CHECK-NEXT: br label [[BB4:%.*]]
+; CHECK: bb4:
+; CHECK-NEXT: [[N_0:%.*]] = phi i32 [ [[TMP3]], [[BB:%.*]] ], [ [[TMP19:%.*]], [[BB21:%.*]] ]
+; CHECK-NEXT: [[I_0:%.*]] = phi i32 [ 0, [[BB]] ], [ [[TMP22:%.*]], [[BB21]] ]
+; CHECK-NEXT: [[TMP5:%.*]] = icmp slt i32 [[I_0]], [[TMP1]]
+; CHECK-NEXT: br i1 [[TMP5]], label [[BB6:%.*]], label [[BB23:%.*]]
+; CHECK: bb6:
+; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 2
+; CHECK-NEXT: [[TMP9:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 5
+; CHECK-NEXT: store i32 0, i32* [[TMP9]], align 4
+; CHECK-NEXT: [[TMP10:%.*]] = icmp slt i32 [[I_0]], 30
+; CHECK-NEXT: br i1 [[TMP10]], label [[BB11:%.*]], label [[BB14:%.*]]
+; CHECK: bb11:
+; CHECK-NEXT: store i32 0, i32* [[TMP9]], align 4
+; CHECK-NEXT: br label [[BB14]]
+; CHECK: bb14:
+; CHECK-NEXT: [[TMP17:%.*]] = getelementptr inbounds i32, i32* [[DATA]], i64 1
+; CHECK-NEXT: [[TMP18:%.*]] = load i32, i32* [[TMP17]], align 4
+; CHECK-NEXT: [[TMP19]] = add nsw i32 [[N_0]], [[TMP18]]
+; CHECK-NEXT: br label [[BB21]]
+; CHECK: bb21:
+; CHECK-NEXT: [[TMP22]] = add nsw i32 [[I_0]], 1
+; CHECK-NEXT: br label [[BB4]]
+; CHECK: bb23:
+; CHECK-NEXT: ret i32 0
+;
+bb:
+ %tmp = getelementptr inbounds i32, i32* %data, i64 3
+ %tmp1 = load i32, i32* %tmp, align 4
+ %tmp2 = getelementptr inbounds i32, i32* %data, i64 4
+ %tmp3 = load i32, i32* %tmp2, align 4
+ br label %bb4
+
+bb4: ; preds = %bb21, %bb
+ %n.0 = phi i32 [ %tmp3, %bb ], [ %tmp20, %bb21 ]
+ %m.0 = phi i32 [ %tmp3, %bb ], [ %tmp19, %bb21 ]
+ %p.0 = phi i32 [ 0, %bb ], [ %tmp16, %bb21 ]
+ %i.0 = phi i32 [ 0, %bb ], [ %tmp22, %bb21 ]
+ %tmp5 = icmp slt i32 %i.0, %tmp1
+ br i1 %tmp5, label %bb6, label %bb23
+
+bb6: ; preds = %bb4
+ %tmp7 = getelementptr inbounds i32, i32* %data, i64 2
+ %tmp8 = load i32, i32* %tmp7, align 4
+ %tmp9 = getelementptr inbounds i32, i32* %data, i64 5
+ store i32 0, i32* %tmp9, align 4
+ %tmp10 = icmp slt i32 %i.0, 30
+ br i1 %tmp10, label %bb11, label %bb14
+
+bb11: ; preds = %bb6
+ %tmp12 = sub nsw i32 %m.0, %n.0
+ %tmp13 = getelementptr inbounds i32, i32* %data, i64 5
+ store i32 %tmp12, i32* %tmp13, align 4
+ br label %bb14
+
+bb14: ; preds = %bb11, %bb6
+ %tmp15 = getelementptr inbounds i32, i32* %data, i64 5
+ %tmp16 = load i32, i32* %tmp15, align 4
+ %tmp17 = getelementptr inbounds i32, i32* %data, i64 1
+ %tmp18 = load i32, i32* %tmp17, align 4
+ %tmp19 = add nsw i32 %m.0, %tmp18
+ %tmp20 = add nsw i32 %n.0, %tmp18
+ br label %bb21
+
+bb21: ; preds = %bb14
+ %tmp22 = add nsw i32 %i.0, 1
+ br label %bb4
+
+bb23: ; preds = %bb4
+ ret i32 %p.0
+}
+
+attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
+
+!llvm.ident = !{!0, !0, !0}
+
+!0 = !{!"Apple LLVM version 6.0 (clang-600.0.56) (based on LLVM 3.5svn)"}
generated by cgit v1.3 (git 2.53.0) at 2026-09-02 19:15:00 +0000