• Home
  • Raw
  • Download

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()
5620 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in dirty_helper_puts()
5654 if (preciseMemExnsFn(offset, in dirty_helper_puts()
5672 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in stmt_modifies_guest_state()
5685 = preciseMemExnsFn(offset, offset + size - 1, pxControl); in stmt_modifies_guest_state()
5702 = preciseMemExnsFn(offset, offset + descr->nElems * size - 1, in stmt_modifies_guest_state()
5712 preciseMemExnsFn, pxControl, in stmt_modifies_guest_state()
5726 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in ado_treebuild_BB()
5868 bb, st, preciseMemExnsFn, pxControl, in ado_treebuild_BB()
6397 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in cheap_transformations()
6408 redundant_put_removal_BB ( bb, preciseMemExnsFn, pxControl ); in cheap_transformations()
6576 Bool (*preciseMemExnsFn)(Int,Int,VexRegisterUpdates), in do_iropt_BB()
6609 bb = cheap_transformations( bb, specHelper, preciseMemExnsFn, pxControl ); in do_iropt_BB()
6617 redundant_put_removal_BB ( bb, preciseMemExnsFn, pxControl ); in do_iropt_BB()
6646 preciseMemExnsFn, pxControl ); in do_iropt_BB()
6651 preciseMemExnsFn, pxControl ); in do_iropt_BB()
6667 preciseMemExnsFn, pxControl ); in do_iropt_BB()
6671 preciseMemExnsFn, pxControl ); in do_iropt_BB()