| Evan Cheng | 2c4f282 | 2009-10-14 01:45:10 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output |& grep {NoAlias:.*%P,.*@Z} |
| Evan Cheng | 50a5914 | 2009-10-13 22:02:20 +0000 | [diff] [blame] | 2 | ; rdar://7282591 |
| 3 | |
| Evan Cheng | 2c4f282 | 2009-10-14 01:45:10 +0000 | [diff] [blame] | 4 | @X = common global i32 0 |
| 5 | @Y = common global i32 0 |
| 6 | @Z = common global i32 0 |
| Evan Cheng | 50a5914 | 2009-10-13 22:02:20 +0000 | [diff] [blame] | 7 | |
| Evan Cheng | 2c4f282 | 2009-10-14 01:45:10 +0000 | [diff] [blame] | 8 | define void @foo(i32 %cond) nounwind ssp { |
| Evan Cheng | 50a5914 | 2009-10-13 22:02:20 +0000 | [diff] [blame] | 9 | entry: |
| Evan Cheng | 2c4f282 | 2009-10-14 01:45:10 +0000 | [diff] [blame] | 10 | %"alloca point" = bitcast i32 0 to i32 |
| 11 | %tmp = icmp ne i32 %cond, 0 |
| 12 | br i1 %tmp, label %bb, label %bb1 |
| Evan Cheng | 50a5914 | 2009-10-13 22:02:20 +0000 | [diff] [blame] | 13 | |
| Evan Cheng | 2c4f282 | 2009-10-14 01:45:10 +0000 | [diff] [blame] | 14 | bb: |
| 15 | br label %bb2 |
| Evan Cheng | 50a5914 | 2009-10-13 22:02:20 +0000 | [diff] [blame] | 16 | |
| Evan Cheng | 2c4f282 | 2009-10-14 01:45:10 +0000 | [diff] [blame] | 17 | bb1: |
| 18 | br label %bb2 |
| Evan Cheng | 50a5914 | 2009-10-13 22:02:20 +0000 | [diff] [blame] | 19 | |
| Evan Cheng | 2c4f282 | 2009-10-14 01:45:10 +0000 | [diff] [blame] | 20 | bb2: |
| 21 | %P = phi i32* [ @X, %bb ], [ @Y, %bb1 ] |
| 22 | %tmp1 = load i32* @Z, align 4 |
| 23 | store i32 123, i32* %P, align 4 |
| 24 | %tmp2 = load i32* @Z, align 4 |
| 25 | br label %return |
| Evan Cheng | 50a5914 | 2009-10-13 22:02:20 +0000 | [diff] [blame] | 26 | |
| Evan Cheng | 2c4f282 | 2009-10-14 01:45:10 +0000 | [diff] [blame] | 27 | return: |
| Evan Cheng | 50a5914 | 2009-10-13 22:02:20 +0000 | [diff] [blame] | 28 | ret void |
| 29 | } |