Lines Matching refs:specHelper
3175 IRExpr* (*specHelper) (const HChar*, IRExpr**, IRStmt**, Int) in spec_helpers_BB()
3190 ex = (*specHelper)( st->Ist.WrTmp.data->Iex.CCall.cee->name, in spec_helpers_BB()
6396 IRExpr* (*specHelper) (const HChar*, IRExpr**, IRStmt**, Int), in cheap_transformations()
6427 bb = spec_helpers_BB ( bb, specHelper ); in cheap_transformations()
6575 IRExpr* (*specHelper) (const HChar*, IRExpr**, IRStmt**, Int), in do_iropt_BB()
6609 bb = cheap_transformations( bb, specHelper, preciseMemExnsFn, pxControl ); in do_iropt_BB()
6615 bb = spec_helpers_BB ( bb, specHelper ); in do_iropt_BB()
6645 bb = cheap_transformations( bb, specHelper, in do_iropt_BB()
6650 bb = cheap_transformations( bb, specHelper, in do_iropt_BB()
6666 bb = cheap_transformations( bb2, specHelper, in do_iropt_BB()
6670 bb = cheap_transformations( bb, specHelper, in do_iropt_BB()