[all-commits] [llvm/llvm-project] 3a69eb: [SCEV] Add another test using info from loop guard...

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 3a69ebf0ad018561c79fc52d9d3986fdc21d8d5c
      https://github.com/llvm/llvm-project/commit/3a69ebf0ad018561c79fc52d9d3986fdc21d8d5c
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-09-25 (Fri, 25 Sep 2020)

  Changed paths:
    M llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll

  Log Message:
  -----------
  [SCEV] Add another test using info from loop guards for BTC with NE.


  Commit: 7d274aa9bed00cdf1197b2f05140635be90f3362
      https://github.com/llvm/llvm-project/commit/7d274aa9bed00cdf1197b2f05140635be90f3362
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-09-25 (Fri, 25 Sep 2020)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll

  Log Message:
  -----------
  [SCEV] Add support for `x != 0` to CollectCondition.

Add support for NE predicates with 0 constants. Those can be translated
to UMaxExpr(x, 1).


Compare: https://github.com/llvm/llvm-project/compare/4f1897c6f008...7d274aa9bed0