Searched refs:first_hW (Results 1 – 1 of 1) sorted by relevance
508 HWord first_hW = ((HWord)base2check) in bb_to_IR() local512 vassert(first_hW <= last_hW); in bb_to_IR()513 HWord hW_diff = last_hW - first_hW; in bb_to_IR()600 expectedhW = fn_generic( first_hW, hWs_to_check ); in bb_to_IR()605 vassert(expectedhW == fn_spec( first_hW )); in bb_to_IR()661 mkIRExpr_HWord( (HWord)first_hW ) in bb_to_IR()669 mkIRExpr_HWord( (HWord)first_hW ), in bb_to_IR()