mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-24 21:42:54 +02:00
502353740b
In if-conversion, there is a utility function MergeBlocks() that is used to merge blocks. However, when new edges are built in this function the edge weight is either not provided or not updated properly, leading to a modified CFG with incorrect edge weights. This patch corrects this issue. Differential Revision: http://reviews.llvm.org/D12513 llvm-svn: 248030
63 lines
1.8 KiB
LLVM
63 lines
1.8 KiB
LLVM
; RUN: llc < %s -mtriple thumbv7s-apple-darwin -asm-verbose=false | FileCheck %s
|
|
; RUN: llc < %s -mtriple thumbv7s-apple-darwin -asm-verbose=false -print-machineinstrs=if-converter 2>&1 | FileCheck --check-prefix=CHECK-WEIGHT %s
|
|
|
|
declare i32 @foo(i32)
|
|
declare i8* @bar(i32, i8*, i8*)
|
|
|
|
; Verify that we don't try to iteratively re-ifconvert a block with a
|
|
; (predicated) indirectbr terminator.
|
|
; If we do, we would ignore its fallthrough successor.
|
|
|
|
|
|
; CHECK-LABEL: test:
|
|
; CHECK: cmp {{.*}}, #21
|
|
; CHECK-NEXT: itt eq
|
|
; CHECK-NEXT: streq.w
|
|
; CHECK-NEXT: moveq pc
|
|
; CHECK-NEXT: LBB{{[0-9_]+}}:
|
|
; CHECK-NEXT: cmp {{.*}}, #42
|
|
; CHECK-NEXT: itt ne
|
|
; CHECK-NEXT: strne.w
|
|
; CHECK-NEXT: movne pc
|
|
; CHECK-NEXT: Ltmp
|
|
; CHECK-NEXT: LBB0_2:
|
|
; CHECK-NEXT: movw r0, #1234
|
|
; CHECK-NEXT: b [[FOOCALL:LBB[0-9_]+]]
|
|
; CHECK-NEXT: Ltmp
|
|
; CHECK-NEXT: LBB{{[0-9_]+}}:
|
|
; CHECK-NEXT: movw r0, #4567
|
|
; CHECK-NEXT: [[FOOCALL]]:
|
|
; CHECK-NEXT: blx _foo
|
|
;
|
|
; CHECK-WEIGHT: BB#0:
|
|
; CHECK-WEIGHT: Successors according to CFG: BB#1(16) BB#2(8) BB#4(8)
|
|
; CHECK-WEIGHT: BB#1:
|
|
; CHECK-WEIGHT: Successors according to CFG: BB#2(24) BB#4(8)
|
|
|
|
define i32 @test(i32 %a, i32 %a2, i32* %p, i32* %p2) {
|
|
entry:
|
|
%dst1 = call i8* @bar(i32 1, i8* blockaddress(@test, %bb1), i8* blockaddress(@test, %bb2))
|
|
%dst2 = call i8* @bar(i32 2, i8* blockaddress(@test, %bb1), i8* blockaddress(@test, %bb2))
|
|
%dst3 = call i8* @bar(i32 3, i8* blockaddress(@test, %bb1), i8* blockaddress(@test, %bb2))
|
|
%cc1 = icmp eq i32 %a, 21
|
|
br i1 %cc1, label %cc1t, label %cc1f
|
|
|
|
cc1t:
|
|
store i32 %a, i32* %p
|
|
indirectbr i8* %dst3, [label %bb1, label %bb2]
|
|
|
|
cc1f:
|
|
%cc2 = icmp ne i32 %a2, 42
|
|
br i1 %cc2, label %cc2t, label %bb1
|
|
cc2t:
|
|
store i32 %a, i32* %p2
|
|
indirectbr i8* %dst1, [label %bb1, label %bb2]
|
|
|
|
bb1:
|
|
%ret_bb1 = call i32 @foo(i32 1234)
|
|
ret i32 %ret_bb1
|
|
bb2:
|
|
%ret_bb2 = call i32 @foo(i32 4567)
|
|
ret i32 %ret_bb2
|
|
}
|