Searched refs:assume (Results 76 - 100 of 336) sorted by relevance

1234567891011>>

/netbsd-current/external/apache2/llvm/dist/llvm/lib/Transforms/Utils/
H A DEvaluator.cpp544 } else if (II->getIntrinsicID() == Intrinsic::assume) {
545 LLVM_DEBUG(dbgs() << "Skipping assume intrinsic.\n");
H A DAssumeBundleBuilder.cpp30 "assume-preserve-all", cl::init(false), cl::Hidden,
40 #define DEBUG_TYPE "assume-builder"
42 STATISTIC(NumAssumeBuilt, "Number of assume built by the assume builder");
43 STATISTIC(NumBundlesInAssumes, "Total number of Bundles in the assume built");
45 "Number of assume merged by the assume simplify pass");
47 "Number of assume removed by the assume simplify pass");
49 DEBUG_COUNTER(BuildAssumeCounter, "assume
[all...]
H A DPromoteMemoryToRegister.cpp229 /// A cache of @llvm.assume intrinsics used by SimplifyInstruction.
300 /// Given a LoadInst LI this adds assume(LI != null) after it.
303 Intrinsic::getDeclaration(LI->getModule(), Intrinsic::assume);
406 // it with an assume.
502 // information when we erase it. So we preserve it with an assume.
960 // it with an assume.
/netbsd-current/external/gpl3/gdb/dist/gdb/
H A Drust-parse.c255 void assume (int type) function in struct:rust_parser
1131 assume ('(');
1161 assume (')');
1171 assume ('[');
1246 assume ('{');
1509 assume (KW_SIZEOF);
1522 assume ('&');
1535 assume ('.');
1578 assume ('[');
1591 assume ('(');
[all...]
/netbsd-current/sys/arch/hppa/stand/xxboot/
H A Dstart.S329 ; 36byte IODC buffer (assume %sp was 64byte aligned)
401 ; 64byte IODC buffer (assume %sp was 64byte aligned)
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp1154 if (!state->assume(Constraint, true)) {
1160 state = state->assume(Constraint, false);
H A DExprEngine.cpp268 if (ProgramStateRef newState = state->assume(*Constraint, true))
284 state = state->assume(*LV, true);
299 state = state->assume(*LV, true);
2211 return State->assume(V);
2492 // Now "assume" that the case doesn't match. Add this state
2709 // We instead treat these as lvalues and assume that they will decay to
3063 std::tie(StateTrue, StateFalse) = state->assume(*SEV);
3065 // First assume that the condition is true.
3072 // Next, assume that the condition is false.
H A DSValBuilder.cpp471 /// and restrict qualifiers. Also, assume that all types are similar to 'void'.
532 std::tie(IsNotTruncated, IsTruncated) = state->assume(CompVal);
/netbsd-current/share/mk/
H A Dbsd.sys.mk186 # also true for GCC 5, assume GCC 6 too.
H A Dbsd.prog.mk309 # Backwards compatibility with Makefiles that assume that bsd.prog.mk
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp654 /// We assume that pointers do not escape through calls to system functions
992 std::tie(TrueState, FalseState) = State->assume(MaskedFlags);
1333 State->assume(SvalBuilder.evalEQ(State, *DefArgVal, Zero));
1438 // If the first selector piece is one of the names below, assume that the
1708 std::tie(notNullState, nullState) = State->assume(location);
1850 // valid. If this is the case, lets assume that the allocation family of the
2397 std::tie(StatePtrIsNull, StatePtrNotNull) = State->assume(PtrEQ);
2399 std::tie(StateSizeIsZero, StateSizeNotZero) = State->assume(SizeZero);
2400 // We only assume exceptional states if they are definitely true; if the
2401 // state is under-constrained, assume regula
[all...]
H A DStdLibraryFunctionsChecker.cpp28 // we assume that such branch is an important separate path through the program,
269 return State->assume(L, CannotBeNull);
361 return State->assume(*F, true);
742 // Then we assume that the value is not in [-inf, A - 1],
799 State = State->assume(*CompV, true);
H A DCheckObjCDealloc.cpp446 /// If a symbol escapes conservatively assume unseen code released it.
941 M.getState()->assume(Arg.castAs<DefinedOrUnknownSVal>());
H A DNullabilityChecker.cpp514 // 'nonnull', we want to trust the user on that and assume that it is is indeed
553 if (ProgramStateRef NewState = State->assume(*StoredVal, true)) {
828 // For super and super class receivers we assume that the receiver is
835 // If the receiver is constrained to be nonnull, assume that it is nonnull
/netbsd-current/external/gpl2/xcvs/dist/contrib/
H A Dcvs_acls.in353 and branch combination is "allowed" or "denied." The script will assume
420 If neither, then assume the 'cvsacl' file was set up in error and
/netbsd-current/sys/arch/arm/arm/
H A Dcpufunc_asm_armv7.S39 b irq_idle_entry @ assume we got an interrupt
208 * We assume that the code here can never be out of sync with the
314 * We assume that the code here can never be out of sync with the
/netbsd-current/external/bsd/nvi/dist/dist/
H A Dltconfig256 --with-gcc assume that the GNU C compiler will be used
257 --with-gnu-ld assume that the C compiler uses the GNU linker
750 # create non-PIC objects. So, if there were any warnings, we assume that
1068 # When not using gcc, we currently assume that we are using
1276 # When not using gcc, we currently assume that we are using
/netbsd-current/external/gpl2/gettext/dist/gettext-tools/src/
H A Dx-java.c916 floating-point numbers. We assume a valid Java input.
1160 see this sequence, we have something to remember. We assume we are
H A Dx-csharp.c1597 floating-point numbers. We assume a valid C# input.
1849 see this sequence, we have something to remember. We assume we are
/netbsd-current/external/apache2/llvm/dist/llvm/lib/CodeGen/
H A DAnalysis.cpp532 // A lifetime end, assume or noalias.decl intrinsic should not stop tail
536 II->getIntrinsicID() == Intrinsic::assume ||
/netbsd-current/external/apache2/llvm/dist/llvm/lib/Transforms/Vectorize/
H A DLoopVectorizationLegality.cpp108 // property, then assume it concerns only a fixed-width UserVF.
928 // We can predicate blocks with calls to assume, as long as we drop them in
930 if (match(&I, m_Intrinsic<Intrinsic::assume>())) {
/netbsd-current/external/lgpl3/gmp/dist/
H A Dconfig.guess962 case 19: /* AMD Internal, assume future K10 */
/netbsd-current/external/gpl2/gettext/dist/
H A Dconfigure1286 --with-gnu-ld assume the C compiler uses GNU ld [default=no]
1290 --with-gnu-ld assume the C compiler uses GNU ld default=no
/netbsd-current/external/apache2/llvm/dist/llvm/lib/Analysis/
H A DMemorySSA.cpp287 case Intrinsic::assume:
477 // If ClobberAt is a MemoryPhi, we can assume something above it acted as a
1741 // The assume intrinsic has a control dependency which we model by claiming
1746 // assume's control dependency.
1751 case Intrinsic::assume:
/netbsd-current/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
H A DTargetTransformInfoImpl.h54 // In the basic model, we just assume that all-constant GEPs will be folded
240 // By default, assume nontemporal memory stores are available for stores
247 // By default, assume nontemporal memory loads are available for loads that
576 case Intrinsic::assume:
881 // We assume that the cost of Scalar GEP with constant index and the

Completed in 500 milliseconds

1234567891011>>