Sanjay Patel 11faea381f [InstCombine] fold add(zext(xor X, C), C) --> sext X when C is INT_MIN in the source type ...

The pattern may look more obviously like a sext if written as:

  define i32 @g(i16 %x) {
    %zext = zext i16 %x to i32
    %xor = xor i32 %zext, 32768
    %add = add i32 %xor, -32768
    ret i32 %add
  }

We already have that fold in visitAdd().

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



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@276035 91177308-0d34-0410-b5e6-96231b3b80d8

2016-07-19 22:09:34 +00:00

..

Hello

Add auto-exporting of symbols from tools so that plugins work on Windows

2016-05-26 11:16:43 +00:00

InstCombine

[InstCombine] fold add(zext(xor X, C), C) --> sext X when C is INT_MIN in the source type

2016-07-19 22:09:34 +00:00

Instrumentation

[tsan] Don't instrument __llvm_gcov_global_state_pred or __llvm_gcda*

2016-07-19 20:16:08 +00:00

IPO

[FunctionAttrs] Correct the safety analysis for inference of 'returned'

2016-07-19 18:50:26 +00:00

ObjCARC

Apply clang-tidy's modernize-loop-convert to most of lib/Transforms.

2016-06-26 12:28:59 +00:00

Scalar

[SCCP] Improve assert messages. NFCI.

2016-07-19 18:31:07 +00:00

Utils

[MemorySSA] Update to the new shiny walker.

2016-07-19 01:29:15 +00:00

Vectorize

Recommit the patch "Use uniforms set to populate VecValuesToIgnore".

2016-07-19 00:50:43 +00:00

CMakeLists.txt

…

LLVMBuild.txt

…