Enhance C1 regalloc diagnostics to assert hidden control flow

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Unresolved
    • Priority: P4
    • tbd
    • Affects Version/s: 17, 18, 19, 20
    • Component/s: hotspot

      There were quite a few cases where the control flow hidden from C1 regalloc ran the into miscompilations. See for example JDK-8211231, JDK-8288303. It would be good to somehow assert these things in C1 more reliably.

            Assignee:
            Unassigned
            Reporter:
            Aleksey Shipilev
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

              Created:
              Updated: