1; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info |& FileCheck %s 2 3target 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" 4 5; BasicAA's guard against use-def cycles shouldn't prevent it from 6; analyzing use-def dags. 7 8; CHECK: MustAlias: i8* %base, i8* %phi 9; CHECK: MustAlias: i8* %phi, i8* %wwa 10; CHECK: MustAlias: i8* %phi, i8* %wwb 11; CHECK: MustAlias: i16* %bigbase, i8* %phi 12define i8 @foo(i8* %base, i1 %x, i1 %w) { 13entry: 14 br i1 %w, label %wa, label %wb 15wa: 16 %wwa = bitcast i8* %base to i8* 17 br label %wc 18wb: 19 %wwb = bitcast i8* %base to i8* 20 br label %wc 21wc: 22 %first = phi i8* [ %wwa, %wa ], [ %wwb, %wb ] 23 %fc = bitcast i8* %first to i8* 24 br i1 %x, label %xa, label %xb 25xa: 26 %xxa = bitcast i8* %fc to i8* 27 br label %xc 28xb: 29 %xxb = bitcast i8* %fc to i8* 30 br label %xc 31xc: 32 %phi = phi i8* [ %xxa, %xa ], [ %xxb, %xb ] 33 34 store i8 0, i8* %phi 35 36 %bigbase = bitcast i8* %base to i16* 37 store i16 -1, i16* %bigbase 38 39 %loaded = load i8* %phi 40 ret i8 %loaded 41} 42