summaryrefslogtreecommitdiff
path: root/llvm/test/Verifier/param-align.ll
blob: bfd01cbc9faa5049c38d1335e4dc7188abe8d30f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
; RUN: not llvm-as < %s 2>&1 | FileCheck %s

; Large vector for intrinsics is valid
; CHECK-NOT: llvm.fshr
define dso_local <8192 x i32> @test_intrin(<8192 x i32> %l, <8192 x i32> %r, <8192 x i32> %amt) {
entry:
  %b = call <8192 x i32> @llvm.fshr.v8192i32(<8192 x i32> %l, <8192 x i32> %r, <8192 x i32> %amt)
  ret <8192 x i32> %b
}
declare <8192 x i32> @llvm.fshr.v8192i32 (<8192 x i32> %l, <8192 x i32> %r, <8192 x i32> %amt)

; CHECK: Incorrect alignment of argument passed to called function!
; CHECK: bar
define dso_local void @foo(<8192 x float> noundef %vec) {
entry:
  call void @bar(<8192 x float> %vec)
  ret void
}

declare dso_local void @bar(<8192 x float>)