Searched refs:shiftR64_with_extras (Results 1 – 1 of 1) sorted by relevance
7873 IRExpr* shiftR64_with_extras ( IRTemp xtra, IRTemp base, IRTemp amt ) in shiftR64_with_extras() function8035 assign( res64, shiftR64_with_extras( gsrc, esrc, tmpSH )); in dis_SHLRD_Gv_Ev()8036 assign( rss64, shiftR64_with_extras( gsrc, esrc, tmpSS )); in dis_SHLRD_Gv_Ev()