[all-commits] [llvm/llvm-project] 063b37: Reapply [IR] Mark and/or constant expressions as u...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 063b37e7b40ace03184923213bc9ead6aadee540
      https://github.com/llvm/llvm-project/commit/063b37e7b40ace03184923213bc9ead6aadee540
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-07-31 (Mon, 31 Jul 2023)

  Changed paths:
    M clang/test/CodeGen/catch-nullptr-and-nonzero-offset.c
    M llvm/lib/IR/ConstantFold.cpp
    M llvm/lib/IR/Constants.cpp
    M llvm/test/CodeGen/Hexagon/atomic-opaque-basic.ll
    M llvm/test/Transforms/InstCombine/and-or.ll
    M llvm/test/Transforms/InstCombine/and-xor-or.ll
    M llvm/test/Transforms/InstCombine/and.ll
    M llvm/test/Transforms/InstCombine/bswap-fold.ll
    M llvm/test/Transforms/InstSimplify/ConstProp/constant-expr.ll
    M llvm/test/Transforms/InstSimplify/compare.ll

  Log Message:
  -----------
  Reapply [IR] Mark and/or constant expressions as undesirable

Reapply after D156401, which stops PatternMatch from recognizing
binop constant expressions, which should avoid the infinite loops
and assertion failures this patch previously exposed.

-----

In preparation for removing support for and/or expressions, mark
them as undesirable. As such, we will no longer implicitly create
such expressions, but they still exist.