Doing this stuff at link time means there is a whole load of information available that is not known within a single module. This means the existing optimization have the potential to do a better job. So the new stuff csmith would be testing is the information gathering that happens at link time.
Yeah. We should make sure that mode still works. Can you do that Yang? I think you coded it originally...
John