maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[IndVarSimplify] Add additional PR33181 tests; NFC 

Two more tests with a switch to a dynamically dead IV, with poison
occuring on the first or second iteration.

llvm-svn: 362291
This commit is contained in:
Nikita Popov 2019-06-01 09:40:09 +00:00
parent 038e3b9f57
commit 2b1d799a59
1 changed files with 90 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

94
llvm/test/Transforms/IndVarSimplify/pr31181.ll → llvm/test/Transforms/IndVarSimplify/lftr-pr31181.ll
View File

@ -180,8 +180,8 @@ exit:
; Adopted from D30446. ; Adopted from D30446.
; We switch from %iv to %iv2 and need to change nsw to nuw in the process. ; We switch from %iv to %iv2 and need to change nsw to nuw in the process.
define i32 @switch_to_different_iv_pos_inc(i32* %ptr, i1 %always_false) { define i32 @switch_to_different_iv_post_inc(i32* %ptr, i1 %always_false) {
; CHECK-LABEL: @switch_to_different_iv_pos_inc( ; CHECK-LABEL: @switch_to_different_iv_post_inc(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[FOR_COND:%.*]] ; CHECK-NEXT: br label [[FOR_COND:%.*]]
; CHECK: for.cond: ; CHECK: for.cond:
@ -215,7 +215,7 @@ never_taken:
always_taken: always_taken:
%iv.inc = add nsw i32 %iv, 1 %iv.inc = add nsw i32 %iv, 1
%iv2.inc = add nsw i32 %iv2, 1 %iv2.inc = add nuw nsw i32 %iv2, 1
%cmp = icmp slt i32 %iv, 20 %cmp = icmp slt i32 %iv, 20
br i1 %cmp, label %for.cond, label %for.end br i1 %cmp, label %for.cond, label %for.end
@ -266,9 +266,95 @@ never_taken:
always_taken: always_taken:
%iv.inc = add nsw i32 %iv, 1 %iv.inc = add nsw i32 %iv, 1
%iv2.inc = add nsw i32 %iv2, 1 %iv2.inc = add nuw nsw i32 %iv2, 1
br label %for.cond br label %for.cond
for.end: for.end:
ret i32 0 ret i32 0
} }
define i32 @switch_to_different_iv_first_poison(i32* %ptr, i1 %always_false) {
; CHECK-LABEL: @switch_to_different_iv_first_poison(
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[FOR_COND:%.*]]
; CHECK: for.cond:
; CHECK-NEXT: [[IV2:%.*]] = phi i32 [ -1, [[ENTRY:%.*]] ], [ [[IV2_INC:%.*]], [[ALWAYS_TAKEN:%.*]] ]
; CHECK-NEXT: [[IV:%.*]] = phi i32 [ -2147483648, [[ENTRY]] ], [ [[IV_INC:%.*]], [[ALWAYS_TAKEN]] ]
; CHECK-NEXT: store i32 [[IV]], i32* [[PTR:%.*]]
; CHECK-NEXT: br i1 [[ALWAYS_FALSE:%.*]], label [[NEVER_TAKEN:%.*]], label [[ALWAYS_TAKEN]]
; CHECK: never_taken:
; CHECK-NEXT: store volatile i32 [[IV2]], i32* [[PTR]]
; CHECK-NEXT: br label [[ALWAYS_TAKEN]]
; CHECK: always_taken:
; CHECK-NEXT: [[IV2_INC]] = add nuw nsw i32 [[IV2]], 1
; CHECK-NEXT: [[IV_INC]] = add nsw i32 [[IV]], 1
; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i32 [[IV2_INC]], -2147483628
; CHECK-NEXT: br i1 [[EXITCOND]], label [[FOR_COND]], label [[FOR_END:%.*]]
; CHECK: for.end:
; CHECK-NEXT: ret i32 0
;
entry:
br label %for.cond
for.cond:
%iv2 = phi i32 [ -1, %entry ], [ %iv2.inc, %always_taken ]
%iv = phi i32 [ -2147483648, %entry ], [ %iv.inc, %always_taken ]
store i32 %iv, i32* %ptr
br i1 %always_false, label %never_taken, label %always_taken
never_taken:
store volatile i32 %iv2, i32* %ptr
br label %always_taken
always_taken:
%iv2.inc = add nuw nsw i32 %iv2, 1
%iv.inc = add nsw i32 %iv, 1
%cmp = icmp slt i32 %iv, 20
br i1 %cmp, label %for.cond, label %for.end
for.end:
ret i32 0
}
define i32 @switch_to_different_iv_second_poison(i32* %ptr, i1 %always_false) {
; CHECK-LABEL: @switch_to_different_iv_second_poison(
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[FOR_COND:%.*]]
; CHECK: for.cond:
; CHECK-NEXT: [[IV2:%.*]] = phi i32 [ -2, [[ENTRY:%.*]] ], [ [[IV2_INC:%.*]], [[ALWAYS_TAKEN:%.*]] ]
; CHECK-NEXT: [[IV:%.*]] = phi i32 [ -2147483648, [[ENTRY]] ], [ [[IV_INC:%.*]], [[ALWAYS_TAKEN]] ]
; CHECK-NEXT: store i32 [[IV]], i32* [[PTR:%.*]]
; CHECK-NEXT: br i1 [[ALWAYS_FALSE:%.*]], label [[NEVER_TAKEN:%.*]], label [[ALWAYS_TAKEN]]
; CHECK: never_taken:
; CHECK-NEXT: store volatile i32 [[IV2]], i32* [[PTR]]
; CHECK-NEXT: br label [[ALWAYS_TAKEN]]
; CHECK: always_taken:
; CHECK-NEXT: [[IV2_INC]] = add nuw nsw i32 [[IV2]], 1
; CHECK-NEXT: [[IV_INC]] = add nsw i32 [[IV]], 1
; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i32 [[IV2_INC]], -2147483629
; CHECK-NEXT: br i1 [[EXITCOND]], label [[FOR_COND]], label [[FOR_END:%.*]]
; CHECK: for.end:
; CHECK-NEXT: ret i32 0
;
entry:
br label %for.cond
for.cond:
%iv2 = phi i32 [ -2, %entry ], [ %iv2.inc, %always_taken ]
%iv = phi i32 [ -2147483648, %entry ], [ %iv.inc, %always_taken ]
store i32 %iv, i32* %ptr
br i1 %always_false, label %never_taken, label %always_taken
never_taken:
store volatile i32 %iv2, i32* %ptr
br label %always_taken
always_taken:
%iv2.inc = add nuw nsw i32 %iv2, 1
%iv.inc = add nsw i32 %iv, 1
%cmp = icmp slt i32 %iv, 20
br i1 %cmp, label %for.cond, label %for.end
for.end:
ret i32 0
}