While working on vector intrinsics, I found myself thinking about splitting the Legalize phase of codegen into two separate phases, legalizing types, and then legalizing operations in a separate traversal. Has anyone else thought about doing this, or knows of a reason why this would or wouldn't be beneficial? Dan -- Dan Gohman, Cray Inc.