1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
3 declare void @doit(i64* inalloca %a)
8 %b = bitcast [2 x i32]* %a to i64*
9 call void @doit(i64* inalloca %b)
10 ; CHECK: Inalloca argument is not an alloca!
17 call void @doit(i64* inalloca %a)
18 call void @doit(i64* inalloca %a)
19 ; CHECK: Allocas can be used at most once with inalloca!