Home | History | Annotate | Download | only in priv

Lines Matching refs:ok

4359   ok = BO[2] | ((CTR[0] != 0) ^ BO[1])
4366    IRTemp ok = newTemp(Ity_I32);
4369       assign( ok, mkU32(0xFFFFFFFF) );
4372          assign( ok, unop( Iop_1Sto32,
4377          assign( ok, unop( Iop_1Sto32,
4383    return mkexpr(ok);
4401       // ok = (CR[BI] == BO[3]) Note, the following relies on
9741          Bool ok = dis_int_ldst_str( theInstr, &stopHere );
9742          if (!ok) goto decode_failure;