forked from OSchip/llvm-project
236 lines
10 KiB
LLVM
236 lines
10 KiB
LLVM
|
; 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)"}
|