| David Majnemer | bf741d2 | 2014-04-30 17:22:00 +0000 | [diff] [blame] | 1 | ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s |
| 2 | |||||
| 3 | |||||
| 4 | declare void @doit(i64* inalloca %a) | ||||
| 5 | |||||
| 6 | define void @a() { | ||||
| 7 | entry: | ||||
| 8 | %a = alloca [2 x i32] | ||||
| 9 | %b = bitcast [2 x i32]* %a to i64* | ||||
| 10 | call void @doit(i64* inalloca %b) | ||||
| 11 | ; CHECK: inalloca argument for call has mismatched alloca | ||||
| 12 | ret void | ||||
| 13 | } | ||||