| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPITypes.h | 1 //===-- MPITypes.h - Functionality to model MPI concepts --------*- C++ -*-===//
11 /// This file provides definitions to model concepts of MPI. The mpi::Request
12 /// class defines a wrapper class, in order to make MPI requests trackable for
26 namespace mpi { namespace in namespace:clang::ento
45 // The RequestMap stores MPI requests which are identified by their memory
46 // region. Requests are used in MPI to complete nonblocking operations with wait
51 clang::ento::mpi::Request>
54 } // end of namespace: mpi
58 struct ProgramStateTrait<mpi::RequestMap
[all...] |
| MPIBugReporter.cpp | 12 /// case of MPI related bugs, detected by path-sensitive analysis.
22 namespace mpi { namespace in namespace:clang::ento
25 const CallEvent &MPICallEvent, const ento::mpi::Request &Req,
51 const ento::mpi::Request &Req, const MemRegion *const RequestRegion,
113 } // end of namespace: mpi
|
| MPIBugReporter.h | 12 /// case of MPI related bugs, detected by path-sensitive analysis.
24 namespace mpi { namespace in namespace:clang::ento
38 /// \param MPICallEvent MPI call that caused the double nonblocking
74 const std::string MPIError = "MPI Error";
107 } // end of namespace: mpi
|
| MPIChecker.h | 1 //===-- MPIChecker.h - Verify MPI API usage- --------------------*- C++ -*-===//
11 /// This file defines the main class of MPI-Checker which serves as an entry
14 /// MPI API.
29 namespace mpi { namespace in namespace:clang::ento
59 /// \param PreCallEvent MPI call to verify
68 /// \param PreCallEvent MPI call to verify
86 /// \param CE MPI wait call using the request(s)
95 /// \param CE MPI wait call
103 } // end of namespace: mpi
|
| MPIFunctionClassifier.h | 1 //===-- MPIFunctionClassifier.h - classifies MPI functions ----*- C++ -*-===//
11 /// This file defines functionality to identify and classify MPI functions.
22 namespace mpi { namespace in namespace:clang::ento
57 // The containers are used, to enable classification of MPI-functions during
93 } // end of namespace: mpi
|
| MPIChecker.cpp | 11 /// This file defines the main class of MPI-Checker which serves as an entry
14 /// MPI API.
23 namespace mpi { namespace in namespace:clang::ento
75 static CheckerProgramPointTag Tag("MPI-Checker", "UnmatchedWait");
109 static CheckerProgramPointTag Tag("MPI-Checker", "MissingWait");
183 } // end of namespace: mpi
189 MGR.registerChecker<clang::ento::mpi::MPIChecker>();
|
| MPIFunctionClassifier.cpp | 1 //===-- MPIFunctionClassifier.cpp - classifies MPI functions ----*- C++ -*-===//
11 /// This file defines functionality to identify and classify MPI functions.
20 namespace mpi { namespace in namespace:clang::ento
282 } // end of namespace: mpi
|
| /external/clang/test/Sema/ |
| warn-type-safety.cpp | 11 extern struct ompi_predefined_datatype_t ompi_mpi_float __attribute__(( type_tag_for_datatype(mpi,float) ));
12 extern struct ompi_predefined_datatype_t ompi_mpi_int __attribute__(( type_tag_for_datatype(mpi,int) ));
13 extern struct ompi_predefined_datatype_t ompi_mpi_null __attribute__(( type_tag_for_datatype(mpi,void,must_be_null) ));
25 __attribute__(( pointer_with_type_tag(mpi,5,6) )); // expected-error {{attribute parameter 2 is out of bounds}}
28 __attribute__(( pointer_with_type_tag(mpi,2,5) )); // expected-error {{attribute parameter 3 is out of bounds}}
31 __attribute__(( pointer_with_type_tag(mpi,1,5) )); // expected-error {{attribute is invalid for the implicit this argument}}
34 __attribute__(( pointer_with_type_tag(mpi,2,1) )); // expected-error {{attribute is invalid for the implicit this argument}}
37 __attribute__(( pointer_with_type_tag(mpi,2,4) )); // no-error
43 __attribute__(( pointer_with_type_tag(mpi,a,5) )); // expected-error {{attribute requires parameter 2 to be an integer constant}}
54 c->MPI_Send(int_buf, 1, MPI_FLOAT); // expected-warning {{argument type 'int *' doesn't match specified 'mpi' type tag that requires 'float *'}
[all...] |
| warn-type-safety.c | 13 __attribute__(( pointer_with_type_tag(mpi,0,7) )); // expected-error {{attribute parameter 2 is out of bounds}}
16 __attribute__(( pointer_with_type_tag(mpi,3,7) )); // expected-error {{attribute parameter 2 is out of bounds}}
19 __attribute__(( pointer_with_type_tag(mpi,1,0) )); // expected-error {{attribute parameter 3 is out of bounds}}
22 __attribute__(( pointer_with_type_tag(mpi,1,3) )); // expected-error {{attribute parameter 3 is out of bounds}}
25 __attribute__(( pointer_with_type_tag(mpi,0x8000000000000001ULL,1) )); // expected-error {{attribute parameter 2 is out of bounds}}
30 __attribute__(( pointer_with_type_tag(mpi,x,2) )); // expected-error {{attribute requires parameter 2 to be an integer constant}}
33 __attribute__(( pointer_with_type_tag(mpi,1,x) )); // expected-error {{attribute requires parameter 3 to be an integer constant}}
35 int wrong9 __attribute__(( pointer_with_type_tag(mpi,1,2) )); // expected-error {{attribute only applies to functions and methods}}
38 __attribute__(( pointer_with_type_tag(mpi,1,2) )); // expected-error {{'pointer_with_type_tag' attribute only applies to pointer arguments}}
45 __attribute__(( type_tag_for_datatype(mpi,1,2) )); // expected-error {{expected a type}
[all...] |
| warn-type-safety-mpi-hdf5.c | 19 //===--- mpi.h mock -------------------------------------------------------===//
32 __attribute__(( pointer_with_type_tag(mpi,1,3) ));
36 __attribute__(( pointer_with_type_tag(mpi,1,3), pointer_with_type_tag(mpi,4,6) ));
39 // OpenMPI and LAM/MPI-style datatype definitions
55 extern struct ompi_predefined_datatype_t ompi_mpi_datatype_null __attribute__(( type_tag_for_datatype(mpi,void,must_be_null) ));
56 extern struct ompi_predefined_datatype_t ompi_mpi_float __attribute__(( type_tag_for_datatype(mpi,float) ));
57 extern struct ompi_predefined_datatype_t ompi_mpi_int __attribute__(( type_tag_for_datatype(mpi,int) ));
58 extern struct ompi_predefined_datatype_t ompi_mpi_long __attribute__(( type_tag_for_datatype(mpi,long) ));
59 extern struct ompi_predefined_datatype_t ompi_mpi_long_long_int __attribute__(( type_tag_for_datatype(mpi,long long int) ))
[all...] |
| 128bitint.c | 22 void MPI_Send(void *buf, int datatype) __attribute__(( pointer_with_type_tag(mpi,1,2) ));
24 static const int mpi_int __attribute__(( type_tag_for_datatype(mpi,int) )) = 10;
|
| /external/tensorflow/tensorflow/contrib/mpi_collectives/ |
| mpi_ops_test.py | 27 import tensorflow.contrib.mpi_collectives as mpi
31 """Get MPI rank and size from environment variables and return them as a
34 Most MPI implementations have an `mpirun` or `mpiexec` command that will
35 run an MPI executable and set up all communication necessary between the
39 to ensure that `mpi.rank()` and `mpi.size()` return the expected values.
41 Since MPI is just a standard, not an implementation, implementations
47 If this is not running under MPI, then defaults of rank zero and size one
67 Tests for MPI ops in tensorflow.contrib.mpi_collectives.
71 """Test that the rank returned by mpi.rank() is correct.""
[all...] |
| mpi_allgather_test.py | 24 import tensorflow.contrib.mpi_collectives as mpi
61 # Get MPI rank
97 all_gather = mpi.allreduce(to_gather[my_rank], average_allgather)
103 # MPI Session to test allgather.
104 with mpi.Session(config=config) as sess:
|
| ring.cc | 24 namespace mpi { namespace in namespace:tensorflow::contrib
76 } // namespace mpi
|
| ring.cu.cc | 26 namespace mpi { namespace in namespace:tensorflow::contrib
113 } // namespace mpi
|
| mpi_allreduce_test.py | 23 import tensorflow.contrib.mpi_collectives as mpi
54 # Get MPI rank
81 stage_input = mpi.allreduce(inter_output,
108 # MPI Session to test allreduce
109 with mpi.Session(config=config) as sess:
|
| ring.h | 32 // Needed to avoid header issues with C++-supporting MPI implementations
34 #include "third_party/mpi/mpi.h"
40 namespace mpi { namespace in namespace:tensorflow::contrib
45 // Convert from templated types to values we can pass to MPI.
55 return errors::Unknown("MPI operation failed unexpectedly."); \
79 * Assumes that all MPI processes are doing an allreduce of the same tensor,
158 // Acquire MPI size and rank
257 // Acquire MPI size and rank
320 } // namespace mpi
[all...] |
| mpi_ops.cc | 38 #include "third_party/mpi/mpi.h"
43 * MPI Allreduce and Allgather Ops for TensorFlow.
50 * implements MPI ops for allgather and allreduce, which do bandwidth-optimal
52 * communication libraries through the MPI implementation.
55 * RingAllreduce(). The background thread which facilitates MPI operations is
56 * run in BackgroundThreadLoop(). The provided MPI ops are:
58 * Initialize MPI on a given device (CPU or GPU).
61 * Get the number of MPI processes in the global communicator.
63 * Get the rank of the current MPI process in the global communicator
84 namespace mpi { namespace in namespace:tensorflow::contrib
[all...] |
| /external/apache-xml/src/main/java/org/apache/xpath/axes/ |
| WalkerFactory.java | 809 * @param mpi The MatchPatternIterator to which the steps will be attached.
820 MatchPatternIterator mpi, Compiler compiler, int stepOpCodePos,
836 step = createDefaultStepPattern(compiler, stepOpCodePos, mpi, analysis,
[all...] |
| /external/boringssl/src/crypto/fipsmodule/bn/ |
| bn_test.cc | 1207 const char *mpi; member in struct:MPITest
[all...] |
