Nikita Popov 98c50a3578 [ConstantRange] Add makeExactNoWrapRegion() ...

I got confused on the terminology, and the change in D60598 was not
correct. I was thinking of "exact" in terms of the result being
non-approximate. However, the relevant distinction here is whether
the result is

 * Largest range such that:
   Forall Y in Other: Forall X in Result: X BinOp Y does not wrap.
   (makeGuaranteedNoWrapRegion)
 * Smallest range such that:
   Forall Y in Other: Forall X not in Result: X BinOp Y wraps.
   (A hypothetical makeAllowedNoWrapRegion)
 * Both. (makeExactNoWrapRegion)

I'm adding a separate makeExactNoWrapRegion method accepting a
single APInt (same as makeExactICmpRegion) and using it in the
places where the guarantee is relevant.

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

llvm-svn: 359402

2019-04-28 15:40:56 +00:00

..

AsmWriterTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

AttributesTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

BasicBlockTest.cpp

[opaque pointer types] Pass function types to CallInst creation.

2019-02-01 20:43:25 +00:00

CFGBuilder.cpp

[opaque pointer types] Add a FunctionCallee wrapper type, and use it.

2019-02-01 02:28:03 +00:00

CFGBuilder.h

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

CMakeLists.txt

[TimePasses] allow -time-passes reporting into a custom stream

2019-03-15 22:15:23 +00:00

ConstantRangeTest.cpp

[ConstantRange] Add makeExactNoWrapRegion()

2019-04-28 15:40:56 +00:00

ConstantsTest.cpp

[IR][ARM] Add function pointer alignment to datalayout

2019-03-08 10:44:06 +00:00

DataLayoutTest.cpp

[IR][ARM] Add function pointer alignment to datalayout

2019-03-08 10:44:06 +00:00

DebugInfoTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

DebugTypeODRUniquingTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

DominatorTreeBatchUpdatesTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

DominatorTreeTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

FunctionTest.cpp

[IR][ARM] Add function pointer alignment to datalayout

2019-03-08 10:44:06 +00:00

InstructionsTest.cpp

PHI nodes are not FPMathOperator s

2019-03-05 01:15:08 +00:00

IntrinsicsTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

IRBuilderTest.cpp

Test commit access [NFC]

2019-04-18 08:57:58 +00:00

LegacyPassManagerTest.cpp

Fix IR/Analysis layering issue with OptBisect

2019-02-28 04:00:55 +00:00

ManglerTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

MDBuilderTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

MetadataTest.cpp

Add optional arg to profile count getters to filter

2019-04-24 19:51:16 +00:00

ModuleTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

PassBuilderCallbacksTest.cpp

[NewPassManager] Adding pass tuning options: loop vectorize.

2019-04-19 16:11:59 +00:00

PassManagerTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

PatternMatch.cpp

[opaque pointer types] Pass value type to LoadInst creation.

2019-02-01 20:44:24 +00:00

TimePassesTest.cpp

[Legacy][TimePasses] allow -time-passes reporting into a custom stream

2019-03-22 23:11:08 +00:00

TypesTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

UserTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

UseTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

ValueHandleTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

ValueMapTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

ValueTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00

VerifierTest.cpp

[opaque pointer types] Add a FunctionCallee wrapper type, and use it.

2019-02-01 02:28:03 +00:00

WaymarkTest.cpp

Update the file headers across all of the LLVM projects in the monorepo

2019-01-19 08:50:56 +00:00