mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-18 18:42:46 +02:00
[JumpThreading] Add a test that duplicates insts of a basic block with cond br to preds; NFC
This commit is contained in:
parent
d22d8b1c0c
commit
d2cb125458
71
test/Transforms/JumpThreading/phi-copy-to-pred.ll
Normal file
71
test/Transforms/JumpThreading/phi-copy-to-pred.ll
Normal file
@ -0,0 +1,71 @@
|
||||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -jump-threading -S < %s | FileCheck %s
|
||||
|
||||
declare void @f()
|
||||
declare void @g()
|
||||
declare void @h()
|
||||
|
||||
define i32 @test(i1 %cond, i1 %a, i1 %b) {
|
||||
; CHECK-LABEL: @test(
|
||||
; CHECK-NEXT: br i1 [[COND:%.*]], label [[A:%.*]], label [[C:%.*]]
|
||||
; CHECK: A:
|
||||
; CHECK-NEXT: call void @f()
|
||||
; CHECK-NEXT: br i1 [[A:%.*]], label [[EXIT1:%.*]], label [[EXIT2:%.*]]
|
||||
; CHECK: C:
|
||||
; CHECK-NEXT: call void @g()
|
||||
; CHECK-NEXT: br i1 [[B:%.*]], label [[EXIT1]], label [[EXIT2]]
|
||||
; CHECK: EXIT1:
|
||||
; CHECK-NEXT: ret i32 0
|
||||
; CHECK: EXIT2:
|
||||
; CHECK-NEXT: ret i32 1
|
||||
;
|
||||
br i1 %cond, label %A, label %B
|
||||
A:
|
||||
call void @f()
|
||||
br label %C
|
||||
B:
|
||||
call void @g()
|
||||
br label %C
|
||||
C:
|
||||
%p = phi i1 [%a, %A], [%b, %B] ; Check that this is removed
|
||||
br i1 %p, label %EXIT1, label %EXIT2
|
||||
EXIT1:
|
||||
ret i32 0
|
||||
EXIT2:
|
||||
ret i32 1
|
||||
}
|
||||
|
||||
define i32 @test2(i1 %cond, i1 %a, i1 %b) {
|
||||
; CHECK-LABEL: @test2(
|
||||
; CHECK-NEXT: br i1 [[COND:%.*]], label [[A:%.*]], label [[B:%.*]]
|
||||
; CHECK: A:
|
||||
; CHECK-NEXT: call void @f()
|
||||
; CHECK-NEXT: br label [[C:%.*]]
|
||||
; CHECK: B:
|
||||
; CHECK-NEXT: call void @g()
|
||||
; CHECK-NEXT: br label [[C]]
|
||||
; CHECK: C:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i1 [ [[A:%.*]], [[A]] ], [ [[B:%.*]], [[B]] ]
|
||||
; CHECK-NEXT: [[P_FR:%.*]] = freeze i1 [[P]]
|
||||
; CHECK-NEXT: br i1 [[P_FR]], label [[EXIT1:%.*]], label [[EXIT2:%.*]]
|
||||
; CHECK: EXIT1:
|
||||
; CHECK-NEXT: ret i32 0
|
||||
; CHECK: EXIT2:
|
||||
; CHECK-NEXT: ret i32 1
|
||||
;
|
||||
br i1 %cond, label %A, label %B
|
||||
A:
|
||||
call void @f()
|
||||
br label %C
|
||||
B:
|
||||
call void @g()
|
||||
br label %C
|
||||
C:
|
||||
%p = phi i1 [%a, %A], [%b, %B] ; Check that this is removed
|
||||
%p.fr = freeze i1 %p
|
||||
br i1 %p.fr, label %EXIT1, label %EXIT2
|
||||
EXIT1:
|
||||
ret i32 0
|
||||
EXIT2:
|
||||
ret i32 1
|
||||
}
|
Loading…
Reference in New Issue
Block a user