Skip to content

Commit fe9e442

Browse files
committed
[BasicAA] Add test for phi that contains itself (NFC)
This currently produces a better result with PhiValues.
1 parent bf773a6 commit fe9e442

File tree

1 file changed

+14
-0
lines changed

1 file changed

+14
-0
lines changed

llvm/test/Analysis/BasicAA/recphi.ll

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -413,4 +413,18 @@ exit:
413413
ret void
414414
}
415415

416+
; NO-PHI-VALUES: MayAlias: i8* %a, i8* %phi
417+
; PHI-VALUES: MustAlias: i8* %a, i8* %phi
418+
define void @phi_contains_self() {
419+
entry:
420+
%a = alloca i32
421+
load i8, ptr %a
422+
br label %loop
423+
424+
loop:
425+
%phi = phi ptr [ %phi, %loop ], [ %a, %entry ]
426+
load i8, ptr %phi
427+
br label %loop
428+
}
429+
416430
declare i16 @call(i32)

0 commit comments

Comments
 (0)