30 lines · plain
1; RUN: not opt -S -passes=verify < %s 2>&1 | FileCheck %s2 3; Reject stepvector intrinsics that return a scalar4 5define i32 @stepvector_i32() {6; CHECK: Intrinsic has incorrect return type!7 %1 = call i32 @llvm.stepvector.i32()8 ret i32 %19}10 11; Reject vectors with non-integer elements12 13define <vscale x 4 x float> @stepvector_float() {14; CHECK: stepvector only supported for vectors of integers with a bitwidth of at least 815 %1 = call <vscale x 4 x float> @llvm.stepvector.nxv4f32()16 ret <vscale x 4 x float> %117}18 19; Reject vectors of integers less than 8 bits in width20 21define <vscale x 16 x i1> @stepvector_i1() {22; CHECK: stepvector only supported for vectors of integers with a bitwidth of at least 823 %1 = call <vscale x 16 x i1> @llvm.stepvector.nxv16i1()24 ret <vscale x 16 x i1> %125}26 27declare i32 @llvm.stepvector.i32()28declare <vscale x 4 x float> @llvm.stepvector.nxv4f32()29declare <vscale x 16 x i1> @llvm.stepvector.nxv16i1()30