Open
Description
Currently, go/ir has some tests that check key properties, but we have no tests that validate inputs by looking at the generated output. Due to the difficulty of adding new tests to the existing suite, we often just don't add any tests when fixing bugs in the IR, which is bad. Revamp the test suite and add tests for various bugs we've fixed in the past, such as #949