Oreo  |  8.0.0_r4
文本文件  |  4行  |  190 B 

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.