1; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s 2 3; When merging MustAlias and PartialAlias, merge to PartialAlias 4; instead of MayAlias. 5 6 7target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" 8 9; CHECK: PartialAlias: i16* %bigbase0, i8* %phi 10define i8 @test0(i8* %base, i1 %x) { 11entry: 12 %baseplusone = getelementptr i8, i8* %base, i64 1 13 br i1 %x, label %red, label %green 14red: 15 br label %green 16green: 17 %phi = phi i8* [ %baseplusone, %red ], [ %base, %entry ] 18 store i8 0, i8* %phi 19 20 %bigbase0 = bitcast i8* %base to i16* 21 store i16 -1, i16* %bigbase0 22 23 %loaded = load i8, i8* %phi 24 ret i8 %loaded 25} 26 27; CHECK: PartialAlias: i16* %bigbase1, i8* %sel 28define i8 @test1(i8* %base, i1 %x) { 29entry: 30 %baseplusone = getelementptr i8, i8* %base, i64 1 31 %sel = select i1 %x, i8* %baseplusone, i8* %base 32 store i8 0, i8* %sel 33 34 %bigbase1 = bitcast i8* %base to i16* 35 store i16 -1, i16* %bigbase1 36 37 %loaded = load i8, i8* %sel 38 ret i8 %loaded 39} 40