[PATCH] D94433: [ValueTracking] Check that alignment is non-zero in computeKnownBitsFromAssume (PR48713).

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added reviewers: lebedev.ri, aaron.ballman.
jdoerfert added a comment.

I still believe clang should not generate non-power-of-two alignment in the assume (https://godbolt.org/z/zzd1hWc88). We don't allow non-power-of-two in almost any other place already, but here we somehow do.
The IR verifier needs to be updated, clang should issue an error, the webpage should mention the requirement (https://clang.llvm.org/docs/AttributeReference.html), and we would not needs this.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D94433