/netbsd-current/external/apache2/llvm/dist/llvm/lib/Transforms/Utils/ |
H A D | Evaluator.cpp | 544 } else if (II->getIntrinsicID() == Intrinsic::assume) { 545 LLVM_DEBUG(dbgs() << "Skipping assume intrinsic.\n");
|
H A D | AssumeBundleBuilder.cpp | 30 "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 D | PromoteMemoryToRegister.cpp | 229 /// 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 D | rust-parse.c | 255 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 D | start.S | 329 ; 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 D | ExprEngineC.cpp | 1154 if (!state->assume(Constraint, true)) { 1160 state = state->assume(Constraint, false);
|
H A D | ExprEngine.cpp | 268 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 D | SValBuilder.cpp | 471 /// 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 D | bsd.sys.mk | 186 # also true for GCC 5, assume GCC 6 too.
|
H A D | bsd.prog.mk | 309 # Backwards compatibility with Makefiles that assume that bsd.prog.mk
|
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
H A D | MallocChecker.cpp | 654 /// 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 D | StdLibraryFunctionsChecker.cpp | 28 // 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 D | CheckObjCDealloc.cpp | 446 /// If a symbol escapes conservatively assume unseen code released it. 941 M.getState()->assume(Arg.castAs<DefinedOrUnknownSVal>());
|
H A D | NullabilityChecker.cpp | 514 // '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 D | cvs_acls.in | 353 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 D | cpufunc_asm_armv7.S | 39 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 D | ltconfig | 256 --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 D | x-java.c | 916 floating-point numbers. We assume a valid Java input. 1160 see this sequence, we have something to remember. We assume we are
|
H A D | x-csharp.c | 1597 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 D | Analysis.cpp | 532 // 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 D | LoopVectorizationLegality.cpp | 108 // 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 D | config.guess | 962 case 19: /* AMD Internal, assume future K10 */
|
/netbsd-current/external/gpl2/gettext/dist/ |
H A D | configure | 1286 --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 D | MemorySSA.cpp | 287 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 D | TargetTransformInfoImpl.h | 54 // 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
|