Hi; just wanted to check my understanding of how the TCG_CALL_* flags work. In particular, for the fairly common case of helpers which read or write fields in the CPU state via being passed an 'env' pointer, what are the correct flags? Assuming the fields it accesses aren't also being used for TCG memory globals, presumably NO_RWG_SE if the field is only read, and NO_RWG if it's written?
thanks -- PMM