X86_64 2+2W+WC+WC
"PodWW Coe PodWW Coe"
MT=x:WC y:WC
Cycle=Coe PodWW Coe PodWW
Generator=diycross7 (version 7.56+02~dev)
Prefetch=0:x=F,0:y=W,1:y=F,1:x=W
Com=Co Co
Orig=PodWW Coe PodWW Coe
Align=
{
}
P0 | P1 ;
movl $2,(x) | movl $2,(y) ;
movl $1,(y) | movl $1,(x) ;
exists (x=2 /\ y=2)