617 void addEvent_Dr ( ClgState* clgs, InstrInfo* inode, Int datasize, IRAtom* ea )  in addEvent_Dr()  argument
621    tl_assert(datasize >= 1);  in addEvent_Dr()
623    tl_assert(datasize <= CLG_(min_line_size));  in addEvent_Dr()
632    evt->Ev.Dr.szB = datasize;  in addEvent_Dr()
638 void addEvent_Dw ( ClgState* clgs, InstrInfo* inode, Int datasize, IRAtom* ea )  in addEvent_Dw()  argument
643    tl_assert(datasize >= 1);  in addEvent_Dw()
645    tl_assert(datasize <= CLG_(min_line_size));  in addEvent_Dw()
651        && lastEvt->Ev.Dr.szB == datasize  in addEvent_Dw()
667    evt->Ev.Dw.szB = datasize;  in addEvent_Dw()
674                           Int datasize, IRAtom* ea, IRAtom* guard,  in addEvent_D_guarded()  argument
680    tl_assert(datasize >= 1);  in addEvent_D_guarded()
682    tl_assert(datasize <= CLG_(min_line_size));  in addEvent_D_guarded()
706                                 ea, mkIRExpr_HWord( datasize ) );  in addEvent_D_guarded()