[all-commits] [llvm/llvm-project] 321cbf: [Verifier] Verify parameter alignment.

[Luo, Yuanke via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 321cbf75be2c0f4f33856f4b1246f09800cc91d0
      https://github.com/llvm/llvm-project/commit/321cbf75be2c0f4f33856f4b1246f09800cc91d0
  Author: Luo, Yuanke <yuanke.luo at intel.com>
  Date:   2022-03-27 (Sun, 27 Mar 2022)

  Changed paths:
    M llvm/include/llvm/CodeGen/TargetCallingConv.h
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Verifier/param-align.ll
    A llvm/test/Verifier/param-ret-align.ll

  Log Message:
  -----------
  [Verifier] Verify parameter alignment.

In DAGISel, the parameter alignment only have 4 bits to hold the value.
The encode(alignment) would plus the shift value by 1, so the max aligment
ISel can support is 2^14. This patch verify the parameter and return
value for alignment.

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