xref: /llvm-project/llvm/test/Verifier/param-align.ll (revision 82cca0c77e935b4972c31745d94edef616970b6c)
1; RUN: not llvm-as < %s 2>&1 | FileCheck %s
2
3; Large vector for intrinsics is valid
4; CHECK-NOT: llvm.fshr
5define dso_local <2147483648 x i32> @test_intrin(<2147483648 x i32> %l, <2147483648 x i32> %r, <2147483648 x i32> %amt) {
6entry:
7  %b = call <2147483648 x i32> @llvm.fshr.v8192i32(<2147483648 x i32> %l, <2147483648 x i32> %r, <2147483648 x i32> %amt)
8  ret <2147483648 x i32> %b
9}
10declare <2147483648 x i32> @llvm.fshr.v8192i32 (<2147483648 x i32> %l, <2147483648 x i32> %r, <2147483648 x i32> %amt)
11
12; CHECK: Incorrect alignment of argument passed to called function!
13; CHECK: bar
14define dso_local void @foo(<2147483648 x float> noundef %vec) {
15entry:
16  call void @bar(<2147483648 x float> %vec)
17  ret void
18}
19
20declare dso_local void @bar(<2147483648 x float>)
21