Max Graey c4281fd5af

[Support][ValueTraking] Improve KnownFPClass for fadd. Handle infinity signs (#190559) ...

Improve KnownFPClass reasoning for fadd:

- Refine NaN handling for infinities by checking opposite-sign cases:
   - `-inf` + `+inf` --> `nan`
  - `+inf` + `-inf` --> `nan`
  - `+inf` + `+inf` --> `+inf`
  - `-inf` + `-inf` --> `-inf`
- Introduce `cannotBeOrderedLessEqZero` as pair to
`cannotBeOrderedGreaterEqZero`.

2026-04-06 16:23:20 +02:00

..

AMDGPU

ValueTracking: llvm.amdgcn.fract cannot introduce overflow (#189002)

2026-04-01 21:07:57 +00:00

ArgumentPromotion

[Attributor] Propagate alignment through ptrmask (#150158)

2025-11-04 12:26:17 +08:00

IPConstantProp

Attributor: Regenerate baseline test checks (#177560)

2026-01-23 10:34:00 +00:00

reduced

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

address_space_info.ll

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

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

align-atomic.ll

Attributor: Propagate align to cmpxchg instructions (#134838)

2025-04-08 22:15:50 +07:00

align-ptrmask.ll

[Attributor] Propagate alignment through ptrmask (#150158)

2025-11-04 12:26:17 +08:00

align.ll

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

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

allocator.ll

Attributor: Don't follow uses of ConstantData (#134573)

2025-04-07 23:59:53 +07:00

allow_list.ll

…

alwaysinline.ll

…

assumes_info.ll

…

call-simplify-pointer-info.ll

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

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

callbacks.ll

Attributor: Don't follow uses of ConstantData (#134573)

2025-04-07 23:59:53 +07:00

callgraph.ll

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

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

cb_liveness_disabled.ll

…

cb_liveness_enabled.ll

…

cb_range_disabled.ll

…

cb_range_enabled.ll

…

cgscc_bugs.ll

…

chain.ll

…

convergent.ll

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

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

denormal-fp-math.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

depgraph.ll

…

dereferenceable-1.ll

Revert "[Attributor] Support nested conditional branches" (#170257)

2025-12-02 08:45:33 +00:00

dereferenceable-2-inseltpoison.ll

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

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

dereferenceable-2.ll

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

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

heap_to_stack_gpu.ll

[OpenMP] Move alloc / free shared from TLI to alloc tags (#190365)

2026-04-03 15:15:48 -05:00

heap_to_stack.ll

[IR] Remove size argument from lifetime intrinsics (#150248)

2025-08-08 11:09:34 +02:00

internal-noalias.ll

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

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

internalize.ll

…

issue87856.ll

Attributor: Don't rely on use_empty for constants (#137218)

2025-04-24 21:41:55 +02:00

lit.local.cfg

…

liveness_chains.ll

…

liveness.ll

[IR] Remove size argument from lifetime intrinsics (#150248)

2025-08-08 11:09:34 +02:00

lowerheap.ll

…

lvi-after-jumpthreading.ll

…

lvi-for-ashr.ll

…

memory_locations_gpu.ll

…

memory_locations.ll

[Tests] Avoid lifetime intrinsics on non-allocas (NFC)

2025-07-23 15:05:43 +02:00

misc_crash.ll

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

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

misc.ll

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

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

multiple-offsets-pointer-info.ll

…

new_attributes.ll

…

noalias.ll

[IR] Remove size argument from lifetime intrinsics (#150248)

2025-08-08 11:09:34 +02:00

nocapture-1.ll

[CaptureTracking] Fix handling for non-returning read-only calls (#158979)

2025-09-17 11:27:06 +02:00

nocapture-2.ll

[CaptureTracking] Remove dereferenceable_or_null special case (#135613)

2025-04-17 12:44:57 +02:00

nodelete.ll

…

nofpclass-arithmetic-fence.ll

…

nofpclass-bitcast.ll

ValueTracking: Teach computeKnownFPClass to look at bitcast + integer max (#184073)

2026-03-04 19:06:47 +00:00

nofpclass-canonicalize.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

nofpclass-ceil.ll

…

nofpclass-copysign.ll

…

nofpclass-exp.ll

ValueTracking: Improve handling of exp intrinsic for overflow (#173430)

2025-12-29 14:24:24 +00:00

nofpclass-fdiv.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

nofpclass-floor.ll

…

nofpclass-fma.ll

ValueTracking: Revert noundef checks in computeKnownFPClass for fmul/fma (#178850)

2026-01-30 11:48:36 +01:00

nofpclass-fmul.ll

ValueTracking: x - floor(x) cannot introduce overflow (#189003)

2026-04-02 19:26:22 +00:00

nofpclass-fpext.ll

…

nofpclass-fptrunc.ll

…

nofpclass-frem.ll

[ValueTracking] frem in computeKnownFPClass can not return +/-Inf (#186748)

2026-03-17 04:07:48 +00:00

nofpclass-frexp.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

nofpclass-implied-by-fcmp.ll

ValueTracking: Account for undef in adjustKnownFPClassForSelectArm (#175372)

2026-01-13 20:36:00 +01:00

nofpclass-ldexp.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

nofpclass-log.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

nofpclass-minimum-maximum.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

nofpclass-minimumnum-maximumnum.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

nofpclass-minnum-maxnum.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

nofpclass-nan-fmul.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

nofpclass-nearbyint.ll

…

nofpclass-phiselect.ll

…

nofpclass-powi.ll

ValueTracking: Handle tracking nan through powi (#179311)

2026-02-21 11:16:17 +01:00

nofpclass-rint.ll

…

nofpclass-round.ll

…

nofpclass-roundeven.ll

…

nofpclass-select.ll

ValueTracking: Account for undef in adjustKnownFPClassForSelectArm (#175372)

2026-01-13 20:36:00 +01:00

nofpclass-sin-cos.ll

…

nofpclass-sqrt.ll

IR: Promote "denormal-fp-math" to a first class attribute (#174293)

2026-02-05 13:31:26 +00:00

nofpclass-trunc.ll

…

nofpclass-uses-to-defs.ll

…

nofpclass.ll

[Support][ValueTraking] Improve KnownFPClass for fadd. Handle infinity signs (#190559)

2026-04-06 16:23:20 +02:00

nofree.ll

[IR] Add new function attribute nocreateundeforpoison (#164809)

2025-11-04 12:00:44 +00:00

nonnull.ll

Revert "[Attributor] Support nested conditional branches" (#170257)

2025-12-02 08:45:33 +00:00

norecurse.ll

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

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

noreturn_async.ll

…

noreturn_sync.ll

…

noreturn.ll

…

nosync.ll

[IR] Add new function attribute nocreateundeforpoison (#164809)

2025-11-04 12:00:44 +00:00

noundef.ll

Attributor: Don't follow uses of ConstantData (#134573)

2025-04-07 23:59:53 +07:00

nounwind.ll

…

openmp_parallel.ll

[IR] Remove size argument from lifetime intrinsics (#150248)

2025-08-08 11:09:34 +02:00

phi_bug_pointer_info.ll

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

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

pointer-info.ll

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

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

potential.ll

…

range-and-constant-fold.ll

[Attributor] Check range size before constant fold load (#151359)

2025-10-25 10:36:31 -04:00

range.ll

[Attributor] Swap range metadata to attribute for calls. (#108835)

2025-07-05 16:47:03 +02:00

reachability.ll

…

read_write_returned_arguments_scc.ll

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

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

readattrs.ll

[IR] Replace alignment argument with attribute on masked intrinsics (#163802)

2025-10-20 08:50:09 +00:00

recursive_globals.ll

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

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

returned.ll

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

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

undefined_behavior.ll

Attributor: Don't follow uses of ConstantData (#134573)

2025-04-07 23:59:53 +07:00

value-simplify-assume.ll

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

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

value-simplify-dbg.ll

…

value-simplify-dominance.ll

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

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

value-simplify-gpu.ll

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

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

value-simplify-instances.ll

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

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

value-simplify-local-remote.ll

[Reland][IPO] Added attributor for identifying invariant loads (#146584)

2025-07-01 17:46:19 -04:00

value-simplify-pointer-info-struct.ll

…

value-simplify-pointer-info-vec.ll

…

value-simplify-pointer-info.ll

Revert "[Attributor] Support nested conditional branches" (#170257)

2025-12-02 08:45:33 +00:00

value-simplify-reachability.ll

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

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

value-simplify.ll

[Attributor] Swap range metadata to attribute for calls. (#108835)

2025-07-05 16:47:03 +02:00

willreturn.ll

Revert "[Attributor] Support nested conditional branches" (#170257)

2025-12-02 08:45:33 +00:00

wrapper.ll

…