| Reid Kleckner | ad60d3c | 2014-01-16 22:59:24 +0000 | [diff] [blame] | 1 | ; This used to be invalid, but now it's valid. Ensure the verifier |
| 2 | ; doesn't reject it. |
| 3 | ; RUN: llvm-as %s -o /dev/null |
| Reid Kleckner | 4b70bfc | 2013-12-19 02:14:12 +0000 | [diff] [blame] | 4 | |
| 5 | declare void @doit(i64* inalloca %a) |
| 6 | |
| 7 | define void @a() { |
| 8 | entry: |
| David Majnemer | 39a09d2 | 2014-03-09 06:41:58 +0000 | [diff] [blame] | 9 | %a = alloca inalloca [2 x i32] |
| Reid Kleckner | 4b70bfc | 2013-12-19 02:14:12 +0000 | [diff] [blame] | 10 | %b = bitcast [2 x i32]* %a to i64* |
| 11 | call void @doit(i64* inalloca %b) |
| Reid Kleckner | 4b70bfc | 2013-12-19 02:14:12 +0000 | [diff] [blame] | 12 | ret void |
| 13 | } |
| 14 | |
| 15 | define void @b() { |
| 16 | entry: |
| David Majnemer | 39a09d2 | 2014-03-09 06:41:58 +0000 | [diff] [blame] | 17 | %a = alloca inalloca i64 |
| Reid Kleckner | 4b70bfc | 2013-12-19 02:14:12 +0000 | [diff] [blame] | 18 | call void @doit(i64* inalloca %a) |
| 19 | call void @doit(i64* inalloca %a) |
| Reid Kleckner | 4b70bfc | 2013-12-19 02:14:12 +0000 | [diff] [blame] | 20 | ret void |
| 21 | } |
| Reid Kleckner | 3cbfa16 | 2014-01-17 23:58:17 +0000 | [diff] [blame] | 22 | |
| 23 | define void @c(i1 %cond) { |
| 24 | entry: |
| 25 | br i1 %cond, label %if, label %else |
| 26 | |
| 27 | if: |
| David Majnemer | 39a09d2 | 2014-03-09 06:41:58 +0000 | [diff] [blame] | 28 | %a = alloca inalloca i64 |
| Reid Kleckner | 3cbfa16 | 2014-01-17 23:58:17 +0000 | [diff] [blame] | 29 | br label %call |
| 30 | |
| 31 | else: |
| David Majnemer | 39a09d2 | 2014-03-09 06:41:58 +0000 | [diff] [blame] | 32 | %b = alloca inalloca i64 |
| Reid Kleckner | 3cbfa16 | 2014-01-17 23:58:17 +0000 | [diff] [blame] | 33 | br label %call |
| 34 | |
| 35 | call: |
| 36 | %args = phi i64* [ %a, %if ], [ %b, %else ] |
| 37 | call void @doit(i64* inalloca %args) |
| 38 | ret void |
| 39 | } |