1*a83aa33dSBradley Smith; RUN: opt -S < %s | FileCheck %s 2*a83aa33dSBradley Smith; RUN: llvm-dis < %s.bc | FileCheck %s 3*a83aa33dSBradley Smith 4*a83aa33dSBradley Smithdefine <vscale x 16 x i8> @insert(<vscale x 16 x i8> %a, <4 x i8> %b) { 5*a83aa33dSBradley Smith; CHECK-LABEL: @insert 6*a83aa33dSBradley Smith; CHECK: %res = call <vscale x 16 x i8> @llvm.vector.insert.nxv16i8.v4i8(<vscale x 16 x i8> %a, <4 x i8> %b, i64 0) 7*a83aa33dSBradley Smith %res = call <vscale x 16 x i8> @llvm.experimental.vector.insert.nxv16i8.v4i8(<vscale x 16 x i8> %a, <4 x i8> %b, i64 0) 8*a83aa33dSBradley Smith ret <vscale x 16 x i8> %res 9*a83aa33dSBradley Smith} 10*a83aa33dSBradley Smith 11*a83aa33dSBradley Smithdefine <4 x i8> @extract(<vscale x 16 x i8> %a) { 12*a83aa33dSBradley Smith; CHECK-LABEL: @extract 13*a83aa33dSBradley Smith; CHECK: %res = call <4 x i8> @llvm.vector.extract.v4i8.nxv16i8(<vscale x 16 x i8> %a, i64 0) 14*a83aa33dSBradley Smith %res = call <4 x i8> @llvm.experimental.vector.extract.v4i8.nxv16i8(<vscale x 16 x i8> %a, i64 0) 15*a83aa33dSBradley Smith ret <4 x i8> %res 16*a83aa33dSBradley Smith} 17*a83aa33dSBradley Smith 18*a83aa33dSBradley Smithdeclare <vscale x 16 x i8> @llvm.experimental.vector.insert.nxv16i8.v4i8(<vscale x 16 x i8>, <4 x i8>, i64 immarg) 19*a83aa33dSBradley Smith; CHECK: declare <vscale x 16 x i8> @llvm.vector.insert.nxv16i8.v4i8(<vscale x 16 x i8>, <4 x i8>, i64 immarg) 20*a83aa33dSBradley Smith 21*a83aa33dSBradley Smithdeclare <4 x i8> @llvm.experimental.vector.extract.v4i8.nxv16i8(<vscale x 16 x i8>, i64 immarg) 22*a83aa33dSBradley Smith; CHECK: declare <4 x i8> @llvm.vector.extract.v4i8.nxv16i8(<vscale x 16 x i8>, i64 immarg) 23