[lworld] RFR: 8351006: [lworld] Refactor LoadNode::Identity of an InlineType into can_see_stored_value [v2]

[Quan Anh Mai]

> Hi,
> 
> This patch moves the logic of `LoadNode::Identity` that tries to look through an `InlineTypeNode` to `can_see_stored_value`. This also fixes 2 issues:
> 
> - `Identity` should not return a new node
> - `LoadUS` from a `short` is not a mismatched access and hence can return a wrong value
> 
> Please take a look and leave your reviews, thanks a lot.

Quan Anh Mai has updated the pull request incrementally with one additional commit since the last revision:

  assert non-larval

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

Changes:
  - all: https://git.openjdk.org/valhalla/pull/1387/files
  - new: https://git.openjdk.org/valhalla/pull/1387/files/f4b83ce0..e2107287

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=valhalla&pr=1387&range=01
 - incr: https://webrevs.openjdk.org/?repo=valhalla&pr=1387&range=00-01

  Stats: 3 lines in 1 file changed: 2 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/valhalla/pull/1387.diff
  Fetch: git fetch https://git.openjdk.org/valhalla.git pull/1387/head:pull/1387

PR: https://git.openjdk.org/valhalla/pull/1387