Yuta Mukai e3abe940d8 [MachinePipeliner] Improve loop carried dependence analysis (#94185) ...

The previous implementation had false positive/negative cases in the
analysis of the loop carried dependency.

A missed dependency case is caused by incorrect analysis of address
increments. This is fixed by strict analysis of recursive definitions.
See added test swp-carried-dep4.mir.

Excessive dependency detection is fixed by improving the formula
for determining the overlap of address ranges to be accessed. See added test
swp-carried-dep5.mir.

2025-02-05 21:08:20 +09:00

138 KiB

Raw Blame History

View Raw