Searched refs:first_hW (Results 1 – 1 of 1) sorted by relevance
562 HWord first_hW = ((HWord)base2check) in bb_to_IR() local566 vassert(first_hW <= last_hW); in bb_to_IR()567 HWord hW_diff = last_hW - first_hW; in bb_to_IR()654 expectedhW = fn_generic( first_hW, hWs_to_check ); in bb_to_IR()659 vassert(expectedhW == fn_spec( first_hW )); in bb_to_IR()715 mkIRExpr_HWord( (HWord)first_hW ) in bb_to_IR()723 mkIRExpr_HWord( (HWord)first_hW ), in bb_to_IR()