[all-commits] [llvm/llvm-project] 93ccb8: [InstSimplify] Add additional zext/sext comparison...

[Nikita Popov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 93ccb8eb52f7e7474afaa782fcc6c52bd8c1494b
      https://github.com/llvm/llvm-project/commit/93ccb8eb52f7e7474afaa782fcc6c52bd8c1494b
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-07-04 (Sat, 04 Jul 2020)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/cmp_ext.ll

  Log Message:
  -----------
  [InstSimplify] Add additional zext/sext comparison tests (NFC)

Add vector variants, and negative tests where the operand does
not match.


  Commit: 3b671022e4518166fc5a72e88786db037fb7708c
      https://github.com/llvm/llvm-project/commit/3b671022e4518166fc5a72e88786db037fb7708c
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-07-04 (Sat, 04 Jul 2020)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/cmp_ext.ll

  Log Message:
  -----------
  [InstSimplify] Simplify comparison between zext(x) and sext(x)

This is picking up a loose thread from D69006: We can simplify
(zext x) ule (sext x) and (zext x) sge (sext x) to true, with
various permutations. Oddly, SCEV knows about this identity,
but nothing on the IR level does.

Differential Revision: https://reviews.llvm.org/D83081


Compare: https://github.com/llvm/llvm-project/compare/2ac9c4591097...3b671022e451