Searched refs:first_hW (Results 1 – 1 of 1) sorted by relevance
566 HWord first_hW = ((HWord)base2check) in bb_to_IR() local570 vassert(first_hW <= last_hW); in bb_to_IR()571 HWord hW_diff = last_hW - first_hW; in bb_to_IR()658 expectedhW = fn_generic( first_hW, hWs_to_check ); in bb_to_IR()663 vassert(expectedhW == fn_spec( first_hW )); in bb_to_IR()719 mkIRExpr_HWord( (HWord)first_hW ) in bb_to_IR()727 mkIRExpr_HWord( (HWord)first_hW ), in bb_to_IR()