Philip Reames 38c87c2e50 [LVI] Infer local facts from unary expressions ... As pointed out by John Regehr over in http://reviews.llvm.org/D19485, LVI was being incredibly stupid about applying its transfer rules. Rather than gathering local facts from the expression itself, it was simply giving up entirely if one of the inputs was overdefined. This greatly impacts the precision of the overall analysis and makes it far more fragile as well. This patch implements only the unary operation case. Once this is in, I'll implement the same for the binary operations. Differential Revision: http://reviews.llvm.org/D19492 llvm-svn: 267609		2016-04-26 21:48:16 +00:00
..
Analysis	[SCEV] Improve the run-time checking of the NoWrap predicate	2016-04-25 09:27:16 +00:00
Assembler	DebugInfo: Remove MDString-based type references	2016-04-23 21:08:00 +00:00
Bindings	[OCaml] Expose the LLVM diagnostic handler	2016-04-10 13:55:53 +00:00
Bitcode	Symbolize operand bundle blocks for bcanalyzer	2016-04-26 05:59:08 +00:00
BugPoint	[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.	2016-04-15 15:57:41 +00:00
CodeGen	[Tail duplication] Handle source registers with subregisters	2016-04-26 18:36:34 +00:00
DebugInfo	Parse and dump PDB DBI Stream Header Information	2016-04-26 18:42:34 +00:00
Examples	…
ExecutionEngine	[powerpc] mark JIT tests as UNSUPPORTED on powerpc64 big endian	2016-04-26 03:59:19 +00:00
Feature	[NVVM] Remove noduplicate attribute from synchronizing intrinsics.	2016-03-22 22:08:01 +00:00
FileCheck	Reapply r262092: [FileCheck] Abort if -NOT is combined with another suffix.	2016-02-29 22:13:03 +00:00
Instrumentation	DebugInfo: Remove MDString-based type references	2016-04-23 21:08:00 +00:00
Integer	…
JitListener	[PR27284] Reverse the ownership between DICompileUnit and DISubprogram.	2016-04-15 15:57:41 +00:00
LTO	Refactor the InternalizePass into a helper class, and expose it through a public free function (NFC)	2016-04-13 05:25:08 +00:00
LibDriver	LibDriver: Silently do nothing when provided no inputs.	2016-04-13 19:36:04 +00:00
Linker	DebugInfo: Remove MDString-based type references	2016-04-23 21:08:00 +00:00
MC	Reapply: "ARM: put correct symbol index on indirect pointers in __thread_ptr.""	2016-04-26 18:29:16 +00:00
Object	Fix a typo in an error message. Caught by Sean Silva!	2016-04-21 21:20:40 +00:00
Other	Try to get ResponseFile.ll passing on Windows after r267556.	2016-04-26 20:32:51 +00:00
SymbolRewriter	…
TableGen	Introduce a "patchable-function" function attribute	2016-04-19 05:24:47 +00:00
ThinLTO/X86	ThinLTOCodeGenerator: preserve linkonce when in "MustPreserved" set	2016-04-26 10:35:01 +00:00
Transforms	[LVI] Infer local facts from unary expressions	2016-04-26 21:48:16 +00:00
Unit	Replace hardcoded comment at 'lit.site.cfg.in'	2016-04-16 06:47:41 +00:00
Verifier	Verifier: Verify that each inlinable callsite of a debug-info-bearing function	2016-04-24 22:23:13 +00:00
YAMLParser	…
tools	[gold] Fix linkInModule and extend common.ll test.	2016-04-25 18:23:29 +00:00
.clang-format	…
CMakeLists.txt	Moving llvm-test-depends and test-depends into the Tests folder; NFC, this simply cleans up the generated solution so that these targets don't live in the root folder of the IDE.	2016-04-12 15:09:14 +00:00
TestRunner.sh	…
lit.cfg	test: Always treat .mir files as tests even outside of CodeGen/MIR	2016-04-04 21:23:44 +00:00
lit.site.cfg.in	Replace hardcoded comment at 'lit.site.cfg.in'	2016-04-16 06:47:41 +00:00