Home | History | Annotate | Download | only in pub

Lines Matching defs:expdHi

2312      .oldHi must be IRTemp_INVALID, and .expdHi and .dataHi must
2322 If .addr contains the same value as .expdHi:.expdLo, then
2327 Types: .expdHi, .expdLo, .dataHi, .dataLo, .oldHi, .oldLo must
2348 * if .oldLo == .expdLo (resp. .oldHi:.oldLo == .expdHi:.expdLo),
2353 * if .oldLo != .expdLo (resp. .oldHi:.oldLo != .expdHi:.expdLo),
2365 IRExpr* expdHi; /* expected old value at *addr */
2376 IRExpr* expdHi, IRExpr* expdLo,