[all-commits] [llvm/llvm-project] b1c788: [Attributor][FIX] Prevent alignment breakage wrt. ...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: b1c788d051872020450cb9d6ebd6336bc72b3812
      https://github.com/llvm/llvm-project/commit/b1c788d051872020450cb9d6ebd6336bc72b3812
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-04-01 (Wed, 01 Apr 2020)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/IR/Verifier.cpp
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/Attributor/align.ll

  Log Message:
  -----------
  [Attributor][FIX] Prevent alignment breakage wrt. must-tail calls

If we have a must-tail call the callee and caller need to have matching
ABIs. Part of that is alignment which we might modify when we deduce
alignment of arguments of either. Since we would need to keep them in
sync, which is not as simple, we simply avoid deducing alignment for
arguments of the must-tail caller or callee.

Reviewed By: rnk

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