Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Exception sets: debug checker & fixes #63539

Merged
merged 30 commits into from
Jan 20, 2022
Merged

Exception sets: debug checker & fixes #63539

merged 30 commits into from
Jan 20, 2022

Commits on Jan 13, 2022

  1. Add a simple exception sets checker

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    4204c27 View commit details
    Browse the repository at this point in the history

  2. Add asserts to catch missing nodes

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    11bc9ca View commit details
    Browse the repository at this point in the history

  3. Fix normal VN printing

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    2a55e6d View commit details
    Browse the repository at this point in the history

  4. Fix JTRUE VNs

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    619e3dd View commit details
    Browse the repository at this point in the history

  5. Fix PHI VNs

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    cf25d65 View commit details
    Browse the repository at this point in the history

  6. Update VNs for "this" ARGPLACE node

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    22ea6f0 View commit details
    Browse the repository at this point in the history

  7. Tolerate missing VNs on PHI_ARGs 

    We do not update them after numbering the loops.

(Though perhaps we should)
    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    e00348e View commit details
    Browse the repository at this point in the history

  8. Tolerate unreachable blocks

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    4595f6e View commit details
    Browse the repository at this point in the history

  9. Fix exception sets for VNF_PtrTo VNFuncs

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    d15e056 View commit details
    Browse the repository at this point in the history

  10. Add VNUniqueWithExc

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    cb819f3 View commit details
    Browse the repository at this point in the history

  11. Add VNPUniqueWithExc

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    f30effa View commit details
    Browse the repository at this point in the history

  12. Fix arrays

    @SingleAccretion
    SingleAccretion committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    cd68e04 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2022

  1. Consistently give location nodes VNForVoid 

    And always add exception sets for them.
This will simplify the exception set
propagation code for assignments.
    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    4a3258d View commit details
    Browse the repository at this point in the history

  2. Fix CSE

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    7d0d5a3 View commit details
    Browse the repository at this point in the history

  3. Fix GT_RETURN

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    e81a5b1 View commit details
    Browse the repository at this point in the history

  4. Fix LCLHEAP

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    51ab752 View commit details
    Browse the repository at this point in the history

  5. Fix GT_ARR_ELEM

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    349c914 View commit details
    Browse the repository at this point in the history

  6. Fix unique HWI

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    86f3dec View commit details
    Browse the repository at this point in the history

  7. Fix unique SIMD

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    4e4ca06 View commit details
    Browse the repository at this point in the history

  8. Fix GT_SWITCH

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    32931de View commit details
    Browse the repository at this point in the history

  9. Fix CKFINITE

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    191b309 View commit details
    Browse the repository at this point in the history

  10. Fix HWI loads

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    8acc1bd View commit details
    Browse the repository at this point in the history

  11. Fix fgValueNumberAddExceptionSetForIndirection 

    The method does not need to add the exception set for
the base address. Additionally, the way it did add the
sets, by unioning with normal value numbers, lost all
exceptions not coming from the base address.

This was fine for the unary loads, but broke the HWI loads
that could have exceptions coming from not just the address.
    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    9cf97cf View commit details
    Browse the repository at this point in the history

  12. Fix GT_RETFILT

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    fbd4528 View commit details
    Browse the repository at this point in the history

  13. Fix INIT_VAL

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    d512994 View commit details
    Browse the repository at this point in the history

  14. Fix DYN_BLK

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    0213bc3 View commit details
    Browse the repository at this point in the history

  15. Fix FIELD_LIST

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    529a8dc View commit details
    Browse the repository at this point in the history

  16. De-pessimize CkFinite

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    98a061e View commit details
    Browse the repository at this point in the history

  17. Add a test for HWIs

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    02918a3 View commit details
    Browse the repository at this point in the history

  18. Add a test for LCLHEAP

    @SingleAccretion
    SingleAccretion committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    6795663 View commit details
    Browse the repository at this point in the history