mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
ec7bef4c35
In the optimizer (GVN etc.) when eliminating redundant nodes with different flags, the flags are ignored for the purposes of testing for congruence, and then intersected for the purposes of producing a result that supports the union of all the uses. This commit makes SelectionDAG's CSE do the same thing, allowing it to CSE nodes in more cases. This fixes PR26063. Differential Revision: http://reviews.llvm.org/D15957 llvm-svn: 257940
44 lines
1.6 KiB
LLVM
44 lines
1.6 KiB
LLVM
; RUN: llc -asm-verbose=false < %s | FileCheck %s
|
|
; PR26063
|
|
|
|
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
|
|
target triple = "armv7--linux-gnueabihf"
|
|
|
|
; CHECK: .LBB0_1:
|
|
; CHECK-NEXT: bl f{{$}}
|
|
; CHECK-NEXT: ldrb r[[T0:[0-9]+]], [r{{[0-9]+}}, #1]!{{$}}
|
|
; CHECK-NEXT: cmp r{{[0-9]+}}, #1{{$}}
|
|
; CHECK-NEXT: cmpne r[[T0]], #0{{$}}
|
|
; CHECK-NEXT: bne .LBB0_1{{$}}
|
|
define i8* @h(i8* readonly %a, i32 %b, i32 %c) {
|
|
entry:
|
|
%0 = load i8, i8* %a, align 1
|
|
%tobool4 = icmp ne i8 %0, 0
|
|
%cmp5 = icmp ne i32 %b, 1
|
|
%1 = and i1 %cmp5, %tobool4
|
|
br i1 %1, label %while.body.preheader, label %while.end
|
|
|
|
while.body.preheader: ; preds = %entry
|
|
br label %while.body
|
|
|
|
while.body: ; preds = %while.body.preheader, %while.body
|
|
%a.addr.06 = phi i8* [ %incdec.ptr, %while.body ], [ %a, %while.body.preheader ]
|
|
%call = tail call i32 bitcast (i32 (...)* @f to i32 ()*)()
|
|
%incdec.ptr = getelementptr inbounds i8, i8* %a.addr.06, i32 1
|
|
%2 = load i8, i8* %incdec.ptr, align 1
|
|
%tobool = icmp ne i8 %2, 0
|
|
%cmp = icmp ne i32 %call, 1
|
|
%3 = and i1 %cmp, %tobool
|
|
br i1 %3, label %while.body, label %while.end.loopexit
|
|
|
|
while.end.loopexit: ; preds = %while.body
|
|
%incdec.ptr.lcssa = phi i8* [ %incdec.ptr, %while.body ]
|
|
br label %while.end
|
|
|
|
while.end: ; preds = %while.end.loopexit, %entry
|
|
%a.addr.0.lcssa = phi i8* [ %a, %entry ], [ %incdec.ptr.lcssa, %while.end.loopexit ]
|
|
ret i8* %a.addr.0.lcssa
|
|
}
|
|
|
|
declare i32 @f(...)
|