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
71 lines
3.0 KiB
YAML
71 lines
3.0 KiB
YAML
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
|
|
# RUN: llc -mcpu=z13 -O3 -misched=ilpmin -systemz-subreg-liveness -verify-machineinstrs -start-before register-coalescer %s -mtriple s390x-ibm-linux -stop-after machine-scheduler -o - | FileCheck %s
|
|
|
|
# Check that when the register coalescer rematerializes a register to set
|
|
# only a sub register, it sets the subranges of the unused lanes as being dead
|
|
# at the definition point.
|
|
#
|
|
# The way that test exercises that comes in two steps:
|
|
# - First, we need the register coalescer to rematerialize something.
|
|
# In that test, %0 is rematerializable and will be rematerialized in
|
|
# %1 since %1 and %0 cannot be directly coalesced (they interfere).
|
|
# - Second, we indirectly check that the subranges are valid for %1
|
|
# when, in the machine scheduler, we move the instructions that define %1
|
|
# closer to the return instruction (i.e., we move MSFI and the rematerialized
|
|
# definition of %0 (i.e., %1 = LGHI 25) down). When doing that displacement,
|
|
# the scheduler updates the live-ranges of %1. When the subrange for the
|
|
# unused lane (here the subrange for %1.subreg_h32) was not correct, the
|
|
# scheduler would hit an assertion or access some invalid memory location
|
|
# making the compiler crash.
|
|
#
|
|
# Bottom line, this test checks what was intended if at the end, both %0 and %1
|
|
# are defined with `LGHI 25` and the instructions defining %1 are right before
|
|
# the return instruction.
|
|
#
|
|
# PR41372
|
|
---
|
|
name: main
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0:
|
|
|
|
; CHECK-LABEL: name: main
|
|
; CHECK: [[LGHI:%[0-9]+]]:gr64bit = LGHI 25
|
|
; CHECK-NEXT: CHIMux [[LGHI]].subreg_l32, 0, implicit-def $cc
|
|
; CHECK-NEXT: [[LGHI1:%[0-9]+]]:gr64bit = LGHI 25
|
|
; CHECK-NEXT: undef [[LGHI1:%[0-9]+]].subreg_l32:gr64bit = MSFI [[LGHI1]].subreg_l32, -117440512
|
|
; CHECK-NEXT: Return implicit [[LGHI1]].subreg_l32
|
|
%0:gr64bit = LGHI 25
|
|
%1:gr32bit = COPY %0.subreg_l32
|
|
%1:gr32bit = MSFI %1, -117440512
|
|
%2:grx32bit = COPY %0.subreg_l32
|
|
CHIMux killed %2, 0, implicit-def $cc
|
|
%3:gr32bit = COPY killed %1
|
|
Return implicit %3
|
|
...
|
|
|
|
---
|
|
name: test_dead_at_remat_later_defined
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0:
|
|
; CHECK-LABEL: name: test_dead_at_remat_later_defined
|
|
; CHECK: undef [[LHI:%[0-9]+]].subreg_l32:gr128bit = LHI 0
|
|
; CHECK-NEXT: [[LHI:%[0-9]+]].subreg_l64:gr128bit = LGHI 2
|
|
; CHECK-NEXT: [[LHI1:%[0-9]+]]:gr32bit = LHI 1
|
|
; CHECK-NEXT: [[LHI:%[0-9]+]].subreg_lh32:gr128bit = COPY [[LHI1]]
|
|
; CHECK-NEXT: [[LGHI:%[0-9]+]]:gr64bit = LGHI 2
|
|
; CHECK-NEXT: [[LHI:%[0-9]+]].subreg_h32:gr128bit = COPY [[LGHI]].subreg_l32
|
|
; CHECK-NEXT: $r0q = COPY [[LHI]]
|
|
; CHECK-NEXT: $r4d = COPY [[LGHI]].subreg_h32
|
|
%0:gr64bit = LGHI 2
|
|
%1:gr32bit = LHI 0
|
|
%2:gr32bit = LHI 1
|
|
undef %3.subreg_ll32:gr128bit = COPY %0.subreg_l32
|
|
%3.subreg_lh32:gr128bit = COPY %2
|
|
%3.subreg_l32:gr128bit = COPY %1
|
|
%3.subreg_h32:gr128bit = COPY %0.subreg_l32
|
|
$r0q = COPY %3
|
|
$r4d = COPY %0.subreg_h32
|
|
...
|