[zvrba]

> a traditional von Neumann ISA like ARM incurs a semantic gap; the architecture wastes time and energy rediscovering facts that the compiler already knew.

So thought the designers of Itanium too; it turned out that the compiler doesn't know sufficiently much for an architecture like Itanium.

Were there any significant advances in compiler technology since then that would make it worthwhile to experiment with a new ISA?