82cca0c77e
The 2^14 limit was completely arbitrary; the generic limit is still arbitrary, but at least it's the same arbitrary limit as everything else. While I'm here, also add a verifier check for the ByValOrByRefSize.
21 lines
768 B
LLVM
21 lines
768 B
LLVM
; RUN: not llvm-as < %s 2>&1 | FileCheck %s
|
|
|
|
; Large vector for intrinsics is valid
|
|
; CHECK-NOT: llvm.fshr
|
|
define dso_local <2147483648 x i32> @test_intrin(<2147483648 x i32> %l, <2147483648 x i32> %r, <2147483648 x i32> %amt) {
|
|
entry:
|
|
%b = call <2147483648 x i32> @llvm.fshr.v8192i32(<2147483648 x i32> %l, <2147483648 x i32> %r, <2147483648 x i32> %amt)
|
|
ret <2147483648 x i32> %b
|
|
}
|
|
declare <2147483648 x i32> @llvm.fshr.v8192i32 (<2147483648 x i32> %l, <2147483648 x i32> %r, <2147483648 x i32> %amt)
|
|
|
|
; CHECK: Incorrect alignment of argument passed to called function!
|
|
; CHECK: bar
|
|
define dso_local void @foo(<2147483648 x float> noundef %vec) {
|
|
entry:
|
|
call void @bar(<2147483648 x float> %vec)
|
|
ret void
|
|
}
|
|
|
|
declare dso_local void @bar(<2147483648 x float>)
|