Lines Matching refs:specHelper
3174 IRExpr* (*specHelper) (const HChar*, IRExpr**, IRStmt**, Int) in spec_helpers_BB()
3189 ex = (*specHelper)( st->Ist.WrTmp.data->Iex.CCall.cee->name, in spec_helpers_BB()
6395 IRExpr* (*specHelper) (const HChar*, IRExpr**, IRStmt**, Int), in cheap_transformations()
6426 bb = spec_helpers_BB ( bb, specHelper ); in cheap_transformations()
6574 IRExpr* (*specHelper) (const HChar*, IRExpr**, IRStmt**, Int), in do_iropt_BB()
6608 bb = cheap_transformations( bb, specHelper, preciseMemExnsFn, pxControl ); in do_iropt_BB()
6614 bb = spec_helpers_BB ( bb, specHelper ); in do_iropt_BB()
6644 bb = cheap_transformations( bb, specHelper, in do_iropt_BB()
6649 bb = cheap_transformations( bb, specHelper, in do_iropt_BB()
6665 bb = cheap_transformations( bb2, specHelper, in do_iropt_BB()
6669 bb = cheap_transformations( bb, specHelper, in do_iropt_BB()