tree 7ad9a286366ba3c4f25dc7265353d51932e663ca
parent 77fcdb9f26d2d9da04767894b23b71e52e5ac7ce
author Yingwei Zheng <dtcxzyw2333@gmail.com> 1744546968 +0800
committer GitHub <noreply@github.com> 1744546968 +0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJn+6yYCRC1aQ7uu5UhlAAADSsQAGHUZ0FUXrI0MqmLiWs4Lfb/
 qW33/rnqEmfSImfHHccrdw71ywyloNWg7I39Bwuyt5ptBmgyw8GddnSoMKYM/cnL
 xCVMzYxiHSBY3Qqp6iuf6Jdu+Q7nojbwttIQs5RtQor2vbRlaclxDRlRV64f9Q3z
 ATwF2dxA35B2QuDM7PD+j03tklhRZ+k7NuJ2R23F1i0NoTM3BhVFfUWIJWTlA+kF
 gTEImj9fltGZNpl2wxkdobUuUMXLoHADiFQqzwwItUOVPKEusR2X9f5T2PlBldWv
 lH50ynxvzyn8dGPpr00yNx14opp48zkmDBk4Om+ggDh2vRKDKSvbyAKmpXMSVhvr
 0pTrpRzaRSdlH6wo5XS7NraOwdz1V+1mOB878pXz8+PUobZNYIcWZ6H5q/wE9xEF
 Ncs8wxup8uwtkgcYl9hzdoR/mEtZ/yi4i0AVVs4vawalIF6mbokveMEVC+4uFPu+
 pq9u6yrKRQdLFm/uW5ExqHuNXYjybb/Y/G0Q7h5ev71I2Blqgl9VAC1LEPL0OdiE
 LpfKZywfguUuwsnBp8vImvPcaRHDg4qMnvPpr6TVkc3ZRL4WxTr1+CemI1goQ+EH
 526ZoifoM+L8LJv4YkBNWYqpoi2w8hN3FSNd8w6WTXAhFtQvAFNMQPZnoI/Qv38c
 kjE6I8ai4vy7KXeWP9kv
 =9VMf
 -----END PGP SIGNATURE-----
 

[SCEV] Use ashr to adjust constant multipliers (#135534)

SCEV converts "-2 *nsw (i32 V)" into "2148473647 *nsw (i32 V)". But we
cannot preserve the nsw flag when the constant multiplier is negative.
This patch changes lshr to ashr so that we can preserve both nsw and nuw
flags.

Alive2 proof: https://alive2.llvm.org/ce/z/LZVSEa
Closes https://github.com/llvm/llvm-project/issues/135531.