llvm-project.git/llvm/lib/CodeGen/ReachingDefAnalysis.cpp, branch main

[CodeGen] Turn MCRegUnit into an enum class (NFC) (#167943)

2025-11-16T17:46:44+00:00

This changes `MCRegUnit` type from `unsigned` to `enum class : unsigned`
and inserts necessary casts.
The added `MCRegUnitToIndex` functor is used with `SparseSet`,
`SparseMultiSet` and `IndexedMap` in a few places.

`MCRegUnit` is opaque to users, so it didn't seem worth making it a
full-fledged class like `Register`.

Static type checking has detected one issue in
`PrologueEpilogueInserter.cpp`, where `BitVector` created for
`MCRegister` is indexed by both `MCRegister` and `MCRegUnit`.

The number of casts could be reduced by using `IndexedMap` in more
places and/or adding a `BitVector` adaptor, but the number of casts *per
file* is still small and `IndexedMap` has limitations, so it didn't seem
worth the effort.

Pull Request: https://github.com/llvm/llvm-project/pull/167943

[CodeGen] Allow negative frame indicies in Register class. (#164459)

2025-11-05T23:33:20+00:00

The register values between `2 << 30` (inclusive) and `2 << 31`
(exclusive) correspond to frame indices. To obtain the frame index from
the given register value we interpret first 30 bits as an unsigned
integer. Thus, currently only non-negative frame indices can be
represented.

However, we should also be able to represent negative frame indices as
register values as well. This is used by reaching definitions analysis
for example.

In order to do that, we interpret the first 30 bits of the register
value as a signed integer.

---------

Co-authored-by: Mikhail Gudim 
Co-authored-by: Petr Penzin

[CodeGen][NewPM] Port `ReachingDefAnalysis` to new pass manager. (#159572)

2025-09-19T13:38:34+00:00

In this commit:
  (1) Added new pass manager support for `ReachingDefAnalysis`.
  (2) Added printer pass.
  (3) Make old pass manager use `ReachingDefInfoWrapperPass`

[CodeGen] Remove a dead assignment (NFC) (#156202)

2025-08-30T23:01:54+00:00

TRI is set to the same value a couple of lines below.

[CodeGen] Use MCRegister and Register. NFC

2025-03-03T06:33:26+00:00

[ReachingDefAnalysis] Fix management of MBBFrameObjsReachingDefs (#124943)

2025-02-04T15:04:19+00:00

MBBFrameObjsReachingDefs was not being built correctly since we were not
inserting into a reference of Frame2InstrIdx. If there was multiple
stack slot defs in the same basic block, then the bug would occur. This
PR fixes this problem while simplifying the insertion logic.

Additionally, when lookup into MBBFrameObjsReachingDefs was occurring,
there was a chance that there was no entry in the map, in the case that
there was no reaching def. This was causing us to return a default
value, which may or may not have been correct. This patch returns the
correct value now.

[ReachingDefAnalysis] Fix LLVM_ENABLE_REVERSE_ITERATION bot after #118097

2025-02-03T06:20:41+00:00

[ReachingDefAnalysis] Use non-state Register::isPhysical. NFC

2025-01-30T07:19:55+00:00

[CodeGen] Add Register::stackSlotIndex(). Replace uses of Register::stackSlot2Index. NFC (#125028)

2025-01-30T07:02:07+00:00

Revert "[ReachingDefAnalysis][NFC] Use at instead of lookup for DenseMap access"

2025-01-29T16:21:59+00:00

This reverts commit 3ce97e4aa98ad6a3502528818ff11eee89ef2fae. Pushed to main
prematurley.