-
Notifications
You must be signed in to change notification settings - Fork 5.1k
Closed
Labels
area-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMICLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI
Milestone
Description
Update fgDebugCheckLoopTable
to reflect the full set of canonicalization rules:
- no two loops have a common top
- no loop head is the bottom of some other loop
and address any violations that come up.
Also, maybe (though more challenging):
- no loop top has a dominated pred from outside the loop (for entry == top cases)
- no loop entry has a dominated pred from outside the loop (not enforced yet, for entry != top cases)
Metadata
Metadata
Assignees
Labels
area-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMICLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI