Searched refs:irRes32 (Results 1 – 1 of 1) sorted by relevance
2200 IRTemp mk_convert_IRCmpF64Result_to_NZCV ( IRTemp irRes32 ) in mk_convert_IRCmpF64Result_to_NZCV() argument2238 assign(irRes, unop(Iop_32Uto64, mkexpr(irRes32))); in mk_convert_IRCmpF64Result_to_NZCV()