• Nico Hartmann's avatar
    [TurboFan] Add %VerifyType intrinsic · f486a343
    Nico Hartmann authored
    This CL adds a new %VerifyType compiler intrinsic that can be used
    by tests and fuzzers to generate a runtime type check of the given
    input value. Internally, %VerifyType is lowered to %AssertType
    which is why checks are currently limited to range types.
    
    tests to be const-correct.
    
    Drive-by: Add a few consts to NodeProperties accessors to allow
    Bug: v8:11724
    Change-Id: I06842062d0e8278a5ba011d5a09947fe05b6e85e
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2859959
    Commit-Queue: Nico Hartmann <nicohartmann@chromium.org>
    Reviewed-by: 's avatarGeorg Neis <neis@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#74377}
    f486a343
runtime-compiler.cc 17.3 KB