[all-commits] [llvm/llvm-project] 9b750c: [NFC][InstCombine] Autogenerate and2.ll checklines

[Roman Lebedev via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 9b750cc6ba2cbee1cff5b09f8444ce8a9a137a54
      https://github.com/llvm/llvm-project/commit/9b750cc6ba2cbee1cff5b09f8444ce8a9a137a54
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2020-01-03 (Fri, 03 Jan 2020)

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

  Log Message:
  -----------
  [NFC][InstCombine] Autogenerate and2.ll checklines


  Commit: 6f922dbbeae7b647dfd548c4d74f384ca9c252da
      https://github.com/llvm/llvm-project/commit/6f922dbbeae7b647dfd548c4d74f384ca9c252da
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2020-01-03 (Fri, 03 Jan 2020)

  Changed paths:
    A llvm/test/Transforms/InstCombine/hoist-negation-out-of-bias-calculation-with-constant.ll

  Log Message:
  -----------
  [NFC][InstCombine] '(Op1 & С) - Op1' pattern tests (PR44427)


  Commit: 7973aa05f6f987bb4746db2bcbb34e7fa0ce8897
      https://github.com/llvm/llvm-project/commit/7973aa05f6f987bb4746db2bcbb34e7fa0ce8897
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2020-01-03 (Fri, 03 Jan 2020)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
    M llvm/test/Transforms/InstCombine/and2.ll
    M llvm/test/Transforms/InstCombine/hoist-negation-out-of-bias-calculation-with-constant.ll

  Log Message:
  -----------
  [NFC][InstCombine] '(Op1 & С) - Op1' -> '-(Op1 & ~C)' fold (PR44427)

This decreases use count of Op1, potentially allows
us to further hoist said 'neg' later on,
and results in marginally better X86 codegen.

Name: (Op1 & С) - Op1 -> -(Op1 & ~C)
  %o = and i64 %Op1, C1
  %r = sub i64 %o, %Op1
=>
  %n = and i64 %Op1, ~C1
  %r = sub i64 0, %n

https://rise4fun.com/Alive/rwgA

https://godbolt.org/z/R_RMfM

https://bugs.llvm.org/show_bug.cgi?id=44427


Compare: https://github.com/llvm/llvm-project/compare/14ee51581af0...7973aa05f6f9