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

PLT-1485: Investigate issue #4826 #5280

Closed
wants to merge 14 commits into from
Closed

PLT-1485: Investigate issue #4826 #5280

wants to merge 14 commits into from

Commits on May 2, 2023

  1. Add example of PlutusTx miscompilation due to optimisation pass

    @L-as @thealmarty
    L-as authored and thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    dbb6683 View commit details
    Browse the repository at this point in the history

  2. Update golden test files.

    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    fc352e9 View commit details
    Browse the repository at this point in the history

  3. Add goldenPir tests.

    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    ada954e View commit details
    Browse the repository at this point in the history

  4. Test with noinline pragma.

    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    80e0847 View commit details
    Browse the repository at this point in the history

  5. Test with fmax-simplifier-iterations=0 option.

    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    1131780 View commit details
    Browse the repository at this point in the history

  6. Try adding -O0 and -O0 and -fforce-recomp respectively.

    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    5d35030 View commit details
    Browse the repository at this point in the history

  7. Turn off sm_pre_inline and force recompile.

    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    c63b42e View commit details
    Browse the repository at this point in the history

  8. Test with strict pragma.

    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    c09ba19 View commit details
    Browse the repository at this point in the history

  9. Turn back on sm_pre_inline.

    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    3d707d0 View commit details
    Browse the repository at this point in the history

  10. Remove strict pragma.

    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    76c6a4f View commit details
    Browse the repository at this point in the history

  11. Turn off sm_cast_swizzle.

    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    6a8f5ac View commit details
    Browse the repository at this point in the history

  12. Revert "Turn off sm_cast_swizzle." 

    This reverts commit 6a8f5ac.
    @thealmarty
    thealmarty committed May 2, 2023
    Configuration menu
    Copy the full SHA
    61ca58b View commit details
    Browse the repository at this point in the history

Commits on May 3, 2023

  1. Add another occurrence but maybe because it's dead it's removed and m… 

    …ade no diff.
    @thealmarty
    thealmarty committed May 3, 2023
    Configuration menu
    Copy the full SHA
    d2cd5bc View commit details
    Browse the repository at this point in the history

  2. Revert "Add another occurrence but maybe because it's dead it's remov… 

    …ed and made no diff."

This reverts commit d2cd5bc.
    @thealmarty
    thealmarty committed May 3, 2023
    Configuration menu
    Copy the full SHA
    03fbc42 View commit details
    Browse the repository at this point in the history