Home | History | Annotate | Download | only in exp-dhat

Lines Matching defs:guard

833    /* Generate the guard condition: "(addr - (SP - RZ)) >u N", for
859    IRTemp guard = newIRTemp(sbOut->tyenv, Ity_I1);
862       assign(guard,
867    di->guard = mkexpr(guard);