Serge Pavlov ea0ea63773 Recognize test for overflow in integer multiplication. ... If multiplication involves zero-extended arguments and the result is compared as in the patterns: %mul32 = trunc i64 %mul64 to i32 %zext = zext i32 %mul32 to i64 %overflow = icmp ne i64 %mul64, %zext or %overflow = icmp ugt i64 %mul64 , 0xffffffff then the multiplication may be replaced by call to umul.with.overflow. This change fixes PR4917 and PR4918. Differential Revision: http://llvm-reviews.chandlerc.com/D2814 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@206137 91177308-0d34-0410-b5e6-96231b3b80d8		2014-04-13 18:23:41 +00:00
..
Analysis	in findGCD of multiply expr return the gcd	2014-04-08 21:21:05 +00:00
Assembler
Bindings
Bitcode	AsmParser: add a warning for compatibility parsing	2014-04-05 22:42:53 +00:00
BugPoint
CodeGen	[PowerPC] Fix rlwimi isel when mask is not constant	2014-04-13 17:10:58 +00:00
DebugInfo	Fix instruction debug info location during legalization	2014-04-13 06:39:55 +00:00
ExecutionEngine
Feature	Disable each MachineFunctionPass for 'optnone' functions, unless that	2014-03-31 17:43:35 +00:00
FileCheck
Instrumentation	[msan] Relax the test some more.	2014-03-25 14:32:05 +00:00
Integer
JitListener
Linker
LTO	This patch fixes LTO's RecordStreamer so that it records symbols in the MCExpr	2014-03-31 16:59:13 +00:00
MC	Don't lose the thumb bit by using relocations with sections.	2014-04-11 19:18:01 +00:00
Object	[yaml2obj][ELF] ELF Relocations Support.	2014-04-11 04:13:39 +00:00
Other	Add -pass-remarks flag to 'opt'.	2014-04-08 16:42:38 +00:00
TableGen
tools	tools: teach objdump about FILE aux records	2014-04-13 03:11:08 +00:00
Transforms	Recognize test for overflow in integer multiplication.	2014-04-13 18:23:41 +00:00
Unit
Verifier
YAMLParser
.clang-format
CMakeLists.txt
lit.cfg	ARM: update even more tests	2014-04-03 17:35:22 +00:00
lit.site.cfg.in
Makefile
Makefile.tests
TestRunner.sh