[all-commits] [llvm/llvm-project] 9a0b08: Modify verifier checks to support musttail + preal...

aeubanks via All-commits all-commits at lists.llvm.org
Tue May 26 16:26:12 PDT 2020


  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 9a0b0855a96ad91e082c6fb066e0ebabe72eb6b3
      https://github.com/llvm/llvm-project/commit/9a0b0855a96ad91e082c6fb066e0ebabe72eb6b3
  Author: Arthur Eubanks <aeubanks at google.com>
  Date:   2020-05-26 (Tue, 26 May 2020)

  Changed paths:
    M llvm/docs/LangRef.rst
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/Verifier/preallocated-invalid.ll
    M llvm/test/Verifier/preallocated-valid.ll

  Log Message:
  -----------
  Modify verifier checks to support musttail + preallocated

Summary:
preallocated and musttail can work together, but we don't want to call
@llvm.call.preallocated.setup() to modify the stack in musttail calls.
So we shouldn't have the "preallocated" operand bundle when a
preallocated call is musttail.

Also disallow use of preallocated on calls without preallocated.

Codegen not yet implemented.

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D80581




More information about the All-commits mailing list