| /external/llvm/lib/Target/Sparc/MCTargetDesc/ |
| SparcMCTargetDesc.h | 25 // Defines symbolic names for Sparc registers. This defines a mapping from
31 // Defines symbolic names for the Sparc instructions.
|
| /external/llvm/lib/Target/XCore/MCTargetDesc/ |
| XCoreMCTargetDesc.h | 24 // Defines symbolic names for XCore registers. This defines a mapping from
30 // Defines symbolic names for the XCore instructions.
|
| /external/clang/test/Analysis/ |
| ptr-arith.c | 61 // Allow arithmetic on different symbolic regions.
74 // LHS is a non-symbolic value, RHS is NULL
80 // LHS is NULL, RHS is non-symbolic
81 // The same code is used for labels and non-symbolic values.
86 // LHS is a symbolic value, RHS is NULL
92 // LHS is NULL, RHS is a symbolic value
|
| misc-ps-eager-assume.m | 30 // the symbolic expression is stored to 'y' (which is a short instead of an
32 // symbolic expression is literally the branch condition.
35 // The cast to 'short' causes us to lose symbolic constraint.
49 // a symbolic value for this variable, but in the branch condition it is
51 // promotions of symbolic values, so this test case tests the logic in
69 // In this test case, the double '!' works fine with our symbolic constraints,
86 // This false positive occurred because the symbolic constraint on a short was
|
| casts.c | 70 // PR12511 and radar://11215362 - Test that we support SymCastExpr, which represents symbolic int to float cast.
81 if ((*((void**)&p)) == (void*)0) // Test that the cast to void preserves the symbolic region.
|
| /external/eigen/Eigen/src/UmfPackSupport/ |
| UmfPackSupport.h | 25 inline void umfpack_free_symbolic(void **Symbolic, double)
26 { umfpack_di_free_symbolic(Symbolic); *Symbolic = 0; }
28 inline void umfpack_free_symbolic(void **Symbolic, std::complex<double>)
29 { umfpack_zi_free_symbolic(Symbolic); *Symbolic = 0; }
32 const int Ap[], const int Ai[], const double Ax[], void **Symbolic,
35 return umfpack_di_symbolic(n_row,n_col,Ap,Ai,Ax,Symbolic,Control,Info);
39 const int Ap[], const int Ai[], const std::complex<double> Ax[], void **Symbolic,
42 return umfpack_zi_symbolic(n_row,n_col,Ap,Ai,&internal::real_ref(Ax[0]),0,Symbolic,Control,Info)
[all...] |
| /external/elfutils/libebl/ |
| ebl-hooks.h | 53 /* Return symbolic representation of relocation type. */
68 /* Return symbolic representation of segment type. */
71 /* Return symbolic representation of section type. */
92 /* Return symbolic representation of symbol type. */
95 /* Return symbolic representation of symbol binding. */
98 /* Return symbolic representation of dynamic tag. */
107 /* Return symbolic representation of OS ABI. */
|
| /external/clang/www/analyzer/ |
| checker_dev_manual.html | 21 <p>The static analyzer engine performs symbolic execution of the program and
80 The analyzer core performs symbolic execution of the given program. All the
81 input values are represented with symbolic values; further, the engine deduces
100 <li><tt>Environment</tt> - a mapping from source code expressions to symbolic
102 <li><tt>Store</tt> - a mapping from memory locations to symbolic values
103 <li><tt>GenericDataMap</tt> - constraints on symbolic values
118 During symbolic execution, <a href="http://clang.llvm.org/doxygen/classclang_1_1ento_1_1SVal.html">SVal</a>
121 integers, symbolic values, or memory locations (which are memory regions).
122 They are a discriminated union of "values", symbolic and otherwise.
123 If a value isn't symbolic, usually that means there is no symbolic
[all...] |
| /external/ceres-solver/internal/ceres/ |
| cxsparse.h | 45 // factorization with a known symbolic factorization. This features does not
55 // symbolic_factorization - The symbolic factorization of A. This is obtained
71 // Computes a symbolic factorization of A that can be used in SolveCholesky.
|
| /external/svox/pico/lib/ |
| picopam.h | 38 * - building a suitable symbolic feature vector set for the sentence
39 * - Feeding Decision Trees with the symbolic seqence vector set
44 * - While building the symbolic feature vector set for the sentence this data structure stores syllable relevant data.
|
| /ndk/sources/host-tools/sed-4.2.1/lib/ |
| lstat.c | 43 when FILE is a symbolic link. On Linux and Solaris 10 systems, the
48 If FILE has a trailing slash and specifies a symbolic link,
66 /* FILE refers to a symbolic link and the name ends with a slash.
|
| /external/chromium/chrome/browser/ui/cocoa/ |
| keystone_promote_postflight.sh | 50 # On the Mac, or at least on HFS+, symbolic link permissions are significant,
52 # permissions on any symbolic links.
|
| /external/grub/stage2/ |
| defs.h | 85 * after expanding symbolic links.
87 * MAXSYMLINKS defines the maximum number of symbolic links
|
| /external/llvm/lib/Target/AArch64/MCTargetDesc/ |
| AArch64MCTargetDesc.h | 51 // Defines symbolic names for AArch64 registers. This defines a mapping from
57 // Defines symbolic names for the AArch64 instructions.
|
| /external/llvm/lib/Target/ARM/MCTargetDesc/ |
| ARMMCTargetDesc.h | 63 // Defines symbolic names for ARM registers. This defines a mapping from
69 // Defines symbolic names for the ARM instructions.
|
| /external/llvm/lib/Target/Mips/MCTargetDesc/ |
| MipsMCTargetDesc.h | 60 // Defines symbolic names for Mips registers. This defines a mapping from
65 // Defines symbolic names for the Mips instructions.
|
| /external/llvm/lib/Target/PowerPC/MCTargetDesc/ |
| PPCMCTargetDesc.h | 54 // Defines symbolic names for PowerPC registers. This defines a mapping from
60 // Defines symbolic names for the PowerPC instructions.
|
| /external/guava/ |
| README.maven | 13 or other Unix platforms which support symbolic linking,
|
| /external/kernel-headers/original/uapi/linux/ |
| auxvec.h | 6 /* Symbolic values for the entries in the auxiliary table
|
| /external/libpng/ |
| KNOWNBUG | 10 fails to install symbolic links
|
| /external/linux-tools-perf/ |
| common-cmds.h | 19 {"list", "List all symbolic event types"},
|
| /external/llvm/include/llvm/MC/ |
| MCDisassembler.h | 87 // Hooks for symbolic disassembly via the public 'C' interface.
89 // The function to get the symbolic information for operands.
93 // The pointer to the block of symbolic information for above call back.
96 // immediate operands when there is symbolic information.
|
| /external/llvm/test/Feature/ |
| basictest.ll | 5 ; Test "stripped" format where nothing is symbolic... this is how the bytecode
|
| /external/llvm/test/Integer/ |
| basictest_bt.ll | 6 ; Test "stripped" format where nothing is symbolic... this is how the bytecode
|
| /external/llvm/unittests/ExecutionEngine/MCJIT/ |
| Makefile | 17 # Permit these tests to use the MCJIT's symbolic lookup.
|
