X86 X001 "Fre PodWR Fre Rfi PodRR" Cycle=Rfi PodRR Fre PodWR Fre Relax=[Rfi,PodRR] PodWR Safe=Fre Prefetch=0:y=T,1:x=T Com=Fr Fr Orig=Fre PodWR Fre Rfi PodRR { } P0 | P1 ; MOV [x],$1 | MOV [y],$1 ; MOV EAX,[y] | MOV EAX,[y] ; | MOV EBX,[x] ; exists (0:EAX=0 /\ 1:EAX=1 /\ 1:EBX=0)