Searched refs:first_hW (Results 1 – 1 of 1) sorted by relevance
590 HWord first_hW = ((HWord)base2check) in bb_to_IR() local594 vassert(first_hW <= last_hW); in bb_to_IR()595 HWord hW_diff = last_hW - first_hW; in bb_to_IR()682 expectedhW = fn_generic( first_hW, hWs_to_check ); in bb_to_IR()687 vassert(expectedhW == fn_spec( first_hW )); in bb_to_IR()743 mkIRExpr_HWord( (HWord)first_hW ) in bb_to_IR()751 mkIRExpr_HWord( (HWord)first_hW ), in bb_to_IR()