HomeSort by relevance Sort by last modified time
    Searched refs:assume (Results 1 - 25 of 440) sorted by null

1 2 3 4 5 6 7 8 91011>>

  /art/runtime/interpreter/mterp/arm/
op_float_to_long.S 21 mov r0, #0xffffffff @ assume maxlong for lsw
22 mov r1, #0x7fffffff @ assume maxlong for msw
op_double_to_long.S 23 mov r0, #0xffffffff @ assume maxlong for lsw
24 mov r1, #0x7fffffff @ assume maxlong for msw
  /external/cblas/
Makefile.ALPHA 40 CFLAGS = -std1 -I/usr/include -assume aligned_objects -DADD_
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 67 virtual ProgramStateRef assume(ProgramStateRef state,
76 ProgramStateRef StTrue = assume(State, Cond, true);
86 assert(assume(State, Cond, false) && "System is over constrained.");
91 ProgramStateRef StFalse = assume(State, Cond, false);
  /external/llvm/lib/Analysis/
AssumptionCache.cpp 1 //===- AssumptionCache.cpp - Cache finding @llvm.assume calls -------------===//
10 // This file contains a pass that keeps track of @llvm.assume intrinsics in
31 // Go through all instructions in all blocks, add all calls to @llvm.assume
35 if (match(&II, m_Intrinsic<Intrinsic::assume>()))
43 assert(match(CI, m_Intrinsic<Intrinsic::assume>()) &&
44 "Registered call does not call @llvm.assume");
55 "Cannot register @llvm.assume call not in a basic block");
57 "Cannot register @llvm.assume call not in this function");
69 assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) &&
70 "Cached something other than a call to @llvm.assume!");
    [all...]
TypeMetadataUtils.cpp 70 // Find llvm.assume intrinsics for this llvm.type.test call.
75 if (F && F->getIntrinsicID() == Intrinsic::assume)
  /external/clang/test/Analysis/inlining/
inline-defensive-checks.c 115 void idcZero(int assume) {
116 if (assume)
  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h 36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
SimpleConstraintManager.cpp 68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager
84 return assume(state, Cond.castAs<NonLoc>(), Assumption);
87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager
128 llvm_unreachable("'Assume' not implemented for this NonLoc");
188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
  /external/clang/tools/clang-format/
clang-format.py 81 command.extend(['-assume-filename', vim.current.buffer.name])
  /external/clang/lib/StaticAnalyzer/Checkers/
VLASizeChecker.cpp 119 std::tie(stateNotZero, stateZero) = state->assume(sizeD);
126 // From this point on, assume that the size is not zero.
166 // Finally, assume that the array's extent matches the given size.
173 state = state->assume(sizeIsKnown, true);
175 // Assume should not fail at this point.
BuiltinFunctionChecker.cpp 74 state = state->assume(extentMatchesSizeArg, true);
ObjCAtSyncChecker.cpp 63 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
83 // under-constrained to be null or non-null, assume it is non-null
PthreadLockChecker.cpp 165 std::tie(lockFail, lockSucc) = state->assume(retVal);
168 std::tie(lockSucc, lockFail) = state->assume(retVal);
177 // Assume that the return value was 0.
178 lockSucc = state->assume(retVal, false);
ReturnUndefChecker.cpp 62 // is not available, but the return value expression has 'void' type, assume
106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
109 // Going forward, assume the location is non-null.
ArrayBoundCheckerV2.cpp 124 state->assume(*lowerBoundToCheck);
132 // Otherwise, assume the constraint of the lower bound.
156 state->assume(*upperboundToCheck);
  /prebuilts/go/darwin-x86/src/cmd/go/
context.go 18 Compiler string `json:",omitempty"` // compiler to assume when computing target paths
  /prebuilts/go/linux-x86/src/cmd/go/
context.go 18 Compiler string `json:",omitempty"` // compiler to assume when computing target paths
  /device/linaro/bootloader/edk2/ArmPlatformPkg/Sec/Arm/
SecEntryPoint.asm 62 // If we are not doing a cold boot in this case we should assume the Initial Memory to be already initialized
73 // If we are not doing a cold boot in this case we should assume the Initial Memory to be already initialized
  /test/vts/tools/vts-tradefed/etc/
vts-tradefed_win.bat 42 :: assume built on Linux; running on Windows.
49 :: assume in an extracted VTS installation package
  /external/curl/lib/
parsedate.c 267 enum assume { enum
343 enum assume dignext = DATE_MDAY;
  /prebuilts/go/darwin-x86/misc/cgo/test/
buildid_linux.go 46 // is what we assume here.
  /prebuilts/go/darwin-x86/src/strconv/
doc.go 15 // These assume decimal and the Go int type.
  /prebuilts/go/linux-x86/misc/cgo/test/
buildid_linux.go 46 // is what we assume here.
  /prebuilts/go/linux-x86/src/strconv/
doc.go 15 // These assume decimal and the Go int type.

Completed in 1427 milliseconds

1 2 3 4 5 6 7 8 91011>>