mirror of
https://github.com/RPCSX/llvm.git
synced 2025-02-22 14:05:03 +00:00
bc420a0cc1
When sinking an instruction it might be moved past the original last use of one of its operands. This last use has the kill flag set and the verifier will obviously complain about this. Before Machine Sinking (AArch64): %vreg3<def> = ASRVXr %vreg1, %vreg2<kill> %XZR<def> = SUBSXrs %vreg4, %vreg1<kill>, 160, %NZCV<imp-def> ... After Machine Sinking: %XZR<def> = SUBSXrs %vreg4, %vreg1<kill>, 160, %NZCV<imp-def> ... %vreg3<def> = ASRVXr %vreg1, %vreg2<kill> This fix clears all the kill flags in all instruction that use the same operands as the instruction that is being sunk. This fixes rdar://problem/18180996. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216803 91177308-0d34-0410-b5e6-96231b3b80d8
28 lines
863 B
LLVM
28 lines
863 B
LLVM
; RUN: llc -mtriple=aarch64-apple-darwin -fast-isel -verify-machineinstrs < %s
|
|
|
|
define void @test() {
|
|
%sext = shl i64 undef, 32
|
|
%1 = ashr exact i64 %sext, 32
|
|
%2 = icmp sgt i64 undef, %1
|
|
br i1 %2, label %3, label %.critedge1
|
|
|
|
; <label>:3 ; preds = %0
|
|
%4 = getelementptr inbounds i32* undef, i64 %1
|
|
%5 = load i32* %4, align 4
|
|
br i1 undef, label %6, label %.critedge1
|
|
|
|
; <label>:6 ; preds = %3
|
|
%7 = and i32 %5, 255
|
|
%8 = icmp eq i32 %7, 255
|
|
br i1 %8, label %.lr.ph, label %._crit_edge
|
|
|
|
.lr.ph: ; preds = %.lr.ph, %6
|
|
br i1 undef, label %.lr.ph, label %.critedge1
|
|
|
|
._crit_edge: ; preds = %6
|
|
ret void
|
|
|
|
.critedge1: ; preds = %.lr.ph, %3, %0
|
|
ret void
|
|
}
|