[all-commits] [llvm/llvm-project] 095774: [InstCombine] Add more negation tests; NFC

[Nikita Popov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 0957748cb78828a09604918f29a5f562dd6d8390
      https://github.com/llvm/llvm-project/commit/0957748cb78828a09604918f29a5f562dd6d8390
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-01-27 (Mon, 27 Jan 2020)

  Changed paths:
    M llvm/test/Transforms/InstCombine/sub.ll

  Log Message:
  -----------
  [InstCombine] Add more negation tests; NFC

Additional test cases for pushing negations through various
instructions.


  Commit: bcfa0f592f8f2d4ced9e102a2881bd95a7197b16
      https://github.com/llvm/llvm-project/commit/bcfa0f592f8f2d4ced9e102a2881bd95a7197b16
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-01-27 (Mon, 27 Jan 2020)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
    M llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
    M llvm/test/Transforms/InstCombine/sub.ll

  Log Message:
  -----------
  [InstCombine] Move negation handling into freelyNegateValue()

Followup to D72978. This moves existing negation handling in
InstCombine into freelyNegateValue(), which make it composable.
In particular, root negations of div/zext/sext/ashr/lshr/sub can
now always be performed through a shl/trunc as well.

Differential Revision: https://reviews.llvm.org/D73288


Compare: https://github.com/llvm/llvm-project/compare/d2a9b87fee84...bcfa0f592f8f