[llvm] r326969 - [AArch64] Fix UB about shift amount exceeds data bit-width
Weiming Zhao via llvm-commits
llvm-commits at lists.llvm.org
Wed Mar 7 16:28:25 PST 2018
Author: weimingz
Date: Wed Mar 7 16:28:25 2018
New Revision: 326969
URL: http://llvm.org/viewvc/llvm-project?rev=326969&view=rev
Log:
[AArch64] Fix UB about shift amount exceeds data bit-width
Summary:
Fixes an UB caught by sanitizer. The shift amount might be larger than 32 so the operand should be 1ULL.
In this patch, we replace the original expression with existing API with uint64_t type.
Reviewers: eli.friedman, rengolin
Reviewed By: rengolin
Subscribers: rengolin, javed.absar, llvm-commits, kristof.beyls
Differential Revision: https://reviews.llvm.org/D44234
Modified:
llvm/trunk/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp
Modified: llvm/trunk/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp?rev=326969&r1=326968&r2=326969&view=diff
==============================================================================
--- llvm/trunk/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp (original)
+++ llvm/trunk/lib/Target/AArch64/AArch64ISelDAGToDAG.cpp Wed Mar 7 16:28:25 2018
@@ -1512,7 +1512,7 @@ static bool isBitfieldExtractOpFromAnd(S
// Because of simplify-demanded-bits in DAGCombine, the mask may have been
// simplified. Try to undo that
- AndImm |= (1 << NumberOfIgnoredLowBits) - 1;
+ AndImm |= maskTrailingOnes<uint64_t>(NumberOfIgnoredLowBits);
// The immediate is a mask of the low bits iff imm & (imm+1) == 0
if (AndImm & (AndImm + 1))
More information about the llvm-commits
mailing list