[PATCH] D117431: [IRBuilder] Migrate and-folding to value-based FoldAnd.

[Florian Hahn via Phabricator via cfe-commits]

fhahn updated this revision to Diff 400583.
fhahn added a subscriber: Meinersbur.
fhahn added a comment.
Herald added a reviewer: bollu.

Fix failing polly tests.

@Meinersbur looks like some Polly tests were relying on the IRBuilder folding `and i1 %X, true`. This patch moves the logic to a dedicated simplifying folder. If this kind of fold is important, it might be good to switch Polly to use the InstSimplifyFolder.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D117431

Files:
  clang/test/CodeGen/catch-nullptr-and-nonzero-offset.c
  clang/test/CodeGen/catch-pointer-overflow.c
  clang/test/CodeGen/cmse-clear-return.c
  llvm/include/llvm/Analysis/InstSimplifyFolder.h
  llvm/include/llvm/Analysis/TargetFolder.h
  llvm/include/llvm/IR/ConstantFolder.h
  llvm/include/llvm/IR/IRBuilder.h
  llvm/include/llvm/IR/IRBuilderFolder.h
  llvm/include/llvm/IR/NoFolder.h
  llvm/test/Transforms/LoopIdiom/X86/left-shift-until-bittest.ll
  llvm/test/Transforms/LoopVersioning/bound-check-partially-known.ll
  polly/test/CodeGen/invariant_load_base_pointer_conditional.ll
  polly/test/CodeGen/multidim_2d_parametric_array_static_loop_bounds.ll
  polly/test/CodeGen/no-overflow-tracking.ll
  polly/test/CodeGen/run-time-condition-with-scev-parameters.ll
  polly/test/ScopInfo/allow-all-parameters-dereferencable.ll
  polly/test/ScopInfo/invariant_load_zext_parameter.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D117431.400583.patch
Type: text/x-patch
Size: 27831 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20220117/19a637c7/attachment-0001.bin>