; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes='require<profile-summary>,function(codegenprepare)' < %s | FileCheck %s
target triple = "riscv64-unknown-unknown"
; Check that despeculating count-zeros intrinsics doesn't crash when those
; intrinsics use scalable types.
define <vscale x 4 x i64> @cttz_nxv4i64(<vscale x 4 x i64> %x) {
; CHECK-LABEL: @cttz_nxv4i64(
; CHECK-NEXT: [[Z:%.*]] = call <vscale x 4 x i64> @llvm.cttz.nxv4i64(<vscale x 4 x i64> [[X:%.*]], i1 false)
; CHECK-NEXT: ret <vscale x 4 x i64> [[Z]]
;
%z = call <vscale x 4 x i64> @llvm.cttz.nxv4i64(<vscale x 4 x i64> %x, i1 false)
ret <vscale x 4 x i64> %z
}
define <vscale x 4 x i64> @ctlz_nxv4i64(<vscale x 4 x i64> %x) {
; CHECK-LABEL: @ctlz_nxv4i64(
; CHECK-NEXT: [[Z:%.*]] = call <vscale x 4 x i64> @llvm.ctlz.nxv4i64(<vscale x 4 x i64> [[X:%.*]], i1 false)
; CHECK-NEXT: ret <vscale x 4 x i64> [[Z]]
;
%z = call <vscale x 4 x i64> @llvm.ctlz.nxv4i64(<vscale x 4 x i64> %x, i1 false)
ret <vscale x 4 x i64> %z
}
declare <vscale x 4 x i64> @llvm.cttz.nxv4i64(<vscale x 4 x i64>, i1)
declare <vscale x 4 x i64> @llvm.ctlz.nxv4i64(<vscale x 4 x i64>, i1)