mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-24 05:23:45 +02:00
ee7c9bea1f
Summary: Support the case where an operand of a pattern is also the whole of the result pattern. In this case the original result and all its uses must be replaced by the operand. However, register class restrictions can require a COPY. This patch handles both cases by always emitting the copy and leaving it for the register allocator to optimize. The previous commit failed on Windows machines due to a flaw in the sort predicate which allowed both A < B < C and B == C to be satisfied simultaneously. The cause of this was some sloppiness in the priority order of G_CONSTANT instructions compared to other instructions. These had equal priority because it makes no difference, however there were operands had higher priority than G_CONSTANT but lower priority than any other instruction. As a result, a priority order between G_CONSTANT and other instructions must be enforced to ensure the predicate defines a strict weak order. Reviewers: ab, t.p.northover, qcolombet, rovka, aditya_nandakumar Subscribers: javed.absar, kristof.beyls, igorb, llvm-commits Differential Revision: https://reviews.llvm.org/D36084 llvm-svn: 311076
265 lines
5.9 KiB
YAML
265 lines
5.9 KiB
YAML
# RUN: llc -O0 -mtriple=aarch64-- -run-pass=instruction-select -verify-machineinstrs -global-isel %s -o - | FileCheck %s
|
|
|
|
--- |
|
|
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
|
|
|
|
define void @bitcast_s32_gpr() { ret void }
|
|
define void @bitcast_s32_fpr() { ret void }
|
|
define void @bitcast_s32_gpr_fpr() { ret void }
|
|
define void @bitcast_s32_fpr_gpr() { ret void }
|
|
define void @bitcast_s64_gpr() { ret void }
|
|
define void @bitcast_s64_fpr() { ret void }
|
|
define void @bitcast_s64_gpr_fpr() { ret void }
|
|
define void @bitcast_s64_fpr_gpr() { ret void }
|
|
define void @bitcast_s64_v2f32_fpr() { ret void }
|
|
define void @bitcast_s64_v8i8_fpr() { ret void }
|
|
...
|
|
|
|
---
|
|
# CHECK-LABEL: name: bitcast_s32_gpr
|
|
name: bitcast_s32_gpr
|
|
legalized: true
|
|
regBankSelected: true
|
|
# CHECK: registers:
|
|
# CHECK-NEXT: - { id: 0, class: gpr32all, preferred-register: '' }
|
|
# CHECK-NEXT: - { id: 1, class: gpr32all, preferred-register: '' }
|
|
registers:
|
|
- { id: 0, class: gpr }
|
|
- { id: 1, class: gpr }
|
|
|
|
# CHECK: body:
|
|
# CHECK: %0 = COPY %w0
|
|
# CHECK: %1 = COPY %0
|
|
body: |
|
|
bb.0:
|
|
liveins: %w0
|
|
|
|
%0(s32) = COPY %w0
|
|
%1(s32) = G_BITCAST %0
|
|
%w0 = COPY %1(s32)
|
|
...
|
|
|
|
---
|
|
# CHECK-LABEL: name: bitcast_s32_fpr
|
|
name: bitcast_s32_fpr
|
|
legalized: true
|
|
regBankSelected: true
|
|
|
|
# CHECK: registers:
|
|
# CHECK-NEXT: - { id: 0, class: fpr32, preferred-register: '' }
|
|
# CHECK-NEXT: - { id: 1, class: fpr32, preferred-register: '' }
|
|
registers:
|
|
- { id: 0, class: fpr }
|
|
- { id: 1, class: fpr }
|
|
|
|
# CHECK: body:
|
|
# CHECK: %0 = COPY %s0
|
|
# CHECK: %1 = COPY %0
|
|
body: |
|
|
bb.0:
|
|
liveins: %s0
|
|
|
|
%0(s32) = COPY %s0
|
|
%1(s32) = G_BITCAST %0
|
|
%s0 = COPY %1(s32)
|
|
...
|
|
|
|
---
|
|
# CHECK-LABEL: name: bitcast_s32_gpr_fpr
|
|
name: bitcast_s32_gpr_fpr
|
|
legalized: true
|
|
regBankSelected: true
|
|
|
|
# CHECK: registers:
|
|
# CHECK-NEXT: - { id: 0, class: gpr32all, preferred-register: '' }
|
|
# CHECK-NEXT: - { id: 1, class: fpr32, preferred-register: '' }
|
|
registers:
|
|
- { id: 0, class: gpr }
|
|
- { id: 1, class: fpr }
|
|
|
|
# CHECK: body:
|
|
# CHECK: %0 = COPY %w0
|
|
# CHECK: %1 = COPY %0
|
|
body: |
|
|
bb.0:
|
|
liveins: %w0
|
|
|
|
%0(s32) = COPY %w0
|
|
%1(s32) = G_BITCAST %0
|
|
%s0 = COPY %1(s32)
|
|
...
|
|
|
|
---
|
|
# CHECK-LABEL: name: bitcast_s32_fpr_gpr
|
|
name: bitcast_s32_fpr_gpr
|
|
legalized: true
|
|
regBankSelected: true
|
|
|
|
# CHECK: registers:
|
|
# CHECK-NEXT: - { id: 0, class: fpr32, preferred-register: '' }
|
|
# CHECK-NEXT: - { id: 1, class: gpr32, preferred-register: '' }
|
|
registers:
|
|
- { id: 0, class: fpr }
|
|
- { id: 1, class: gpr }
|
|
|
|
# CHECK: body:
|
|
# CHECK: %0 = COPY %s0
|
|
# CHECK: %1 = COPY %0
|
|
body: |
|
|
bb.0:
|
|
liveins: %s0
|
|
|
|
%0(s32) = COPY %s0
|
|
%1(s32) = G_BITCAST %0
|
|
%w0 = COPY %1(s32)
|
|
...
|
|
|
|
---
|
|
# CHECK-LABEL: name: bitcast_s64_gpr
|
|
name: bitcast_s64_gpr
|
|
legalized: true
|
|
regBankSelected: true
|
|
|
|
# CHECK: registers:
|
|
# CHECK-NEXT: - { id: 0, class: gpr64all, preferred-register: '' }
|
|
# CHECK-NEXT: - { id: 1, class: gpr64all, preferred-register: '' }
|
|
registers:
|
|
- { id: 0, class: gpr }
|
|
- { id: 1, class: gpr }
|
|
|
|
# CHECK: body:
|
|
# CHECK: %0 = COPY %x0
|
|
# CHECK: %1 = COPY %0
|
|
body: |
|
|
bb.0:
|
|
liveins: %x0
|
|
|
|
%0(s64) = COPY %x0
|
|
%1(s64) = G_BITCAST %0
|
|
%x0 = COPY %1(s64)
|
|
...
|
|
|
|
---
|
|
# CHECK-LABEL: name: bitcast_s64_fpr
|
|
name: bitcast_s64_fpr
|
|
legalized: true
|
|
regBankSelected: true
|
|
|
|
# CHECK: registers:
|
|
# CHECK-NEXT: - { id: 0, class: fpr64, preferred-register: '' }
|
|
# CHECK-NEXT: - { id: 1, class: fpr64, preferred-register: '' }
|
|
registers:
|
|
- { id: 0, class: fpr }
|
|
- { id: 1, class: fpr }
|
|
|
|
# CHECK: body:
|
|
# CHECK: %0 = COPY %d0
|
|
# CHECK: %1 = COPY %0
|
|
body: |
|
|
bb.0:
|
|
liveins: %d0
|
|
|
|
%0(s64) = COPY %d0
|
|
%1(s64) = G_BITCAST %0
|
|
%d0 = COPY %1(s64)
|
|
...
|
|
|
|
---
|
|
# CHECK-LABEL: name: bitcast_s64_gpr_fpr
|
|
name: bitcast_s64_gpr_fpr
|
|
legalized: true
|
|
regBankSelected: true
|
|
|
|
# CHECK: registers:
|
|
# CHECK-NEXT: - { id: 0, class: gpr64all, preferred-register: '' }
|
|
# CHECK-NEXT: - { id: 1, class: fpr64, preferred-register: '' }
|
|
registers:
|
|
- { id: 0, class: gpr }
|
|
- { id: 1, class: fpr }
|
|
# CHECK: body:
|
|
# CHECK: %0 = COPY %x0
|
|
# CHECK: %1 = COPY %0
|
|
body: |
|
|
bb.0:
|
|
liveins: %x0
|
|
|
|
%0(s64) = COPY %x0
|
|
%1(s64) = G_BITCAST %0
|
|
%d0 = COPY %1(s64)
|
|
...
|
|
|
|
---
|
|
# CHECK-LABEL: name: bitcast_s64_fpr_gpr
|
|
name: bitcast_s64_fpr_gpr
|
|
legalized: true
|
|
regBankSelected: true
|
|
|
|
# CHECK: registers:
|
|
# CHECK-NEXT: - { id: 0, class: fpr64, preferred-register: '' }
|
|
# CHECK-NEXT: - { id: 1, class: gpr64, preferred-register: '' }
|
|
registers:
|
|
- { id: 0, class: fpr }
|
|
- { id: 1, class: gpr }
|
|
|
|
# CHECK: body:
|
|
# CHECK: %0 = COPY %d0
|
|
# CHECK: %1 = COPY %0
|
|
body: |
|
|
bb.0:
|
|
liveins: %d0
|
|
|
|
%0(s64) = COPY %d0
|
|
%1(s64) = G_BITCAST %0
|
|
%x0 = COPY %1(s64)
|
|
...
|
|
|
|
---
|
|
# CHECK-LABEL: name: bitcast_s64_v2f32_fpr
|
|
name: bitcast_s64_v2f32_fpr
|
|
legalized: true
|
|
regBankSelected: true
|
|
|
|
# CHECK: registers:
|
|
# CHECK-NEXT: - { id: 0, class: fpr64, preferred-register: '' }
|
|
# CHECK-NEXT: - { id: 1, class: fpr64, preferred-register: '' }
|
|
registers:
|
|
- { id: 0, class: fpr }
|
|
- { id: 1, class: fpr }
|
|
|
|
# CHECK: body:
|
|
# CHECK: %0 = COPY %d0
|
|
# CHECK: %1 = COPY %0
|
|
body: |
|
|
bb.0:
|
|
liveins: %d0
|
|
|
|
%0(s64) = COPY %d0
|
|
%1(<2 x s32>) = G_BITCAST %0
|
|
%x0 = COPY %1(<2 x s32>)
|
|
...
|
|
|
|
---
|
|
# CHECK-LABEL: name: bitcast_s64_v8i8_fpr
|
|
name: bitcast_s64_v8i8_fpr
|
|
legalized: true
|
|
regBankSelected: true
|
|
|
|
# CHECK: registers:
|
|
# CHECK-NEXT: - { id: 0, class: fpr64, preferred-register: '' }
|
|
# CHECK-NEXT: - { id: 1, class: fpr64, preferred-register: '' }
|
|
registers:
|
|
- { id: 0, class: fpr }
|
|
- { id: 1, class: fpr }
|
|
|
|
# CHECK: body:
|
|
# CHECK: %0 = COPY %d0
|
|
# CHECK: %1 = COPY %0
|
|
body: |
|
|
bb.0:
|
|
liveins: %d0
|
|
|
|
%0(s64) = COPY %d0
|
|
%1(<8 x s8>) = G_BITCAST %0
|
|
%x0 = COPY %1(<8 x s8>)
|
|
...
|