Nikita Popov a969f2e8fa [ConstantRange] Clarify makeGuaranteedNoWrapRegion() guarantees; NFC ... makeGuaranteedNoWrapRegion() is actually makeExactNoWrapRegion() as long as only one of NUW or NSW is specified. This is not obvious from the current documentation, and some code seems to think that it is only exact for single-element ranges. Clarify docs and add tests to be more confident this really holds. There are currently no users of makeGuaranteedNoWrapRegion() that pass both NUW and NSW. I think it would be best to drop support for this entirely and then rename the function to makeExactNoWrapRegion(). Knowing that the no-wrap region is exact is useful, because we can backwards-constrain values. What I have in mind in particular is that LVI should be able to constrain values on edges where the with.overflow overflow flag is false. Differential Revision: https://reviews.llvm.org/D60598 llvm-svn: 358305		2019-04-12 19:36:47 +00:00
..
AbstractCallSite.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
AsmWriter.cpp	Add LLVM IR debug info support for Fortran COMMON blocks	2019-04-08 19:13:55 +00:00
AttributeImpl.h	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
Attributes.cpp	IR: Add immarg attribute	2019-03-12 21:02:54 +00:00
AttributesCompatFunc.td
AutoUpgrade.cpp	[ObjC][ARC] Convert the retainRV marker that is passed as a named	2019-04-10 06:20:20 +00:00
BasicBlock.cpp	Revert "[INLINER] allow inlining of address taken blocks"	2019-02-14 23:42:21 +00:00
CMakeLists.txt	Reland "[Remarks] Refactor remark diagnostic emission in a RemarkStreamer"	2019-03-06 15:20:13 +00:00
Comdat.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
ConstantFold.cpp	[ConstantFold] Don't evaluate FP or FP vector casts or truncations when simplifying icmp	2019-04-12 07:34:30 +00:00
ConstantFold.h	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
ConstantRange.cpp	[ConstantRange] Clarify makeGuaranteedNoWrapRegion() guarantees; NFC	2019-04-12 19:36:47 +00:00
Constants.cpp	Change some StringRef::data() reinterpret_cast to bytes_begin() or arrayRefFromStringRef()	2019-04-07 03:58:42 +00:00
ConstantsContext.h	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
Core.cpp	[LLVM-C] Correct The Current Debug Location Accessors (Again)	2019-04-10 14:19:05 +00:00
DataLayout.cpp	[IR][ARM] Add function pointer alignment to datalayout	2019-03-08 10:44:06 +00:00
DebugInfo.cpp	[LLVM-C] Correct The Current Debug Location Accessors (Again)	2019-04-10 14:19:05 +00:00
DebugInfoMetadata.cpp	Revert r358268 "[DebugInfo] DW_OP_deref_size in PrologEpilogInserter."	2019-04-12 12:54:52 +00:00
DebugLoc.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
DiagnosticHandler.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
DiagnosticInfo.cpp	Revert "[Remarks] Refactor remark diagnostic emission in a RemarkStreamer"	2019-03-06 14:52:37 +00:00
DiagnosticPrinter.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
DIBuilder.cpp	Add LLVM IR debug info support for Fortran COMMON blocks	2019-04-08 19:13:55 +00:00
Dominators.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
Function.cpp	[opaque pointer types] Add a FunctionCallee wrapper type, and use it.	2019-02-01 02:28:03 +00:00
Globals.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
GVMaterializer.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
InlineAsm.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
Instruction.cpp	Implementation of asm-goto support in LLVM	2019-02-08 20:48:56 +00:00
Instructions.cpp	[InstCombine] canonicalize select shuffles by commuting	2019-03-31 15:01:30 +00:00
IntrinsicInst.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
IRBuilder.cpp	[opaque pointer types] Pass function types to InvokeInst creation.	2019-02-01 20:43:34 +00:00
IRPrintingPasses.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
LegacyPassManager.cpp	Adds -ftime-trace option to clang that produces Chrome chrome://tracing compatible JSON profiling output dumps.	2019-03-30 08:42:48 +00:00
LLVMBuild.txt	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
LLVMContext.cpp	Reland "[Remarks] Refactor remark diagnostic emission in a RemarkStreamer"	2019-03-06 15:20:13 +00:00
LLVMContextImpl.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
LLVMContextImpl.h	Add LLVM IR debug info support for Fortran COMMON blocks	2019-04-08 19:13:55 +00:00
Mangler.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
MDBuilder.cpp	[NFC] Fix unused variable warnings in Release builds	2019-01-19 09:39:57 +00:00
Metadata.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
MetadataImpl.h	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
Module.cpp	[PGO] Context sensitive PGO (part 2)	2019-02-28 19:55:07 +00:00
ModuleSummaryIndex.cpp	[ThinLTO] Restructure AliasSummary to contain ValueInfo of Aliasee	2019-03-15 15:11:38 +00:00
Operator.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
OptBisect.cpp	Fix IR/Analysis layering issue with OptBisect	2019-02-28 04:00:55 +00:00
Pass.cpp	[IR] Refactor attribute methods in Function class (NFC)	2019-04-04 22:40:06 +00:00
PassInstrumentation.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
PassManager.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
PassRegistry.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
PassTimingInfo.cpp	[Legacy][TimePasses] allow -time-passes reporting into a custom stream	2019-03-22 23:11:08 +00:00
ProfileSummary.cpp	[PGO] Context sensitive PGO (part 2)	2019-02-28 19:55:07 +00:00
RemarkStreamer.cpp	Reland "[Remarks] Add -foptimization-record-passes to filter remark emission"	2019-03-12 21:22:27 +00:00
SafepointIRVerifier.cpp	SafepointIRVerifier port to new Pass Manager	2019-03-31 10:15:39 +00:00
Statepoint.cpp	[CallSite removal] Migrate the statepoint GC infrastructure to use the	2019-02-11 07:42:30 +00:00
SymbolTableListTraitsImpl.h	[ADT] Notify ilist traits about in-list transfers	2019-01-23 22:59:52 +00:00
Type.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
TypeFinder.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
Use.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
User.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
Value.cpp	[IR][ARM] Add function pointer alignment to datalayout	2019-03-08 10:44:06 +00:00
ValueSymbolTable.cpp	Update the file headers across all of the LLVM projects in the monorepo	2019-01-19 08:50:56 +00:00
Verifier.cpp	Add LLVM IR debug info support for Fortran COMMON blocks	2019-04-08 19:13:55 +00:00