38 lines · plain
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s2 3; When merging MustAlias and PartialAlias, merge to PartialAlias4; 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* %phi10define i8 @test0(ptr %base, i1 %x) {11entry:12 %baseplusone = getelementptr i8, ptr %base, i64 113 br i1 %x, label %red, label %green14red:15 br label %green16green:17 %phi = phi ptr [ %baseplusone, %red ], [ %base, %entry ]18 store i8 0, ptr %phi19 20 store i16 -1, ptr %base21 22 %loaded = load i8, ptr %phi23 ret i8 %loaded24}25 26; CHECK: PartialAlias: i16* %base, i8* %sel27define i8 @test1(ptr %base, i1 %x) {28entry:29 %baseplusone = getelementptr i8, ptr %base, i64 130 %sel = select i1 %x, ptr %baseplusone, ptr %base31 store i8 0, ptr %sel32 33 store i16 -1, ptr %base34 35 %loaded = load i8, ptr %sel36 ret i8 %loaded37}38