sem [					fmovsne		fmovse
	fmovsg		fmovsle		fmovsge		fmovsl
	fmovsgu		fmovsleu	fmovscc		fmovscs
	fmovspos	fmovsneg	fmovsvc		fmovsvs	] {
    if(bpcc1) { if(cond_xcc) F4(rd,F4(rs2)); }
    else if(cond_icc) F4(rd,F4(rs2));
} where cond_xcc in [	(! CCR?bit(6) ) 	(CCR?bit(6) ) 	(!(CCR?bit(6) |(CCR?bit(7) ^ CCR?bit(5) ))) 	(CCR?bit(6) |(CCR?bit(7) ^ CCR?bit(5) )) 	(!(CCR?bit(7) ^ CCR?bit(5) )) 	(CCR?bit(7) ^ CCR?bit(5) ) 
	(!(CCR?bit(4) | CCR?bit(6) )) 	(CCR?bit(4) | CCR?bit(6) ) 	(! CCR?bit(4) ) 	(CCR?bit(4) ) 	(! CCR?bit(7) ) 	(CCR?bit(7) ) 	(! CCR?bit(5) ) 	(CCR?bit(5) ) 	],
	cond_icc in [	(! CCR?bit(2) ) 	(CCR?bit(2) ) 	(!(CCR?bit(2) |(CCR?bit(3) ^ CCR?bit(1) ))) 	(CCR?bit(2) |(CCR?bit(3) ^ CCR?bit(1) )) 	(!(CCR?bit(3) ^ CCR?bit(1) )) 	(CCR?bit(3) ^ CCR?bit(1) ) 
	(!(CCR?bit(0) | CCR?bit(2) )) 	(CCR?bit(0) | CCR?bit(2) ) 	(! CCR?bit(0) ) 	(CCR?bit(0) ) 	(! CCR?bit(3) ) 	(CCR?bit(3) ) 	(! CCR?bit(1) ) 	(CCR?bit(1) ) 	];