[all-commits] [llvm/llvm-project] 37c917: [ConstantFold] Add test for invalid non-inbounds g...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 37c9171764ee1a1ce34cd5cf984fee818cd617fb
      https://github.com/llvm/llvm-project/commit/37c9171764ee1a1ce34cd5cf984fee818cd617fb
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-01-06 (Thu, 06 Jan 2022)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/ConstProp/icmp-global.ll

  Log Message:
  -----------
  [ConstantFold] Add test for invalid non-inbounds gep icmp fold

The gep evaluated to null in this case, and as such is not ne null.


  Commit: c41aa41957c102fdbe1e92c31fd1aec1c5fccbd5
      https://github.com/llvm/llvm-project/commit/c41aa41957c102fdbe1e92c31fd1aec1c5fccbd5
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-01-06 (Thu, 06 Jan 2022)

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

  Log Message:
  -----------
  [ConstFold] Add missing check for inbounds gep

If the gep is not inbounds, then the gep might compute a null
value even if the base pointer is non-null.


Compare: https://github.com/llvm/llvm-project/compare/18e08fbd01bf...c41aa41957c1