Skip to content
  • Jonas Scholl's avatar
    Fix the removal of unnecessary stack checks · 4ec61411
    Jonas Scholl authored and Ben Gamari's avatar Ben Gamari committed
    The module CmmLayoutStack removes stack checks if a function does not
    use stack space. However, it can only recognize checks of the form
    Sp < SpLim. However, these checks get sometimes rewritten to
    Sp >= SpLim (with both branches swapped), so we better recognize these
    checks too.
    
    Test Plan: ./validate
    
    Reviewers: austin, bgamari, simonpj
    
    Reviewed By: simonpj
    
    Subscribers: simonpj, thomie
    
    Differential Revision: https://phabricator.haskell.org/D1881
    
    GHC Trac Issues: #11533
    4ec61411