James Molloy 49f69b8e25 Canonicalize min/max expressions correctly. ...

This patch introduces a canonical form for min/max idioms where one operand
is extended or truncated. This often happens when the other operand is a
constant. For example:

  %1 = icmp slt i32 %a, i32 0
  %2 = sext i32 %a to i64
  %3 = select i1 %1, i64 %2, i64 0

Would now be canonicalized into:

  %1 = icmp slt i32 %a, i32 0
  %2 = select i1 %1, i32 %a, i32 0
  %3 = sext i32 %2 to i64

This builds upon a patch posted by David Majenemer
(https://www.marc.info/?l=llvm-commits&m=143008038714141&w=2). That pass
passively stopped instcombine from ruining canonical patterns. This
patch additionally actively makes instcombine canonicalize too.

Canonicalization of expressions involving a change in type from int->fp
or fp->int are not yet implemented.

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

2015-05-15 16:10:59 +00:00

..

CMakeLists.txt

Use ADDITIONAL_HEADER_DIRS in all LLVM CMake projects.

2015-02-11 03:28:02 +00:00

InstCombineAddSub.cpp

[ValueTracking] refactor: extract method haveNoCommonBitsSet

2015-05-14 23:53:19 +00:00

InstCombineAndOrXor.cpp

[ConstantRange] Split makeICmpRegion in two.

2015-03-18 00:41:24 +00:00

InstCombineCalls.cpp

[RewriteStatepointsForGC] Fix a bug on creating gc_relocate for pointer to vector of pointers

2015-05-11 18:49:34 +00:00

InstCombineCasts.cpp

Convert PHI getIncomingValue() to foreach over incoming_values(). NFC.

2015-05-12 20:05:31 +00:00

InstCombineCompares.cpp

Canonicalize min/max expressions correctly.

2015-05-15 16:10:59 +00:00

InstCombineInternal.h

Rip min/max pattern matching out of InstCombine and into

2015-05-11 14:42:20 +00:00

InstCombineLoadStoreAlloca.cpp

Convert PHI getIncomingValue() to foreach over incoming_values(). NFC.

2015-05-12 20:05:31 +00:00

InstCombineMulDivRem.cpp

[InstCombine] (mul nsw 1, INT_MIN) != (shl nsw 1, 31)

2015-04-18 04:41:30 +00:00

InstCombinePHI.cpp

Convert PHI getIncomingValue() to foreach over incoming_values(). NFC.

2015-05-12 20:05:31 +00:00

InstCombineSelect.cpp

Canonicalize min/max expressions correctly.

2015-05-15 16:10:59 +00:00

InstCombineShifts.cpp

Convert PHI getIncomingValue() to foreach over incoming_values(). NFC.

2015-05-12 20:05:31 +00:00

InstCombineSimplifyDemanded.cpp

InstCombineSimplifyDemanded: Remove nsw/nuw flags when optimizing demanded bits

2015-04-30 22:05:30 +00:00

InstCombineVectorOps.cpp

[InstCombine] Use DataLayout to determine vector element width

2015-04-03 20:18:40 +00:00

InstructionCombining.cpp

Canonicalize min/max expressions correctly.

2015-05-15 16:10:59 +00:00

LLVMBuild.txt

Update libdeps since TLI was moved from Target to Analysis in r226078.

2015-01-15 05:21:00 +00:00

Makefile

…