llvm-project.git/llvm/test/Transforms/InferFunctionAttrs, branch users/nico/python-2

[TLI] Add support for pvalloc() (#144949)

2025-06-23T10:03:35+00:00

While pvalloc() is a legacy POSIX function, it remains widely available
in common C libraries like glibc.

Model pvalloc() in TargetLibraryInfo, allowing LLVM to correctly infer
its attributes.

[LibCall] Infer nocallback for libcalls (#135173)

2025-04-12T07:11:54+00:00

This patch adds `nocallback` attributes for string/math libcalls. It
allows FuncAttributor to infer `norecurse` more precisely and encourages
more aggressive global optimization.

[InferAttrs] Refine attributes for a few libc routines

2025-03-13T11:59:57+00:00

Attributes inference has been improved for a few functions.
Particularly, ldexp and variants, as well as abort, may be
marked as `nounwind`, as they do not propagate any exceptions
to the caller, neither they unwind the stack. Besides, fwrite
and fread first argument should be respectively readonly and
writeonly.

[InferAttrs] Mark floating-point libcalls as `errno`-writing

2025-03-13T09:40:33+00:00

Floating-point libcalls are currently conservatively marked as
may write any memory. Restrict these to clobber only `errno`.

[IR] Convert from nocapture to captures(none) (#123181)

2025-01-29T15:56:47+00:00

This PR removes the old `nocapture` attribute, replacing it with the new
`captures` attribute introduced in #116990. This change is
intended to be essentially NFC, replacing existing uses of `nocapture`
with `captures(none)` without adding any new analysis capabilities.
Making use of non-`none` values is left for a followup.

Some notes:
* `nocapture` will be upgraded to `captures(none)` by the bitcode
   reader.
* `nocapture` will also be upgraded by the textual IR reader. This is to
   make it easier to use old IR files and somewhat reduce the test churn in
   this PR.
* Helper APIs like `doesNotCapture()` will check for `captures(none)`.
* MLIR import will convert `captures(none)` into an `llvm.nocapture`
   attribute. The representation in the LLVM IR dialect should be updated
   separately.

[TLI] Add support for reallocarray (#114818)

2024-11-13T20:57:29+00:00

reallocarray is available in glibc since 2.29 under _DEFAULT_SOURCE and
under _GNU_SOURCE before, let's model it appropriately.

[Reland][TLI] Add support for hypot libcall. (#114343)

2024-10-31T14:50:29+00:00

This patch adds basic support for `hypot`. Constant folding support will
be submitted in a subsequent patch.

Related issue: https://github.com/llvm/llvm-project/issues/113711

Note: It's my first time contributing to the LLVM with encouragement
from one of my friends, @fawdlstty. I learned a lot from
https://github.com/llvm/llvm-project/pull/99611, and thanks for that.

Note: I had created the same PR and merged
(https://github.com/llvm/llvm-project/pull/113724), but reverted caused
by the merging issue. (The CI issue happened in 3 A.M. at my timezone.
So, I need to fall asleep again after I replied about why issue
happened.) So, I rebased to the latest main branch and recreate the PR
and hope I won't have the third time to create the same PR.

I hope @arsenm can help me review the code again. I’m sorry for that.

Kenji Mouri

Revert "[TLI] Add support for hypot libcall." (#114312)

2024-10-30T22:10:29+00:00

Reverts llvm/llvm-project#113724

[TLI] Add support for hypot libcall. (#113724)

2024-10-30T17:34:32+00:00

This patch adds basic support for `hypot`. Constant folding support will
be submitted in a subsequent patch.

Related issue: https://github.com/llvm/llvm-project/issues/113711

Note: It's my first time contributing to the LLVM with encouragement
from one of my friends, @fawdlstty. I learned a lot from
https://github.com/llvm/llvm-project/pull/99611, and thanks for that.

Kenji Mouri

[TLI] Add support for the `tgamma` libcall. (#113791)

2024-10-29T02:08:38+00:00

This patch adds the `tgamma` libcall.