mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
54c69d097e
As mentioned in http://lists.llvm.org/pipermail/llvm-dev/2020-July/143395.html, loop-unswitch has not been ported to the NPM. Instead people are using simple-loop-unswitch. Pin all tests in Transforms/LoopUnswitch to legacy PM and replace all other uses of loop-unswitch with simple-loop-unswitch. One test that didn't fit into the above was 2014-06-21-congruent-constant.ll which seems to only pass with loop-unswitch. That is also pinned to legacy PM. Now all tests containing "-loop-unswitch" anywhere in the test succeed with NPM turned on by default. Reviewed By: ychen Differential Revision: https://reviews.llvm.org/D85360
60 lines
1.5 KiB
LLVM
60 lines
1.5 KiB
LLVM
; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -verify-loop-info -S < %s 2>&1 | FileCheck %s
|
|
; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s
|
|
|
|
; There are 1 case and 1 default case in the switch. after we unswitch, we know the
|
|
; %a is definitely not 0 in one of the unswitched loop, make sure we take advantage
|
|
; of that and simplify the branches in the loop.
|
|
;
|
|
; CHECK: define void @simplify_with_nonvalness(
|
|
|
|
; This is the loop in which we know %a is definitely 0.
|
|
; CHECK: sw.bb.us:
|
|
; CHECK: br i1 true, label %if.then.us, label %if.end.us
|
|
|
|
; This is the loop in which we do not know what %a is but we know %a is definitely NOT 0.
|
|
; Make sure we use that information to simplify.
|
|
; The icmp eq i32 %a, 0 in one of the unswitched loop is simplified to false.
|
|
; CHECK: sw.bb.split:
|
|
; CHECK: br i1 false, label %if.then, label %if.end
|
|
|
|
define void @simplify_with_nonvalness(i32 %a) #0 {
|
|
entry:
|
|
br label %for.cond
|
|
|
|
for.cond:
|
|
%i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
|
|
%cmp = icmp slt i32 %i.0, 1024
|
|
br i1 %cmp, label %for.body, label %for.end
|
|
|
|
for.body:
|
|
switch i32 %a, label %sw.default [
|
|
i32 0, label %sw.bb
|
|
]
|
|
|
|
sw.bb:
|
|
%cmp1 = icmp eq i32 %a, 0
|
|
br i1 %cmp1, label %if.then, label %if.end
|
|
|
|
if.then:
|
|
call void (...) @bar()
|
|
br label %if.end
|
|
|
|
if.end:
|
|
br label %sw.epilog
|
|
|
|
sw.default:
|
|
br label %sw.epilog
|
|
|
|
sw.epilog:
|
|
br label %for.inc
|
|
|
|
for.inc:
|
|
%inc = add nsw i32 %i.0, 1
|
|
br label %for.cond
|
|
|
|
for.end:
|
|
ret void
|
|
}
|
|
|
|
declare void @bar(...)
|