[all-commits] [llvm/llvm-project] b5fa35: [Test] Add test showing missing canonicalization o...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b5fa3574b5e4d9d69410919a618e207da1977c70
      https://github.com/llvm/llvm-project/commit/b5fa3574b5e4d9d69410919a618e207da1977c70
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2023-01-11 (Wed, 11 Jan 2023)

  Changed paths:
    A llvm/test/Analysis/ScalarEvolution/ext_min_max.ll

  Log Message:
  -----------
  [Test] Add test showing missing canonicalization opportunity in SCEV

We could have same SCEVs for the following expressions:
  zext(umin(x, y)) and umin(zext(x), zext(y));
  zext(umax(x, y)) and umax(zext(x), zext(y))
  sext(smin(x, y)) and smin(zsxt(x), sext(y));
  sext(smax(x, y)) and smax(sext(x), sext(y)).