&gt; a traditional von Neumann ISA like ARM incurs a semantic gap; the architecture wastes time and energy rediscovering facts that the compiler already knew.<p>So thought the designers of Itanium too; it turned out that the compiler doesn&#x27;t know <i>sufficiently</i> much for an architecture like Itanium.<p>Were there any significant advances in compiler technology since then that would make it worthwhile to experiment with a new ISA?