[llvm] [MachineCP] Correctly handle register masks and sub-registers (PR #122734)

Oliver Stannard via llvm-commits llvm-commits at lists.llvm.org
Wed Jan 15 04:55:24 PST 2025


================
@@ -117,7 +117,32 @@ class CopyTracker {
 
   DenseMap<MCRegUnit, CopyInfo> Copies;
 
+  // Memoised sets of register units which are preserved by each register mask,
+  // needed to efficiently remove copies which are invalidated by call
+  // instructions.
+  DenseMap<const uint32_t *, BitVector> RegMaskToPreservedRegUnits;
+
 public:
+  /// Get the set of register units which are preserved by RegMaskOp.
+  BitVector &getPreservedRegUnits(const MachineOperand &RegMaskOp,
----------------
ostannard wrote:

Looking into the implementation of `LiveRegUnits`, it works in a similar way to this, but to re-use it we'd need to create a dummy LRU object for each call, which would probably have worse performance than this. The alternative would be to switch this whole pass over to `LiveRegUnits`, but that would be a lot of work, and I don't think it would be enough anyway because this pass tracks more than just liveness.

https://github.com/llvm/llvm-project/pull/122734


More information about the llvm-commits mailing list