[all-commits] [llvm/llvm-project] dcd215: [ValueTracking] Fix isKnownNonEqual() with constex...

Nikita Popov via All-commits all-commits at lists.llvm.org
Mon Dec 28 09:39:38 PST 2020


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dcd21572f971ae5b5f1bf1f1abefafa0085404e1
      https://github.com/llvm/llvm-project/commit/dcd21572f971ae5b5f1bf1f1abefafa0085404e1
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-12-28 (Mon, 28 Dec 2020)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ValueTracking/known-non-equal.ll

  Log Message:
  -----------
  [ValueTracking] Fix isKnownNonEqual() with constexpr mul

Confusingly, BinaryOperator is not an Operator,
OverflowingBinaryOperator is... We were implicitly assuming that
the multiply is an Instruction here.

This fixes the assertion failure reported in
https://reviews.llvm.org/D92726#2472827.




More information about the All-commits mailing list