1; RUN: opt < %s -aa-pipeline=basic-aa -passes=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* %base, i8* %phi 10define i8 @test0(ptr %base, i1 %x) { 11entry: 12 %baseplusone = getelementptr i8, ptr %base, i64 1 13 br i1 %x, label %red, label %green 14red: 15 br label %green 16green: 17 %phi = phi ptr [ %baseplusone, %red ], [ %base, %entry ] 18 store i8 0, ptr %phi 19 20 store i16 -1, ptr %base 21 22 %loaded = load i8, ptr %phi 23 ret i8 %loaded 24} 25 26; CHECK: PartialAlias: i16* %base, i8* %sel 27define i8 @test1(ptr %base, i1 %x) { 28entry: 29 %baseplusone = getelementptr i8, ptr %base, i64 1 30 %sel = select i1 %x, ptr %baseplusone, ptr %base 31 store i8 0, ptr %sel 32 33 store i16 -1, ptr %base 34 35 %loaded = load i8, ptr %sel 36 ret i8 %loaded 37} 38