Regression test for the load-store elimination pass, which used to treat inputs
of invokes that only read as unused, and therefore stores in that input were
wrongly eliminated.