mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 04:02:41 +01:00
ca56183986
Summary: The current code in LoopUnswtich::processCurrentLoop() mixes trivial loop unswitch and non-trivial loop unswitch together. It goes over all basic blocks in the loop and checks if a condition is trivial or non-trivial unswitch condition. However, trivial unswitch condition can only occur in the loop header basic block (where it controls whether or not the loop does something at all). This refactoring separate trivial loop unswitch and non-trivial loop unswitch. Before going over all basic blocks in the loop, it checks if the loop header contains a trivial unswitch condition. If so, unswitch it. Otherwise, go over all blocks like before but don't check trivial condition any more since they are not possible to be in the other blocks. This code has no functionality change. Reviewers: meheff, reames, broune Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D11276 llvm-svn: 242873
28 lines
811 B
LLVM
28 lines
811 B
LLVM
; RUN: opt < %s -loop-unswitch -loop-unswitch-threshold=0 -S 2>&1 | FileCheck %s
|
|
|
|
; This is to test trivial loop unswitch only happens when trivial condition
|
|
; itself is an LIV loop condition (not partial LIV which could occur in and/or).
|
|
|
|
define i32 @test(i1 %cond1, i32 %var1) {
|
|
entry:
|
|
br label %loop_begin
|
|
|
|
loop_begin:
|
|
%var3 = phi i32 [%var1, %entry], [%var2, %do_something]
|
|
%cond2 = icmp eq i32 %var3, 10
|
|
%cond.and = and i1 %cond1, %cond2
|
|
|
|
; %cond.and only has %cond1 as LIV so no unswitch should happen.
|
|
; CHECK: br i1 %cond.and, label %do_something, label %loop_exit
|
|
br i1 %cond.and, label %do_something, label %loop_exit
|
|
|
|
do_something:
|
|
%var2 = add i32 %var3, 1
|
|
call void @some_func() noreturn nounwind
|
|
br label %loop_begin
|
|
|
|
loop_exit:
|
|
ret i32 0
|
|
}
|
|
|
|
declare void @some_func() noreturn |