[llvm] bb01b99 - [ConstraintElimination] Fix UB after D145677

[Vitaly Buka via llvm-commits]

Author: Vitaly Buka
Date: 2023-03-09T18:18:29-08:00
New Revision: bb01b9919fdd3d5f1b5d78dcb2aa502588618369

URL: https://github.com/llvm/llvm-project/commit/bb01b9919fdd3d5f1b5d78dcb2aa502588618369
DIFF: https://github.com/llvm/llvm-project/commit/bb01b9919fdd3d5f1b5d78dcb2aa502588618369.diff

LOG: [ConstraintElimination] Fix UB after D145677

Added: 
    

Modified: 
    llvm/lib/Transforms/Scalar/ConstraintElimination.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp b/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
index ce32507d42493..71cf77c97ed09 100644
--- a/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
+++ b/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
@@ -379,9 +379,8 @@ static Decomposition decompose(Value *V,
   if (match(V, m_NUWShl(m_Value(Op1), m_ConstantInt(CI))) && canUseSExt(CI)) {
     if (CI->getSExtValue() < 0 || CI->getSExtValue() >= 64)
       return {V, IsKnownNonNegative};
-    int64_t Mult = 1 << CI->getSExtValue();
     auto Result = decompose(Op1, Preconditions, IsSigned, DL);
-    Result.mul(Mult);
+    Result.mul(int64_t{1} << CI->getSExtValue());
     return Result;
   }