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
41 lines
1.6 KiB
YAML
41 lines
1.6 KiB
YAML
# RUN: not --crash llc -mtriple=aarch64-- -run-pass=legalizer %s -o - 2>&1 | FileCheck %s
|
|
|
|
# This is to demonstrate what kind of bugs we're missing w/o some kind
|
|
# of validation for LegalizerInfo: G_INTTOPTR could only be legal /
|
|
# could be legalized if its destination operand has a pointer type and
|
|
# its source - a scalar type of an appropriate size. This test meets
|
|
# the requirements for type index 0 (the pointer) and LLT-size
|
|
# requirements for type index 1 (64 bits for AArch64), but has a
|
|
# non-scalar (vector) type for type index 1. The Legalizer is expected
|
|
# to fail on it with an appropriate error message. Prior to
|
|
# LegalizerInfo::verify AArch64 legalizer had a subtle bug in its
|
|
# definition that caused it to accept the following MIR as legal.
|
|
# Namely, it checked that type index 0 is either s64 or p0 and
|
|
# implicitly declared any type for type index 1 as legal (as soon as
|
|
# its size is 64 bits). As LegalizerInfo::verify asserts on such a
|
|
# definition due to type index 1 not being covered by a specific
|
|
# action (not just `unsupportedIf`) it forces to review the definition
|
|
# and fix the mistake: check that type index 0 is p0 and type index 1
|
|
# is s64.
|
|
|
|
# CHECK: Bad machine code: operand types must be all-vector or all-scalar
|
|
# CHECK: LLVM ERROR: Found 1 machine code errors.
|
|
|
|
---
|
|
name: broken
|
|
alignment: 4
|
|
tracksRegLiveness: true
|
|
registers:
|
|
- { id: 0, class: _ }
|
|
- { id: 1, class: _ }
|
|
body: |
|
|
bb.1:
|
|
liveins: $d0
|
|
|
|
%0:_(<4 x s16>) = COPY $d0
|
|
%1:_(p0) = G_INTTOPTR %0(<4 x s16>)
|
|
$x0 = COPY %1(p0)
|
|
RET_ReallyLR implicit $x0
|
|
|
|
...
|