[all-commits] [llvm/llvm-project] a1d283: [NFC][LoopVectorize] Autogenerate check lines in p...

[Roman Lebedev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a1d283b71e956b3b3b3cfdc6dc99974054eb86b5
      https://github.com/llvm/llvm-project/commit/a1d283b71e956b3b3b3cfdc6dc99974054eb86b5
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-04-20 (Tue, 20 Apr 2021)

  Changed paths:
    M llvm/test/Transforms/LoopVectorize/pr45259.ll

  Log Message:
  -----------
  [NFC][LoopVectorize] Autogenerate check lines in pr45259.ll

We might as well test all of the codegen here.


  Commit: 718676488493ddb9611ee0b42ec99f1c05470bac
      https://github.com/llvm/llvm-project/commit/718676488493ddb9611ee0b42ec99f1c05470bac
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-04-20 (Tue, 20 Apr 2021)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/lib/Analysis/ScalarEvolution.cpp

  Log Message:
  -----------
  [NFC][SCEV] Split getLosslessPtrToIntExpr out of getPtrToIntExpr()


  Commit: 632eb20ab4fb06f3e3dbce29a30e615031b04b0d
      https://github.com/llvm/llvm-project/commit/632eb20ab4fb06f3e3dbce29a30e615031b04b0d
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-04-20 (Tue, 20 Apr 2021)

  Changed paths:
    A llvm/test/Transforms/InstCombine/signed-mul-lack-of-overflow-check-via-mul-sdiv.ll
    A llvm/test/Transforms/InstCombine/signed-mul-overflow-check-via-mul-sdiv.ll

  Log Message:
  -----------
  [NFC][InstCombine] Add tests for signed mul overflow check via mul-sdiv pattern (PR48769)


  Commit: 13ec913bdf500e2354cc55bf29e2f5d99e0c709e
      https://github.com/llvm/llvm-project/commit/13ec913bdf500e2354cc55bf29e2f5d99e0c709e
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-04-20 (Tue, 20 Apr 2021)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
    M llvm/lib/Transforms/InstCombine/InstCombineInternal.h
    M llvm/test/Transforms/InstCombine/signed-mul-lack-of-overflow-check-via-mul-sdiv.ll
    M llvm/test/Transforms/InstCombine/signed-mul-overflow-check-via-mul-sdiv.ll

  Log Message:
  -----------
  [InstCombine] Recognize `((x * y) s/ x) !=/== y` as an signed multiplication overflow check (PR48769)

We already had support for it's unsigned variant, so simply extend it
to also handle the signed variant.

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


Compare: https://github.com/llvm/llvm-project/compare/1c00530b30e2...13ec913bdf50