Handle red zone and flags with context sensitivity

Handle flags as instrumentation to compute hash chain uses xor.
Also add code to handle red zone for leaf functions