[tezheng]

> Could be correct even if not identical

Can you be 100% sure that the model-gen-IR is correct if output x86 is identical against the input?