• Manos Koukoutos's avatar
    [wasm][turbofan] Store real signature on call nodes for inlining · b927dc15
    Manos Koukoutos authored
    In each wasm CallDescriptor, we store the signature of the call based on
    the real parameters passed to the call. This signature is more precise
    than the formal function signature. We use this signature in inlining
    to enable more optimizations.
    
    Changes:
    - Add wasm_sig_ field to CallDescriptor.
    - Construct the real signature in {DoCall} and {DoReturnCall} in
      graph-builder-interface, and pass it to all call-related functions in
      WasmGraphBuilder.
    - Update {ReplaceTypeInCallDescriptorWith} to use ValueType over
      MachineType. Construct the updated function signature.
    - In wasm-inlining, kill the Call node after inlining.
    - Add two tests.
    
    Bug: v8:11510
    Change-Id: Ica711b6b4d83945ecb7201be26577eab7db3c060
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3270539Reviewed-by: 's avatarJakob Kummerow <jkummerow@chromium.org>
    Reviewed-by: 's avatarNico Hartmann <nicohartmann@chromium.org>
    Commit-Queue: Manos Koukoutos <manoskouk@chromium.org>
    Cr-Commit-Position: refs/heads/main@{#77889}
    b927dc15
wasm-compiler.cc 333 KB