init repo

ronnie

2022-10-14 1504bb53e29d3d46222c0b3ea994fc494b48e153

1
2
3
Regression test for optimizing's type propagation:
If a phi requests its inputs to be of a certain type, the inputs need
to propagate that type to their users, as those users might be phis.