projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a867bf) | patch
[Test] Add test showing missing canonicalization opportunity in SCEV
authorMax Kazantsev <mkazantsev@azul.com>
Wed, 11 Jan 2023 11:04:38 +0000 (18:04 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Wed, 11 Jan 2023 11:17:20 +0000 (18:17 +0700)
commitb5fa3574b5e4d9d69410919a618e207da1977c70
tree30c84b3c319ddf4b3f7e5a60c237ec11fc5cd7f0tree | snapshot
parent1a867bf1c7ccd4fe38ca59346f4b6268643940bbcommit | diff
[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)).
llvm/test/Analysis/ScalarEvolution/ext_min_max.ll [new file with mode: 0644] blob
Domain: System / Toolchain;