[pcwalton]

A lot of register allocators can rematerialize, though, and that can have much the same effect. (ax and xx should be candidates for rematting.)

[rayiner]

Good point. Though rematerialization is still pretty rare considering the entire universe of compilers (e.g. Academic projects like Ocaml was).

[pcwalton]

Yeah, I was always under the impression that ocamlopt is fairly Plan 9-like; it produces medium quality code quickly, and doesn't have the full suite of compiler optimizations that projects like LLVM or HotSpot have.