[all-commits] [llvm/llvm-project] f08148: [ConstProp] Fix folding of pointer icmp with signe...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f08148e874088a07b972203a183db00de9c38a70
      https://github.com/llvm/llvm-project/commit/f08148e874088a07b972203a183db00de9c38a70
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-03-08 (Mon, 08 Mar 2021)

  Changed paths:
    M llvm/lib/IR/ConstantFold.cpp
    M llvm/test/Transforms/InstSimplify/ConstProp/icmp-null.ll

  Log Message:
  -----------
  [ConstProp] Fix folding of pointer icmp with signed predicates

While @g ugt null is always true (ignoring weak symbols),
@g sgt null is not necessarily the case -- that would imply that
it is forbidden to place globals in the high half of the address
space.