X86 SB+SB-BIS "Rfi PodRR Fre PodWR Fre+Rfi PodRR Fre PodWW Wse" {} P0 | P1 ; MOV [a],$1 | MOV [b],$2 ; MOV [y],$1 | MOV [x],$1 ; MOV [b],$1 | MOV EBX,[b] ; MOV EAX,[y] | MOV ECX,[a] ; MOV EBX,[x] | MOV EAX,[y] ; exists (0:EAX=1 /\ 0:EBX=0 /\ 1:EAX=0 \/ b=2 /\ 1:EBX=2 /\ 1:ECX=0)