if (auto *II = dyn_cast<IntrinsicInst>(U)) {
switch (II->getIntrinsicID()) {
+ case Intrinsic::abs: {
+ const SCEV *Op = getSCEV(II->getArgOperand(0));
+ SCEV::NoWrapFlags Flags =
+ cast<ConstantInt>(II->getArgOperand(1))->isOne()
+ ? SCEV::FlagNSW
+ : SCEV::FlagAnyWrap;
+ return getSMaxExpr(Op, getNegativeSCEV(Op, Flags));
+ }
case Intrinsic::umax:
return getUMaxExpr(getSCEV(II->getArgOperand(0)),
getSCEV(II->getArgOperand(1)));
; CHECK-LABEL: 'abs_nonsw'
; CHECK-NEXT: Classifying expressions for: @abs_nonsw
; CHECK-NEXT: %r = call i32 @llvm.abs.i32(i32 %x, i1 false)
-; CHECK-NEXT: --> %r U: full-set S: full-set
+; CHECK-NEXT: --> ((-1 * %x) smax %x) U: full-set S: full-set
; CHECK-NEXT: Determining loop execution counts for: @abs_nonsw
;
%r = call i32 @llvm.abs.i32(i32 %x, i1 0)
; CHECK-LABEL: 'abs_nsw'
; CHECK-NEXT: Classifying expressions for: @abs_nsw
; CHECK-NEXT: %r = call i32 @llvm.abs.i32(i32 %x, i1 true)
-; CHECK-NEXT: --> %r U: [0,-2147483648) S: full-set
+; CHECK-NEXT: --> ((-1 * %x)<nsw> smax %x) U: full-set S: full-set
; CHECK-NEXT: Determining loop execution counts for: @abs_nsw
;
%r = call i32 @llvm.abs.i32(i32 %x, i1 1)