[all-commits] [llvm/llvm-project] 3abe7a: [CodeGen] Enable tail call position check for spec...

[Victor Huang via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 3abe7aca455b9a8b9b0f1e1efdaffb50193516dd
      https://github.com/llvm/llvm-project/commit/3abe7aca455b9a8b9b0f1e1efdaffb50193516dd
  Author: Victor Huang <wei.huang at ibm.com>
  Date:   2020-06-03 (Wed, 03 Jun 2020)

  Changed paths:
    M llvm/lib/CodeGen/Analysis.cpp
    A llvm/test/CodeGen/PowerPC/tailcall-speculatable-callee.ll

  Log Message:
  -----------
  [CodeGen] Enable tail call position check for speculatable functions

In the function "Analysis.cpp:isInTailCallPosition", it only checks whether
a call is in a tail call position if the call has side effects, access memory
or it is not safe to speculative execute. Therefore, a speculatable function
will not go through tail call position check and improperly tail called when
it is not in a tail-call position. This patch enables tail call position check
for speculatable functions.

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