<div dir="ltr"><div><div>Hi Eliot,<br></div>I&#39;m not sure I understand assembler at all, but:<br>- byte order sounds strange in X64 concretizePrefetchAw &gt;&gt; (0, 16, 8 , 24)<br></div>- why is machineCodeSize 7 in X64 but maxSize in IA32?<br></div>