commit e33d633896fc620fad0b79dfb9f772a6864246f8
author Georg Neis <neis@chromium.org> Mon Jan 20 12:58:49 2020
committer Commit Bot <commit-bot@chromium.org> Mon Jan 20 18:25:04 2020
tree d4a947de102c6aa7be5ebdc511e882b09357704c
parent d99eaef7c7192b55cd05b20a9ca097f16dfc536a

[turbofan] Don't verify context input of Create*Context nodes

The verifier tried to assert that the context input of Create*Context
nodes has type OtherInternal (all Context constants have that type).
This didn't quite work because of OSR values so actually it checked
something much weaker. And what it checked still doesn't work because
of dead code, in which the context input might statically be known to
be the undefined value. I'm removing the assertion entirely now.

I suspect that there are other assertions in the verifier that don't
hold in the OSR code or in dead code. We are discussing a more general
solution such as inserting TypeGuards in the relevant cases.

Bug: chromium:1037771
Change-Id: I6fb59c60e7120d5984ea0fe140269f2df6de8708
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2010792
Commit-Queue: Tobias Tebbi <tebbi@chromium.org>
Auto-Submit: Georg Neis <neis@chromium.org>
Reviewed-by: Tobias Tebbi <tebbi@chromium.org>
Cr-Commit-Position: refs/heads/master@{#65871}