[ValueTracking] Support vscale assumes for isKnownToBeAPowerOfTwo
authorzhongyunde <zhongyunde@huawei.com>
Sat, 15 Jul 2023 11:40:25 +0000 (19:40 +0800)
committerzhongyunde <zhongyunde@huawei.com>
Sat, 15 Jul 2023 11:42:58 +0000 (19:42 +0800)
commit4d2723bd001f632d769c62ad51f492c5f9c42259
treeed78190eed8783d78fa0ecbf7ad1eebf37af0245
parenta41e7a2a5db8be9f59f6e7e4aa1bf22c4b62e41c
[ValueTracking] Support vscale assumes for isKnownToBeAPowerOfTwo

This patch is separated from D154953 to see what tests are affected by this
change alone according comment.
Depend on the related updating of LangRef on D155193.

Reviewed By: paulwalker-arm, nikic, david-arm
Differential Revision: https://reviews.llvm.org/D155350
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/InstCombine/rem-mul-shl.ll
llvm/test/Transforms/LoopVectorize/AArch64/sve-cond-inv-loads.ll
llvm/test/Transforms/LoopVectorize/AArch64/sve-gather-scatter.ll
llvm/test/Transforms/LoopVectorize/AArch64/sve-interleaved-accesses.ll
llvm/test/Transforms/LoopVectorize/AArch64/sve-widen-phi.ll