Lines Matching refs:preciseMemExnsFn
719 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in handle_gets_Stmt()
853 if (preciseMemExnsFn( k_lo, k_hi, pxControl )) in handle_gets_Stmt()
887 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in redundant_put_removal_BB()
988 handle_gets_Stmt( env, st, preciseMemExnsFn, pxControl ); in redundant_put_removal_BB()
5619 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in dirty_helper_puts()
5653 if (preciseMemExnsFn(offset, in dirty_helper_puts()
5671 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in stmt_modifies_guest_state()
5684 = preciseMemExnsFn(offset, offset + size - 1, pxControl); in stmt_modifies_guest_state()
5701 = preciseMemExnsFn(offset, offset + descr->nElems * size - 1, in stmt_modifies_guest_state()
5711 preciseMemExnsFn, pxControl, in stmt_modifies_guest_state()
5725 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in ado_treebuild_BB()
5867 bb, st, preciseMemExnsFn, pxControl, in ado_treebuild_BB()
6396 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in cheap_transformations()
6407 redundant_put_removal_BB ( bb, preciseMemExnsFn, pxControl ); in cheap_transformations()
6575 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in do_iropt_BB()
6608 bb = cheap_transformations( bb, specHelper, preciseMemExnsFn, pxControl ); in do_iropt_BB()
6616 redundant_put_removal_BB ( bb, preciseMemExnsFn, pxControl ); in do_iropt_BB()
6645 preciseMemExnsFn, pxControl ); in do_iropt_BB()
6650 preciseMemExnsFn, pxControl ); in do_iropt_BB()
6666 preciseMemExnsFn, pxControl ); in do_iropt_BB()
6670 preciseMemExnsFn, pxControl ); in do_iropt_BB()