whispercpp 1.3.7 → 1.3.8
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/README.md +5 -4
- data/ext/options.rb +1 -1
- data/ext/ruby_whisper.c +0 -1
- data/ext/ruby_whisper.h +7 -1
- data/ext/ruby_whisper_context.c +50 -1
- data/ext/ruby_whisper_log_settable.h +1 -2
- data/ext/ruby_whisper_params.c +9 -8
- data/ext/ruby_whisper_transcribe.cpp +0 -19
- data/ext/ruby_whisper_vad_context.c +30 -10
- data/ext/ruby_whisper_vad_context_detect.cpp +8 -9
- data/ext/ruby_whisper_vad_params.c +4 -4
- data/ext/ruby_whisper_vad_segment.c +2 -2
- data/ext/sources/CMakeLists.txt +2 -1
- data/ext/sources/cmake/parakeet.pc.in +2 -2
- data/ext/sources/cmake/whisper.pc.in +2 -2
- data/ext/sources/examples/cli/cli.cpp +9 -1
- data/ext/sources/examples/common-ggml.cpp +2 -0
- data/ext/sources/examples/vad-speech-segments/speech.cpp +3 -2
- data/ext/sources/ggml/CMakeLists.txt +3 -4
- data/ext/sources/ggml/include/ggml-cuda.h +0 -3
- data/ext/sources/ggml/include/ggml-sycl.h +8 -0
- data/ext/sources/ggml/include/ggml.h +3 -1
- data/ext/sources/ggml/src/CMakeLists.txt +8 -1
- data/ext/sources/ggml/src/ggml-backend-meta.cpp +7 -4
- data/ext/sources/ggml/src/ggml-common.h +13 -2
- data/ext/sources/ggml/src/ggml-cpu/CMakeLists.txt +1 -1
- data/ext/sources/ggml/src/ggml-cpu/amx/mmq.cpp +5 -6
- data/ext/sources/ggml/src/ggml-cpu/arch/arm/quants.c +78 -4
- data/ext/sources/ggml/src/ggml-cpu/arch/x86/quants.c +142 -4
- data/ext/sources/ggml/src/ggml-cpu/arch-fallback.h +7 -2
- data/ext/sources/ggml/src/ggml-cpu/ggml-cpu.c +14 -0
- data/ext/sources/ggml/src/ggml-cpu/llamafile/sgemm.cpp +26 -19
- data/ext/sources/ggml/src/ggml-cpu/ops.cpp +129 -46
- data/ext/sources/ggml/src/ggml-cpu/quants.c +51 -0
- data/ext/sources/ggml/src/ggml-cpu/quants.h +3 -0
- data/ext/sources/ggml/src/ggml-cpu/simd-gemm.h +1 -1
- data/ext/sources/ggml/src/ggml-cpu/simd-mappings.h +11 -0
- data/ext/sources/ggml/src/ggml-cpu/vec.cpp +2 -2
- data/ext/sources/ggml/src/ggml-cuda/binbcast.cu +90 -46
- data/ext/sources/ggml/src/ggml-cuda/col2im-1d.cu +81 -0
- data/ext/sources/ggml/src/ggml-cuda/col2im-1d.cuh +3 -0
- data/ext/sources/ggml/src/ggml-cuda/common.cuh +4 -0
- data/ext/sources/ggml/src/ggml-cuda/concat.cu +33 -21
- data/ext/sources/ggml/src/ggml-cuda/conv-transpose-1d.cu +14 -12
- data/ext/sources/ggml/src/ggml-cuda/convert.cu +86 -34
- data/ext/sources/ggml/src/ggml-cuda/cpy.cu +80 -29
- data/ext/sources/ggml/src/ggml-cuda/fattn-common.cuh +9 -5
- data/ext/sources/ggml/src/ggml-cuda/fattn-mma-f16.cuh +4 -0
- data/ext/sources/ggml/src/ggml-cuda/fattn-tile.cuh +9 -5
- data/ext/sources/ggml/src/ggml-cuda/fattn.cu +27 -21
- data/ext/sources/ggml/src/ggml-cuda/gated_delta_net.cu +40 -25
- data/ext/sources/ggml/src/ggml-cuda/gated_delta_net.cuh +10 -0
- data/ext/sources/ggml/src/ggml-cuda/getrows.cu +15 -12
- data/ext/sources/ggml/src/ggml-cuda/ggml-cuda.cu +718 -1248
- data/ext/sources/ggml/src/ggml-cuda/mmq.cu +7 -0
- data/ext/sources/ggml/src/ggml-cuda/mmvq.cu +77 -40
- data/ext/sources/ggml/src/ggml-cuda/out-prod.cu +55 -12
- data/ext/sources/ggml/src/ggml-cuda/set-rows.cu +64 -4
- data/ext/sources/ggml/src/ggml-cuda/template-instances/fattn-mma-f16-instance-ncols1_16-ncols2_2.cu +1 -0
- data/ext/sources/ggml/src/ggml-cuda/template-instances/fattn-mma-f16-instance-ncols1_32-ncols2_2.cu +1 -0
- data/ext/sources/ggml/src/ggml-cuda/template-instances/fattn-mma-f16-instance-ncols1_4-ncols2_2.cu +1 -0
- data/ext/sources/ggml/src/ggml-cuda/template-instances/fattn-mma-f16-instance-ncols1_8-ncols2_2.cu +1 -0
- data/ext/sources/ggml/src/ggml-cuda/topk-moe.cu +7 -1
- data/ext/sources/ggml/src/ggml-cuda/vendors/hip.h +1 -0
- data/ext/sources/ggml/src/ggml-cuda/vendors/musa.h +1 -0
- data/ext/sources/ggml/src/ggml-hexagon/CMakeLists.txt +0 -5
- data/ext/sources/ggml/src/ggml-hexagon/ggml-hexagon.cpp +1634 -1293
- data/ext/sources/ggml/src/ggml-hexagon/htp/CMakeLists.txt +11 -40
- data/ext/sources/ggml/src/ggml-hexagon/htp/cmake-toolchain.cmake +13 -15
- data/ext/sources/ggml/src/ggml-hexagon/htp/concat-ops.c +1 -1
- data/ext/sources/ggml/src/ggml-hexagon/htp/flash-attn-ops.c +1749 -399
- data/ext/sources/ggml/src/ggml-hexagon/htp/flash-attn-ops.h +303 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/hex-common.h +80 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/hex-dma.h +26 -23
- data/ext/sources/ggml/src/ggml-hexagon/htp/hex-profile.h +64 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/hex-utils.h +1 -83
- data/ext/sources/ggml/src/ggml-hexagon/htp/hmx-fa-kernels.h +555 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/hmx-mm-kernels-tiled.h +1303 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/hmx-queue.c +9 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/hmx-queue.h +27 -4
- data/ext/sources/ggml/src/ggml-hexagon/htp/hmx-utils.h +59 -37
- data/ext/sources/ggml/src/ggml-hexagon/htp/htp-ctx.h +11 -3
- data/ext/sources/ggml/src/ggml-hexagon/htp/htp-ops.h +52 -12
- data/ext/sources/ggml/src/ggml-hexagon/htp/htp-vtcm.h +19 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/htp_iface.idl +2 -1
- data/ext/sources/ggml/src/ggml-hexagon/htp/hvx-base.h +14 -30
- data/ext/sources/ggml/src/ggml-hexagon/htp/hvx-exp.h +39 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/hvx-fa-kernels.h +232 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/hvx-mm-kernels-flat.h +1511 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/hvx-mm-kernels-tiled.h +1200 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/hvx-sigmoid.h +39 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/main.c +127 -32
- data/ext/sources/ggml/src/ggml-hexagon/htp/matmul-ops.c +3023 -4425
- data/ext/sources/ggml/src/ggml-hexagon/htp/matmul-ops.h +650 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp/rope-ops.c +48 -13
- data/ext/sources/ggml/src/ggml-hexagon/htp/ssm-conv.c +10 -9
- data/ext/sources/ggml/src/ggml-hexagon/htp/worker-pool.c +15 -3
- data/ext/sources/ggml/src/ggml-hexagon/htp/worker-pool.h +8 -0
- data/ext/sources/ggml/src/ggml-hexagon/htp-opnode.h +168 -50
- data/ext/sources/ggml/src/ggml-hexagon/libggml-htp.inf +0 -4
- data/ext/sources/ggml/src/ggml-hip/CMakeLists.txt +5 -0
- data/ext/sources/ggml/src/ggml-metal/ggml-metal-device.cpp +69 -5
- data/ext/sources/ggml/src/ggml-metal/ggml-metal-device.h +4 -1
- data/ext/sources/ggml/src/ggml-metal/ggml-metal-device.m +27 -6
- data/ext/sources/ggml/src/ggml-metal/ggml-metal-impl.h +38 -0
- data/ext/sources/ggml/src/ggml-metal/ggml-metal-ops.cpp +132 -2
- data/ext/sources/ggml/src/ggml-metal/ggml-metal-ops.h +2 -0
- data/ext/sources/ggml/src/ggml-metal/ggml-metal.metal +345 -87
- data/ext/sources/ggml/src/ggml-opencl/CMakeLists.txt +13 -0
- data/ext/sources/ggml/src/ggml-opencl/fa_tune.h +92 -0
- data/ext/sources/ggml/src/ggml-opencl/ggml-opencl.cpp +4060 -357
- data/ext/sources/ggml/src/ggml-opencl/kernels/cvt.cl +198 -0
- data/ext/sources/ggml/src/ggml-opencl/kernels/flash_attn_f16.cl +81 -41
- data/ext/sources/ggml/src/ggml-opencl/kernels/flash_attn_f32.cl +88 -39
- data/ext/sources/ggml/src/ggml-opencl/kernels/flash_attn_f32_f16.cl +1995 -96
- data/ext/sources/ggml/src/ggml-opencl/kernels/flash_attn_f32_q4_0.cl +1615 -0
- data/ext/sources/ggml/src/ggml-opencl/kernels/flash_attn_f32_q8_0.cl +1486 -0
- data/ext/sources/ggml/src/ggml-opencl/kernels/flash_attn_pre_f16.cl +156 -0
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemm_moe_mxfp4_f32_ns.cl +74 -6
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemm_moe_q4_0_f32_ns.cl +74 -6
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemm_moe_q4_1_f32_ns.cl +74 -6
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemm_moe_q4_k_f32_ns.cl +71 -6
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemm_moe_q5_0_f32_ns.cl +74 -6
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemm_moe_q5_1_f32_ns.cl +74 -6
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemm_moe_q5_k_f32_ns.cl +74 -6
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemm_moe_q6_k_f32_ns.cl +74 -6
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemm_noshuffle_q1_0_f32.cl +94 -0
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemv_noshuffle_q1_0_f32.cl +121 -0
- data/ext/sources/ggml/src/ggml-opencl/kernels/gemv_noshuffle_q8_0_f32.cl +1 -1
- data/ext/sources/ggml/src/ggml-opencl/kernels/mul_mm_q1_0_f32_l4_lm.cl +156 -0
- data/ext/sources/ggml/src/ggml-opencl/kernels/mul_mv_f16_f32_l4.cl +1149 -0
- data/ext/sources/ggml/src/ggml-opencl/kernels/mul_mv_q1_0_f32.cl +141 -0
- data/ext/sources/ggml/src/ggml-opencl/kernels/mul_mv_q1_0_f32_flat.cl +190 -0
- data/ext/sources/ggml/src/ggml-opencl/kernels/norm.cl +5 -2
- data/ext/sources/ggml/src/ggml-opencl/kernels/set_rows.cl +500 -0
- data/ext/sources/ggml/src/ggml-opencl/libdl.h +79 -0
- data/ext/sources/ggml/src/ggml-openvino/.clang-format +0 -5
- data/ext/sources/ggml/src/ggml-openvino/CMakeLists.txt +2 -4
- data/ext/sources/ggml/src/ggml-openvino/ggml-decoder.cpp +733 -130
- data/ext/sources/ggml/src/ggml-openvino/ggml-decoder.h +76 -23
- data/ext/sources/ggml/src/ggml-openvino/ggml-openvino-extra.cpp +57 -3
- data/ext/sources/ggml/src/ggml-openvino/ggml-openvino-extra.h +29 -8
- data/ext/sources/ggml/src/ggml-openvino/ggml-openvino.cpp +307 -59
- data/ext/sources/ggml/src/ggml-openvino/ggml-quants.cpp +66 -0
- data/ext/sources/ggml/src/ggml-openvino/ggml-quants.h +10 -4
- data/ext/sources/ggml/src/ggml-openvino/openvino/decoder.h +56 -16
- data/ext/sources/ggml/src/ggml-openvino/openvino/frontend.h +1 -1
- data/ext/sources/ggml/src/ggml-openvino/openvino/input_model.h +4 -4
- data/ext/sources/ggml/src/ggml-openvino/openvino/node_context.h +94 -37
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/add_id.cpp +76 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/argsort.cpp +47 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/clamp.cpp +33 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/concat.cpp +48 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/cont.cpp +8 -16
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/cpy.cpp +14 -1
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/div.cpp +146 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/flash_attn_ext.cpp +108 -21
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/gated_delta_net.cpp +282 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/gated_delta_net.hpp +65 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/get_rows.cpp +2 -9
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/glu_geglu.cpp +21 -7
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/glu_swiglu.cpp +41 -8
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/im2col.cpp +120 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/l2_norm.cpp +44 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/mul_mat_id.cpp +226 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/mulmat.cpp +19 -9
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/norm.cpp +58 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/pad.cpp +95 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/permute.cpp +58 -13
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/repeat.cpp +74 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/reshape.cpp +13 -6
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/rms_norm.cpp +1 -1
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/rope.cpp +134 -38
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/set_rows.cpp +3 -3
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/softmax.cpp +126 -49
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/ssm_conv.cpp +59 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/sum_rows.cpp +27 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/transpose.cpp +32 -1
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/unary_silu.cpp +1 -1
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/unary_softplus.cpp +38 -0
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/view.cpp +90 -25
- data/ext/sources/ggml/src/ggml-openvino/openvino/op_table.cpp +41 -23
- data/ext/sources/ggml/src/ggml-openvino/openvino/op_table.h +18 -5
- data/ext/sources/ggml/src/ggml-openvino/openvino/pass/mark_decompression_convert_constant_folding.h +1 -1
- data/ext/sources/ggml/src/ggml-openvino/openvino/translate_session.cpp +43 -40
- data/ext/sources/ggml/src/ggml-openvino/openvino/translate_session.h +5 -4
- data/ext/sources/ggml/src/ggml-openvino/openvino/utils.cpp +548 -3
- data/ext/sources/ggml/src/ggml-openvino/openvino/utils.h +28 -26
- data/ext/sources/ggml/src/ggml-openvino/utils.cpp +383 -94
- data/ext/sources/ggml/src/ggml-openvino/utils.h +11 -8
- data/ext/sources/ggml/src/ggml-quants.c +76 -0
- data/ext/sources/ggml/src/ggml-quants.h +3 -0
- data/ext/sources/ggml/src/ggml-sycl/CMakeLists.txt +5 -5
- data/ext/sources/ggml/src/ggml-sycl/backend.hpp +2 -0
- data/ext/sources/ggml/src/ggml-sycl/binbcast.cpp +12 -0
- data/ext/sources/ggml/src/ggml-sycl/col2im-1d.cpp +102 -0
- data/ext/sources/ggml/src/ggml-sycl/col2im-1d.hpp +8 -0
- data/ext/sources/ggml/src/ggml-sycl/common.cpp +6 -8
- data/ext/sources/ggml/src/ggml-sycl/common.hpp +19 -2
- data/ext/sources/ggml/src/ggml-sycl/concat.cpp +21 -1
- data/ext/sources/ggml/src/ggml-sycl/conv2d-dw.cpp +158 -0
- data/ext/sources/ggml/src/ggml-sycl/conv2d-dw.hpp +10 -0
- data/ext/sources/ggml/src/ggml-sycl/conv2d-transpose.cpp +125 -0
- data/ext/sources/ggml/src/ggml-sycl/conv2d-transpose.hpp +10 -0
- data/ext/sources/ggml/src/ggml-sycl/conv2d.cpp +150 -0
- data/ext/sources/ggml/src/ggml-sycl/conv2d.hpp +10 -0
- data/ext/sources/ggml/src/ggml-sycl/conv3d.cpp +224 -0
- data/ext/sources/ggml/src/ggml-sycl/conv3d.hpp +8 -0
- data/ext/sources/ggml/src/ggml-sycl/convert.cpp +6 -0
- data/ext/sources/ggml/src/ggml-sycl/cpy.cpp +706 -0
- data/ext/sources/ggml/src/ggml-sycl/cpy.hpp +281 -0
- data/ext/sources/ggml/src/ggml-sycl/cross_entropy_loss.cpp +255 -0
- data/ext/sources/ggml/src/ggml-sycl/cross_entropy_loss.hpp +7 -0
- data/ext/sources/ggml/src/ggml-sycl/dequantize.hpp +15 -0
- data/ext/sources/ggml/src/ggml-sycl/dmmv.cpp +492 -319
- data/ext/sources/ggml/src/ggml-sycl/dpct/helper.hpp +15 -7
- data/ext/sources/ggml/src/ggml-sycl/element_wise.cpp +215 -115
- data/ext/sources/ggml/src/ggml-sycl/element_wise.hpp +2 -0
- data/ext/sources/ggml/src/ggml-sycl/ggml-sycl.cpp +1006 -336
- data/ext/sources/ggml/src/ggml-sycl/mmvq.cpp +252 -67
- data/ext/sources/ggml/src/ggml-sycl/mmvq.hpp +17 -0
- data/ext/sources/ggml/src/ggml-sycl/norm.cpp +103 -49
- data/ext/sources/ggml/src/ggml-sycl/outprod.cpp +45 -9
- data/ext/sources/ggml/src/ggml-sycl/pool.cpp +185 -0
- data/ext/sources/ggml/src/ggml-sycl/pool.hpp +22 -0
- data/ext/sources/ggml/src/ggml-sycl/presets.hpp +3 -1
- data/ext/sources/ggml/src/ggml-sycl/set_rows.cpp +10 -2
- data/ext/sources/ggml/src/ggml-sycl/softmax.cpp +9 -10
- data/ext/sources/ggml/src/ggml-sycl/vecdotq.hpp +35 -0
- data/ext/sources/ggml/src/ggml-vulkan/CMakeLists.txt +5 -0
- data/ext/sources/ggml/src/ggml-vulkan/ggml-vulkan.cpp +833 -215
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/col2im_1d.comp +61 -0
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/conv2d_mm.comp +1 -1
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/conv3d_mm.comp +431 -0
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/diag.comp +3 -3
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/flash_attn.comp +1 -0
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/flash_attn_cm1.comp +1 -0
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/generic_unary_head.glsl +21 -19
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/get_rows_back.comp +25 -0
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/glu_head.glsl +23 -4
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/glu_main.glsl +14 -18
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/l2_norm.comp +4 -7
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/mul_mat_vecq.comp +21 -24
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/mul_mm.comp +31 -23
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/mul_mm_cm2.comp +6 -5
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/mul_mm_funcs.glsl +84 -67
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/norm.comp +10 -10
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/repeat_back.comp +3 -3
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/roll.comp +3 -3
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/tri.comp +3 -3
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/unary.comp +168 -0
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/vulkan-shaders-gen.cpp +121 -74
- data/ext/sources/ggml/src/ggml-webgpu/ggml-webgpu-shader-lib.hpp +26 -19
- data/ext/sources/ggml/src/ggml-webgpu/ggml-webgpu.cpp +31 -36
- data/ext/sources/ggml/src/ggml-webgpu/wgsl-shaders/common_decls.tmpl +16 -2
- data/ext/sources/ggml/src/ggml-webgpu/wgsl-shaders/flash_attn_vec_split.wgsl +7 -7
- data/ext/sources/ggml/src/ggml-webgpu/wgsl-shaders/get_rows.wgsl +21 -0
- data/ext/sources/ggml/src/ggml-webgpu/wgsl-shaders/mul_mat_decls.tmpl +439 -320
- data/ext/sources/ggml/src/ggml-webgpu/wgsl-shaders/mul_mat_id_vec.wgsl +2 -2
- data/ext/sources/ggml/src/ggml-webgpu/wgsl-shaders/mul_mat_vec.wgsl +45 -39
- data/ext/sources/ggml/src/ggml-webgpu/wgsl-shaders/mul_mat_vec_acc.tmpl +586 -465
- data/ext/sources/ggml/src/ggml-webgpu/wgsl-shaders/mul_mat_vec_q_acc.tmpl +63 -69
- data/ext/sources/ggml/src/ggml-webgpu/wgsl-shaders/quantize_q8.wgsl +14 -9
- data/ext/sources/ggml/src/ggml.c +36 -14
- data/ext/sources/include/whisper.h +21 -0
- data/ext/sources/src/whisper.cpp +164 -14
- data/lib/whisper/log_settable.rb +5 -8
- data/lib/whisper/model/uri.rb +0 -7
- data/sig/whisper.rbs +6 -0
- data/test/test_vad.rb +9 -0
- data/test/test_vad_context.rb +2 -2
- data/whispercpp.gemspec +1 -1
- metadata +62 -37
- data/ext/sources/ggml/src/ggml-hexagon/htp/hmx-flash-attn-ops.c +0 -1878
- data/ext/sources/ggml/src/ggml-hexagon/htp/hmx-matmul-ops.c +0 -2066
- data/ext/sources/ggml/src/ggml-hexagon/htp/hmx-ops.c +0 -6
- data/ext/sources/ggml/src/ggml-hexagon/htp/hmx-ops.h +0 -88
- data/ext/sources/ggml/src/ggml-hexagon/htp/hmx-profile.h +0 -34
- data/ext/sources/ggml/src/ggml-hexagon/htp/vtcm-utils.h +0 -16
- data/ext/sources/ggml/src/ggml-openvino/openvino/op/unary_gelu.cpp +0 -25
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/abs.comp +0 -21
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/ceil.comp +0 -22
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/clamp.comp +0 -17
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/cos.comp +0 -17
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/elu.comp +0 -27
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/exp.comp +0 -20
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/floor.comp +0 -22
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/gelu.comp +0 -25
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/gelu_erf.comp +0 -39
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/gelu_quick.comp +0 -23
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/hardsigmoid.comp +0 -22
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/hardswish.comp +0 -22
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/leaky_relu.comp +0 -22
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/neg.comp +0 -20
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/relu.comp +0 -21
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/round.comp +0 -29
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/sgn.comp +0 -21
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/sigmoid.comp +0 -20
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/silu.comp +0 -22
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/sin.comp +0 -17
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/softplus.comp +0 -23
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/sqrt.comp +0 -17
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/square.comp +0 -17
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/step.comp +0 -22
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/tanh.comp +0 -20
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/trunc.comp +0 -22
- data/ext/sources/ggml/src/ggml-vulkan/vulkan-shaders/xielu.comp +0 -35
|
@@ -0,0 +1,1486 @@
|
|
|
1
|
+
#pragma OPENCL EXTENSION cl_khr_fp16 : enable
|
|
2
|
+
#ifdef cl_khr_integer_dot_product
|
|
3
|
+
#pragma OPENCL EXTENSION cl_khr_integer_dot_product : enable
|
|
4
|
+
#define FA_HAVE_INT_DOT 1
|
|
5
|
+
#endif
|
|
6
|
+
|
|
7
|
+
#ifdef cl_khr_subgroup_shuffle
|
|
8
|
+
#pragma OPENCL EXTENSION cl_khr_subgroup_shuffle : enable
|
|
9
|
+
#define HAS_SUBGROUP_SHUFFLE 1
|
|
10
|
+
#elif defined(cl_qcom_subgroup_shuffle)
|
|
11
|
+
#pragma OPENCL EXTENSION cl_qcom_subgroup_shuffle : enable
|
|
12
|
+
#define HAS_SUBGROUP_SHUFFLE 1
|
|
13
|
+
#endif
|
|
14
|
+
|
|
15
|
+
// Flash attention: Q=f32, K=q8_0, V=q8_0.
|
|
16
|
+
|
|
17
|
+
#define ACC_TYPE float
|
|
18
|
+
#define ACC_TYPE4 float4
|
|
19
|
+
#define Q_DATA_TYPE4 float4
|
|
20
|
+
#define O_DATA_TYPE4 float4
|
|
21
|
+
#define MASK_DATA_TYPE half
|
|
22
|
+
#define CONVERT_Q_ACC4(x) (x)
|
|
23
|
+
#define CONVERT_O_DATA4(x) (x)
|
|
24
|
+
|
|
25
|
+
#define DK_VEC (DK/4)
|
|
26
|
+
#define DV_VEC (DV/4)
|
|
27
|
+
|
|
28
|
+
#ifndef FA_SG
|
|
29
|
+
#define FA_SG 64
|
|
30
|
+
#endif
|
|
31
|
+
#define Q1_WG_SIZE FA_SG
|
|
32
|
+
|
|
33
|
+
// The kernels are built with -cl-finite-math-only. On some older Adreno GPUs,
|
|
34
|
+
// infinite operand can cause undefined behavior and miscompilation for exp.
|
|
35
|
+
// Therefore, a large negative value is used instead.
|
|
36
|
+
#define FA_M_INIT (-3.0e38f)
|
|
37
|
+
|
|
38
|
+
// q8_0 block: 2B scale (half) + 32B int8 quants.
|
|
39
|
+
#define QK8_0 32
|
|
40
|
+
#define Q8_0_BLOCK_SIZE 34
|
|
41
|
+
|
|
42
|
+
#define DK_Q8_BLOCKS (DK / QK8_0)
|
|
43
|
+
#define DV_Q8_BLOCKS (DV / QK8_0)
|
|
44
|
+
|
|
45
|
+
inline float dot_q8_0_f32(const global char * block_ptr, ACC_TYPE4 * q_slice) {
|
|
46
|
+
float d = vload_half(0, (const global half *)block_ptr);
|
|
47
|
+
const global char * qs = block_ptr + 2;
|
|
48
|
+
|
|
49
|
+
float sum = 0.0f;
|
|
50
|
+
#pragma unroll
|
|
51
|
+
for (int i = 0; i < 8; i++) {
|
|
52
|
+
float4 qv = (float4)((float)qs[i*4], (float)qs[i*4+1], (float)qs[i*4+2], (float)qs[i*4+3]);
|
|
53
|
+
sum += dot(q_slice[i], qv);
|
|
54
|
+
}
|
|
55
|
+
return sum * d;
|
|
56
|
+
}
|
|
57
|
+
|
|
58
|
+
#ifdef FA_HAVE_INT_DOT
|
|
59
|
+
inline uint pack_i8x4(char a, char b, char c, char d) {
|
|
60
|
+
return ((uint)(uchar)a) |
|
|
61
|
+
((uint)(uchar)b) << 8 |
|
|
62
|
+
((uint)(uchar)c) << 16 |
|
|
63
|
+
((uint)(uchar)d) << 24;
|
|
64
|
+
}
|
|
65
|
+
|
|
66
|
+
inline float quant_q_block_int8_packed(const ACC_TYPE4 * q_block,
|
|
67
|
+
uint * out_packed) {
|
|
68
|
+
float amax = 0.0f;
|
|
69
|
+
#pragma unroll
|
|
70
|
+
for (int i = 0; i < 8; ++i) {
|
|
71
|
+
float4 av = fabs(q_block[i]);
|
|
72
|
+
amax = fmax(amax, fmax(fmax(av.s0, av.s1), fmax(av.s2, av.s3)));
|
|
73
|
+
}
|
|
74
|
+
float qd = amax / 127.0f;
|
|
75
|
+
float qid = (amax > 0.0f) ? 127.0f / amax : 0.0f;
|
|
76
|
+
|
|
77
|
+
#pragma unroll
|
|
78
|
+
for (int i = 0; i < 8; ++i) {
|
|
79
|
+
float4 v = q_block[i] * qid;
|
|
80
|
+
char a = (char)((int)round(v.s0));
|
|
81
|
+
char b = (char)((int)round(v.s1));
|
|
82
|
+
char c = (char)((int)round(v.s2));
|
|
83
|
+
char d = (char)((int)round(v.s3));
|
|
84
|
+
out_packed[i] = pack_i8x4(a, b, c, d);
|
|
85
|
+
}
|
|
86
|
+
return qd;
|
|
87
|
+
}
|
|
88
|
+
|
|
89
|
+
inline float dot_q8_0_int(const global char * k_block_ptr,
|
|
90
|
+
const uint * q_packed,
|
|
91
|
+
float q_d) {
|
|
92
|
+
float kd = vload_half(0, (const global half *)k_block_ptr);
|
|
93
|
+
const global uchar * k_qs = (const global uchar *)(k_block_ptr + 2);
|
|
94
|
+
|
|
95
|
+
// k_qs is 2-byte aligned; pack chars per iteration rather than cast to uint*.
|
|
96
|
+
int sum = 0;
|
|
97
|
+
#pragma unroll
|
|
98
|
+
for (int i = 0; i < 8; ++i) {
|
|
99
|
+
uint k_packed =
|
|
100
|
+
(uint)k_qs[i*4 + 0] |
|
|
101
|
+
((uint)k_qs[i*4 + 1]) << 8 |
|
|
102
|
+
((uint)k_qs[i*4 + 2]) << 16 |
|
|
103
|
+
((uint)k_qs[i*4 + 3]) << 24;
|
|
104
|
+
sum = dot_acc_sat_4x8packed_ss_int(q_packed[i], k_packed, sum);
|
|
105
|
+
}
|
|
106
|
+
return (float)sum * q_d * kd;
|
|
107
|
+
}
|
|
108
|
+
#endif // FA_HAVE_INT_DOT
|
|
109
|
+
|
|
110
|
+
inline void dequant_q8_0_f32(const global char * block_ptr, ACC_TYPE4 * out) {
|
|
111
|
+
float d = vload_half(0, (const global half *)block_ptr);
|
|
112
|
+
const global char * qs = block_ptr + 2;
|
|
113
|
+
|
|
114
|
+
#pragma unroll
|
|
115
|
+
for (int i = 0; i < 8; i++) {
|
|
116
|
+
out[i] = d * (float4)((float)qs[i*4], (float)qs[i*4+1], (float)qs[i*4+2], (float)qs[i*4+3]);
|
|
117
|
+
}
|
|
118
|
+
}
|
|
119
|
+
|
|
120
|
+
// max_bias<=0 returns 1.0 so score += 1.0 * mask[k] stays a no-op multiplier.
|
|
121
|
+
inline float get_alibi_slope(float max_bias, int head_idx, int n_head_log2, float m0, float m1) {
|
|
122
|
+
if (max_bias <= 0.0f) return 1.0f;
|
|
123
|
+
float base = (head_idx < n_head_log2) ? m0 : m1;
|
|
124
|
+
int exph = (head_idx < n_head_log2) ? (head_idx + 1) : (2*(head_idx - n_head_log2) + 1);
|
|
125
|
+
return pow(base, (float)exph);
|
|
126
|
+
}
|
|
127
|
+
|
|
128
|
+
// q1 decode: one query row per WG, threads sweep KV positions.
|
|
129
|
+
__kernel void flash_attn_f32_q8_0_q1(
|
|
130
|
+
const global void * q_void, ulong q_offset,
|
|
131
|
+
const global void * k_void, ulong k_offset,
|
|
132
|
+
const global void * v_void, ulong v_offset,
|
|
133
|
+
global void * o_void, ulong o_offset,
|
|
134
|
+
const float scale,
|
|
135
|
+
const int n_q,
|
|
136
|
+
const int n_kv,
|
|
137
|
+
const int is_causal,
|
|
138
|
+
const int n_head,
|
|
139
|
+
const ulong q_nb1, const ulong q_nb2, const ulong q_nb3,
|
|
140
|
+
const ulong k_nb1, const ulong k_nb2, const ulong k_nb3,
|
|
141
|
+
const ulong v_nb1, const ulong v_nb2, const ulong v_nb3,
|
|
142
|
+
const ulong o_nb1, const ulong o_nb2, const ulong o_nb3,
|
|
143
|
+
const float max_bias,
|
|
144
|
+
const float m0,
|
|
145
|
+
const float m1,
|
|
146
|
+
const int n_head_log2,
|
|
147
|
+
const float logit_softcap,
|
|
148
|
+
const int n_head_kv,
|
|
149
|
+
const global void* mask_void,
|
|
150
|
+
const ulong mask_offset,
|
|
151
|
+
const ulong mask_nb1,
|
|
152
|
+
const ulong mask_nb2,
|
|
153
|
+
const ulong mask_nb3,
|
|
154
|
+
const int mask_ne2,
|
|
155
|
+
const int mask_ne3,
|
|
156
|
+
const global void* sinks_void,
|
|
157
|
+
const ulong sinks_offset
|
|
158
|
+
) {
|
|
159
|
+
const int tid = get_local_id(0);
|
|
160
|
+
const int head_batch_idx = get_global_id(1);
|
|
161
|
+
|
|
162
|
+
const int batch_idx = head_batch_idx / n_head;
|
|
163
|
+
const int head_idx = head_batch_idx % n_head;
|
|
164
|
+
|
|
165
|
+
const int gqa_ratio = n_head / n_head_kv;
|
|
166
|
+
const int head_kv_idx = head_idx / gqa_ratio;
|
|
167
|
+
|
|
168
|
+
const global char* q_base = (const global char*)q_void + q_offset;
|
|
169
|
+
const global char* k_base = (const global char*)k_void + k_offset;
|
|
170
|
+
const global char* v_base = (const global char*)v_void + v_offset;
|
|
171
|
+
global char* o_base = (global char*)o_void + o_offset;
|
|
172
|
+
|
|
173
|
+
const global char* mask_base = NULL;
|
|
174
|
+
if (mask_void != NULL) {
|
|
175
|
+
const int mask_head_idx = head_idx % mask_ne2;
|
|
176
|
+
const int mask_batch_idx = batch_idx % mask_ne3;
|
|
177
|
+
mask_base = (const global char*)mask_void + mask_offset + mask_batch_idx * mask_nb3 + mask_head_idx * mask_nb2;
|
|
178
|
+
}
|
|
179
|
+
|
|
180
|
+
ACC_TYPE4 q_priv[DK_VEC];
|
|
181
|
+
const ulong q_row_offset = batch_idx * q_nb3 + head_idx * q_nb2;
|
|
182
|
+
const global Q_DATA_TYPE4* q_ptr = (const global Q_DATA_TYPE4*)(q_base + q_row_offset);
|
|
183
|
+
#pragma unroll
|
|
184
|
+
for (int i = 0; i < DK_VEC; ++i) {
|
|
185
|
+
q_priv[i] = CONVERT_Q_ACC4(q_ptr[i]);
|
|
186
|
+
}
|
|
187
|
+
|
|
188
|
+
#ifdef FA_HAVE_INT_DOT
|
|
189
|
+
// Quantise Q once per thread; q_priv stays as fp for the V accumulate.
|
|
190
|
+
uint q_packed[DK_Q8_BLOCKS * 8];
|
|
191
|
+
float q_d_scale[DK_Q8_BLOCKS];
|
|
192
|
+
#pragma unroll
|
|
193
|
+
for (int b = 0; b < DK_Q8_BLOCKS; ++b) {
|
|
194
|
+
q_d_scale[b] = quant_q_block_int8_packed(&q_priv[b * 8], &q_packed[b * 8]);
|
|
195
|
+
}
|
|
196
|
+
#endif
|
|
197
|
+
|
|
198
|
+
float slope = get_alibi_slope(max_bias, head_idx, n_head_log2, m0, m1);
|
|
199
|
+
|
|
200
|
+
const global ACC_TYPE* sinks_ptr = NULL;
|
|
201
|
+
if (sinks_void != NULL) {
|
|
202
|
+
sinks_ptr = (const global ACC_TYPE*)((const global char*)sinks_void + sinks_offset);
|
|
203
|
+
}
|
|
204
|
+
|
|
205
|
+
// One-pass online softmax: per-thread maintains running (m_i, l_i, o_acc),
|
|
206
|
+
// updating each as new K positions are processed. Eliminates the second
|
|
207
|
+
// K read of the original two-pass implementation. After the loop, threads
|
|
208
|
+
// are merged via the standard FA-2 cross-thread reduction (rescale each
|
|
209
|
+
// thread's l_i and o_acc by alpha=exp(m_i_thread - m_final), then sum).
|
|
210
|
+
ACC_TYPE m_i = (sinks_ptr != NULL) ? sinks_ptr[head_idx] : FA_M_INIT;
|
|
211
|
+
ACC_TYPE l_i = 0.0f;
|
|
212
|
+
ACC_TYPE4 o_acc[DV_VEC];
|
|
213
|
+
#pragma unroll
|
|
214
|
+
for (int i = 0; i < DV_VEC; ++i) o_acc[i] = (ACC_TYPE4)(0.0f);
|
|
215
|
+
|
|
216
|
+
for (int k_idx = tid; k_idx < n_kv; k_idx += Q1_WG_SIZE) {
|
|
217
|
+
const global char* k_row = k_base + batch_idx * k_nb3 + head_kv_idx * k_nb2 + k_idx * k_nb1;
|
|
218
|
+
const global char* v_row = v_base + batch_idx * v_nb3 + head_kv_idx * v_nb2 + k_idx * v_nb1;
|
|
219
|
+
|
|
220
|
+
ACC_TYPE score = 0.0f;
|
|
221
|
+
#pragma unroll
|
|
222
|
+
for (int b = 0; b < DK_Q8_BLOCKS; b++) {
|
|
223
|
+
#ifdef FA_HAVE_INT_DOT
|
|
224
|
+
score += dot_q8_0_int(k_row + b * Q8_0_BLOCK_SIZE,
|
|
225
|
+
&q_packed[b * 8], q_d_scale[b]);
|
|
226
|
+
#else
|
|
227
|
+
score += dot_q8_0_f32(k_row + b * Q8_0_BLOCK_SIZE, &q_priv[b * 8]);
|
|
228
|
+
#endif
|
|
229
|
+
}
|
|
230
|
+
score *= scale;
|
|
231
|
+
|
|
232
|
+
if (mask_base != NULL) {
|
|
233
|
+
const global MASK_DATA_TYPE* mask_ptr = (const global MASK_DATA_TYPE*)(mask_base);
|
|
234
|
+
score += slope * (ACC_TYPE)mask_ptr[k_idx];
|
|
235
|
+
}
|
|
236
|
+
if (logit_softcap > 0.0f) {
|
|
237
|
+
score = logit_softcap * tanh(score / logit_softcap);
|
|
238
|
+
}
|
|
239
|
+
|
|
240
|
+
// Online softmax step.
|
|
241
|
+
const ACC_TYPE m_new = max(m_i, score);
|
|
242
|
+
const ACC_TYPE alpha = exp(m_i - m_new);
|
|
243
|
+
const ACC_TYPE p = exp(score - m_new);
|
|
244
|
+
|
|
245
|
+
l_i = alpha * l_i + p;
|
|
246
|
+
#pragma unroll
|
|
247
|
+
for (int i = 0; i < DV_VEC; ++i) o_acc[i] *= alpha;
|
|
248
|
+
|
|
249
|
+
#pragma unroll
|
|
250
|
+
for (int b = 0; b < DV_Q8_BLOCKS; b++) {
|
|
251
|
+
ACC_TYPE4 v_dequant[8];
|
|
252
|
+
dequant_q8_0_f32(v_row + b * Q8_0_BLOCK_SIZE, v_dequant);
|
|
253
|
+
#pragma unroll
|
|
254
|
+
for (int i = 0; i < 8; i++) {
|
|
255
|
+
o_acc[b * 8 + i] = mad(p, v_dequant[i], o_acc[b * 8 + i]);
|
|
256
|
+
}
|
|
257
|
+
}
|
|
258
|
+
|
|
259
|
+
m_i = m_new;
|
|
260
|
+
}
|
|
261
|
+
|
|
262
|
+
// Cross-thread reduce: max(m_i) -> m_final, then rescale per-thread l_i
|
|
263
|
+
// and o_acc by alpha = exp(m_i_thread - m_final) before sum-reduce.
|
|
264
|
+
__local ACC_TYPE local_m[Q1_WG_SIZE];
|
|
265
|
+
local_m[tid] = m_i;
|
|
266
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
267
|
+
#pragma unroll
|
|
268
|
+
for (int s = Q1_WG_SIZE / 2; s > 0; s >>= 1) {
|
|
269
|
+
if (tid < s) local_m[tid] = max(local_m[tid], local_m[tid + s]);
|
|
270
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
271
|
+
}
|
|
272
|
+
const ACC_TYPE m_final = local_m[0];
|
|
273
|
+
|
|
274
|
+
const ACC_TYPE alpha_final = exp(m_i - m_final);
|
|
275
|
+
l_i *= alpha_final;
|
|
276
|
+
#pragma unroll
|
|
277
|
+
for (int i = 0; i < DV_VEC; ++i) o_acc[i] *= alpha_final;
|
|
278
|
+
|
|
279
|
+
__local ACC_TYPE local_l[Q1_WG_SIZE];
|
|
280
|
+
__local ACC_TYPE4 local_o_comp[Q1_WG_SIZE];
|
|
281
|
+
local_l[tid] = l_i;
|
|
282
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
283
|
+
#pragma unroll
|
|
284
|
+
for (int s = Q1_WG_SIZE / 2; s > 0; s >>= 1) {
|
|
285
|
+
if (tid < s) local_l[tid] += local_l[tid + s];
|
|
286
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
287
|
+
}
|
|
288
|
+
|
|
289
|
+
const ulong o_row_offset = batch_idx * o_nb3 + head_idx * o_nb1;
|
|
290
|
+
global O_DATA_TYPE4 *o_row = (global O_DATA_TYPE4 *)(o_base + o_row_offset);
|
|
291
|
+
ACC_TYPE l_final = local_l[0];
|
|
292
|
+
|
|
293
|
+
if (sinks_ptr != NULL) {
|
|
294
|
+
l_final += exp(sinks_ptr[head_idx] - m_final);
|
|
295
|
+
}
|
|
296
|
+
|
|
297
|
+
if (l_final > 0.0f) {
|
|
298
|
+
const ACC_TYPE l_inv = 1.0f / l_final;
|
|
299
|
+
for (int i = 0; i < DV_VEC; i++) {
|
|
300
|
+
local_o_comp[tid] = o_acc[i];
|
|
301
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
302
|
+
#pragma unroll
|
|
303
|
+
for (int s = Q1_WG_SIZE / 2; s > 0; s >>= 1) {
|
|
304
|
+
if (tid < s) local_o_comp[tid] += local_o_comp[tid + s];
|
|
305
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
306
|
+
}
|
|
307
|
+
if (tid == 0) {
|
|
308
|
+
o_row[i] = CONVERT_O_DATA4(local_o_comp[0] * l_inv);
|
|
309
|
+
}
|
|
310
|
+
}
|
|
311
|
+
} else if (tid == 0) {
|
|
312
|
+
#pragma unroll
|
|
313
|
+
for (int i = 0; i < DV_VEC; ++i) o_row[i] = (O_DATA_TYPE4)(0.0f);
|
|
314
|
+
}
|
|
315
|
+
}
|
|
316
|
+
|
|
317
|
+
#ifdef cl_intel_subgroups
|
|
318
|
+
#pragma OPENCL EXTENSION cl_intel_subgroups : enable
|
|
319
|
+
#else
|
|
320
|
+
#pragma OPENCL EXTENSION cl_khr_subgroups : enable
|
|
321
|
+
#endif
|
|
322
|
+
|
|
323
|
+
#ifdef cl_qcom_reqd_sub_group_size
|
|
324
|
+
#pragma OPENCL EXTENSION cl_qcom_reqd_sub_group_size : enable
|
|
325
|
+
#define REQD_SUBGROUP_SIZE_64 __attribute__((qcom_reqd_sub_group_size("half")))
|
|
326
|
+
#else
|
|
327
|
+
#define REQD_SUBGROUP_SIZE_64
|
|
328
|
+
#endif
|
|
329
|
+
|
|
330
|
+
#define VEC_NSG 4
|
|
331
|
+
#define VEC_WG_SIZE (Q1_WG_SIZE * VEC_NSG)
|
|
332
|
+
#define Q1V_DV_PER_THREAD ((DV_VEC + Q1_WG_SIZE - 1) / Q1_WG_SIZE)
|
|
333
|
+
|
|
334
|
+
inline float4 dequant_q8_0_lane(const global char * block_ptr, int lane) {
|
|
335
|
+
const float d = vload_half(0, (const global half *)block_ptr);
|
|
336
|
+
const global char * qs = block_ptr + 2 + lane * 4;
|
|
337
|
+
return d * (float4)((float)qs[0], (float)qs[1], (float)qs[2], (float)qs[3]);
|
|
338
|
+
}
|
|
339
|
+
|
|
340
|
+
REQD_SUBGROUP_SIZE_64
|
|
341
|
+
__kernel void flash_attn_f32_q8_0_q1_vec(
|
|
342
|
+
const global void * q_void, ulong q_offset,
|
|
343
|
+
const global void * k_void, ulong k_offset,
|
|
344
|
+
const global void * v_void, ulong v_offset,
|
|
345
|
+
global void * o_void, ulong o_offset,
|
|
346
|
+
const float scale,
|
|
347
|
+
const int n_q,
|
|
348
|
+
const int n_kv,
|
|
349
|
+
const int is_causal,
|
|
350
|
+
const int n_head,
|
|
351
|
+
const ulong q_nb1, const ulong q_nb2, const ulong q_nb3,
|
|
352
|
+
const ulong k_nb1, const ulong k_nb2, const ulong k_nb3,
|
|
353
|
+
const ulong v_nb1, const ulong v_nb2, const ulong v_nb3,
|
|
354
|
+
const ulong o_nb1, const ulong o_nb2, const ulong o_nb3,
|
|
355
|
+
const float max_bias,
|
|
356
|
+
const float m0,
|
|
357
|
+
const float m1,
|
|
358
|
+
const int n_head_log2,
|
|
359
|
+
const float logit_softcap,
|
|
360
|
+
const int n_head_kv,
|
|
361
|
+
const global void* mask_void,
|
|
362
|
+
const ulong mask_offset,
|
|
363
|
+
const ulong mask_nb1,
|
|
364
|
+
const ulong mask_nb2,
|
|
365
|
+
const ulong mask_nb3,
|
|
366
|
+
const int mask_ne2,
|
|
367
|
+
const int mask_ne3,
|
|
368
|
+
const global void* sinks_void,
|
|
369
|
+
const ulong sinks_offset
|
|
370
|
+
) {
|
|
371
|
+
const int tid = get_local_id(0);
|
|
372
|
+
const int sgid = tid / Q1_WG_SIZE;
|
|
373
|
+
const int tid_sg = tid % Q1_WG_SIZE;
|
|
374
|
+
const int head_batch_idx = get_global_id(1);
|
|
375
|
+
|
|
376
|
+
const int batch_idx = head_batch_idx / n_head;
|
|
377
|
+
const int head_idx = head_batch_idx % n_head;
|
|
378
|
+
|
|
379
|
+
const int gqa_ratio = n_head / n_head_kv;
|
|
380
|
+
const int head_kv_idx = head_idx / gqa_ratio;
|
|
381
|
+
|
|
382
|
+
const global char * q_base = (const global char *) q_void + q_offset;
|
|
383
|
+
const global char * k_base = (const global char *) k_void + k_offset;
|
|
384
|
+
const global char * v_base = (const global char *) v_void + v_offset;
|
|
385
|
+
global char * o_base = (global char *) o_void + o_offset;
|
|
386
|
+
|
|
387
|
+
const global char * mask_base = NULL;
|
|
388
|
+
if (mask_void != NULL) {
|
|
389
|
+
const int mask_head_idx = head_idx % mask_ne2;
|
|
390
|
+
const int mask_batch_idx = batch_idx % mask_ne3;
|
|
391
|
+
mask_base = (const global char *) mask_void + mask_offset +
|
|
392
|
+
mask_batch_idx * mask_nb3 + mask_head_idx * mask_nb2;
|
|
393
|
+
}
|
|
394
|
+
|
|
395
|
+
__local ACC_TYPE4 q_shared[DK_VEC];
|
|
396
|
+
{
|
|
397
|
+
const ulong q_row_offset = batch_idx * q_nb3 + head_idx * q_nb2;
|
|
398
|
+
const global Q_DATA_TYPE4 * q_ptr = (const global Q_DATA_TYPE4 *) (q_base + q_row_offset);
|
|
399
|
+
for (int i = tid; i < DK_VEC; i += VEC_WG_SIZE) {
|
|
400
|
+
q_shared[i] = CONVERT_Q_ACC4(q_ptr[i]);
|
|
401
|
+
}
|
|
402
|
+
}
|
|
403
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
404
|
+
|
|
405
|
+
const float slope = get_alibi_slope(max_bias, head_idx, n_head_log2, m0, m1);
|
|
406
|
+
|
|
407
|
+
const global ACC_TYPE * sinks_ptr = NULL;
|
|
408
|
+
if (sinks_void != NULL) {
|
|
409
|
+
sinks_ptr = (const global ACC_TYPE *) ((const global char *) sinks_void + sinks_offset);
|
|
410
|
+
}
|
|
411
|
+
|
|
412
|
+
ACC_TYPE4 o_acc[Q1V_DV_PER_THREAD];
|
|
413
|
+
#pragma unroll
|
|
414
|
+
for (int i = 0; i < Q1V_DV_PER_THREAD; ++i) o_acc[i] = (ACC_TYPE4)(0.0f);
|
|
415
|
+
|
|
416
|
+
ACC_TYPE m_i = FA_M_INIT;
|
|
417
|
+
ACC_TYPE l_i = 0.0f;
|
|
418
|
+
|
|
419
|
+
const int kv_per_sg = (n_kv + VEC_NSG - 1) / VEC_NSG;
|
|
420
|
+
const int kv_start = sgid * kv_per_sg;
|
|
421
|
+
const int kv_end = min(n_kv, kv_start + kv_per_sg);
|
|
422
|
+
|
|
423
|
+
for (int k_idx = kv_start; k_idx < kv_end; ++k_idx) {
|
|
424
|
+
const global char * k_row = k_base + batch_idx * k_nb3 + head_kv_idx * k_nb2 + k_idx * k_nb1;
|
|
425
|
+
const global char * v_row = v_base + batch_idx * v_nb3 + head_kv_idx * v_nb2 + k_idx * v_nb1;
|
|
426
|
+
|
|
427
|
+
ACC_TYPE4 dot4 = (ACC_TYPE4)(0.0f);
|
|
428
|
+
for (int qk = tid_sg; qk < DK_VEC; qk += Q1_WG_SIZE) {
|
|
429
|
+
const int block_idx = qk / 8;
|
|
430
|
+
const int lane = qk % 8;
|
|
431
|
+
const float4 k_v = dequant_q8_0_lane(k_row + block_idx * Q8_0_BLOCK_SIZE, lane);
|
|
432
|
+
dot4 = mad(q_shared[qk], k_v, dot4);
|
|
433
|
+
}
|
|
434
|
+
ACC_TYPE dot_partial = dot4.s0 + dot4.s1 + dot4.s2 + dot4.s3;
|
|
435
|
+
ACC_TYPE score = sub_group_reduce_add(dot_partial) * scale;
|
|
436
|
+
|
|
437
|
+
if (mask_base != NULL) {
|
|
438
|
+
const global MASK_DATA_TYPE * mask_ptr = (const global MASK_DATA_TYPE *) mask_base;
|
|
439
|
+
score += slope * (ACC_TYPE) mask_ptr[k_idx];
|
|
440
|
+
}
|
|
441
|
+
if (logit_softcap > 0.0f) {
|
|
442
|
+
score = logit_softcap * tanh(score / logit_softcap);
|
|
443
|
+
}
|
|
444
|
+
|
|
445
|
+
const ACC_TYPE m_new = max(m_i, score);
|
|
446
|
+
const ACC_TYPE scale_prev = native_exp(m_i - m_new);
|
|
447
|
+
const ACC_TYPE p = native_exp(score - m_new);
|
|
448
|
+
|
|
449
|
+
int idx = 0;
|
|
450
|
+
for (int dv = tid_sg; dv < DV_VEC; dv += Q1_WG_SIZE, ++idx) {
|
|
451
|
+
const int block_idx = dv / 8;
|
|
452
|
+
const int lane = dv % 8;
|
|
453
|
+
const float4 v_v = dequant_q8_0_lane(v_row + block_idx * Q8_0_BLOCK_SIZE, lane);
|
|
454
|
+
o_acc[idx] = mad(p, v_v, o_acc[idx] * scale_prev);
|
|
455
|
+
}
|
|
456
|
+
l_i = l_i * scale_prev + p;
|
|
457
|
+
m_i = m_new;
|
|
458
|
+
}
|
|
459
|
+
|
|
460
|
+
__local ACC_TYPE sg_m[VEC_NSG];
|
|
461
|
+
__local ACC_TYPE sg_l[VEC_NSG];
|
|
462
|
+
__local ACC_TYPE4 sg_o[VEC_NSG][DV_VEC];
|
|
463
|
+
|
|
464
|
+
if (tid_sg == 0) {
|
|
465
|
+
sg_m[sgid] = m_i;
|
|
466
|
+
sg_l[sgid] = l_i;
|
|
467
|
+
}
|
|
468
|
+
{
|
|
469
|
+
int idx = 0;
|
|
470
|
+
for (int dv = tid_sg; dv < DV_VEC; dv += Q1_WG_SIZE, ++idx) {
|
|
471
|
+
sg_o[sgid][dv] = o_acc[idx];
|
|
472
|
+
}
|
|
473
|
+
}
|
|
474
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
475
|
+
|
|
476
|
+
if (sgid == 0) {
|
|
477
|
+
ACC_TYPE m_final = sg_m[0];
|
|
478
|
+
#pragma unroll
|
|
479
|
+
for (int s = 1; s < VEC_NSG; ++s) {
|
|
480
|
+
m_final = max(m_final, sg_m[s]);
|
|
481
|
+
}
|
|
482
|
+
if (sinks_ptr != NULL) {
|
|
483
|
+
m_final = max(m_final, sinks_ptr[head_idx]);
|
|
484
|
+
}
|
|
485
|
+
|
|
486
|
+
ACC_TYPE l_final = 0.0f;
|
|
487
|
+
#pragma unroll
|
|
488
|
+
for (int s = 0; s < VEC_NSG; ++s) {
|
|
489
|
+
l_final += sg_l[s] * native_exp(sg_m[s] - m_final);
|
|
490
|
+
}
|
|
491
|
+
if (sinks_ptr != NULL) {
|
|
492
|
+
l_final += native_exp(sinks_ptr[head_idx] - m_final);
|
|
493
|
+
}
|
|
494
|
+
const ACC_TYPE l_inv = (l_final > 0.0f) ? (1.0f / l_final) : 0.0f;
|
|
495
|
+
|
|
496
|
+
const ulong o_row_offset = batch_idx * o_nb3 + head_idx * o_nb1;
|
|
497
|
+
global O_DATA_TYPE4 * o_row = (global O_DATA_TYPE4 *) (o_base + o_row_offset);
|
|
498
|
+
|
|
499
|
+
int idx = 0;
|
|
500
|
+
for (int dv = tid_sg; dv < DV_VEC; dv += Q1_WG_SIZE, ++idx) {
|
|
501
|
+
ACC_TYPE4 o_merged = (ACC_TYPE4)(0.0f);
|
|
502
|
+
#pragma unroll
|
|
503
|
+
for (int s = 0; s < VEC_NSG; ++s) {
|
|
504
|
+
const ACC_TYPE alpha = native_exp(sg_m[s] - m_final);
|
|
505
|
+
o_merged = mad((ACC_TYPE4)(alpha), sg_o[s][dv], o_merged);
|
|
506
|
+
}
|
|
507
|
+
o_row[dv] = CONVERT_O_DATA4(o_merged * l_inv);
|
|
508
|
+
}
|
|
509
|
+
}
|
|
510
|
+
}
|
|
511
|
+
|
|
512
|
+
// Flash-decoding split pass for q8_0 KV. Partial record: [m, l, O[DV]].
|
|
513
|
+
// Merge kernel from flash_attn_f32_f16.cl is type-agnostic and reused.
|
|
514
|
+
#define FA_PARTIAL_FLOATS (2 + DV)
|
|
515
|
+
|
|
516
|
+
__kernel void flash_attn_f32_q8_0_q1_split(
|
|
517
|
+
const global void * q_void, ulong q_offset,
|
|
518
|
+
const global void * k_void, ulong k_offset,
|
|
519
|
+
const global void * v_void, ulong v_offset,
|
|
520
|
+
const float scale,
|
|
521
|
+
const int n_q,
|
|
522
|
+
const int n_kv,
|
|
523
|
+
const int n_head,
|
|
524
|
+
const ulong q_nb1, const ulong q_nb2, const ulong q_nb3,
|
|
525
|
+
const ulong k_nb1, const ulong k_nb2, const ulong k_nb3,
|
|
526
|
+
const ulong v_nb1, const ulong v_nb2, const ulong v_nb3,
|
|
527
|
+
const float max_bias,
|
|
528
|
+
const float m0,
|
|
529
|
+
const float m1,
|
|
530
|
+
const int n_head_log2,
|
|
531
|
+
const float logit_softcap,
|
|
532
|
+
const int n_head_kv,
|
|
533
|
+
const global void * mask_void,
|
|
534
|
+
const ulong mask_offset,
|
|
535
|
+
const ulong mask_nb1,
|
|
536
|
+
const ulong mask_nb2,
|
|
537
|
+
const ulong mask_nb3,
|
|
538
|
+
const int mask_ne2,
|
|
539
|
+
const int mask_ne3,
|
|
540
|
+
global float * partial_void,
|
|
541
|
+
const int n_splits,
|
|
542
|
+
const int kv_per_split
|
|
543
|
+
) {
|
|
544
|
+
const int tid = get_local_id(0);
|
|
545
|
+
const int head_batch_idx = get_global_id(1);
|
|
546
|
+
const int split_q_idx = get_global_id(2);
|
|
547
|
+
const int split_idx = split_q_idx % n_splits;
|
|
548
|
+
const int q_idx = split_q_idx / n_splits;
|
|
549
|
+
const int batch_idx = head_batch_idx / n_head;
|
|
550
|
+
const int head_idx = head_batch_idx % n_head;
|
|
551
|
+
const int gqa_ratio = n_head / n_head_kv;
|
|
552
|
+
const int head_kv_idx = head_idx / gqa_ratio;
|
|
553
|
+
|
|
554
|
+
const int kv_start = split_idx * kv_per_split;
|
|
555
|
+
const int kv_end = min(kv_start + kv_per_split, n_kv);
|
|
556
|
+
|
|
557
|
+
const ulong record_stride = (ulong) FA_PARTIAL_FLOATS;
|
|
558
|
+
const ulong record_idx = ((((ulong) batch_idx * n_head + head_idx) * n_q + q_idx)
|
|
559
|
+
* n_splits + split_idx);
|
|
560
|
+
global float * rec = partial_void + record_idx * record_stride;
|
|
561
|
+
global float4 * rec_o = (global float4 *) (rec + 2);
|
|
562
|
+
|
|
563
|
+
if (kv_start >= kv_end) {
|
|
564
|
+
// Empty split: leave sentinel partial for merge.
|
|
565
|
+
if (tid == 0) {
|
|
566
|
+
rec[0] = FA_M_INIT;
|
|
567
|
+
rec[1] = 0.0f;
|
|
568
|
+
}
|
|
569
|
+
return;
|
|
570
|
+
}
|
|
571
|
+
|
|
572
|
+
const global char * q_base = (const global char *) q_void + q_offset;
|
|
573
|
+
const global char * k_base = (const global char *) k_void + k_offset;
|
|
574
|
+
const global char * v_base = (const global char *) v_void + v_offset;
|
|
575
|
+
|
|
576
|
+
const global char * mask_base = NULL;
|
|
577
|
+
if (mask_void != NULL) {
|
|
578
|
+
const int mask_head_idx = head_idx % mask_ne2;
|
|
579
|
+
const int mask_batch_idx = batch_idx % mask_ne3;
|
|
580
|
+
mask_base = (const global char *) mask_void + mask_offset +
|
|
581
|
+
mask_batch_idx * mask_nb3 + mask_head_idx * mask_nb2 +
|
|
582
|
+
(ulong) q_idx * mask_nb1;
|
|
583
|
+
}
|
|
584
|
+
|
|
585
|
+
ACC_TYPE4 q_priv[DK_VEC];
|
|
586
|
+
const ulong q_row_offset = batch_idx * q_nb3 + head_idx * q_nb2 + (ulong) q_idx * q_nb1;
|
|
587
|
+
const global Q_DATA_TYPE4 * q_ptr = (const global Q_DATA_TYPE4 *) (q_base + q_row_offset);
|
|
588
|
+
#pragma unroll
|
|
589
|
+
for (int i = 0; i < DK_VEC; ++i) {
|
|
590
|
+
q_priv[i] = CONVERT_Q_ACC4(q_ptr[i]);
|
|
591
|
+
}
|
|
592
|
+
|
|
593
|
+
#ifdef FA_HAVE_INT_DOT
|
|
594
|
+
uint q_packed[DK_Q8_BLOCKS * 8];
|
|
595
|
+
float q_d_scale[DK_Q8_BLOCKS];
|
|
596
|
+
#pragma unroll
|
|
597
|
+
for (int b = 0; b < DK_Q8_BLOCKS; ++b) {
|
|
598
|
+
q_d_scale[b] = quant_q_block_int8_packed(&q_priv[b * 8], &q_packed[b * 8]);
|
|
599
|
+
}
|
|
600
|
+
#endif
|
|
601
|
+
|
|
602
|
+
const float slope = get_alibi_slope(max_bias, head_idx, n_head_log2, m0, m1);
|
|
603
|
+
|
|
604
|
+
// One-pass online softmax (FA-2): single sweep over the split's K range,
|
|
605
|
+
// updating per-thread (m_i, l_i, o_acc) per position. Eliminates the
|
|
606
|
+
// second K read of the original two-pass implementation.
|
|
607
|
+
ACC_TYPE m_i = FA_M_INIT;
|
|
608
|
+
ACC_TYPE l_i = 0.0f;
|
|
609
|
+
ACC_TYPE4 o_acc[DV_VEC];
|
|
610
|
+
#pragma unroll
|
|
611
|
+
for (int i = 0; i < DV_VEC; ++i) o_acc[i] = (ACC_TYPE4)(0.0f);
|
|
612
|
+
|
|
613
|
+
for (int k_idx = kv_start + tid; k_idx < kv_end; k_idx += Q1_WG_SIZE) {
|
|
614
|
+
const global char * k_row = k_base + batch_idx * k_nb3 + head_kv_idx * k_nb2 + k_idx * k_nb1;
|
|
615
|
+
const global char * v_row = v_base + batch_idx * v_nb3 + head_kv_idx * v_nb2 + k_idx * v_nb1;
|
|
616
|
+
ACC_TYPE score = 0.0f;
|
|
617
|
+
#pragma unroll
|
|
618
|
+
for (int b = 0; b < DK_Q8_BLOCKS; ++b) {
|
|
619
|
+
#ifdef FA_HAVE_INT_DOT
|
|
620
|
+
score += dot_q8_0_int(k_row + b * Q8_0_BLOCK_SIZE, &q_packed[b * 8], q_d_scale[b]);
|
|
621
|
+
#else
|
|
622
|
+
score += dot_q8_0_f32(k_row + b * Q8_0_BLOCK_SIZE, &q_priv[b * 8]);
|
|
623
|
+
#endif
|
|
624
|
+
}
|
|
625
|
+
score *= scale;
|
|
626
|
+
if (mask_base != NULL) {
|
|
627
|
+
const global MASK_DATA_TYPE * mask_ptr = (const global MASK_DATA_TYPE *) (mask_base);
|
|
628
|
+
score += slope * (ACC_TYPE) mask_ptr[k_idx];
|
|
629
|
+
}
|
|
630
|
+
if (logit_softcap > 0.0f) {
|
|
631
|
+
score = logit_softcap * tanh(score / logit_softcap);
|
|
632
|
+
}
|
|
633
|
+
|
|
634
|
+
// Online softmax step.
|
|
635
|
+
const ACC_TYPE m_new = max(m_i, score);
|
|
636
|
+
const ACC_TYPE alpha = exp(m_i - m_new);
|
|
637
|
+
const ACC_TYPE p = exp(score - m_new);
|
|
638
|
+
|
|
639
|
+
l_i = alpha * l_i + p;
|
|
640
|
+
#pragma unroll
|
|
641
|
+
for (int i = 0; i < DV_VEC; ++i) o_acc[i] *= alpha;
|
|
642
|
+
|
|
643
|
+
#pragma unroll
|
|
644
|
+
for (int b = 0; b < DV_Q8_BLOCKS; ++b) {
|
|
645
|
+
ACC_TYPE4 v_dequant[8];
|
|
646
|
+
dequant_q8_0_f32(v_row + b * Q8_0_BLOCK_SIZE, v_dequant);
|
|
647
|
+
#pragma unroll
|
|
648
|
+
for (int i = 0; i < 8; ++i) {
|
|
649
|
+
o_acc[b * 8 + i] = mad(p, v_dequant[i], o_acc[b * 8 + i]);
|
|
650
|
+
}
|
|
651
|
+
}
|
|
652
|
+
|
|
653
|
+
m_i = m_new;
|
|
654
|
+
}
|
|
655
|
+
|
|
656
|
+
// Cross-thread reduce: max(m_i) -> m_c, then rescale per-thread l_i and
|
|
657
|
+
// o_acc by alpha = exp(m_i_thread - m_c) before sum-reduce.
|
|
658
|
+
__local ACC_TYPE local_m[Q1_WG_SIZE];
|
|
659
|
+
local_m[tid] = m_i;
|
|
660
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
661
|
+
#pragma unroll
|
|
662
|
+
for (int s = Q1_WG_SIZE / 2; s > 0; s >>= 1) {
|
|
663
|
+
if (tid < s) local_m[tid] = max(local_m[tid], local_m[tid + s]);
|
|
664
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
665
|
+
}
|
|
666
|
+
const ACC_TYPE m_c = local_m[0];
|
|
667
|
+
|
|
668
|
+
const ACC_TYPE alpha_final = exp(m_i - m_c);
|
|
669
|
+
l_i *= alpha_final;
|
|
670
|
+
#pragma unroll
|
|
671
|
+
for (int i = 0; i < DV_VEC; ++i) o_acc[i] *= alpha_final;
|
|
672
|
+
|
|
673
|
+
__local ACC_TYPE local_l[Q1_WG_SIZE];
|
|
674
|
+
__local ACC_TYPE4 local_o[Q1_WG_SIZE];
|
|
675
|
+
local_l[tid] = l_i;
|
|
676
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
677
|
+
#pragma unroll
|
|
678
|
+
for (int s = Q1_WG_SIZE / 2; s > 0; s >>= 1) {
|
|
679
|
+
if (tid < s) local_l[tid] += local_l[tid + s];
|
|
680
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
681
|
+
}
|
|
682
|
+
const ACC_TYPE l_c = local_l[0];
|
|
683
|
+
|
|
684
|
+
if (tid == 0) {
|
|
685
|
+
rec[0] = (float) m_c;
|
|
686
|
+
rec[1] = (float) l_c;
|
|
687
|
+
}
|
|
688
|
+
for (int i = 0; i < DV_VEC; ++i) {
|
|
689
|
+
local_o[tid] = o_acc[i];
|
|
690
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
691
|
+
#pragma unroll
|
|
692
|
+
for (int s = Q1_WG_SIZE / 2; s > 0; s >>= 1) {
|
|
693
|
+
if (tid < s) local_o[tid] += local_o[tid + s];
|
|
694
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
695
|
+
}
|
|
696
|
+
if (tid == 0) {
|
|
697
|
+
rec_o[i] = local_o[0];
|
|
698
|
+
}
|
|
699
|
+
}
|
|
700
|
+
}
|
|
701
|
+
|
|
702
|
+
// Prefill: q8_0 K/V, n_q > 1. BLOCK_M × BLOCK_N tiling.
|
|
703
|
+
// K path keeps packed int8 in local for dp4a QK dot; V path dequant -> half in local.
|
|
704
|
+
// Requires DK % QK8_0 == 0 and DV % QK8_0 == 0 (gated in supports_op).
|
|
705
|
+
#define KV_DATA_TYPE4 half4
|
|
706
|
+
#define CONVERT_KV_ACC4(x) convert_float4(x)
|
|
707
|
+
|
|
708
|
+
#define DK_Q8_BLOCKS_PREFILL (DK / QK8_0)
|
|
709
|
+
#define DV_Q8_BLOCKS_PREFILL (DV / QK8_0)
|
|
710
|
+
|
|
711
|
+
// N_SPLIT>1 splits DK/DV across N_SPLIT threads per query row; needs
|
|
712
|
+
// sub_group_shuffle_xor and DK_Q8_BLOCKS_PREFILL % N_SPLIT == 0.
|
|
713
|
+
#ifndef N_SPLIT
|
|
714
|
+
#define N_SPLIT 1
|
|
715
|
+
#endif
|
|
716
|
+
|
|
717
|
+
#if N_SPLIT > 1
|
|
718
|
+
#define SPLIT_DK_VEC (DK_VEC / N_SPLIT)
|
|
719
|
+
#define SPLIT_DV_VEC (DV_VEC / N_SPLIT)
|
|
720
|
+
#define SPLIT_DK_Q8_BLOCKS (DK_Q8_BLOCKS_PREFILL / N_SPLIT)
|
|
721
|
+
#define WG_SIZE (BLOCK_M * N_SPLIT)
|
|
722
|
+
#else
|
|
723
|
+
#define SPLIT_DK_VEC DK_VEC
|
|
724
|
+
#define SPLIT_DV_VEC DV_VEC
|
|
725
|
+
#define SPLIT_DK_Q8_BLOCKS DK_Q8_BLOCKS_PREFILL
|
|
726
|
+
#define WG_SIZE BLOCK_M
|
|
727
|
+
#endif
|
|
728
|
+
|
|
729
|
+
// FA_V_STRATEGY: 0 = dequant V to half in local (default); 2 = keep packed
|
|
730
|
+
// int8 in local, dequant in the accumulate loop (smaller local, slightly slower).
|
|
731
|
+
#ifndef FA_V_STRATEGY
|
|
732
|
+
#define FA_V_STRATEGY 0
|
|
733
|
+
#endif
|
|
734
|
+
|
|
735
|
+
#ifndef MQ_GQA
|
|
736
|
+
#define MQ_GQA 4
|
|
737
|
+
#endif
|
|
738
|
+
#ifndef MQ_NSG_SPLIT
|
|
739
|
+
#define MQ_NSG_SPLIT 4
|
|
740
|
+
#endif
|
|
741
|
+
#define MQ_SPLIT_WG_SIZE_Q8 (Q1_WG_SIZE * MQ_NSG_SPLIT)
|
|
742
|
+
|
|
743
|
+
REQD_SUBGROUP_SIZE_64
|
|
744
|
+
__kernel void flash_attn_f32_q8_0_q1_vec_mq_split(
|
|
745
|
+
const global void * q_void, ulong q_offset,
|
|
746
|
+
const global void * k_void, ulong k_offset,
|
|
747
|
+
const global void * v_void, ulong v_offset,
|
|
748
|
+
const float scale,
|
|
749
|
+
const int n_q,
|
|
750
|
+
const int n_kv,
|
|
751
|
+
const int n_head,
|
|
752
|
+
const ulong q_nb1, const ulong q_nb2, const ulong q_nb3,
|
|
753
|
+
const ulong k_nb1, const ulong k_nb2, const ulong k_nb3,
|
|
754
|
+
const ulong v_nb1, const ulong v_nb2, const ulong v_nb3,
|
|
755
|
+
const float max_bias,
|
|
756
|
+
const float m0,
|
|
757
|
+
const float m1,
|
|
758
|
+
const int n_head_log2,
|
|
759
|
+
const float logit_softcap,
|
|
760
|
+
const int n_head_kv,
|
|
761
|
+
const global void * mask_void,
|
|
762
|
+
const ulong mask_offset,
|
|
763
|
+
const ulong mask_nb1,
|
|
764
|
+
const ulong mask_nb2,
|
|
765
|
+
const ulong mask_nb3,
|
|
766
|
+
const int mask_ne2,
|
|
767
|
+
const int mask_ne3,
|
|
768
|
+
global float * partial_void,
|
|
769
|
+
const int n_splits,
|
|
770
|
+
const int kv_per_split
|
|
771
|
+
) {
|
|
772
|
+
const int tid = get_local_id(0);
|
|
773
|
+
const int sgid = tid / Q1_WG_SIZE;
|
|
774
|
+
const int tid_sg = tid % Q1_WG_SIZE;
|
|
775
|
+
const int kvhead_batch_idx = get_global_id(1);
|
|
776
|
+
const int split_q_idx = get_global_id(2);
|
|
777
|
+
const int split_idx = split_q_idx % n_splits;
|
|
778
|
+
const int q_idx = split_q_idx / n_splits;
|
|
779
|
+
|
|
780
|
+
const int batch_idx = kvhead_batch_idx / n_head_kv;
|
|
781
|
+
const int head_kv_idx = kvhead_batch_idx % n_head_kv;
|
|
782
|
+
|
|
783
|
+
const int kv_start = split_idx * kv_per_split;
|
|
784
|
+
const int kv_end = min(kv_start + kv_per_split, n_kv);
|
|
785
|
+
|
|
786
|
+
const ulong record_stride = (ulong) FA_PARTIAL_FLOATS;
|
|
787
|
+
|
|
788
|
+
if (kv_start >= kv_end) {
|
|
789
|
+
// Empty split — write sentinel for each of the MQ_GQA Q-heads.
|
|
790
|
+
if (tid == 0) {
|
|
791
|
+
#pragma unroll
|
|
792
|
+
for (int h = 0; h < MQ_GQA; ++h) {
|
|
793
|
+
const int head_idx = head_kv_idx * MQ_GQA + h;
|
|
794
|
+
const ulong rec_idx = ((((ulong) batch_idx * n_head + head_idx) * n_q + q_idx)
|
|
795
|
+
* n_splits + split_idx);
|
|
796
|
+
global float * rec = partial_void + rec_idx * record_stride;
|
|
797
|
+
rec[0] = FA_M_INIT;
|
|
798
|
+
rec[1] = 0.0f;
|
|
799
|
+
}
|
|
800
|
+
}
|
|
801
|
+
return;
|
|
802
|
+
}
|
|
803
|
+
|
|
804
|
+
const global char * q_base = (const global char *) q_void + q_offset;
|
|
805
|
+
const global char * k_base = (const global char *) k_void + k_offset;
|
|
806
|
+
const global char * v_base = (const global char *) v_void + v_offset;
|
|
807
|
+
|
|
808
|
+
__local ACC_TYPE4 q_shared[MQ_GQA * DK_VEC];
|
|
809
|
+
for (int i = tid; i < MQ_GQA * DK_VEC; i += MQ_SPLIT_WG_SIZE_Q8) {
|
|
810
|
+
const int h = i / DK_VEC;
|
|
811
|
+
const int k = i % DK_VEC;
|
|
812
|
+
const int head_idx = head_kv_idx * MQ_GQA + h;
|
|
813
|
+
const ulong q_row_offset = batch_idx * q_nb3 + head_idx * q_nb2 + (ulong) q_idx * q_nb1;
|
|
814
|
+
const global Q_DATA_TYPE4 * q_ptr = (const global Q_DATA_TYPE4 *) (q_base + q_row_offset);
|
|
815
|
+
q_shared[h * DK_VEC + k] = CONVERT_Q_ACC4(q_ptr[k]);
|
|
816
|
+
}
|
|
817
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
818
|
+
|
|
819
|
+
float slope[MQ_GQA];
|
|
820
|
+
#pragma unroll
|
|
821
|
+
for (int h = 0; h < MQ_GQA; ++h) {
|
|
822
|
+
slope[h] = get_alibi_slope(max_bias, head_kv_idx * MQ_GQA + h, n_head_log2, m0, m1);
|
|
823
|
+
}
|
|
824
|
+
|
|
825
|
+
const global char * mask_base[MQ_GQA];
|
|
826
|
+
if (mask_void != NULL) {
|
|
827
|
+
const int mask_batch_idx = batch_idx % mask_ne3;
|
|
828
|
+
const global char * mask_base_b = (const global char *) mask_void + mask_offset +
|
|
829
|
+
mask_batch_idx * mask_nb3 +
|
|
830
|
+
(ulong) q_idx * mask_nb1;
|
|
831
|
+
#pragma unroll
|
|
832
|
+
for (int h = 0; h < MQ_GQA; ++h) {
|
|
833
|
+
const int head_idx = head_kv_idx * MQ_GQA + h;
|
|
834
|
+
const int mask_head_idx = head_idx % mask_ne2;
|
|
835
|
+
mask_base[h] = mask_base_b + mask_head_idx * mask_nb2;
|
|
836
|
+
}
|
|
837
|
+
} else {
|
|
838
|
+
#pragma unroll
|
|
839
|
+
for (int h = 0; h < MQ_GQA; ++h) mask_base[h] = NULL;
|
|
840
|
+
}
|
|
841
|
+
|
|
842
|
+
ACC_TYPE4 o_acc[MQ_GQA][Q1V_DV_PER_THREAD];
|
|
843
|
+
ACC_TYPE m_i[MQ_GQA];
|
|
844
|
+
ACC_TYPE l_i[MQ_GQA];
|
|
845
|
+
#pragma unroll
|
|
846
|
+
for (int h = 0; h < MQ_GQA; ++h) {
|
|
847
|
+
m_i[h] = FA_M_INIT;
|
|
848
|
+
l_i[h] = 0.0f;
|
|
849
|
+
#pragma unroll
|
|
850
|
+
for (int i = 0; i < Q1V_DV_PER_THREAD; ++i) o_acc[h][i] = (ACC_TYPE4)(0.0f);
|
|
851
|
+
}
|
|
852
|
+
|
|
853
|
+
const int kv_len = kv_end - kv_start;
|
|
854
|
+
const int kv_per_sg = (kv_len + MQ_NSG_SPLIT - 1) / MQ_NSG_SPLIT;
|
|
855
|
+
const int kv_lo = kv_start + sgid * kv_per_sg;
|
|
856
|
+
const int kv_hi = min(kv_end, kv_lo + kv_per_sg);
|
|
857
|
+
|
|
858
|
+
for (int k_idx = kv_lo; k_idx < kv_hi; ++k_idx) {
|
|
859
|
+
const global char * k_row = k_base + batch_idx * k_nb3 + head_kv_idx * k_nb2 + k_idx * k_nb1;
|
|
860
|
+
const global char * v_row = v_base + batch_idx * v_nb3 + head_kv_idx * v_nb2 + k_idx * v_nb1;
|
|
861
|
+
|
|
862
|
+
ACC_TYPE4 dot4[MQ_GQA];
|
|
863
|
+
#pragma unroll
|
|
864
|
+
for (int h = 0; h < MQ_GQA; ++h) dot4[h] = (ACC_TYPE4)(0.0f);
|
|
865
|
+
|
|
866
|
+
for (int qk = tid_sg; qk < DK_VEC; qk += Q1_WG_SIZE) {
|
|
867
|
+
const int block_idx = qk / 8;
|
|
868
|
+
const int lane = qk % 8;
|
|
869
|
+
const float4 k_v = dequant_q8_0_lane(k_row + block_idx * Q8_0_BLOCK_SIZE, lane);
|
|
870
|
+
#pragma unroll
|
|
871
|
+
for (int h = 0; h < MQ_GQA; ++h) {
|
|
872
|
+
dot4[h] = mad(q_shared[h * DK_VEC + qk], k_v, dot4[h]);
|
|
873
|
+
}
|
|
874
|
+
}
|
|
875
|
+
|
|
876
|
+
ACC_TYPE score[MQ_GQA];
|
|
877
|
+
#pragma unroll
|
|
878
|
+
for (int h = 0; h < MQ_GQA; ++h) {
|
|
879
|
+
const ACC_TYPE dot_partial = dot4[h].s0 + dot4[h].s1 + dot4[h].s2 + dot4[h].s3;
|
|
880
|
+
ACC_TYPE s = sub_group_reduce_add(dot_partial) * scale;
|
|
881
|
+
if (mask_base[h] != NULL) {
|
|
882
|
+
const global MASK_DATA_TYPE * mask_ptr = (const global MASK_DATA_TYPE *) mask_base[h];
|
|
883
|
+
s += slope[h] * (ACC_TYPE) mask_ptr[k_idx];
|
|
884
|
+
}
|
|
885
|
+
if (logit_softcap > 0.0f) {
|
|
886
|
+
s = logit_softcap * tanh(s / logit_softcap);
|
|
887
|
+
}
|
|
888
|
+
score[h] = s;
|
|
889
|
+
}
|
|
890
|
+
|
|
891
|
+
ACC_TYPE p_h[MQ_GQA];
|
|
892
|
+
ACC_TYPE sp_h[MQ_GQA];
|
|
893
|
+
#pragma unroll
|
|
894
|
+
for (int h = 0; h < MQ_GQA; ++h) {
|
|
895
|
+
const ACC_TYPE m_new = max(m_i[h], score[h]);
|
|
896
|
+
sp_h[h] = native_exp(m_i[h] - m_new);
|
|
897
|
+
p_h[h] = native_exp(score[h] - m_new);
|
|
898
|
+
l_i[h] = l_i[h] * sp_h[h] + p_h[h];
|
|
899
|
+
m_i[h] = m_new;
|
|
900
|
+
}
|
|
901
|
+
|
|
902
|
+
int idx = 0;
|
|
903
|
+
for (int dv = tid_sg; dv < DV_VEC; dv += Q1_WG_SIZE, ++idx) {
|
|
904
|
+
const int block_idx = dv / 8;
|
|
905
|
+
const int lane = dv % 8;
|
|
906
|
+
const float4 v_v = dequant_q8_0_lane(v_row + block_idx * Q8_0_BLOCK_SIZE, lane);
|
|
907
|
+
#pragma unroll
|
|
908
|
+
for (int h = 0; h < MQ_GQA; ++h) {
|
|
909
|
+
o_acc[h][idx] = mad(p_h[h], v_v, o_acc[h][idx] * sp_h[h]);
|
|
910
|
+
}
|
|
911
|
+
}
|
|
912
|
+
}
|
|
913
|
+
|
|
914
|
+
__local ACC_TYPE sg_m[MQ_GQA][MQ_NSG_SPLIT];
|
|
915
|
+
__local ACC_TYPE sg_l[MQ_GQA][MQ_NSG_SPLIT];
|
|
916
|
+
__local ACC_TYPE4 sg_o[MQ_NSG_SPLIT][DV_VEC];
|
|
917
|
+
|
|
918
|
+
if (tid_sg == 0) {
|
|
919
|
+
#pragma unroll
|
|
920
|
+
for (int h = 0; h < MQ_GQA; ++h) {
|
|
921
|
+
sg_m[h][sgid] = m_i[h];
|
|
922
|
+
sg_l[h][sgid] = l_i[h];
|
|
923
|
+
}
|
|
924
|
+
}
|
|
925
|
+
|
|
926
|
+
#pragma unroll
|
|
927
|
+
for (int h = 0; h < MQ_GQA; ++h) {
|
|
928
|
+
{
|
|
929
|
+
int idx = 0;
|
|
930
|
+
for (int dv_idx = tid_sg; dv_idx < DV_VEC; dv_idx += Q1_WG_SIZE, ++idx) {
|
|
931
|
+
sg_o[sgid][dv_idx] = o_acc[h][idx];
|
|
932
|
+
}
|
|
933
|
+
}
|
|
934
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
935
|
+
|
|
936
|
+
if (sgid == 0) {
|
|
937
|
+
const int head_idx = head_kv_idx * MQ_GQA + h;
|
|
938
|
+
|
|
939
|
+
ACC_TYPE m_c = sg_m[h][0];
|
|
940
|
+
#pragma unroll
|
|
941
|
+
for (int s = 1; s < MQ_NSG_SPLIT; ++s) {
|
|
942
|
+
m_c = max(m_c, sg_m[h][s]);
|
|
943
|
+
}
|
|
944
|
+
ACC_TYPE l_c = 0.0f;
|
|
945
|
+
#pragma unroll
|
|
946
|
+
for (int s = 0; s < MQ_NSG_SPLIT; ++s) {
|
|
947
|
+
l_c += sg_l[h][s] * native_exp(sg_m[h][s] - m_c);
|
|
948
|
+
}
|
|
949
|
+
|
|
950
|
+
const ulong rec_idx = ((((ulong) batch_idx * n_head + head_idx) * n_q + q_idx)
|
|
951
|
+
* n_splits + split_idx);
|
|
952
|
+
global float * rec = partial_void + rec_idx * record_stride;
|
|
953
|
+
global float4 * rec_o = (global float4 *) (rec + 2);
|
|
954
|
+
|
|
955
|
+
if (tid_sg == 0) {
|
|
956
|
+
rec[0] = (float) m_c;
|
|
957
|
+
rec[1] = (float) l_c;
|
|
958
|
+
}
|
|
959
|
+
for (int dv_idx = tid_sg; dv_idx < DV_VEC; dv_idx += Q1_WG_SIZE) {
|
|
960
|
+
ACC_TYPE4 o_merged = (ACC_TYPE4)(0.0f);
|
|
961
|
+
#pragma unroll
|
|
962
|
+
for (int s = 0; s < MQ_NSG_SPLIT; ++s) {
|
|
963
|
+
const ACC_TYPE alpha = native_exp(sg_m[h][s] - m_c);
|
|
964
|
+
o_merged = mad((ACC_TYPE4)(alpha), sg_o[s][dv_idx], o_merged);
|
|
965
|
+
}
|
|
966
|
+
rec_o[dv_idx] = o_merged;
|
|
967
|
+
}
|
|
968
|
+
}
|
|
969
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
970
|
+
}
|
|
971
|
+
}
|
|
972
|
+
|
|
973
|
+
__kernel void flash_attn_f32_q8_0(
|
|
974
|
+
const global void * q_void, ulong q_offset,
|
|
975
|
+
const global void * k_void, ulong k_offset,
|
|
976
|
+
const global void * v_void, ulong v_offset,
|
|
977
|
+
global void * o_void, ulong o_offset,
|
|
978
|
+
const float scale,
|
|
979
|
+
const int n_q,
|
|
980
|
+
const int n_kv,
|
|
981
|
+
const int is_causal,
|
|
982
|
+
const int n_head,
|
|
983
|
+
const ulong q_nb1, const ulong q_nb2, const ulong q_nb3,
|
|
984
|
+
const ulong k_nb1, const ulong k_nb2, const ulong k_nb3,
|
|
985
|
+
const ulong v_nb1, const ulong v_nb2, const ulong v_nb3,
|
|
986
|
+
const ulong o_nb1, const ulong o_nb2, const ulong o_nb3,
|
|
987
|
+
const float max_bias,
|
|
988
|
+
const float m0,
|
|
989
|
+
const float m1,
|
|
990
|
+
const int n_head_log2,
|
|
991
|
+
const float logit_softcap,
|
|
992
|
+
const int n_head_kv,
|
|
993
|
+
const global void* mask_void,
|
|
994
|
+
const ulong mask_offset,
|
|
995
|
+
const ulong mask_nb1,
|
|
996
|
+
const ulong mask_nb2,
|
|
997
|
+
const ulong mask_nb3,
|
|
998
|
+
const int mask_ne2,
|
|
999
|
+
const int mask_ne3,
|
|
1000
|
+
const global void* sinks_void,
|
|
1001
|
+
const ulong sinks_offset,
|
|
1002
|
+
// blk: per-(qblock,kvblock) class from flash_attn_blk_f16
|
|
1003
|
+
// (0=masked, 1=mixed, 2=unmasked). NULL disables the prepass opt.
|
|
1004
|
+
const global void * blk_void
|
|
1005
|
+
) {
|
|
1006
|
+
const int tid = get_local_id(0);
|
|
1007
|
+
const int block_q_idx = get_group_id(0);
|
|
1008
|
+
const int head_batch_idx = get_global_id(1);
|
|
1009
|
+
|
|
1010
|
+
#if N_SPLIT > 1
|
|
1011
|
+
const int q_lane = tid / N_SPLIT;
|
|
1012
|
+
const int split_idx = tid % N_SPLIT;
|
|
1013
|
+
#else
|
|
1014
|
+
const int q_lane = tid;
|
|
1015
|
+
const int split_idx = 0;
|
|
1016
|
+
#endif
|
|
1017
|
+
const int my_query_row = block_q_idx * BLOCK_M + q_lane;
|
|
1018
|
+
const int query_valid = my_query_row < n_q;
|
|
1019
|
+
|
|
1020
|
+
const int batch_idx = head_batch_idx / n_head;
|
|
1021
|
+
const int head_idx = head_batch_idx % n_head;
|
|
1022
|
+
|
|
1023
|
+
const int gqa_ratio = n_head / n_head_kv;
|
|
1024
|
+
const int head_kv_idx = head_idx / gqa_ratio;
|
|
1025
|
+
const int mask_head_idx = mask_void != NULL ? head_idx % mask_ne2 : 0;
|
|
1026
|
+
const int mask_batch_idx = mask_void != NULL ? batch_idx % mask_ne3 : 0;
|
|
1027
|
+
|
|
1028
|
+
const global char * q_base = (const global char *) q_void + q_offset;
|
|
1029
|
+
const global char * k_base = (const global char *) k_void + k_offset;
|
|
1030
|
+
const global char * v_base = (const global char *) v_void + v_offset;
|
|
1031
|
+
global char * o_base = (global char *) o_void + o_offset;
|
|
1032
|
+
|
|
1033
|
+
const global char * mask_base = NULL;
|
|
1034
|
+
if (mask_void != NULL) {
|
|
1035
|
+
mask_base = (const global char *) mask_void + mask_offset +
|
|
1036
|
+
mask_batch_idx * mask_nb3 + mask_head_idx * mask_nb2;
|
|
1037
|
+
}
|
|
1038
|
+
|
|
1039
|
+
// BLK_PREPASS_BM may differ from this kernel's BLOCK_M; scale q-block idx.
|
|
1040
|
+
#ifndef BLK_PREPASS_BM
|
|
1041
|
+
#define BLK_PREPASS_BM BLOCK_M
|
|
1042
|
+
#endif
|
|
1043
|
+
const global char * blk_base = NULL;
|
|
1044
|
+
int n_kv_blocks = 0;
|
|
1045
|
+
if (blk_void != NULL) {
|
|
1046
|
+
n_kv_blocks = (n_kv + BLOCK_N - 1) / BLOCK_N;
|
|
1047
|
+
const int n_q_blocks_prepass = (n_q + BLK_PREPASS_BM - 1) / BLK_PREPASS_BM;
|
|
1048
|
+
const int prepass_q_block = (block_q_idx * BLOCK_M) / BLK_PREPASS_BM;
|
|
1049
|
+
blk_base = (const global char *) blk_void +
|
|
1050
|
+
(((mask_batch_idx * mask_ne2) + mask_head_idx) * n_q_blocks_prepass + prepass_q_block) * n_kv_blocks;
|
|
1051
|
+
}
|
|
1052
|
+
|
|
1053
|
+
const int dk_off_vec = split_idx * SPLIT_DK_VEC;
|
|
1054
|
+
ACC_TYPE4 q_priv[SPLIT_DK_VEC];
|
|
1055
|
+
if (query_valid) {
|
|
1056
|
+
const ulong q_row_offset = batch_idx * q_nb3 + head_idx * q_nb2 + my_query_row * q_nb1;
|
|
1057
|
+
const global float4 * q_ptr = (const global float4 *) (q_base + q_row_offset);
|
|
1058
|
+
#pragma unroll
|
|
1059
|
+
for (int i = 0; i < SPLIT_DK_VEC; ++i) {
|
|
1060
|
+
q_priv[i] = q_ptr[dk_off_vec + i];
|
|
1061
|
+
}
|
|
1062
|
+
} else {
|
|
1063
|
+
#pragma unroll
|
|
1064
|
+
for (int i = 0; i < SPLIT_DK_VEC; ++i) q_priv[i] = (ACC_TYPE4)(0.0f);
|
|
1065
|
+
}
|
|
1066
|
+
|
|
1067
|
+
#ifdef FA_HAVE_INT_DOT
|
|
1068
|
+
uint q_packed_pf[SPLIT_DK_Q8_BLOCKS * 8];
|
|
1069
|
+
float q_d_pf[SPLIT_DK_Q8_BLOCKS];
|
|
1070
|
+
#pragma unroll
|
|
1071
|
+
for (int b = 0; b < SPLIT_DK_Q8_BLOCKS; ++b) {
|
|
1072
|
+
q_d_pf[b] = quant_q_block_int8_packed(&q_priv[b * 8], &q_packed_pf[b * 8]);
|
|
1073
|
+
}
|
|
1074
|
+
#endif
|
|
1075
|
+
|
|
1076
|
+
const int dv_off_vec = split_idx * SPLIT_DV_VEC;
|
|
1077
|
+
ACC_TYPE4 o_acc[SPLIT_DV_VEC];
|
|
1078
|
+
#pragma unroll
|
|
1079
|
+
for (int i = 0; i < SPLIT_DV_VEC; ++i) o_acc[i] = (ACC_TYPE4)(0.0f);
|
|
1080
|
+
|
|
1081
|
+
ACC_TYPE m_i = FA_M_INIT;
|
|
1082
|
+
ACC_TYPE l_i = 0.0f;
|
|
1083
|
+
|
|
1084
|
+
float slope = get_alibi_slope(max_bias, head_idx, n_head_log2, m0, m1);
|
|
1085
|
+
|
|
1086
|
+
#ifdef FA_HAVE_INT_DOT
|
|
1087
|
+
__local uint l_k_packed[BLOCK_N][DK_Q8_BLOCKS_PREFILL * 8];
|
|
1088
|
+
__local float l_k_scale [BLOCK_N][DK_Q8_BLOCKS_PREFILL];
|
|
1089
|
+
#else
|
|
1090
|
+
__local half4 l_k[BLOCK_N][DK_VEC];
|
|
1091
|
+
#endif
|
|
1092
|
+
|
|
1093
|
+
#if FA_V_STRATEGY == 2
|
|
1094
|
+
__local uint l_v_packed[BLOCK_N][DV_Q8_BLOCKS_PREFILL * 8];
|
|
1095
|
+
__local float l_v_scale [BLOCK_N][DV_Q8_BLOCKS_PREFILL];
|
|
1096
|
+
#else
|
|
1097
|
+
__local half4 l_v[BLOCK_N][DV_VEC];
|
|
1098
|
+
#endif
|
|
1099
|
+
|
|
1100
|
+
for (int k_start = 0; k_start < n_kv; k_start += BLOCK_N) {
|
|
1101
|
+
// Skip fully-masked KV tiles (uniform branch across WG).
|
|
1102
|
+
char blk_cur = 1;
|
|
1103
|
+
if (blk_base != NULL) {
|
|
1104
|
+
blk_cur = blk_base[k_start / BLOCK_N];
|
|
1105
|
+
if (blk_cur == 0) continue;
|
|
1106
|
+
}
|
|
1107
|
+
|
|
1108
|
+
{
|
|
1109
|
+
#ifdef FA_HAVE_INT_DOT
|
|
1110
|
+
const int k_blocks_per_row = DK_Q8_BLOCKS_PREFILL;
|
|
1111
|
+
const int n_blocks_total = BLOCK_N * k_blocks_per_row;
|
|
1112
|
+
for (int i = tid; i < n_blocks_total; i += WG_SIZE) {
|
|
1113
|
+
const int row = i / k_blocks_per_row;
|
|
1114
|
+
const int blk = i % k_blocks_per_row;
|
|
1115
|
+
const int k_row_idx = k_start + row;
|
|
1116
|
+
if (k_row_idx < n_kv) {
|
|
1117
|
+
const ulong k_row_off = batch_idx * k_nb3 + head_kv_idx * k_nb2 + k_row_idx * k_nb1;
|
|
1118
|
+
const global char * blk_ptr = k_base + k_row_off + blk * Q8_0_BLOCK_SIZE;
|
|
1119
|
+
const float df = (float) vload_half(0, (const global half *) blk_ptr);
|
|
1120
|
+
const global uchar * qs = (const global uchar *)(blk_ptr + 2);
|
|
1121
|
+
l_k_scale[row][blk] = df;
|
|
1122
|
+
#pragma unroll
|
|
1123
|
+
for (int j = 0; j < 8; ++j) {
|
|
1124
|
+
uint k_packed =
|
|
1125
|
+
(uint) qs[j*4 + 0] |
|
|
1126
|
+
((uint) qs[j*4 + 1]) << 8 |
|
|
1127
|
+
((uint) qs[j*4 + 2]) << 16 |
|
|
1128
|
+
((uint) qs[j*4 + 3]) << 24;
|
|
1129
|
+
l_k_packed[row][blk * 8 + j] = k_packed;
|
|
1130
|
+
}
|
|
1131
|
+
} else {
|
|
1132
|
+
l_k_scale[row][blk] = 0.0f;
|
|
1133
|
+
#pragma unroll
|
|
1134
|
+
for (int j = 0; j < 8; ++j) l_k_packed[row][blk * 8 + j] = 0u;
|
|
1135
|
+
}
|
|
1136
|
+
}
|
|
1137
|
+
#else
|
|
1138
|
+
// Fallback: dequant q8_0 -> half in local memory.
|
|
1139
|
+
const int k_blocks_per_row = DK / QK8_0;
|
|
1140
|
+
const int n_blocks_total = BLOCK_N * k_blocks_per_row;
|
|
1141
|
+
for (int i = tid; i < n_blocks_total; i += WG_SIZE) {
|
|
1142
|
+
const int row = i / k_blocks_per_row;
|
|
1143
|
+
const int blk = i % k_blocks_per_row;
|
|
1144
|
+
const int k_row_idx = k_start + row;
|
|
1145
|
+
if (k_row_idx < n_kv) {
|
|
1146
|
+
const ulong k_row_off = batch_idx * k_nb3 + head_kv_idx * k_nb2 + k_row_idx * k_nb1;
|
|
1147
|
+
const global char * blk_ptr = k_base + k_row_off + blk * Q8_0_BLOCK_SIZE;
|
|
1148
|
+
const float df = (float) vload_half(0, (const global half *) blk_ptr);
|
|
1149
|
+
const global char * qs = blk_ptr + 2;
|
|
1150
|
+
#pragma unroll
|
|
1151
|
+
for (int j = 0; j < 8; ++j) {
|
|
1152
|
+
const float4 v = df * (float4)((float) qs[j*4 + 0],
|
|
1153
|
+
(float) qs[j*4 + 1],
|
|
1154
|
+
(float) qs[j*4 + 2],
|
|
1155
|
+
(float) qs[j*4 + 3]);
|
|
1156
|
+
l_k[row][blk * 8 + j] = (half4)((half) v.s0, (half) v.s1, (half) v.s2, (half) v.s3);
|
|
1157
|
+
}
|
|
1158
|
+
} else {
|
|
1159
|
+
#pragma unroll
|
|
1160
|
+
for (int j = 0; j < 8; ++j) l_k[row][blk * 8 + j] = (half4)(0.0h);
|
|
1161
|
+
}
|
|
1162
|
+
}
|
|
1163
|
+
#endif
|
|
1164
|
+
}
|
|
1165
|
+
// V tile load — strategy-dependent.
|
|
1166
|
+
#if FA_V_STRATEGY == 2
|
|
1167
|
+
{
|
|
1168
|
+
// Int8 packed V in local memory + per-block scale. Accumulate
|
|
1169
|
+
// step unpacks inline.
|
|
1170
|
+
const int v_blocks_per_row = DV_Q8_BLOCKS_PREFILL;
|
|
1171
|
+
const int n_blocks_total = BLOCK_N * v_blocks_per_row;
|
|
1172
|
+
for (int i = tid; i < n_blocks_total; i += WG_SIZE) {
|
|
1173
|
+
const int row = i / v_blocks_per_row;
|
|
1174
|
+
const int blk = i % v_blocks_per_row;
|
|
1175
|
+
const int v_row_idx = k_start + row;
|
|
1176
|
+
if (v_row_idx < n_kv) {
|
|
1177
|
+
const ulong v_row_off = batch_idx * v_nb3 + head_kv_idx * v_nb2 + v_row_idx * v_nb1;
|
|
1178
|
+
const global char * blk_ptr = v_base + v_row_off + blk * Q8_0_BLOCK_SIZE;
|
|
1179
|
+
const float df = (float) vload_half(0, (const global half *) blk_ptr);
|
|
1180
|
+
const global uchar * qs = (const global uchar *)(blk_ptr + 2);
|
|
1181
|
+
l_v_scale[row][blk] = df;
|
|
1182
|
+
#pragma unroll
|
|
1183
|
+
for (int j = 0; j < 8; ++j) {
|
|
1184
|
+
uint v_packed =
|
|
1185
|
+
(uint) qs[j*4 + 0] |
|
|
1186
|
+
((uint) qs[j*4 + 1]) << 8 |
|
|
1187
|
+
((uint) qs[j*4 + 2]) << 16 |
|
|
1188
|
+
((uint) qs[j*4 + 3]) << 24;
|
|
1189
|
+
l_v_packed[row][blk * 8 + j] = v_packed;
|
|
1190
|
+
}
|
|
1191
|
+
} else {
|
|
1192
|
+
l_v_scale[row][blk] = 0.0f;
|
|
1193
|
+
#pragma unroll
|
|
1194
|
+
for (int j = 0; j < 8; ++j) l_v_packed[row][blk * 8 + j] = 0u;
|
|
1195
|
+
}
|
|
1196
|
+
}
|
|
1197
|
+
}
|
|
1198
|
+
#else
|
|
1199
|
+
{
|
|
1200
|
+
// Default: dequant V -> half in local memory.
|
|
1201
|
+
const int v_blocks_per_row = DV / QK8_0;
|
|
1202
|
+
const int n_blocks_total = BLOCK_N * v_blocks_per_row;
|
|
1203
|
+
for (int i = tid; i < n_blocks_total; i += WG_SIZE) {
|
|
1204
|
+
const int row = i / v_blocks_per_row;
|
|
1205
|
+
const int blk = i % v_blocks_per_row;
|
|
1206
|
+
const int v_row_idx = k_start + row;
|
|
1207
|
+
if (v_row_idx < n_kv) {
|
|
1208
|
+
const ulong v_row_off = batch_idx * v_nb3 + head_kv_idx * v_nb2 + v_row_idx * v_nb1;
|
|
1209
|
+
const global char * blk_ptr = v_base + v_row_off + blk * Q8_0_BLOCK_SIZE;
|
|
1210
|
+
const float df = (float) vload_half(0, (const global half *) blk_ptr);
|
|
1211
|
+
const global char * qs = blk_ptr + 2;
|
|
1212
|
+
#pragma unroll
|
|
1213
|
+
for (int j = 0; j < 8; ++j) {
|
|
1214
|
+
const float4 v = df * (float4)((float) qs[j*4 + 0],
|
|
1215
|
+
(float) qs[j*4 + 1],
|
|
1216
|
+
(float) qs[j*4 + 2],
|
|
1217
|
+
(float) qs[j*4 + 3]);
|
|
1218
|
+
l_v[row][blk * 8 + j] = (half4)((half) v.s0, (half) v.s1, (half) v.s2, (half) v.s3);
|
|
1219
|
+
}
|
|
1220
|
+
} else {
|
|
1221
|
+
#pragma unroll
|
|
1222
|
+
for (int j = 0; j < 8; ++j) l_v[row][blk * 8 + j] = (half4)(0.0h);
|
|
1223
|
+
}
|
|
1224
|
+
}
|
|
1225
|
+
}
|
|
1226
|
+
#endif
|
|
1227
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
1228
|
+
|
|
1229
|
+
// QK dot + online softmax. N_SPLIT>1 reduces per-thread partials via shuffle_xor.
|
|
1230
|
+
#if N_SPLIT > 1
|
|
1231
|
+
{
|
|
1232
|
+
#else
|
|
1233
|
+
if (query_valid) {
|
|
1234
|
+
#endif
|
|
1235
|
+
const int k_blk_base = split_idx * SPLIT_DK_Q8_BLOCKS;
|
|
1236
|
+
for (int j = 0; j < BLOCK_N; j += 4) {
|
|
1237
|
+
const int k_row0 = k_start + j;
|
|
1238
|
+
const int k_row1 = k_start + j + 1;
|
|
1239
|
+
const int k_row2 = k_start + j + 2;
|
|
1240
|
+
const int k_row3 = k_start + j + 3;
|
|
1241
|
+
|
|
1242
|
+
ACC_TYPE s0, s1, s2, s3;
|
|
1243
|
+
#ifdef FA_HAVE_INT_DOT
|
|
1244
|
+
// dp4a-accelerated QK dot over owned blocks.
|
|
1245
|
+
s0 = 0.0f; s1 = 0.0f; s2 = 0.0f; s3 = 0.0f;
|
|
1246
|
+
#pragma unroll
|
|
1247
|
+
for (int b_local = 0; b_local < SPLIT_DK_Q8_BLOCKS; ++b_local) {
|
|
1248
|
+
const int b = k_blk_base + b_local;
|
|
1249
|
+
int sum0 = 0, sum1 = 0, sum2 = 0, sum3 = 0;
|
|
1250
|
+
#pragma unroll
|
|
1251
|
+
for (int g = 0; g < 8; ++g) {
|
|
1252
|
+
const uint qp = q_packed_pf[b_local * 8 + g];
|
|
1253
|
+
sum0 = dot_acc_sat_4x8packed_ss_int(qp, l_k_packed[j ][b * 8 + g], sum0);
|
|
1254
|
+
sum1 = dot_acc_sat_4x8packed_ss_int(qp, l_k_packed[j+1][b * 8 + g], sum1);
|
|
1255
|
+
sum2 = dot_acc_sat_4x8packed_ss_int(qp, l_k_packed[j+2][b * 8 + g], sum2);
|
|
1256
|
+
sum3 = dot_acc_sat_4x8packed_ss_int(qp, l_k_packed[j+3][b * 8 + g], sum3);
|
|
1257
|
+
}
|
|
1258
|
+
const float qd = q_d_pf[b_local];
|
|
1259
|
+
s0 += (float)sum0 * qd * l_k_scale[j ][b];
|
|
1260
|
+
s1 += (float)sum1 * qd * l_k_scale[j+1][b];
|
|
1261
|
+
s2 += (float)sum2 * qd * l_k_scale[j+2][b];
|
|
1262
|
+
s3 += (float)sum3 * qd * l_k_scale[j+3][b];
|
|
1263
|
+
}
|
|
1264
|
+
#else
|
|
1265
|
+
ACC_TYPE4 dot_acc0 = (ACC_TYPE4)(0.0f);
|
|
1266
|
+
ACC_TYPE4 dot_acc1 = (ACC_TYPE4)(0.0f);
|
|
1267
|
+
ACC_TYPE4 dot_acc2 = (ACC_TYPE4)(0.0f);
|
|
1268
|
+
ACC_TYPE4 dot_acc3 = (ACC_TYPE4)(0.0f);
|
|
1269
|
+
#pragma unroll
|
|
1270
|
+
for (int k = 0; k < SPLIT_DK_VEC; ++k) {
|
|
1271
|
+
const ACC_TYPE4 qk = q_priv[k];
|
|
1272
|
+
const int k_abs = dk_off_vec + k;
|
|
1273
|
+
dot_acc0 = mad(qk, CONVERT_KV_ACC4(l_k[j ][k_abs]), dot_acc0);
|
|
1274
|
+
dot_acc1 = mad(qk, CONVERT_KV_ACC4(l_k[j+1][k_abs]), dot_acc1);
|
|
1275
|
+
dot_acc2 = mad(qk, CONVERT_KV_ACC4(l_k[j+2][k_abs]), dot_acc2);
|
|
1276
|
+
dot_acc3 = mad(qk, CONVERT_KV_ACC4(l_k[j+3][k_abs]), dot_acc3);
|
|
1277
|
+
}
|
|
1278
|
+
s0 = dot_acc0.s0 + dot_acc0.s1 + dot_acc0.s2 + dot_acc0.s3;
|
|
1279
|
+
s1 = dot_acc1.s0 + dot_acc1.s1 + dot_acc1.s2 + dot_acc1.s3;
|
|
1280
|
+
s2 = dot_acc2.s0 + dot_acc2.s1 + dot_acc2.s2 + dot_acc2.s3;
|
|
1281
|
+
s3 = dot_acc3.s0 + dot_acc3.s1 + dot_acc3.s2 + dot_acc3.s3;
|
|
1282
|
+
#endif
|
|
1283
|
+
|
|
1284
|
+
#if N_SPLIT > 1
|
|
1285
|
+
// Power-of-2 N_SPLIT: shuffle_xor butterfly. N_SPLIT=3 (DK=96): 3-way shuffle.
|
|
1286
|
+
#if (N_SPLIT & (N_SPLIT - 1)) == 0
|
|
1287
|
+
#pragma unroll
|
|
1288
|
+
for (int step = 1; step < N_SPLIT; step <<= 1) {
|
|
1289
|
+
s0 += sub_group_shuffle_xor(s0, step);
|
|
1290
|
+
s1 += sub_group_shuffle_xor(s1, step);
|
|
1291
|
+
s2 += sub_group_shuffle_xor(s2, step);
|
|
1292
|
+
s3 += sub_group_shuffle_xor(s3, step);
|
|
1293
|
+
}
|
|
1294
|
+
#else
|
|
1295
|
+
const uint tri_base = (get_sub_group_local_id() / N_SPLIT) * N_SPLIT;
|
|
1296
|
+
s0 = sub_group_shuffle(s0, tri_base + 0) + sub_group_shuffle(s0, tri_base + 1) + sub_group_shuffle(s0, tri_base + 2);
|
|
1297
|
+
s1 = sub_group_shuffle(s1, tri_base + 0) + sub_group_shuffle(s1, tri_base + 1) + sub_group_shuffle(s1, tri_base + 2);
|
|
1298
|
+
s2 = sub_group_shuffle(s2, tri_base + 0) + sub_group_shuffle(s2, tri_base + 1) + sub_group_shuffle(s2, tri_base + 2);
|
|
1299
|
+
s3 = sub_group_shuffle(s3, tri_base + 0) + sub_group_shuffle(s3, tri_base + 1) + sub_group_shuffle(s3, tri_base + 2);
|
|
1300
|
+
#endif
|
|
1301
|
+
if (!query_valid) { s0 = FA_M_INIT; s1 = FA_M_INIT; s2 = FA_M_INIT; s3 = FA_M_INIT; }
|
|
1302
|
+
#endif
|
|
1303
|
+
s0 *= scale; s1 *= scale; s2 *= scale; s3 *= scale;
|
|
1304
|
+
|
|
1305
|
+
if (is_causal) {
|
|
1306
|
+
const int causal_limit = n_kv - n_q + my_query_row;
|
|
1307
|
+
if (k_row0 > causal_limit) s0 = FA_M_INIT;
|
|
1308
|
+
if (k_row1 > causal_limit) s1 = FA_M_INIT;
|
|
1309
|
+
if (k_row2 > causal_limit) s2 = FA_M_INIT;
|
|
1310
|
+
if (k_row3 > causal_limit) s3 = FA_M_INIT;
|
|
1311
|
+
}
|
|
1312
|
+
if (k_row0 >= n_kv) s0 = FA_M_INIT;
|
|
1313
|
+
if (k_row1 >= n_kv) s1 = FA_M_INIT;
|
|
1314
|
+
if (k_row2 >= n_kv) s2 = FA_M_INIT;
|
|
1315
|
+
if (k_row3 >= n_kv) s3 = FA_M_INIT;
|
|
1316
|
+
|
|
1317
|
+
if (query_valid && mask_base != NULL && blk_cur != 2) {
|
|
1318
|
+
const global MASK_DATA_TYPE * mask_ptr =
|
|
1319
|
+
(const global MASK_DATA_TYPE *) (mask_base + my_query_row * mask_nb1);
|
|
1320
|
+
if (k_row0 < n_kv) s0 += slope * (ACC_TYPE) mask_ptr[k_row0];
|
|
1321
|
+
if (k_row1 < n_kv) s1 += slope * (ACC_TYPE) mask_ptr[k_row1];
|
|
1322
|
+
if (k_row2 < n_kv) s2 += slope * (ACC_TYPE) mask_ptr[k_row2];
|
|
1323
|
+
if (k_row3 < n_kv) s3 += slope * (ACC_TYPE) mask_ptr[k_row3];
|
|
1324
|
+
}
|
|
1325
|
+
if (logit_softcap > 0.0f) {
|
|
1326
|
+
s0 = logit_softcap * tanh(s0 / logit_softcap);
|
|
1327
|
+
s1 = logit_softcap * tanh(s1 / logit_softcap);
|
|
1328
|
+
s2 = logit_softcap * tanh(s2 / logit_softcap);
|
|
1329
|
+
s3 = logit_softcap * tanh(s3 / logit_softcap);
|
|
1330
|
+
}
|
|
1331
|
+
|
|
1332
|
+
const ACC_TYPE m_new = max(m_i, max(max(s0, s1), max(s2, s3)));
|
|
1333
|
+
// Whole tile masked (m_new == FA_M_INIT): force the exp() args
|
|
1334
|
+
// far negative so the tile contributes 0, not exp(0)=1.
|
|
1335
|
+
const ACC_TYPE m_exp = (m_new == FA_M_INIT) ? 0.0f : m_new;
|
|
1336
|
+
const ACC_TYPE scale_prev = native_exp(m_i - m_exp);
|
|
1337
|
+
const ACC_TYPE p0 = native_exp(s0 - m_exp);
|
|
1338
|
+
const ACC_TYPE p1 = native_exp(s1 - m_exp);
|
|
1339
|
+
const ACC_TYPE p2 = native_exp(s2 - m_exp);
|
|
1340
|
+
const ACC_TYPE p3 = native_exp(s3 - m_exp);
|
|
1341
|
+
|
|
1342
|
+
#if FA_V_STRATEGY == 2
|
|
1343
|
+
#pragma unroll
|
|
1344
|
+
for (int b_local = 0; b_local < DV_Q8_BLOCKS_PREFILL / N_SPLIT; ++b_local) {
|
|
1345
|
+
const int b_abs = split_idx * (DV_Q8_BLOCKS_PREFILL / N_SPLIT) + b_local;
|
|
1346
|
+
const float d0 = l_v_scale[j ][b_abs];
|
|
1347
|
+
const float d1 = l_v_scale[j+1][b_abs];
|
|
1348
|
+
const float d2 = l_v_scale[j+2][b_abs];
|
|
1349
|
+
const float d3 = l_v_scale[j+3][b_abs];
|
|
1350
|
+
#pragma unroll
|
|
1351
|
+
for (int g = 0; g < 8; ++g) {
|
|
1352
|
+
const int lane_abs = b_abs * 8 + g;
|
|
1353
|
+
const int lane_local = b_local * 8 + g;
|
|
1354
|
+
uint pk0 = l_v_packed[j ][lane_abs];
|
|
1355
|
+
uint pk1 = l_v_packed[j+1][lane_abs];
|
|
1356
|
+
uint pk2 = l_v_packed[j+2][lane_abs];
|
|
1357
|
+
uint pk3 = l_v_packed[j+3][lane_abs];
|
|
1358
|
+
float4 v0 = d0 * (float4)((float)(char)(pk0 & 0xff), (float)(char)((pk0>>8)&0xff), (float)(char)((pk0>>16)&0xff), (float)(char)((pk0>>24)&0xff));
|
|
1359
|
+
float4 v1 = d1 * (float4)((float)(char)(pk1 & 0xff), (float)(char)((pk1>>8)&0xff), (float)(char)((pk1>>16)&0xff), (float)(char)((pk1>>24)&0xff));
|
|
1360
|
+
float4 v2 = d2 * (float4)((float)(char)(pk2 & 0xff), (float)(char)((pk2>>8)&0xff), (float)(char)((pk2>>16)&0xff), (float)(char)((pk2>>24)&0xff));
|
|
1361
|
+
float4 v3 = d3 * (float4)((float)(char)(pk3 & 0xff), (float)(char)((pk3>>8)&0xff), (float)(char)((pk3>>16)&0xff), (float)(char)((pk3>>24)&0xff));
|
|
1362
|
+
o_acc[lane_local] = mad(p3, v3,
|
|
1363
|
+
mad(p2, v2,
|
|
1364
|
+
mad(p1, v1,
|
|
1365
|
+
mad(p0, v0,
|
|
1366
|
+
o_acc[lane_local] * scale_prev))));
|
|
1367
|
+
}
|
|
1368
|
+
}
|
|
1369
|
+
#else // FA_V_STRATEGY == 0
|
|
1370
|
+
#pragma unroll
|
|
1371
|
+
for (int i = 0; i < SPLIT_DV_VEC; ++i) {
|
|
1372
|
+
const int i_abs = dv_off_vec + i;
|
|
1373
|
+
o_acc[i] = mad(p3, CONVERT_KV_ACC4(l_v[j+3][i_abs]),
|
|
1374
|
+
mad(p2, CONVERT_KV_ACC4(l_v[j+2][i_abs]),
|
|
1375
|
+
mad(p1, CONVERT_KV_ACC4(l_v[j+1][i_abs]),
|
|
1376
|
+
mad(p0, CONVERT_KV_ACC4(l_v[j ][i_abs]),
|
|
1377
|
+
o_acc[i] * scale_prev))));
|
|
1378
|
+
}
|
|
1379
|
+
#endif
|
|
1380
|
+
l_i = l_i * scale_prev + p0 + p1 + p2 + p3;
|
|
1381
|
+
m_i = m_new;
|
|
1382
|
+
}
|
|
1383
|
+
}
|
|
1384
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
1385
|
+
}
|
|
1386
|
+
|
|
1387
|
+
// Write output. With N_SPLIT>1 each thread writes its SPLIT_DV_VEC slice.
|
|
1388
|
+
if (query_valid) {
|
|
1389
|
+
if (sinks_void != NULL) {
|
|
1390
|
+
const global ACC_TYPE * sinks_ptr =
|
|
1391
|
+
(const global ACC_TYPE *) ((const global char *) sinks_void + sinks_offset);
|
|
1392
|
+
const ACC_TYPE m_sink = sinks_ptr[head_idx];
|
|
1393
|
+
const ACC_TYPE m_final = max(m_i, m_sink);
|
|
1394
|
+
const ACC_TYPE scale_o = exp(m_i - m_final);
|
|
1395
|
+
#pragma unroll
|
|
1396
|
+
for (int i = 0; i < SPLIT_DV_VEC; ++i) o_acc[i] *= scale_o;
|
|
1397
|
+
l_i = l_i * scale_o + exp(m_sink - m_final);
|
|
1398
|
+
m_i = m_final;
|
|
1399
|
+
}
|
|
1400
|
+
const ACC_TYPE l_inv = (l_i > 0.0f) ? (1.0f / l_i) : 0.0f;
|
|
1401
|
+
const ulong o_row_offset = batch_idx * o_nb3 + my_query_row * o_nb2 + head_idx * o_nb1;
|
|
1402
|
+
global float4 * o_row = (global float4 *) (o_base + o_row_offset);
|
|
1403
|
+
if (l_inv > 0.0f) {
|
|
1404
|
+
#pragma unroll
|
|
1405
|
+
for (int i = 0; i < SPLIT_DV_VEC; ++i) o_row[dv_off_vec + i] = o_acc[i] * l_inv;
|
|
1406
|
+
} else {
|
|
1407
|
+
#pragma unroll
|
|
1408
|
+
for (int i = 0; i < SPLIT_DV_VEC; ++i) o_row[dv_off_vec + i] = (float4)(0.0f);
|
|
1409
|
+
}
|
|
1410
|
+
}
|
|
1411
|
+
}
|
|
1412
|
+
|
|
1413
|
+
// FD Pass 2: merge split partials. Identical across q4_0/q8_0/f16; each FA
|
|
1414
|
+
// source owns a copy since kernels compile per-source-program.
|
|
1415
|
+
__kernel void flash_attn_f32_merge(
|
|
1416
|
+
const global float * partial_void,
|
|
1417
|
+
global void * o_void,
|
|
1418
|
+
const ulong o_offset,
|
|
1419
|
+
const int n_head,
|
|
1420
|
+
const int n_splits,
|
|
1421
|
+
const ulong o_nb1, const ulong o_nb2, const ulong o_nb3,
|
|
1422
|
+
const global void * sinks_void,
|
|
1423
|
+
const ulong sinks_offset,
|
|
1424
|
+
const int n_q
|
|
1425
|
+
) {
|
|
1426
|
+
const int lane = get_local_id(0);
|
|
1427
|
+
const int head_batch_idx = get_global_id(1);
|
|
1428
|
+
const int q_idx = get_global_id(2);
|
|
1429
|
+
const int batch_idx = head_batch_idx / n_head;
|
|
1430
|
+
const int head_idx = head_batch_idx % n_head;
|
|
1431
|
+
|
|
1432
|
+
const ulong record_stride = (ulong) FA_PARTIAL_FLOATS;
|
|
1433
|
+
const ulong record_idx_0 = (((ulong) batch_idx * n_head + head_idx) * n_q + q_idx) * n_splits;
|
|
1434
|
+
const global float * rec0 = partial_void + record_idx_0 * record_stride;
|
|
1435
|
+
|
|
1436
|
+
__local ACC_TYPE m_final_shared;
|
|
1437
|
+
__local ACC_TYPE l_final_shared;
|
|
1438
|
+
if (lane == 0) {
|
|
1439
|
+
ACC_TYPE m = FA_M_INIT;
|
|
1440
|
+
for (int c = 0; c < n_splits; ++c) {
|
|
1441
|
+
const ACC_TYPE m_c = rec0[c * record_stride + 0];
|
|
1442
|
+
m = max(m, m_c);
|
|
1443
|
+
}
|
|
1444
|
+
ACC_TYPE m_sink = 0.0f;
|
|
1445
|
+
bool has_sink = false;
|
|
1446
|
+
if (sinks_void != NULL) {
|
|
1447
|
+
const global ACC_TYPE * sinks_ptr =
|
|
1448
|
+
(const global ACC_TYPE *) ((const global char *) sinks_void + sinks_offset);
|
|
1449
|
+
m_sink = sinks_ptr[head_idx];
|
|
1450
|
+
has_sink = true;
|
|
1451
|
+
m = max(m, m_sink);
|
|
1452
|
+
}
|
|
1453
|
+
ACC_TYPE l = 0.0f;
|
|
1454
|
+
for (int c = 0; c < n_splits; ++c) {
|
|
1455
|
+
const ACC_TYPE m_c = rec0[c * record_stride + 0];
|
|
1456
|
+
const ACC_TYPE l_c = rec0[c * record_stride + 1];
|
|
1457
|
+
if (m_c > FA_M_INIT) {
|
|
1458
|
+
l += l_c * exp(m_c - m);
|
|
1459
|
+
}
|
|
1460
|
+
}
|
|
1461
|
+
if (has_sink) {
|
|
1462
|
+
l += exp(m_sink - m);
|
|
1463
|
+
}
|
|
1464
|
+
m_final_shared = m;
|
|
1465
|
+
l_final_shared = l;
|
|
1466
|
+
}
|
|
1467
|
+
barrier(CLK_LOCAL_MEM_FENCE);
|
|
1468
|
+
const ACC_TYPE m_final = m_final_shared;
|
|
1469
|
+
const ACC_TYPE l_final = l_final_shared;
|
|
1470
|
+
const ACC_TYPE l_inv = (l_final > 0.0f) ? (1.0f / l_final) : 0.0f;
|
|
1471
|
+
|
|
1472
|
+
ACC_TYPE4 o = (ACC_TYPE4)(0.0f);
|
|
1473
|
+
for (int c = 0; c < n_splits; ++c) {
|
|
1474
|
+
const global float * rec_c = rec0 + c * record_stride;
|
|
1475
|
+
const ACC_TYPE m_c = rec_c[0];
|
|
1476
|
+
if (m_c <= FA_M_INIT) continue;
|
|
1477
|
+
const global float4 * rec_oc = (const global float4 *) (rec_c + 2);
|
|
1478
|
+
const ACC_TYPE scale_c = exp(m_c - m_final);
|
|
1479
|
+
o = mad((ACC_TYPE4)(scale_c), rec_oc[lane], o);
|
|
1480
|
+
}
|
|
1481
|
+
o = o * l_inv;
|
|
1482
|
+
|
|
1483
|
+
const ulong o_row_offset = (ulong) batch_idx * o_nb3 + (ulong) q_idx * o_nb2 + (ulong) head_idx * o_nb1;
|
|
1484
|
+
global O_DATA_TYPE4 * o_row = (global O_DATA_TYPE4 *) ((global char *) o_void + o_offset + o_row_offset);
|
|
1485
|
+
o_row[lane] = CONVERT_O_DATA4(o);
|
|
1486
|
+
}
|