review.tizen.org Git - platform/upstream/llvm.git/commit

projects / platform / upstream / llvm.git / commit

author	Sanjay Patel <spatel@rotateright.com>
	Thu, 15 Dec 2022 16:41:22 +0000 (11:41 -0500)
committer	Sanjay Patel <spatel@rotateright.com>
	Thu, 15 Dec 2022 17:03:47 +0000 (12:03 -0500)
commit	d4493dd1ed58ac3f1eab0c4ca6e363e2b15bfd1c
tree	d3e0715fa8006561b713c7133af86142571501cf	tree \| snapshot
parent	ae05bd99d3b197eda419963ac8118295068eb19d	commit \| diff

[InstCombine] add nuw to any (1<<x)

https://alive2.llvm.org/ce/z/9EjDKE

This was mentioned as a missing fold in D139598.

It can unlock follow-on folds in some cases.
This verifies one of the changed tests:
https://alive2.llvm.org/ce/z/B_btDM

41 files changed:

llvm/lib/Transforms/InstCombine/InstCombineShifts.cpp		diff \| blob \| history
llvm/test/Transforms/InstCombine/and-or-icmps.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/and2.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/apint-shl-trunc.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/canonicalize-low-bit-mask-v2-and-icmp-eq-to-icmp-ule.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/canonicalize-low-bit-mask-v2-and-icmp-ne-to-icmp-ugt.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/canonicalize-low-bit-mask-v3-and-icmp-eq-to-icmp-ule.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/canonicalize-low-bit-mask-v3-and-icmp-ne-to-icmp-ugt.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/canonicalize-low-bit-mask-v4-and-icmp-eq-to-icmp-ule.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/canonicalize-low-bit-mask-v4-and-icmp-ne-to-icmp-ugt.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/conditional-variable-length-signext-after-high-bit-extract.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/div-shift.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/get-lowbitmask-upto-and-including-bit.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/icmp-trunc.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/icmp-uge-of-add-of-shl-one-by-bits-to-allones-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/icmp-uge-of-not-of-shl-allones-by-bits-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/icmp-ugt-of-shl-1-by-bits-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/icmp-ule-of-shl-1-by-bits-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/icmp-ult-of-add-of-shl-one-by-bits-to-allones-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/icmp-ult-of-not-of-shl-allones-by-bits-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/icmp.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/memchr.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/mul-inseltpoison.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/mul.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/onehot_merge.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-after-truncation-variant-a.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-a.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/redundant-left-shift-input-masking-after-truncation-variant-a.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/redundant-left-shift-input-masking-variant-a.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/rem.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/select-ctlz-to-cttz.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/set-lowbits-mask-canonicalize.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/shift-add.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/shift-direction-in-bit-test.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/shift.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/shl-sub.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/strchr-1.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/sub-of-negatible-inseltpoison.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/sub-of-negatible.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/xor.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/zext.ll		diff \| blob \| history

Domain: System / Toolchain;

RSS Atom