RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 04:02:41 +01:00
Code Issues Projects Releases Wiki Activity

[ScalarEvolution] Add test for preserving add overflow flags.

Browse Source
This commit is contained in:
Florian Hahn 2021-06-09 09:01:33 +01:00
parent 1661b75919
commit 92b2a39d20
1 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
test/Analysis/ScalarEvolution/no-wrap-symbolic-becount.ll
View File

@ -91,3 +91,31 @@ loop: ; preds = %backedge, %entry
exit: ; preds = %loop
ret i32 0
}
define void @pointer_iv_nowrap(i8* %startptr, i8* %endptr) local_unnamed_addr {
; CHECK-LABEL: Classifying expressions for: @pointer_iv_nowrap
; CHECK-NEXT: %init = getelementptr inbounds i8, i8* %startptr, i64 2000
; CHECK-NEXT: --> (2000 + %startptr)<nuw> U: [2000,0) S: [2000,0)
; CHECK-NEXT: %iv = phi i8* [ %init, %entry ], [ %iv.next, %loop ]
; CHECK-NEXT: --> {(2000 + %startptr)<nuw>,+,1}<nuw><%loop> U: [2000,0) S: [2000,0)
; CHECK-NEXT: %iv.next = getelementptr inbounds i8, i8* %iv, i64 1
; CHECK-NEXT: --> {(2001 + %startptr),+,1}<nuw><%loop> U: full-set S: full-set
; CHECK-NEXT:Determining loop execution counts for: @pointer_iv_nowrap
; CHECK-NEXT:Loop %loop: Unpredictable backedge-taken count.
; CHECK-NEXT:Loop %loop: Unpredictable max backedge-taken count.
; CHECK-NEXT:Loop %loop: Unpredictable predicated backedge-taken count.
;
entry:
%init = getelementptr inbounds i8, i8* %startptr, i64 2000
br label %loop
loop:
%iv = phi i8* [ %init, %entry ], [ %iv.next, %loop ]
%iv.next = getelementptr inbounds i8, i8* %iv, i64 1
%ec = icmp ugt i8* %iv.next, %endptr
br i1 %ec, label %end, label %loop
end:
ret void
}