mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-13 07:29:38 +00:00
1de43ede89
another mechanical change accomplished though the power of terrible Perl scripts. I have manually switched some "s to 's to make escaping simpler. While I started this to fix tests that aren't run in all configurations, the massive number of tests is due to a really frustrating fragility of our testing infrastructure: things like 'grep -v', 'not grep', and 'expected failures' can mask broken tests all too easily. Essentially, I'm deeply disturbed that I can change the testsuite so radically without causing any change in results for most platforms. =/ git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159547 91177308-0d34-0410-b5e6-96231b3b80d8
34 lines
1.2 KiB
LLVM
34 lines
1.2 KiB
LLVM
; The unify-function-exit-nodes pass often makes basic blocks that just contain
|
|
; a PHI node and a return. Make sure the simplify cfg can straighten out this
|
|
; important case. This is basically the most trivial form of tail-duplication.
|
|
|
|
; RUN: opt < %s -simplifycfg -S | \
|
|
; RUN: not grep "br label"
|
|
|
|
define i32 @test(i1 %B, i32 %A, i32 %B.upgrd.1) {
|
|
br i1 %B, label %T, label %F
|
|
T: ; preds = %0
|
|
br label %ret
|
|
F: ; preds = %0
|
|
br label %ret
|
|
ret: ; preds = %F, %T
|
|
%X = phi i32 [ %A, %F ], [ %B.upgrd.1, %T ] ; <i32> [#uses=1]
|
|
ret i32 %X
|
|
}
|
|
|
|
|
|
; Make sure it's willing to move unconditional branches to return instructions
|
|
; as well, even if the return block is shared and the source blocks are
|
|
; non-empty.
|
|
define i32 @test2(i1 %B, i32 %A, i32 %B.upgrd.2) {
|
|
br i1 %B, label %T, label %F
|
|
T: ; preds = %0
|
|
call i32 @test( i1 true, i32 5, i32 8 ) ; <i32>:1 [#uses=0]
|
|
br label %ret
|
|
F: ; preds = %0
|
|
call i32 @test( i1 true, i32 5, i32 8 ) ; <i32>:2 [#uses=0]
|
|
br label %ret
|
|
ret: ; preds = %F, %T
|
|
ret i32 %A
|
|
}
|