mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 11:13:28 +01:00
1d7e9b4115
Summary:
RegisterCoalescer::removePartialRedundancy tries to hoist B = A from
BB0/BB2 to BB1:
BB1:
...
BB0/BB2: ----
B = A; |
... |
A = B; |
|-------
|
It does so if a number of conditions are fulfilled. However, it failed
to check if B was used by any of the terminators in BB1. Since we must
insert B = A before the terminators (since it's not a terminator itself),
this means that we could erroneously insert a new definition of B before a
use of it.
Reviewers: wmi, qcolombet
Reviewed By: wmi
Subscribers: MatzeB, llvm-commits, sdardis
Differential Revision: https://reviews.llvm.org/D44918
llvm-svn: 328689
42 lines
720 B
YAML
42 lines
720 B
YAML
# RUN: llc -march=mips64 -o - %s -run-pass=simple-register-coalescing | FileCheck %s
|
|
|
|
---
|
|
name: f
|
|
tracksRegLiveness: true
|
|
body: |
|
|
bb.0:
|
|
successors: %bb.1
|
|
|
|
%21:gpr32 = ADDiu $zero, 0
|
|
%22:gpr32 = COPY %21
|
|
%22:gpr32 = ADDiu %22, 1
|
|
J %bb.1, implicit-def dead $at
|
|
|
|
bb.1:
|
|
successors: %bb.2
|
|
|
|
BEQ %22, $zero, %bb.2, implicit-def $at
|
|
|
|
bb.2:
|
|
successors: %bb.2, %bb.3
|
|
|
|
%22:gpr32 = COPY %21
|
|
%21:gpr32 = COPY %22
|
|
BEQ undef %0:gpr32, $zero, %bb.2, implicit-def $at
|
|
|
|
bb.3:
|
|
|
|
...
|
|
|
|
# We should not hoist the
|
|
#
|
|
# %22:gpr32 = COPY %21
|
|
#
|
|
# into bb.1 since %22 is used in the BEQ.
|
|
|
|
# CHECK-LABEL: bb.1:
|
|
# CHECK-NOT: COPY
|
|
# CHECK: BEQ
|
|
|
|
# CHECK-LABEL: bb.2:
|