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

[BasicAA] Add extra check in phi-spec-order.ll (NFC)

Browse Source 
The (scevgep, scevgep5) relation regressed with a patch I was
trying, but wasn't tested.
This commit is contained in:
Nikita Popov 2020-12-11 21:17:54 +01:00
parent a480e97ce0
commit 022645293f
1 changed files with 8 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
test/Analysis/BasicAA/phi-spec-order.ll
View File

@ -5,6 +5,14 @@ target triple = "powerpc64le-unknown-linux"
@X = external global [16000 x double], align 32
@Y = external global [16000 x double], align 32
; CHECK: NoAlias: [16000 x double]* %lsr.iv1, [16000 x double]* %lsr.iv4
; CHECK: NoAlias: <4 x double>* %scevgep11, <4 x double>* %scevgep7
; CHECK: NoAlias: <4 x double>* %scevgep10, <4 x double>* %scevgep7
; CHECK: NoAlias: <4 x double>* %scevgep7, <4 x double>* %scevgep9
; CHECK: NoAlias: <4 x double>* %scevgep11, <4 x double>* %scevgep3
; CHECK: NoAlias: <4 x double>* %scevgep10, <4 x double>* %scevgep3
; CHECK: NoAlias: <4 x double>* %scevgep3, <4 x double>* %scevgep9
; CHECK: NoAlias: double* %scevgep, double* %scevgep5
define signext i32 @s000() nounwind {
entry:
br label %for.cond2.preheader
@ -18,8 +26,6 @@ for.body4: ; preds = %for.body4, %for.con
to [16000 x double]*), %for.cond2.preheader ]
%lsr.iv1 = phi [16000 x double]* [ %i10, %for.body4 ], [ @X, %for.cond2.preheader ]
; CHECK: NoAlias:{{[ \t]+}}[16000 x double]* %lsr.iv1, [16000 x double]* %lsr.iv4
%lsr.iv = phi i32 [ %lsr.iv.next, %for.body4 ], [ 16000, %for.cond2.preheader ]
%lsr.iv46 = bitcast [16000 x double]* %lsr.iv4 to <4 x double>*
%lsr.iv12 = bitcast [16000 x double]* %lsr.iv1 to <4 x double>*
@ -42,13 +48,6 @@ for.body4: ; preds = %for.body4, %for.con
%scevgep3 = getelementptr <4 x double>, <4 x double>* %lsr.iv12, i64 3
store <4 x double> %add.12, <4 x double>* %scevgep3, align 32
; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep11, <4 x double>* %scevgep7
; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep10, <4 x double>* %scevgep7
; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep7, <4 x double>* %scevgep9
; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep11, <4 x double>* %scevgep3
; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep10, <4 x double>* %scevgep3
; CHECK: NoAlias:{{[ \t]+}}<4 x double>* %scevgep3, <4 x double>* %scevgep9
%lsr.iv.next = add i32 %lsr.iv, -16
%scevgep = getelementptr [16000 x double], [16000 x double]* %lsr.iv1, i64 0, i64 16
%i10 = bitcast double* %scevgep to [16000 x double]*