Home | History | Annotate | Download | only in priv

Lines Matching full:ctr_ok

5841    IRTemp   ctr_ok    = newTemp(Ity_I32);
5904       /* This is a bit subtle.  ctr_ok is either all 0s or all 1s.
5909       assign( ctr_ok,  branch_ctr_ok( BO ) );
5912               binop(Iop_And32, mkexpr(cond_ok), mkexpr(ctr_ok)) );
5988          assign( ctr_ok,  branch_ctr_ok( BO ) );
5991                  binop(Iop_And32, mkexpr(cond_ok), mkexpr(ctr_ok)) );