Skip to content

[JIT] Update loop integrity checks #71084

@AndyAyersMS

Description

@AndyAyersMS

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 SuperPMI

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions