• Nico Hartmann's avatar
    Reland "[turbofan] Enable --verify-simplified-lowering in debug" · 87d73a3a
    Nico Hartmann authored
    This reverts commit aaedd8b7.
    
    Changes in the reland:
    The inital problem was caused by nodes that were removed during SL
    because they are no-ops but have an effect on typing (in the repro, this
    was e.g. PlainPrimitiveToNumber). The reland introdocues a new operator
    SLVerifierHint that is used exclusively in SL to provide hints to the
    verifier and that solves this problem. SLVerifierHint also replaces the
    previous use of TypeGuard to type constant nodes for the verifier.
    
    Bug: v8:12619, chromium:1302572
    Change-Id: I0957645c03d8b7c26cd6d630a1ecbd0a6a8223ce
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3512574Reviewed-by: 's avatarTobias Tebbi <tebbi@chromium.org>
    Commit-Queue: Nico Hartmann <nicohartmann@chromium.org>
    Cr-Commit-Position: refs/heads/main@{#79564}
    87d73a3a
typer.cc 75.6 KB