| /external/tensorflow/tensorflow/compiler/xla/service/ |
| D | hlo_ordering_test.cc | 186 TF_ASSERT_OK_AND_ASSIGN(auto dataflow, in TEST_F()
190 EXPECT_TRUE(ordering.IsDefinedBefore(dataflow->GetValueDefinedAt(param), in TEST_F()
191 dataflow->GetValueDefinedAt(constant))); in TEST_F()
192 EXPECT_TRUE(!ordering.IsDefinedBefore(dataflow->GetValueDefinedAt(constant), in TEST_F()
193 dataflow->GetValueDefinedAt(param))); in TEST_F()
238 TF_ASSERT_OK_AND_ASSIGN(auto dataflow, in TEST_F()
244 EXPECT_TRUE(ordering.IsDefinedBefore(dataflow->GetValueDefinedAt(constant), in TEST_F()
245 dataflow->GetValueDefinedAt(xla_while))); in TEST_F()
247 dataflow->GetValueDefinedAt(constant), in TEST_F()
248 dataflow->GetValueDefinedAt(xla_while), *dataflow)); in TEST_F()
[all …]
|
| D | hlo_alias_analysis.cc | 50 const HloDataflowAnalysis& dataflow, in ComputeInputOutputAliasedValues() argument
52 const HloModule& module = dataflow.module(); in ComputeInputOutputAliasedValues()
65 &dataflow.GetUniqueValueAt(entry_computation.parameter_instruction( in ComputeInputOutputAliasedValues()
74 const HloDataflowAnalysis& dataflow, in ComputeWhileAliasedValues() argument
82 dataflow.GetUniqueValueAt(use.instruction, use.operand_index); in ComputeWhileAliasedValues()
93 dataflow.call_graph().GetNode(computation); in ComputeWhileAliasedValues()
99 const HloValue& while_value = dataflow.GetUniqueValueAt( in ComputeWhileAliasedValues()
114 dataflow.call_graph().GetNode(computation); in ComputeWhileAliasedValues()
124 dataflow.GetUniqueValueAt(callsite.instruction(), position.index); in ComputeWhileAliasedValues()
137 const HloDataflowAnalysis& dataflow, in ComputeConditionalAliasedValues() argument
[all …]
|
| D | loop_schedule_linearizer.cc | 72 HloDataflowAnalysis& dataflow = alias_analysis.dataflow_analysis(); in AddControlEdgesForLoopWrites() local
92 if (dataflow.GetValueSet(root, index).values().size() > 1 || in AddControlEdgesForLoopWrites()
93 dataflow.GetValueSet(input, index).values().size() > 1) { in AddControlEdgesForLoopWrites()
97 HloValue& value_at_root = dataflow.GetUniqueValueAt(root, index); in AddControlEdgesForLoopWrites()
98 HloValue& value_at_input = dataflow.GetUniqueValueAt(input, index); in AddControlEdgesForLoopWrites()
|
| D | hlo_ordering.cc | 215 const HloDataflowAnalysis& dataflow, in UsesBeforeValueDefinition() argument
229 dataflow.CanShareOperandBufferWithUser( in UsesBeforeValueDefinition()
352 if (!dataflow.ValueIsDefinedAt( in UsesBeforeValueDefinition()
390 const HloValue& a, const HloValue& b, const HloDataflowAnalysis& dataflow, in LiveRangeStrictlyBefore() argument
421 if (dataflow.DoesNotUseOperandBuffer(a.instruction(), a.index(), in LiveRangeStrictlyBefore()
427 if (!UsesBeforeValueDefinition(uses, b, dataflow, in LiveRangeStrictlyBefore()
443 const HloDataflowAnalysis& dataflow) const { in MayInterfere()
445 return !LiveRangeStrictlyBefore(a, b, dataflow) && in MayInterfere()
446 !LiveRangeStrictlyBefore(b, a, dataflow); in MayInterfere()
|
| D | hlo_ordering.h | 83 const HloDataflowAnalysis& dataflow,
88 const HloDataflowAnalysis& dataflow) const;
93 const HloValue& a, const HloValue& b, const HloDataflowAnalysis& dataflow,
|
| /external/nullaway/nullaway/src/main/java/com/uber/nullaway/dataflow/ |
| D | AccessPathNullnessPropagation.java | 16 package com.uber.nullaway.dataflow;
46 import org.checkerframework.nullaway.dataflow.analysis.ConditionalTransferResult;
47 import org.checkerframework.nullaway.dataflow.analysis.ForwardTransferFunction;
48 import org.checkerframework.nullaway.dataflow.analysis.RegularTransferResult;
49 import org.checkerframework.nullaway.dataflow.analysis.TransferInput;
50 import org.checkerframework.nullaway.dataflow.analysis.TransferResult;
51 import org.checkerframework.nullaway.dataflow.cfg.UnderlyingAST;
52 import org.checkerframework.nullaway.dataflow.cfg.node.ArrayAccessNode;
53 import org.checkerframework.nullaway.dataflow.cfg.node.ArrayCreationNode;
54 import org.checkerframework.nullaway.dataflow.cfg.node.ArrayTypeNode;
[all …]
|
| D | DataFlow.java | 19 package com.uber.nullaway.dataflow;
42 import org.checkerframework.nullaway.dataflow.analysis.AbstractValue;
43 import org.checkerframework.nullaway.dataflow.analysis.Analysis;
44 import org.checkerframework.nullaway.dataflow.analysis.AnalysisResult;
45 import org.checkerframework.nullaway.dataflow.analysis.ForwardAnalysisImpl;
46 import org.checkerframework.nullaway.dataflow.analysis.ForwardTransferFunction;
47 import org.checkerframework.nullaway.dataflow.analysis.Store;
48 import org.checkerframework.nullaway.dataflow.analysis.TransferFunction;
49 import org.checkerframework.nullaway.dataflow.cfg.ControlFlowGraph;
50 import org.checkerframework.nullaway.dataflow.cfg.UnderlyingAST;
[all …]
|
| D | NullnessStore.java | 17 package com.uber.nullaway.dataflow;
25 import com.uber.nullaway.dataflow.AccessPath.IteratorContentsKey;
34 import org.checkerframework.nullaway.dataflow.analysis.Store;
35 import org.checkerframework.nullaway.dataflow.cfg.node.FieldAccessNode;
36 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
37 import org.checkerframework.nullaway.dataflow.cfg.node.MethodInvocationNode;
38 import org.checkerframework.nullaway.dataflow.cfg.visualize.CFGVisualizer;
39 import org.checkerframework.nullaway.dataflow.expression.JavaExpression;
|
| D | AccessPath.java | 23 package com.uber.nullaway.dataflow;
45 import org.checkerframework.nullaway.dataflow.cfg.node.FieldAccessNode;
46 import org.checkerframework.nullaway.dataflow.cfg.node.IntegerLiteralNode;
47 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
48 import org.checkerframework.nullaway.dataflow.cfg.node.LongLiteralNode;
49 import org.checkerframework.nullaway.dataflow.cfg.node.MethodAccessNode;
50 import org.checkerframework.nullaway.dataflow.cfg.node.MethodInvocationNode;
51 import org.checkerframework.nullaway.dataflow.cfg.node.Node;
52 import org.checkerframework.nullaway.dataflow.cfg.node.StringLiteralNode;
53 import org.checkerframework.nullaway.dataflow.cfg.node.SuperNode;
[all …]
|
| D | NullnessStoreInitializer.java | 1 package com.uber.nullaway.dataflow;
16 import org.checkerframework.nullaway.dataflow.cfg.UnderlyingAST;
17 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
|
| D | AccessPathNullnessAnalysis.java | 19 package com.uber.nullaway.dataflow;
39 import org.checkerframework.nullaway.dataflow.analysis.AnalysisResult;
40 import org.checkerframework.nullaway.dataflow.cfg.node.MethodAccessNode;
41 import org.checkerframework.nullaway.dataflow.cfg.node.MethodInvocationNode;
42 import org.checkerframework.nullaway.dataflow.cfg.node.Node;
|
| /external/guava/guava/javadoc-link/checker-framework/ |
| D | package-list | 69 org.checkerframework.dataflow.analysis
70 org.checkerframework.dataflow.cfg
71 org.checkerframework.dataflow.cfg.block
72 org.checkerframework.dataflow.cfg.node
73 org.checkerframework.dataflow.cfg.playground
74 org.checkerframework.dataflow.constantpropagation
75 org.checkerframework.dataflow.qual
76 org.checkerframework.dataflow.util
|
| /external/guava/android/guava/javadoc-link/checker-framework/ |
| D | package-list | 69 org.checkerframework.dataflow.analysis
70 org.checkerframework.dataflow.cfg
71 org.checkerframework.dataflow.cfg.block
72 org.checkerframework.dataflow.cfg.node
73 org.checkerframework.dataflow.cfg.playground
74 org.checkerframework.dataflow.constantpropagation
75 org.checkerframework.dataflow.qual
76 org.checkerframework.dataflow.util
|
| /external/nullaway/nullaway/src/main/java/com/uber/nullaway/handlers/ |
| D | BaseNoOpHandler.java | 39 import com.uber.nullaway.dataflow.AccessPath;
40 import com.uber.nullaway.dataflow.AccessPathNullnessPropagation;
41 import com.uber.nullaway.dataflow.NullnessStore;
44 import org.checkerframework.nullaway.dataflow.cfg.UnderlyingAST;
45 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
46 import org.checkerframework.nullaway.dataflow.cfg.node.MethodInvocationNode;
|
| D | Handler.java | 40 import com.uber.nullaway.dataflow.AccessPath;
41 import com.uber.nullaway.dataflow.AccessPathNullnessPropagation;
42 import com.uber.nullaway.dataflow.NullnessStore;
45 import org.checkerframework.nullaway.dataflow.cfg.UnderlyingAST;
46 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
47 import org.checkerframework.nullaway.dataflow.cfg.node.MethodInvocationNode;
|
| D | AssertionHandler.java | 31 import com.uber.nullaway.dataflow.AccessPath;
32 import com.uber.nullaway.dataflow.AccessPathNullnessPropagation;
34 import org.checkerframework.nullaway.dataflow.cfg.node.MethodInvocationNode;
35 import org.checkerframework.nullaway.dataflow.cfg.node.Node;
|
| D | CompositeHandler.java | 40 import com.uber.nullaway.dataflow.AccessPath;
41 import com.uber.nullaway.dataflow.AccessPathNullnessPropagation;
42 import com.uber.nullaway.dataflow.NullnessStore;
45 import org.checkerframework.nullaway.dataflow.cfg.UnderlyingAST;
46 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
47 import org.checkerframework.nullaway.dataflow.cfg.node.MethodInvocationNode;
|
| D | ApacheThriftIsSetHandler.java | 36 import com.uber.nullaway.dataflow.AccessPath;
37 import com.uber.nullaway.dataflow.AccessPathNullnessPropagation;
42 import org.checkerframework.nullaway.dataflow.cfg.node.MethodInvocationNode;
43 import org.checkerframework.nullaway.dataflow.cfg.node.Node;
|
| D | OptionalEmptinessHandler.java | 39 import com.uber.nullaway.dataflow.AccessPath;
40 import com.uber.nullaway.dataflow.AccessPathNullnessAnalysis;
41 import com.uber.nullaway.dataflow.AccessPathNullnessPropagation;
56 import org.checkerframework.nullaway.dataflow.cfg.node.MethodInvocationNode;
57 import org.checkerframework.nullaway.dataflow.cfg.node.Node;
|
| /external/nullaway/nullaway/src/main/java/com/uber/nullaway/handlers/contract/ |
| D | ContractNullnessStoreInitializer.java | 14 import com.uber.nullaway.dataflow.AccessPath;
15 import com.uber.nullaway.dataflow.NullnessStore;
16 import com.uber.nullaway.dataflow.NullnessStoreInitializer;
20 import org.checkerframework.nullaway.dataflow.cfg.UnderlyingAST;
21 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
|
| /external/clang/include/clang/Analysis/FlowSensitive/ |
| D | DataflowValues.h | 30 namespace dataflow {
40 typename _AnalysisDirTag = dataflow::forward_analysis_tag >
69 bool isForwardAnalysis(dataflow::forward_analysis_tag) { return true; } in isForwardAnalysis()
70 bool isForwardAnalysis(dataflow::backward_analysis_tag) { return false; } in isForwardAnalysis()
|
| /external/error_prone/checkerframework/ |
| D | METADATA | 5 "package contains the Checker Framework's dataflow analysis."
14 …value: "https://repo1.maven.org/maven2/org/checkerframework/dataflow-errorprone/3.21.2/dataflow-er…
|
| /external/tensorflow/tensorflow/compiler/mlir/tensorflow/transforms/ |
| D | freeze_global_tensors.cc | 88 class ResourceAnalysis : public dataflow::SparseDataFlowAnalysis<
89 dataflow::Lattice<ResourceLatticeValue>> {
91 using StateT = dataflow::Lattice<ResourceLatticeValue>;
92 using dataflow::SparseDataFlowAnalysis<StateT>::SparseDataFlowAnalysis;
115 solver.load<dataflow::DeadCodeAnalysis>(); in runOnOperation()
|
| /external/nullaway/nullaway/src/main/java/com/uber/nullaway/handlers/contract/fieldcontract/ |
| D | RequiresNonNullHandler.java | 40 import com.uber.nullaway.dataflow.AccessPath;
41 import com.uber.nullaway.dataflow.NullnessStore;
49 import org.checkerframework.nullaway.dataflow.cfg.UnderlyingAST;
50 import org.checkerframework.nullaway.dataflow.cfg.node.LocalVariableNode;
|
| /external/oss-fuzz/infra/base-images/base-builder/ |
| D | compile_dataflow | 24 $SRC/libfuzzer/dataflow/DataFlow.cpp
26 $SRC/libfuzzer/dataflow/DataFlowCallbacks.cpp
|