8ebb3eac02
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
24 lines
546 B
LLVM
24 lines
546 B
LLVM
; This is a basic correctness check for constant propagation. It tests the
|
|
; basic arithmetic operations.
|
|
|
|
|
|
; RUN: opt < %s -passes=sccp -S | not grep mul
|
|
; RUN: opt < %s -passes=sccp -S | not grep umod
|
|
|
|
define i128 @test(i1 %B) {
|
|
br i1 %B, label %BB1, label %BB2
|
|
BB1:
|
|
%t1 = add i128 0, 1
|
|
%t2 = sub i128 0, %t1
|
|
%t3 = mul i128 %t2, -1
|
|
br label %BB3
|
|
BB2:
|
|
%f1 = udiv i128 -1, 1
|
|
%f2 = add i128 %f1, 1
|
|
%f3 = urem i128 %f2, 2121
|
|
br label %BB3
|
|
BB3:
|
|
%Ret = phi i128 [%t3, %BB1], [%f3, %BB2]
|
|
ret i128 %Ret
|
|
}
|