Lines Matching defs:origin
157 and origin (shadowB) values, or these may be IRTemp_INVALID if code
1229 IRAtom* origin;
1259 /* Get the origin info for the value we are about to check. At
1260 least, if we are doing origin tracking. If not, use a dummy
1261 zero origin. */
1263 origin = schemeE( mce, atom );
1265 origin = assignNew( 'B', mce, Ity_I64, unop(Iop_32Uto64, origin) );
1268 origin = NULL;
1278 if (origin) {
1281 args = mkIRExprVec_1(origin);
1291 if (origin) {
1294 args = mkIRExprVec_1(origin);
1304 if (origin) {
1307 args = mkIRExprVec_1(origin);
1317 if (origin) {
1320 args = mkIRExprVec_1(origin);
1331 if (origin) {
1334 args = mkIRExprVec_2( mkIRExpr_HWord( sz ), origin);
1351 tl_assert( (MC_(clo_mc_level) == 3 && origin != NULL)
1352 || (MC_(clo_mc_level) == 2 && origin == NULL) );
6132 In schemeS, for origin tracking, we must correspondingly set
6133 a no-origin value for the origin shadow of .result.
6479 Similarly, if origin tracking is enabled, we must generate an
6480 assignment for the corresponding origin (B) shadow, claiming
6481 no-origin, as appropriate for a defined value.
6494 assign( 'B', &mce, tmp_b, mkU32(0)/* UNKNOWN ORIGIN */);
6590 skip the origin-tracking stuff (call to schemeS) above,
6915 /*--- Origin tracking stuff ---*/
6945 /* Make a guarded origin load, with no special handling in the
7001 all-zeroes (unknown-origin), so it'd be harmless if it got
7033 /* The most general handler for guarded origin loads. A GUARD of NULL
7036 Generate IR to do a shadow origin load from ADDR+BIAS and return
7047 origin. If the guard evaluates to False, this will be zero,
7048 meaning "unknown origin", in which case we will have to replace
7163 origin for the index (almost certainly zero, but there's
7334 nothing is known about the origin */
7395 /* Whew! So curr is a 32-bit B-value which should give an origin
7482 /* Generate IR for origin shadowing for a general guarded store. */
7502 /* Generate IR for origin shadowing for a plain store. */
7540 /* And finally, bind the origin to the destination temporary. */
7555 happen for origin tracking w.r.t. AbiHints. So there is
7575 /* Compute a value to Put - the conjoinment of the origin for
