| Chandler Carruth | 5da5343 | 2012-07-02 18:37:59 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s |
| Dan Gohman | fb02cec | 2011-06-04 00:31:50 +0000 | [diff] [blame] | 2 | |
| 3 | target 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 |
| 12 | define i8 @foo(i8* %base, i1 %x, i1 %w) { |
| 13 | entry: |
| 14 | br i1 %w, label %wa, label %wb |
| 15 | wa: |
| 16 | %wwa = bitcast i8* %base to i8* |
| 17 | br label %wc |
| 18 | wb: |
| 19 | %wwb = bitcast i8* %base to i8* |
| 20 | br label %wc |
| 21 | wc: |
| 22 | %first = phi i8* [ %wwa, %wa ], [ %wwb, %wb ] |
| 23 | %fc = bitcast i8* %first to i8* |
| 24 | br i1 %x, label %xa, label %xb |
| 25 | xa: |
| 26 | %xxa = bitcast i8* %fc to i8* |
| 27 | br label %xc |
| 28 | xb: |
| 29 | %xxb = bitcast i8* %fc to i8* |
| 30 | br label %xc |
| 31 | xc: |
| 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 | |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 39 | %loaded = load i8, i8* %phi |
| Dan Gohman | fb02cec | 2011-06-04 00:31:50 +0000 | [diff] [blame] | 40 | ret i8 %loaded |
| 41 | } |