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

Lines Matching defs:shadow

467    shadow value computation.
483 When .kind is NonShad, .shadow may give the identity of the temp
484 currently holding the associated shadow value, or it may be
485 IRTemp_INVALID if code to compute the shadow has not yet been
488 When .kind is Shad tmp holds a shadow value, and so .shadow must be
489 IRTemp_INVALID, since it is illogical for a shadow tmp itself to be
499 IRTemp shadow;
514 current kind and possibly shadow temps for each temp in the
541 shadow
547 /* SHADOW TMP MANAGEMENT. Shadow tmps are allocated lazily (on
554 Shadow IRTemps are therefore allocated on demand. pce.tmpMap is a
555 table indexed [0 .. n_types-1], which gives the current shadow for
557 It is necessary to support making multiple assignments to a shadow
558 -- specifically, after testing a shadow for definedness, it needs
561 (2) (more important reason): Therefore, when a shadow needs to get
566 IRTemp_INVALID and we are hoping to read that shadow tmp, it means
581 ent.shadow = IRTemp_INVALID;
650 ent.shadow = IRTemp_INVALID;