[all-commits] [llvm/llvm-project] 2a078c: [AttributeFuncs] Consider `align` in `typeIncompat...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 2a078c3072043541ee0595aea6c8d7909f94c6f9
      https://github.com/llvm/llvm-project/commit/2a078c3072043541ee0595aea6c8d7909f94c6f9
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-10-05 (Mon, 05 Oct 2020)

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

  Log Message:
  -----------
  [AttributeFuncs] Consider `align` in `typeIncompatible`

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.

Reviewed By: fhahn

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


  Commit: ef48436e62732e61cea5dde9b35b63b3ce8126f7
      https://github.com/llvm/llvm-project/commit/ef48436e62732e61cea5dde9b35b63b3ce8126f7
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2020-10-05 (Mon, 05 Oct 2020)

  Changed paths:
    M llvm/lib/IR/Attributes.cpp
    M llvm/test/Transforms/DeadArgElim/returned.ll
    M llvm/test/Verifier/align.ll
    A llvm/test/Verifier/noundef.ll

  Log Message:
  -----------
  [AttributeFuncs] Consider `noundef` in `typeIncompatible`

Drop `noundef` for return values that are replaced by void and make it
illegal to put `noundef` on a void value.

Reviewed By: fhahn

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


Compare: https://github.com/llvm/llvm-project/compare/b9888980132e...ef48436e6273