derek.holloway
7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
225 lines
6.7 KiB
LLVM
225 lines
6.7 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
|
|
; RUN: llc -mtriple=hexagon -mcpu=hexagonv73 -mattr=+hvxv73,+hvx-length128b \
|
|
; RUN: -enable-legalize-types-checking < %s | FileCheck %s
|
|
;
|
|
; Check that HVX extend/truncate operations that require splitting compile
|
|
; correctly. The bug was that multi-step TL_EXTEND operations (e.g., i8->i32)
|
|
; were split directly, creating sub-HVX operand types (v64i8) that confused
|
|
; the legalizer's map tracking. The fix expands multi-step extends into
|
|
; single steps first. The same applies to multi-step TL_TRUNCATE operations.
|
|
|
|
; Widening path: v32i8 (sub-HVX) widened to v128i8 before multi-step extend.
|
|
define fastcc <32 x i32> @test_zext_widen(<32 x i8> %a, <32 x i8> %b) {
|
|
; CHECK-LABEL: test_zext_widen:
|
|
; CHECK: .cfi_startproc
|
|
; CHECK-NEXT: // %bb.0: // %entry
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: r7 = #64
|
|
; CHECK-NEXT: v1 = vxor(v1,v1)
|
|
; CHECK-NEXT: r13:12 = memd(r29+#24)
|
|
; CHECK-NEXT: r9:8 = memd(r29+#8)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v3:2 = vcombine(v1,v1)
|
|
; CHECK-NEXT: v4 = v1
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v2.w = vinsert(r12)
|
|
; CHECK-NEXT: v4.w = vinsert(r4)
|
|
; CHECK-NEXT: v0 = vror(v1,r7)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v3.w = vinsert(r8)
|
|
; CHECK-NEXT: v1.w = vinsert(r0)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v2 = valign(v2,v2,#4)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v2.w = vinsert(r13)
|
|
; CHECK-NEXT: v3 = valign(v3,v3,#4)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v3.w = vinsert(r9)
|
|
; CHECK-NEXT: v4 = valign(v4,v4,#4)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v4.w = vinsert(r5)
|
|
; CHECK-NEXT: v1 = valign(v1,v1,#4)
|
|
; CHECK-NEXT: r5:4 = memd(r29+#32)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v1.w = vinsert(r1)
|
|
; CHECK-NEXT: v2 = valign(v2,v2,#4)
|
|
; CHECK-NEXT: r1:0 = memd(r29+#16)
|
|
; CHECK-NEXT: r11:10 = memd(r29+#0)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v2.w = vinsert(r4)
|
|
; CHECK-NEXT: v3 = valign(v3,v3,#4)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v3.w = vinsert(r0)
|
|
; CHECK-NEXT: v4 = valign(v4,v4,#4)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v4.w = vinsert(r10)
|
|
; CHECK-NEXT: v1 = valign(v1,v1,#4)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v1.w = vinsert(r2)
|
|
; CHECK-NEXT: r2 = #116
|
|
; CHECK-NEXT: v2 = valign(v2,v2,#4)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v2.w = vinsert(r5)
|
|
; CHECK-NEXT: v3 = valign(v3,v3,#4)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v3.w = vinsert(r1)
|
|
; CHECK-NEXT: v1 = valign(v1,v1,#4)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v1.w = vinsert(r3)
|
|
; CHECK-NEXT: v4 = valign(v4,v4,#4)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v4.w = vinsert(r11)
|
|
; CHECK-NEXT: v3 = vror(v3,r2)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v1 = vror(v1,r2)
|
|
; CHECK-NEXT: v3 = vor(v3,v0)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v4 = vror(v4,r2)
|
|
; CHECK-NEXT: v1 = vor(v1,v0)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v2 = vror(v2,r2)
|
|
; CHECK-NEXT: v4 = vor(v4,v0)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v7:6.uh = vunpack(v1.ub)
|
|
; CHECK-NEXT: v0 = vor(v2,v0)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v5:4.uh = vunpack(v4.ub)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v31:30.uh = vunpack(v3.ub)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v1:0.uh = vunpack(v0.ub)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v7:6.uw = vunpack(v6.uh)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v5:4.uw = vunpack(v4.uh)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v3:2.uw = vunpack(v30.uh)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v1:0.uw = vunpack(v0.uh)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v5:4 = vshuff(v4,v6,r7)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v1:0 = vshuff(v0,v2,r7)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v0.w = vadd(v4.w,v0.w)
|
|
; CHECK-NEXT: jumpr r31
|
|
; CHECK-NEXT: }
|
|
entry:
|
|
%ext_a = zext <32 x i8> %a to <32 x i32>
|
|
%ext_b = zext <32 x i8> %b to <32 x i32>
|
|
%sum = add <32 x i32> %ext_a, %ext_b
|
|
ret <32 x i32> %sum
|
|
}
|
|
|
|
; Splitting path: v128i8 (single HVX vector) -> v128i32 (needs splitting).
|
|
; Multi-step zext i8->i16->i32 with ExpandHvxResizeIntoSteps before split.
|
|
define fastcc <128 x i32> @test_zext_split(<128 x i8> %a) {
|
|
; CHECK-LABEL: test_zext_split:
|
|
; CHECK: .cfi_startproc
|
|
; CHECK-NEXT: // %bb.0: // %entry
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v1:0.uh = vunpack(v0.ub)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v3:2.uw = vunpack(v0.uh)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v31:30.uw = vunpack(v1.uh)
|
|
; CHECK-NEXT: vmem(r0+#1) = v3
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: vmem(r0+#3) = v31
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: vmem(r0+#2) = v30
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: jumpr r31
|
|
; CHECK-NEXT: vmem(r0+#0) = v2
|
|
; CHECK-NEXT: }
|
|
entry:
|
|
%ext = zext <128 x i8> %a to <128 x i32>
|
|
ret <128 x i32> %ext
|
|
}
|
|
|
|
; Splitting path: v128i8 -> v128i32, signed multi-step extend.
|
|
define fastcc <128 x i32> @test_sext_split(<128 x i8> %a) {
|
|
; CHECK-LABEL: test_sext_split:
|
|
; CHECK: .cfi_startproc
|
|
; CHECK-NEXT: // %bb.0: // %entry
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v1:0.h = vunpack(v0.b)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v3:2.w = vunpack(v0.h)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v31:30.w = vunpack(v1.h)
|
|
; CHECK-NEXT: vmem(r0+#1) = v3
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: vmem(r0+#3) = v31
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: vmem(r0+#2) = v30
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: jumpr r31
|
|
; CHECK-NEXT: vmem(r0+#0) = v2
|
|
; CHECK-NEXT: }
|
|
entry:
|
|
%ext = sext <128 x i8> %a to <128 x i32>
|
|
ret <128 x i32> %ext
|
|
}
|
|
|
|
; Splitting path: v128i32 (needs splitting) -> v128i8 (single HVX vector).
|
|
; Multi-step trunc i32->i16->i8 with ExpandHvxResizeIntoSteps before split.
|
|
define fastcc <128 x i8> @test_trunc_split(<128 x i32> %a) {
|
|
; CHECK-LABEL: test_trunc_split:
|
|
; CHECK: .cfi_startproc
|
|
; CHECK-NEXT: // %bb.0: // %entry
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v0.h = vpacke(v1.w,v0.w)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v31.h = vpacke(v3.w,v2.w)
|
|
; CHECK-NEXT: }
|
|
; CHECK-NEXT: {
|
|
; CHECK-NEXT: v0.b = vpacke(v31.h,v0.h)
|
|
; CHECK-NEXT: jumpr r31
|
|
; CHECK-NEXT: }
|
|
entry:
|
|
%t = trunc <128 x i32> %a to <128 x i8>
|
|
ret <128 x i8> %t
|
|
}
|