X86_64 SB+WT+WT "PodWR Fre PodWR Fre" MT=x:WT y:WT Cycle=Fre PodWR Fre PodWR Generator=diycross7 (version 7.56+02~dev) Prefetch=0:x=F,0:y=T,1:y=F,1:x=T Com=Fr Fr Orig=PodWR Fre PodWR Fre Align= { } P0 | P1 ; movl $1,(x) | movl $1,(y) ; movl (y),%eax | movl (x),%eax ; exists (0:rax=0 /\ 1:rax=0)