RFR: 8295486: Inconsistent constant field values observed during compilation [v7]

[Tobias Hartmann]

On Wed, 25 Jan 2023 20:03:59 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

> As I see (may be wrong) you allow C2 to see all cached values which may introducing inconsistency in generated code. I am not sure how PhaseCPP::verify_type() works in such case.

I'm not sure if I understand your concern, what do you mean by "all cached values"? The cache will only contain values observed during the current compilation (it's lifetime is limited by the lifetime of `ciObject` which is compile task specific) and it will ensure that the same value is used for constant folding of a specific field or array element.

-------------

PR: https://git.openjdk.org/jdk/pull/11861