| This is a smoke test of dex conversion, which checks to see that | |
| when a known value of category-2 gets merged during control | |
| flow analysis, things don't break. | |
| This test compares emitted code against a known-good (via eyeballing) | |
| version, so it is possible for this test to spuriously fail if other | |
| aspects of conversion end up altering the output in innocuous ways. |