Lines Matching full:shadow
564 original temps to their current their current shadow temp.
584 /* SHADOW TMP MANAGEMENT. Shadow tmps are allocated lazily (on
591 Shadow IRTemps are therefore allocated on demand. mce.tmpMap is a
592 table indexed [0 .. n_types-1], which gives the current shadow for
594 It is necessary to support making multiple assignments to a shadow
595 -- specifically, after testing a shadow for definedness, it needs
598 (2) (more important reason): Therefore, when a shadow needs to get
603 INVALID_IRTEMP and we are hoping to read that shadow tmp, it means
621 /* Allocate a new shadow for the given original tmp. This means any
622 previous shadow is abandoned. This is needed because it is
623 necessary to give a new value to a shadow once it has been tested
625 this. Instead we must abandon the old shadow, allocate a new one
644 by constants, and temps are shadowed by the corresponding shadow
661 like it's from shadow code? */
687 /* Shadow state is always accessed using integer types. This returns
689 given type. The only valid shadow types are Bit, I8, I16, I32,
708 /* Produce a 'defined' value of the given shadow type. Should only be
709 supplied shadow types (Bit/I8/I16/I32/UI64). */
982 /* Note, dst_ty is a shadow type, not an original type. */
1053 tmp, it will be shadowed by a tmp, and so we can set the shadow to
1055 new tmp to carry the new 'defined' shadow value, and update the
1057 value to an existing shadow tmp as this breaks SSAness -- resulting
1119 /* Set the shadow tmp to be defined. First, update the
1120 orig->shadow tmp mapping to reflect the fact that this shadow is
1167 /* Generate into bb suitable actions to shadow this Put. If the state
1169 supplied V bits to the shadow state. We can pass in either an
1194 /* Do a plain shadow Put. */
1225 /* Do a cloned version of the Put that refers to the shadow
1247 /* return a cloned version of the Get that refers to the shadow
1270 /* return a cloned version of the Get that refers to the shadow
1286 specified shadow type.
1636 /*--- Generate shadow values from all kinds of IRExprs. ---*/
2061 the address (shadow) to 'defined' following the test. */
2065 data V bits from shadow memory. */
2209 /*--- Generate shadow stmts from all kinds of IRStmts. ---*/
2219 /* vatom is vbits-value and as such can only have a shadow type. */
2241 /* Generate a shadow store. addr is always the original address atom.
2283 the address (shadow) to 'defined' following the test. */
2287 bits into shadow memory. */
2439 /* Because we may do multiple shadow loads/stores from the same
2678 NULL /* shadow atom */ );
2692 NULL /* shadow data */ );
