Lines Matching refs:preciseMemExnsFn

692                Bool (*preciseMemExnsFn)(Int,Int)  in handle_gets_Stmt()
800                if (preciseMemExnsFn( k_lo, k_hi ))  in handle_gets_Stmt()
832                Bool (*preciseMemExnsFn)(Int,Int)  in redundant_put_removal_BB()
934       handle_gets_Stmt( env, st, preciseMemExnsFn );  in redundant_put_removal_BB()
5195          Bool (*preciseMemExnsFn)(Int,Int)  in cheap_transformations()
5205       redundant_put_removal_BB ( bb, preciseMemExnsFn );  in cheap_transformations()
5356          Bool (*preciseMemExnsFn)(Int,Int),  in do_iropt_BB()
5388    bb = cheap_transformations( bb, specHelper, preciseMemExnsFn );  in do_iropt_BB()
5396          redundant_put_removal_BB ( bb, preciseMemExnsFn );  in do_iropt_BB()
5424          bb = cheap_transformations( bb, specHelper, preciseMemExnsFn );  in do_iropt_BB()
5428             bb = cheap_transformations( bb, specHelper, preciseMemExnsFn );  in do_iropt_BB()
5436          bb = cheap_transformations( bb2, specHelper, preciseMemExnsFn );  in do_iropt_BB()
5439             bb = cheap_transformations( bb, specHelper, preciseMemExnsFn );  in do_iropt_BB()