Lines Matching refs:addEvent_Bc
672 void addEvent_Bc ( ClgState* clgs, InstrInfo* inode, IRAtom* guard )1146 addEvent_Bc( &clgs, curr_inode, IRExpr_RdTmp(guard) );