git.osdn.net Git - android-x86/external-llvm-project.git/commit

(root) / android-x86 / external-llvm-project.git / commit

author	Juneyoung Lee <aqjune@gmail.com>
	Sat, 28 Nov 2020 19:26:44 +0000 (04:26 +0900)
committer	Juneyoung Lee <aqjune@gmail.com>
	Sun, 29 Nov 2020 12:19:48 +0000 (21:19 +0900)
commit	53040a968dc2ff20931661e55f05da2ef8b964a0
tree	ef4cdcb3a1262a9e1ba5864fc73be292084f197f	tree \| snapshot
parent	1856e22eeb2de6e6d4325e3eed1e718abd89ea4b	commit \| diff

[ConstantFold] Fold more operations to poison

This patch folds more operations to poison.

Alive2 proof: https://alive2.llvm.org/ce/z/mxcb9G (it does not contain tests about div/rem because they fold to poison when raising UB)

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D92270

34 files changed:

clang/test/Frontend/fixed_point_unary.c		diff \| blob \| history
llvm/lib/IR/ConstantFold.cpp		diff \| blob \| history
llvm/test/CodeGen/AMDGPU/amdgpu-codegenprepare-fold-binop-select.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/apint-shift.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/canonicalize-ashr-shl-to-masking.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/canonicalize-lshr-shl-to-masking.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/canonicalize-shl-lshr-to-masking.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/icmp.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-after-truncation-variant-b.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-after-truncation-variant-c.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-after-truncation-variant-d.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-after-truncation-variant-e.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-a.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-b.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-c.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-d.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-e.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/select-of-bittest.ll		diff \| blob \| history
llvm/test/Transforms/InstCombine/shift-add.ll		diff \| blob \| history
llvm/test/Transforms/InstSimplify/ConstProp/InsertElement.ll		diff \| blob \| history
llvm/test/Transforms/InstSimplify/ConstProp/cast.ll		diff \| blob \| history
llvm/test/Transforms/InstSimplify/ConstProp/poison.ll		diff \| blob \| history
llvm/test/Transforms/InstSimplify/ConstProp/shift.ll		diff \| blob \| history
llvm/test/Transforms/InstSimplify/ConstProp/vector-undef-elts.ll		diff \| blob \| history
llvm/test/Transforms/InstSimplify/ConstProp/vscale.ll		diff \| blob \| history
llvm/test/Transforms/InstSimplify/div.ll		diff \| blob \| history
llvm/test/Transforms/InstSimplify/rem.ll		diff \| blob \| history
llvm/test/Transforms/InstSimplify/undef.ll		diff \| blob \| history
llvm/test/Transforms/SROA/phi-gep.ll		diff \| blob \| history
llvm/test/Transforms/SROA/select-gep.ll		diff \| blob \| history
llvm/test/Transforms/VectorCombine/X86/insert-binop-with-constant.ll		diff \| blob \| history
llvm/test/Transforms/VectorCombine/X86/insert-binop.ll		diff \| blob \| history
llvm/unittests/IR/ConstantsTest.cpp		diff \| blob \| history

external/llvm-project

RSS Atom

About OSDN

Find Software

Develop Software

Help