[PATCH] D87304: [AttributeFuncs] Consider `align` in `typeIncompatible`

Mon May 17 14:26:23 PDT 2021

jdoerfert added a comment.

In D87304#2764574 <https://reviews.llvm.org/D87304#2764574>, @steven_wu wrote:

> The reason I only fix return type in D102201 <https://reviews.llvm.org/D102201> is that I identify the source of such incompatibility, which is coming from an optimization pass, so that can be wild spread incompatibility. The optimization pass explicitly happens when it is return type and check to remove all attributes that is incompatibly returned from `typeIncompatible`.
>
> Fixing attribute on parameter will be nice but on the other hand, I am not sure if there is bitcode is the wild that consist of such incompatibility.

I can imagine some IPOs to produce such arguments. I'll try to get to it. @steven_wu, if you want to just also do the argument case that would be appreciated.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D87304/new/

https://reviews.llvm.org/D87304