https://github.com/halide/Halide
Tip revision: cd1e94d505f0d238b37f0012d53cc0e9bd2b44c9 authored by Steven Johnson on 07 February 2020, 22:56:56 UTC
Forbid debug_to_file() on vectorized Funcs (Issue #4596)
Forbid debug_to_file() on vectorized Funcs (Issue #4596)
Tip revision: cd1e94d
arm.ll
; Absolute value ops
declare <4 x float> @llvm.fabs.v4f32(<4 x float>) nounwind readnone
declare <2 x float> @llvm.fabs.v2f32(<2 x float>) nounwind readnone
declare <4 x i32> @llvm.arm.neon.vabs.v4i32(<4 x i32>) nounwind readnone
declare <2 x i32> @llvm.arm.neon.vabs.v2i32(<2 x i32>) nounwind readnone
declare <4 x i16> @llvm.arm.neon.vabs.v4i16(<4 x i16>) nounwind readnone
declare <8 x i16> @llvm.arm.neon.vabs.v8i16(<8 x i16>) nounwind readnone
declare <8 x i8> @llvm.arm.neon.vabs.v8i8(<8 x i8>) nounwind readnone
declare <16 x i8> @llvm.arm.neon.vabs.v16i8(<16 x i8>) nounwind readnone
define weak_odr <4 x float> @abs_f32x4(<4 x float> %x) nounwind alwaysinline {
%tmp = call <4 x float> @llvm.fabs.v4f32(<4 x float> %x)
ret <4 x float> %tmp
}
define weak_odr <2 x float> @abs_f32x2(<2 x float> %x) nounwind alwaysinline {
%tmp = call <2 x float> @llvm.fabs.v2f32(<2 x float> %x)
ret <2 x float> %tmp
}
define weak_odr <4 x i32> @abs_i32x4(<4 x i32> %x) nounwind alwaysinline {
%tmp = call <4 x i32> @llvm.arm.neon.vabs.v4i32(<4 x i32> %x)
ret <4 x i32> %tmp
}
define weak_odr <2 x i32> @abs_i32x2(<2 x i32> %x) nounwind alwaysinline {
%tmp = call <2 x i32> @llvm.arm.neon.vabs.v2i32(<2 x i32> %x)
ret <2 x i32> %tmp
}
define weak_odr <4 x i16> @abs_i16x4(<4 x i16> %x) nounwind alwaysinline {
%tmp = call <4 x i16> @llvm.arm.neon.vabs.v4i16(<4 x i16> %x)
ret <4 x i16> %tmp
}
define weak_odr <8 x i16> @abs_i16x8(<8 x i16> %x) nounwind alwaysinline {
%tmp = call <8 x i16> @llvm.arm.neon.vabs.v8i16(<8 x i16> %x)
ret <8 x i16> %tmp
}
define weak_odr <8 x i8> @abs_i8x8(<8 x i8> %x) nounwind alwaysinline {
%tmp = call <8 x i8> @llvm.arm.neon.vabs.v8i8(<8 x i8> %x)
ret <8 x i8> %tmp
}
define weak_odr <16 x i8> @abs_i8x16(<16 x i8> %x) nounwind alwaysinline {
%tmp = call <16 x i8> @llvm.arm.neon.vabs.v16i8(<16 x i8> %x)
ret <16 x i8> %tmp
}
declare <8 x i8> @llvm.arm.neon.vabds.v8i8(<8 x i8>, <8 x i8>) nounwind readnone
declare <8 x i8> @llvm.arm.neon.vabdu.v8i8(<8 x i8>, <8 x i8>) nounwind readnone
declare <4 x i16> @llvm.arm.neon.vabds.v4i16(<4 x i16>, <4 x i16>) nounwind readnone
declare <4 x i16> @llvm.arm.neon.vabdu.v4i16(<4 x i16>, <4 x i16>) nounwind readnone
declare <2 x i32> @llvm.arm.neon.vabds.v2i32(<2 x i32>, <2 x i32>) nounwind readnone
declare <2 x i32> @llvm.arm.neon.vabdu.v2i32(<2 x i32>, <2 x i32>) nounwind readnone
declare <16 x i8> @llvm.arm.neon.vabds.v16i8(<16 x i8>, <16 x i8>) nounwind readnone
declare <16 x i8> @llvm.arm.neon.vabdu.v16i8(<16 x i8>, <16 x i8>) nounwind readnone
declare <8 x i16> @llvm.arm.neon.vabds.v8i16(<8 x i16>, <8 x i16>) nounwind readnone
declare <8 x i16> @llvm.arm.neon.vabdu.v8i16(<8 x i16>, <8 x i16>) nounwind readnone
declare <4 x i32> @llvm.arm.neon.vabds.v4i32(<4 x i32>, <4 x i32>) nounwind readnone
declare <4 x i32> @llvm.arm.neon.vabdu.v4i32(<4 x i32>, <4 x i32>) nounwind readnone
; Absolute difference ops
define weak_odr <4 x i32> @absd_i32x4(<4 x i32> %a, <4 x i32> %b) nounwind alwaysinline {
%tmp = call <4 x i32> @llvm.arm.neon.vabds.v4i32(<4 x i32> %a, <4 x i32> %b)
ret <4 x i32> %tmp
}
define weak_odr <2 x i32> @absd_i32x2(<2 x i32> %a, <2 x i32> %b) nounwind alwaysinline {
%tmp = call <2 x i32> @llvm.arm.neon.vabds.v2i32(<2 x i32> %a, <2 x i32> %b)
ret <2 x i32> %tmp
}
define weak_odr <4 x i16> @absd_i16x4(<4 x i16> %a, <4 x i16> %b) nounwind alwaysinline {
%tmp = call <4 x i16> @llvm.arm.neon.vabds.v4i16(<4 x i16> %a, <4 x i16> %b)
ret <4 x i16> %tmp
}
define weak_odr <8 x i16> @absd_i16x8(<8 x i16> %a, <8 x i16> %b) nounwind alwaysinline {
%tmp = call <8 x i16> @llvm.arm.neon.vabds.v8i16(<8 x i16> %a, <8 x i16> %b)
ret <8 x i16> %tmp
}
define weak_odr <8 x i8> @absd_i8x8(<8 x i8> %a, <8 x i8> %b) nounwind alwaysinline {
%tmp = call <8 x i8> @llvm.arm.neon.vabds.v8i8(<8 x i8> %a, <8 x i8> %b)
ret <8 x i8> %tmp
}
define weak_odr <16 x i8> @absd_i8x16(<16 x i8> %a, <16 x i8> %b) nounwind alwaysinline {
%tmp = call <16 x i8> @llvm.arm.neon.vabds.v16i8(<16 x i8> %a, <16 x i8> %b)
ret <16 x i8> %tmp
}
define weak_odr <4 x i32> @absd_u32x4(<4 x i32> %a, <4 x i32> %b) nounwind alwaysinline {
%tmp = call <4 x i32> @llvm.arm.neon.vabdu.v4i32(<4 x i32> %a, <4 x i32> %b)
ret <4 x i32> %tmp
}
define weak_odr <2 x i32> @absd_u32x2(<2 x i32> %a, <2 x i32> %b) nounwind alwaysinline {
%tmp = call <2 x i32> @llvm.arm.neon.vabdu.v2i32(<2 x i32> %a, <2 x i32> %b)
ret <2 x i32> %tmp
}
define weak_odr <4 x i16> @absd_u16x4(<4 x i16> %a, <4 x i16> %b) nounwind alwaysinline {
%tmp = call <4 x i16> @llvm.arm.neon.vabdu.v4i16(<4 x i16> %a, <4 x i16> %b)
ret <4 x i16> %tmp
}
define weak_odr <8 x i16> @absd_u16x8(<8 x i16> %a, <8 x i16> %b) nounwind alwaysinline {
%tmp = call <8 x i16> @llvm.arm.neon.vabdu.v8i16(<8 x i16> %a, <8 x i16> %b)
ret <8 x i16> %tmp
}
define weak_odr <8 x i8> @absd_u8x8(<8 x i8> %a, <8 x i8> %b) nounwind alwaysinline {
%tmp = call <8 x i8> @llvm.arm.neon.vabdu.v8i8(<8 x i8> %a, <8 x i8> %b)
ret <8 x i8> %tmp
}
define weak_odr <16 x i8> @absd_u8x16(<16 x i8> %a, <16 x i8> %b) nounwind alwaysinline {
%tmp = call <16 x i8> @llvm.arm.neon.vabdu.v16i8(<16 x i8> %a, <16 x i8> %b)
ret <16 x i8> %tmp
}
; Widening absolute difference ops. llvm peephole recognizes vabdl and
; vabal as calls to vabd followed by widening. Regardless of the
; signedness of the arg, these always zero-extend, because an absolute
; difference is always positive and may overflow a signed int.
define weak_odr <8 x i16> @vabdl_i8x8(<8 x i8> %a, <8 x i8> %b) nounwind alwaysinline {
%1 = call <8 x i8> @llvm.arm.neon.vabds.v8i8(<8 x i8> %a, <8 x i8> %b)
%2 = zext <8 x i8> %1 to <8 x i16>
ret <8 x i16> %2
}
define weak_odr <8 x i16> @vabdl_u8x8(<8 x i8> %a, <8 x i8> %b) nounwind alwaysinline {
%1 = call <8 x i8> @llvm.arm.neon.vabdu.v8i8(<8 x i8> %a, <8 x i8> %b)
%2 = zext <8 x i8> %1 to <8 x i16>
ret <8 x i16> %2
}
define weak_odr <4 x i32> @vabdl_i16x4(<4 x i16> %a, <4 x i16> %b) nounwind alwaysinline {
%1 = call <4 x i16> @llvm.arm.neon.vabds.v4i16(<4 x i16> %a, <4 x i16> %b)
%2 = zext <4 x i16> %1 to <4 x i32>
ret <4 x i32> %2
}
define weak_odr <4 x i32> @vabdl_u16x4(<4 x i16> %a, <4 x i16> %b) nounwind alwaysinline {
%1 = call <4 x i16> @llvm.arm.neon.vabdu.v4i16(<4 x i16> %a, <4 x i16> %b)
%2 = zext <4 x i16> %1 to <4 x i32>
ret <4 x i32> %2
}
define weak_odr <2 x i64> @vabdl_i32x2(<2 x i32> %a, <2 x i32> %b) nounwind alwaysinline {
%1 = call <2 x i32> @llvm.arm.neon.vabds.v2i32(<2 x i32> %a, <2 x i32> %b)
%2 = zext <2 x i32> %1 to <2 x i64>
ret <2 x i64> %2
}
define weak_odr <2 x i64> @vabdl_u32x2(<2 x i32> %a, <2 x i32> %b) nounwind alwaysinline {
%1 = call <2 x i32> @llvm.arm.neon.vabdu.v2i32(<2 x i32> %a, <2 x i32> %b)
%2 = zext <2 x i32> %1 to <2 x i64>
ret <2 x i64> %2
}
declare <4 x float> @llvm.sqrt.v4f32(<4 x float>);
declare <2 x double> @llvm.sqrt.v2f64(<2 x double>);
define weak_odr <4 x float> @sqrt_f32x4(<4 x float> %x) nounwind alwaysinline {
%tmp = call <4 x float> @llvm.sqrt.v4f32(<4 x float> %x)
ret <4 x float> %tmp
}
define weak_odr <2 x double> @sqrt_f64x2(<2 x double> %x) nounwind alwaysinline {
%tmp = call <2 x double> @llvm.sqrt.v2f64(<2 x double> %x)
ret <2 x double> %tmp
}
declare <4 x float> @llvm.arm.neon.vrecpe.v4f32(<4 x float> %x) nounwind readnone;
declare <2 x float> @llvm.arm.neon.vrecpe.v2f32(<2 x float> %x) nounwind readnone;
declare <4 x float> @llvm.arm.neon.vrsqrte.v4f32(<4 x float> %x) nounwind readnone;
declare <2 x float> @llvm.arm.neon.vrsqrte.v2f32(<2 x float> %x) nounwind readnone;
declare <4 x float> @llvm.arm.neon.vrecps.v4f32(<4 x float> %x, <4 x float> %y) nounwind readnone;
declare <2 x float> @llvm.arm.neon.vrecps.v2f32(<2 x float> %x, <2 x float> %y) nounwind readnone;
declare <4 x float> @llvm.arm.neon.vrsqrts.v4f32(<4 x float> %x, <4 x float> %y) nounwind readnone;
declare <2 x float> @llvm.arm.neon.vrsqrts.v2f32(<2 x float> %x, <2 x float> %y) nounwind readnone;
define weak_odr float @fast_inverse_f32(float %x) nounwind alwaysinline {
%vec = insertelement <2 x float> undef, float %x, i32 0
%approx = tail call <2 x float> @fast_inverse_f32x2(<2 x float> %vec)
%result = extractelement <2 x float> %approx, i32 0
ret float %result
}
define weak_odr <2 x float> @fast_inverse_f32x2(<2 x float> %x) nounwind alwaysinline {
%approx = tail call <2 x float> @llvm.arm.neon.vrecpe.v2f32(<2 x float> %x)
%correction = tail call <2 x float> @llvm.arm.neon.vrecps.v2f32(<2 x float> %approx, <2 x float> %x)
%result = fmul <2 x float> %approx, %correction
ret <2 x float> %result
}
define weak_odr <4 x float> @fast_inverse_f32x4(<4 x float> %x) nounwind alwaysinline {
%approx = tail call <4 x float> @llvm.arm.neon.vrecpe.v4f32(<4 x float> %x)
%correction = tail call <4 x float> @llvm.arm.neon.vrecps.v4f32(<4 x float> %approx, <4 x float> %x)
%result = fmul <4 x float> %approx, %correction
ret <4 x float> %result
}
define weak_odr float @fast_inverse_sqrt_f32(float %x) nounwind alwaysinline {
%vec = insertelement <2 x float> undef, float %x, i32 0
%approx = tail call <2 x float> @fast_inverse_sqrt_f32x2(<2 x float> %vec)
%result = extractelement <2 x float> %approx, i32 0
ret float %result
}
define weak_odr <2 x float> @fast_inverse_sqrt_f32x2(<2 x float> %x) nounwind alwaysinline {
%approx = tail call <2 x float> @llvm.arm.neon.vrsqrte.v2f32(<2 x float> %x)
%approx2 = fmul <2 x float> %approx, %approx
%correction = tail call <2 x float> @llvm.arm.neon.vrsqrts.v2f32(<2 x float> %approx2, <2 x float> %x)
%result = fmul <2 x float> %approx, %correction
ret <2 x float> %result
}
define weak_odr <4 x float> @fast_inverse_sqrt_f32x4(<4 x float> %x) nounwind alwaysinline {
%approx = tail call <4 x float> @llvm.arm.neon.vrsqrte.v4f32(<4 x float> %x)
%approx2 = fmul <4 x float> %approx, %approx
%correction = tail call <4 x float> @llvm.arm.neon.vrsqrts.v4f32(<4 x float> %approx2, <4 x float> %x)
%result = fmul <4 x float> %approx, %correction
ret <4 x float> %result
}
define weak_odr <8 x i8> @strided_load_i8x8(i8 * %ptr, i32 %stride) nounwind alwaysinline {
%tmp = tail call {<8 x i8>, i8 *} asm sideeffect "
vld1.8 $0[0], [$1], $3
vld1.8 $0[1], [$1], $3
vld1.8 $0[2], [$1], $3
vld1.8 $0[3], [$1], $3
vld1.8 $0[4], [$1], $3
vld1.8 $0[5], [$1], $3
vld1.8 $0[6], [$1], $3
vld1.8 $0[7], [$1], $3
", "=w,=r,1,r"(i8 *%ptr, i32 %stride) nounwind
%val = extractvalue {<8 x i8>, i8 *} %tmp, 0
ret <8 x i8> %val
}
define weak_odr void @strided_store_i8x8(i8 * %ptr, i32 %stride, <8 x i8> %val) nounwind alwaysinline {
tail call i8 * asm sideeffect "
vst1.8 $3[0], [$0], $2
vst1.8 $3[1], [$0], $2
vst1.8 $3[2], [$0], $2
vst1.8 $3[3], [$0], $2
vst1.8 $3[4], [$0], $2
vst1.8 $3[5], [$0], $2
vst1.8 $3[6], [$0], $2
vst1.8 $3[7], [$0], $2
", "=r,0,r,w,~{mem}"(i8 *%ptr, i32 %stride, <8 x i8> %val) nounwind
ret void
}
define weak_odr <16 x i8> @strided_load_i8x16(i8 * %ptr, i32 %stride) nounwind alwaysinline {
%tmp = tail call {<16 x i8>, i8 *} asm sideeffect "
vld1.8 ${0:e}[0], [$1], $3
vld1.8 ${0:e}[1], [$1], $3
vld1.8 ${0:e}[2], [$1], $3
vld1.8 ${0:e}[3], [$1], $3
vld1.8 ${0:e}[4], [$1], $3
vld1.8 ${0:e}[5], [$1], $3
vld1.8 ${0:e}[6], [$1], $3
vld1.8 ${0:e}[7], [$1], $3
vld1.8 ${0:f}[0], [$1], $3
vld1.8 ${0:f}[1], [$1], $3
vld1.8 ${0:f}[2], [$1], $3
vld1.8 ${0:f}[3], [$1], $3
vld1.8 ${0:f}[4], [$1], $3
vld1.8 ${0:f}[5], [$1], $3
vld1.8 ${0:f}[6], [$1], $3
vld1.8 ${0:f}[7], [$1], $3
", "=w,=r,1,r"(i8 *%ptr, i32 %stride) nounwind
%val = extractvalue {<16 x i8>, i8 *} %tmp, 0
ret <16 x i8> %val
}
define weak_odr void @strided_store_i8x16(i8 * %ptr, i32 %stride, <16 x i8> %val) nounwind alwaysinline {
tail call i8 * asm sideeffect "
vst1.8 ${3:e}[0], [$0], $2
vst1.8 ${3:e}[1], [$0], $2
vst1.8 ${3:e}[2], [$0], $2
vst1.8 ${3:e}[3], [$0], $2
vst1.8 ${3:e}[4], [$0], $2
vst1.8 ${3:e}[5], [$0], $2
vst1.8 ${3:e}[6], [$0], $2
vst1.8 ${3:e}[7], [$0], $2
vst1.8 ${3:f}[0], [$0], $2
vst1.8 ${3:f}[1], [$0], $2
vst1.8 ${3:f}[2], [$0], $2
vst1.8 ${3:f}[3], [$0], $2
vst1.8 ${3:f}[4], [$0], $2
vst1.8 ${3:f}[5], [$0], $2
vst1.8 ${3:f}[6], [$0], $2
vst1.8 ${3:f}[7], [$0], $2
", "=r,0,r,w,~{mem}"(i8 *%ptr, i32 %stride, <16 x i8> %val) nounwind
ret void
}
define weak_odr <4 x i16> @strided_load_i16x4(i16 * %ptr, i32 %stride) nounwind alwaysinline {
%tmp = tail call {<4 x i16>, i16 *} asm sideeffect "
vld1.16 $0[0], [$1], $3
vld1.16 $0[1], [$1], $3
vld1.16 $0[2], [$1], $3
vld1.16 $0[3], [$1], $3
", "=w,=r,1,r"(i16 *%ptr, i32 %stride) nounwind
%val = extractvalue {<4 x i16>, i16 *} %tmp, 0
ret <4 x i16> %val
}
define weak_odr void @strided_store_i16x4(i16 * %ptr, i32 %stride, <4 x i16> %val) nounwind alwaysinline {
tail call i16 * asm sideeffect "
vst1.16 $3[0], [$0], $2
vst1.16 $3[1], [$0], $2
vst1.16 $3[2], [$0], $2
vst1.16 $3[3], [$0], $2
", "=r,0,r,w,~{mem}"(i16 *%ptr, i32 %stride, <4 x i16> %val) nounwind
ret void
}
define weak_odr <8 x i16> @strided_load_i16x8(i16 * %ptr, i32 %stride) nounwind alwaysinline {
%tmp = tail call {<8 x i16>, i16 *} asm sideeffect "
vld1.16 ${0:e}[0], [$1], $3
vld1.16 ${0:e}[1], [$1], $3
vld1.16 ${0:e}[2], [$1], $3
vld1.16 ${0:e}[3], [$1], $3
vld1.16 ${0:f}[0], [$1], $3
vld1.16 ${0:f}[1], [$1], $3
vld1.16 ${0:f}[2], [$1], $3
vld1.16 ${0:f}[3], [$1], $3
", "=w,=r,1,r"(i16 *%ptr, i32 %stride) nounwind
%val = extractvalue {<8 x i16>, i16 *} %tmp, 0
ret <8 x i16> %val
}
define weak_odr void @strided_store_i16x8(i16 * %ptr, i32 %stride, <8 x i16> %val) nounwind alwaysinline {
tail call i16 * asm sideeffect "
vst1.16 ${3:e}[0], [$0], $2
vst1.16 ${3:e}[1], [$0], $2
vst1.16 ${3:e}[2], [$0], $2
vst1.16 ${3:e}[3], [$0], $2
vst1.16 ${3:f}[0], [$0], $2
vst1.16 ${3:f}[1], [$0], $2
vst1.16 ${3:f}[2], [$0], $2
vst1.16 ${3:f}[3], [$0], $2
", "=r,0,r,w,~{mem}"(i16 *%ptr, i32 %stride, <8 x i16> %val) nounwind
ret void
}
define weak_odr <4 x i32> @strided_load_i32x4(i32 * %ptr, i32 %stride) nounwind alwaysinline {
%tmp = tail call {<4 x i32>, i32 *} asm sideeffect "
vld1.32 ${0:e}[0], [$1], $3
vld1.32 ${0:e}[1], [$1], $3
vld1.32 ${0:f}[0], [$1], $3
vld1.32 ${0:f}[1], [$1], $3
", "=w,=r,1,r"(i32 *%ptr, i32 %stride) nounwind
%val = extractvalue {<4 x i32>, i32 *} %tmp, 0
ret <4 x i32> %val
}
define weak_odr void @strided_store_i32x4(i32 * %ptr, i32 %stride, <4 x i32> %val) nounwind alwaysinline {
tail call i32 * asm sideeffect "
vst1.32 ${3:e}[0], [$0], $2
vst1.32 ${3:e}[1], [$0], $2
vst1.32 ${3:f}[0], [$0], $2
vst1.32 ${3:f}[1], [$0], $2
", "=r,0,r,w,~{mem}"(i32 *%ptr, i32 %stride, <4 x i32> %val) nounwind
ret void
}
define weak_odr <4 x float> @strided_load_f32x4(float * %ptr, i32 %stride) nounwind alwaysinline {
%tmp = tail call {<4 x float>, float *} asm sideeffect "
vld1.32 ${0:e}[0], [$1], $3
vld1.32 ${0:e}[1], [$1], $3
vld1.32 ${0:f}[0], [$1], $3
vld1.32 ${0:f}[1], [$1], $3
", "=w,=r,1,r"(float *%ptr, i32 %stride) nounwind
%val = extractvalue {<4 x float>, float *} %tmp, 0
ret <4 x float> %val
}
define weak_odr void @strided_store_f32x4(float * %ptr, i32 %stride, <4 x float> %val) nounwind alwaysinline {
tail call float * asm sideeffect "
vst1.32 ${3:e}[0], [$0], $2
vst1.32 ${3:e}[1], [$0], $2
vst1.32 ${3:f}[0], [$0], $2
vst1.32 ${3:f}[1], [$0], $2
", "=r,0,r,w,~{mem}"(float *%ptr, i32 %stride, <4 x float> %val) nounwind
ret void
}