llvm-project.git/llvm/test/Transforms/FunctionSpecialization/function-specialization-constant-expression.ll, branch users/nico/python-2

[ConstantFolding] Infer getelementptr nuw flag (#119214)

2024-12-09T15:44:05+00:00

Infer nuw from nusw and nneg. This is the constant expression variant of
https://github.com/llvm/llvm-project/pull/111144.

Proof: https://alive2.llvm.org/ce/z/ihztLy

[FuncSpec] Enable SpecializeLiteralConstant by default (#113442)

2024-10-29T11:41:25+00:00

Enable specialization on literal constant arguments by default in
Function Specialization.

---------

Co-authored-by: Alexandros Lamprineas

[ConstantFolding] Canonicalize constexpr GEPs to i8 (#89872)

2024-05-20T09:47:30+00:00

This patch canonicalizes constant expression GEPs to use i8 source
element type, aka ptradd. This is the ConstantFolding equivalent of the
InstCombine canonicalization introduced in #68882.

I believe all our optimizations working on constant expression GEPs
(like GlobalOpt etc) have already been switched to work on offsets, so I
don't expect any significant fallout from this change.

This is part of:
https://discourse.llvm.org/t/rfc-replacing-getelementptr-with-ptradd/68699

[FuncSpec] Adjust the names of specializations and promoted stack values

2023-09-19T13:40:31+00:00

Currently the naming scheme is a bit funky; the specializations are named
after the original function followed by an arbitrary decimal number. This
makes it hard to debug inlined specializations of recursive functions.
With this patch I am adding ".specialized." in between of the original
name and the suffix, which is now a single increment counter.

[SCCP] Do not attempt to create constexpr for a scalable vector GEP

2023-08-11T11:06:07+00:00

Scalable vector GEPs are not constants and trying to create one for
these GEPs causes an assertion failure.

Reviewed By: nikic, paulwalker-arm

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

Revert "[FuncSpec] Replace LoopInfo with BlockFrequencyInfo"

2023-05-30T12:49:03+00:00

As reported on https://reviews.llvm.org/D150375#4367861 and
following, this change causes PDT invalidation issues. Revert
it and dependent commits.

This reverts commit 0524534d5220da5ecb2cd424a46520184d2be366.
This reverts commit ced90d1ff64a89a13479a37a3b17a411a3259f9f.
This reverts commit 9f992cc9350a7f7072a6dbf018ea07142ea7a7ed.
This reverts commit 1b1232047e83b69561fd64b9547cb0a0d374473a.

[FuncSpec] Enable specialization of literal constants.

2023-05-25T08:55:46+00:00

To do so we have to tweak the cost model such that specialization
does not trigger excessively.

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

[FuncSpec] Track the return values of specializations.

2023-04-24T12:18:49+00:00

To track the return values of specializations, we need to invalidate all
the lattice values across the use-def chain which originates from the
callsites, recompute and propagate.

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

[FuncSpec][NFC] Command line option renaming.

2023-03-15T18:03:44+00:00

Standardize all options with 'funcspec' prefix and shorter abreviations.

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

[IPSCCP] Create a Pass parameter to control specialization of functions.

2022-12-23T16:54:45+00:00

Required for D140210 in order to disable FuncSpec at {Os, Oz}
optimization levels.

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