Bjorn Pettersson 8ebb3eac02 [test] Use -passes syntax when specifying pipeline in some more tests
The legacy PM is deprecated, so update a bunch of lit tests running
opt to use the new PM syntax when specifying the pipeline.
In this patch focus has been put on test cases for ConstantMerge,
ConstraintElimination, CorrelatedValuePropagation, GlobalDCE,
GlobalOpt, SCCP, TailCallElim and PredicateInfo.

Differential Revision: https://reviews.llvm.org/D114516
2021-11-27 09:52:55 +01:00

27 lines
818 B
LLVM

; REQUIRES: asserts
; Duplicate the return into if.end to enable TCE.
; RUN: opt -passes=tailcallelim -verify-dom-info -stats -disable-output < %s 2>&1 | FileCheck %s
; CHECK: Number of return duplicated
define i32 @fib(i32 %n) nounwind ssp {
entry:
%cmp = icmp slt i32 %n, 2
br i1 %cmp, label %if.then, label %if.end
if.then: ; preds = %entry
br label %return
if.end: ; preds = %entry
%sub = add nsw i32 %n, -2
%call = call i32 @fib(i32 %sub)
%sub3 = add nsw i32 %n, -1
%call4 = call i32 @fib(i32 %sub3)
%add = add nsw i32 %call, %call4
br label %return
return: ; preds = %if.end, %if.then
%retval.0 = phi i32 [ 1, %if.then ], [ %add, %if.end ]
ret i32 %retval.0
}