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

projects / platform / upstream / llvm.git / commit

author	Johannes Doerfert <johannes@jdoerfert.de>
	Mon, 3 Jul 2023 21:02:23 +0000 (14:02 -0700)
committer	Johannes Doerfert <johannes@jdoerfert.de>
	Mon, 3 Jul 2023 23:05:17 +0000 (16:05 -0700)
commit	369930bc20ec247775646d73d493416774d1944e
tree	99ba3a2d00c01db379e964d11d2d4be804690cdd	tree \| snapshot
parent	aafdc9ea264490d42c9a85422a8ffca652959291	commit \| diff

[Attributor] Manifest attributes implied by the IR

If an attribute is implied by the IR we do not (always) create an AA
anymore. To keep test coverage, and given the lack of a good heuristic
to decide otherwise, we will now also manifest such attributes.

88 files changed:

llvm/include/llvm/Transforms/IPO/Attributor.h		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/2008-02-01-ReturnAttrs.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/2008-07-02-array-indexing.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/X86/attributes.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/X86/min-legal-vector-width.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/X86/thiscall.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/aggregate-promote.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/alignment.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/attrs.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/basictest.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/byval-2.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/byval.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/chained.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/control-flow2.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/inalloca.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/live_called_from_dead.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/live_called_from_dead_2.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/musttail.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/pr32917.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/pr33641_remove_arg_dbgvalue.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/reserve-tbaa.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/ArgumentPromotion/sret.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/IPConstantProp/PR16052.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/IPConstantProp/PR26044.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/IPConstantProp/arg-count-mismatch.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/IPConstantProp/arg-type-mismatch.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/IPConstantProp/musttail-call.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/IPConstantProp/remove-call-inst.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/IPConstantProp/return-argument.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/IPConstantProp/return-constant.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/IPConstantProp/return-constants.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/IPConstantProp/solve-after-each-resolving-undefs-for-function.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/align.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/call-simplify-pointer-info.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/cb_liveness_disabled.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/cb_liveness_enabled.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/cb_range_disabled.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/cb_range_enabled.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/convergent.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/dereferenceable-1.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/internal-noalias.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/liveness.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/memory_locations.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/misc.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/noalias.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nocapture-1.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nocapture-2.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nodelete.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-arithmetic-fence.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-canonicalize.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-ceil.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-copysign.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-exp.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-floor.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-fma.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-fptrunc.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-ldexp.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-log.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-minimum-maximum.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-minnum-maxnum.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-nearbyint.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-powi.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-rint.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-round.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-roundeven.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-sin-cos.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-sqrt.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass-trunc.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofpclass.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nofree.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nonnull.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/norecurse.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/nosync.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/pointer-info.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/potential.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/range.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/read_write_returned_arguments_scc.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/readattrs.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/returned.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/undefined_behavior.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/value-simplify-assume.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/value-simplify-gpu.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/value-simplify-instances.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/value-simplify-local-remote.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/value-simplify.ll		diff \| blob \| history
llvm/test/Transforms/Attributor/willreturn.ll		diff \| blob \| history

Domain: System / Toolchain;

RSS Atom