xref: /aosp_15_r20/external/llvm/test/Verifier/inalloca3.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker
4*9880d681SAndroid Build Coastguard Workerdeclare void @doit(i64* inalloca %a)
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Workerdefine void @a() {
7*9880d681SAndroid Build Coastguard Workerentry:
8*9880d681SAndroid Build Coastguard Worker  %a = alloca [2 x i32]
9*9880d681SAndroid Build Coastguard Worker  %b = bitcast [2 x i32]* %a to i64*
10*9880d681SAndroid Build Coastguard Worker  call void @doit(i64* inalloca %b)
11*9880d681SAndroid Build Coastguard Worker; CHECK: inalloca argument for call has mismatched alloca
12*9880d681SAndroid Build Coastguard Worker  ret void
13*9880d681SAndroid Build Coastguard Worker}
14