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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert created this revision.
jdoerfert added a reviewer: fhahn.
Herald added subscribers: bollu, hiraditya.
Herald added a project: LLVM.
jdoerfert requested review of this revision.

Alignment attributes need to be dropped for non-pointer values.
This also introduces a check into the verifier to ensure you don't use
`align` on anything but a pointer. Test needed to be adjusted
accordingly.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D87304

Files:
  llvm/lib/IR/Attributes.cpp
  llvm/test/Bitcode/attributes-3.3.ll
  llvm/test/Bitcode/attributes.ll
  llvm/test/Transforms/DeadArgElim/returned.ll
  llvm/test/Transforms/LoopSimplify/unreachable-loop-pred.ll
  llvm/test/Verifier/align.ll
  llvm/test/Verifier/byref.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D87304.290536.patch
Type: text/x-patch
Size: 4296 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200908/109ee74f/attachment.bin>