blob: ac4ad670287f875d8d3c2c9c6ce9526fe5ec3ebb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
; RUN: not opt -S -passes=verify < %s 2>&1 | FileCheck %s
; Reject stepvector intrinsics that return a scalar
define i32 @stepvector_i32() {
; CHECK: Intrinsic has incorrect return type!
%1 = call i32 @llvm.experimental.stepvector.i32()
ret i32 %1
}
; Reject vectors with non-integer elements
define <vscale x 4 x float> @stepvector_float() {
; CHECK: experimental_stepvector only supported for vectors of integers with a bitwidth of at least 8
%1 = call <vscale x 4 x float> @llvm.experimental.stepvector.nxv4f32()
ret <vscale x 4 x float> %1
}
; Reject vectors of integers less than 8 bits in width
define <vscale x 16 x i1> @stepvector_i1() {
; CHECK: experimental_stepvector only supported for vectors of integers with a bitwidth of at least 8
%1 = call <vscale x 16 x i1> @llvm.experimental.stepvector.nxv16i1()
ret <vscale x 16 x i1> %1
}
declare i32 @llvm.experimental.stepvector.i32()
declare <vscale x 4 x float> @llvm.experimental.stepvector.nxv4f32()
declare <vscale x 16 x i1> @llvm.experimental.stepvector.nxv16i1()
|
