Home
last modified time | relevance | path

Searched full:assume (Results 1 – 25 of 19298) sorted by relevance

12345678910>>...772

/aosp_15_r20/external/swiftshader/third_party/llvm-16.0/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp31 "assume-preserve-all", cl::init(false), cl::Hidden,
41 #define DEBUG_TYPE "assume-builder"
43 STATISTIC(NumAssumeBuilt, "Number of assume built by the assume builder");
44 STATISTIC(NumBundlesInAssumes, "Total number of Bundles in the assume built");
46 "Number of assume merged by the assume simplify pass");
48 "Number of assume removed by the assume simplify pass");
50 DEBUG_COUNTER(BuildAssumeCounter, "assume-builder-counter",
103 /// llvm.assume and the function to manipulate it.
124 [&](RetainedKnowledge RKOther, Instruction *Assume, in tryToPreserveWithoutAddingAssume()
126 if (!isValidAssumeForContext(Assume, InstBeingModified, DT)) in tryToPreserveWithoutAddingAssume()
[all …]
/aosp_15_r20/external/llvm/test/Transforms/InstCombine/
H A Dassume.ll10 ; Check that the alignment has been upgraded and that the assume has not
14 ; CHECK-DAG: call void @llvm.assume
20 tail call void @llvm.assume(i1 %maskcond)
28 ; Same check as in @foo1, but make sure it works if the assume is first too.
31 ; CHECK-DAG: call void @llvm.assume
37 tail call void @llvm.assume(i1 %maskcond)
44 declare void @llvm.assume(i1) #1
50 ; CHECK: call void @llvm.assume
54 tail call void @llvm.assume(i1 %cmp)
63 tail call void @llvm.assume(i1 %and)
[all …]
H A Dassume2.ll6 declare void @llvm.assume(i1) #1
12 ; CHECK: call void @llvm.assume
17 tail call void @llvm.assume(i1 %cmp)
27 ; CHECK: call void @llvm.assume
33 tail call void @llvm.assume(i1 %cmp)
43 ; CHECK: call void @llvm.assume
48 tail call void @llvm.assume(i1 %cmp)
58 ; CHECK: call void @llvm.assume
64 tail call void @llvm.assume(i1 %cmp)
74 ; CHECK: call void @llvm.assume
[all …]
/aosp_15_r20/external/guava/android/guava-tests/test/com/google/common/graph/
H A DAbstractStandardDirectedNetworkTest.java22 import static com.google.common.truth.TruthJUnit.assume;
65 assume().that(graphIsMutable()).isTrue(); in nodes_checkReturnedSetMutability()
76 assume().that(graphIsMutable()).isTrue(); in edges_checkReturnedSetMutability()
87 assume().that(graphIsMutable()).isTrue(); in incidentEdges_checkReturnedSetMutability()
99 assume().that(graphIsMutable()).isTrue(); in adjacentNodes_checkReturnedSetMutability()
110 assume().that(graphIsMutable()).isTrue(); in adjacentEdges_checkReturnedSetMutability()
126 assume().that(graphIsMutable()).isTrue(); in edgesConnecting_checkReturnedSetMutability()
139 assume().that(graphIsMutable()).isTrue(); in inEdges_checkReturnedSetMutability()
151 assume().that(graphIsMutable()).isTrue(); in outEdges_checkReturnedSetMutability()
163 assume().that(graphIsMutable()).isTrue(); in predecessors_checkReturnedSetMutability()
[all …]
H A DAbstractStandardDirectedGraphTest.java21 import static com.google.common.truth.TruthJUnit.assume;
36 assume().that(graphIsMutable()).isTrue(); in nodes_checkReturnedSetMutability()
47 assume().that(graphIsMutable()).isTrue(); in adjacentNodes_checkReturnedSetMutability()
59 assume().that(graphIsMutable()).isTrue(); in predecessors_checkReturnedSetMutability()
71 assume().that(graphIsMutable()).isTrue(); in successors_checkReturnedSetMutability()
83 assume().that(graphIsMutable()).isTrue(); in incidentEdges_checkReturnedSetMutability()
154 assume().that(graph.allowsSelfLoops()).isTrue(); in adjacentNodes_selfLoop()
163 assume().that(graph.allowsSelfLoops()).isTrue(); in predecessors_selfLoop()
173 assume().that(graph.allowsSelfLoops()).isTrue(); in successors_selfLoop()
183 assume().that(graph.allowsSelfLoops()).isTrue(); in incidentEdges_selfLoop()
[all …]
H A DAbstractStandardUndirectedNetworkTest.java21 import static com.google.common.truth.TruthJUnit.assume;
243 assume().that(network.allowsSelfLoops()).isTrue(); in edges_selfLoop()
251 assume().that(network.allowsSelfLoops()).isTrue(); in incidentEdges_selfLoop()
259 assume().that(network.allowsSelfLoops()).isTrue(); in incidentNodes_selfLoop()
268 assume().that(network.allowsSelfLoops()).isTrue(); in adjacentNodes_selfLoop()
277 assume().that(network.allowsSelfLoops()).isTrue(); in adjacentEdges_selfLoop()
286 assume().that(network.allowsSelfLoops()).isTrue(); in edgesConnecting_selfLoop()
298 assume().that(network.allowsSelfLoops()).isTrue(); in inEdges_selfLoop()
308 assume().that(network.allowsSelfLoops()).isTrue(); in outEdges_selfLoop()
318 assume().that(network.allowsSelfLoops()).isTrue(); in predecessors_selfLoop()
[all …]
H A DAbstractStandardUndirectedGraphTest.java20 import static com.google.common.truth.TruthJUnit.assume;
47 assume().that(graphIsMutable()).isTrue(); in nodes_checkReturnedSetMutability()
58 assume().that(graphIsMutable()).isTrue(); in adjacentNodes_checkReturnedSetMutability()
70 assume().that(graphIsMutable()).isTrue(); in predecessors_checkReturnedSetMutability()
82 assume().that(graphIsMutable()).isTrue(); in successors_checkReturnedSetMutability()
94 assume().that(graphIsMutable()).isTrue(); in incidentEdges_checkReturnedSetMutability()
157 assume().that(graph.allowsSelfLoops()).isTrue(); in adjacentNodes_selfLoop()
166 assume().that(graph.allowsSelfLoops()).isTrue(); in predecessors_selfLoop()
176 assume().that(graph.allowsSelfLoops()).isTrue(); in successors_selfLoop()
186 assume().that(graph.allowsSelfLoops()).isTrue(); in incidentEdges_selfLoop()
[all …]
/aosp_15_r20/external/guava/guava-tests/test/com/google/common/graph/
H A DAbstractStandardDirectedNetworkTest.java22 import static com.google.common.truth.TruthJUnit.assume;
66 assume().that(graphIsMutable()).isTrue(); in nodes_checkReturnedSetMutability()
77 assume().that(graphIsMutable()).isTrue(); in edges_checkReturnedSetMutability()
88 assume().that(graphIsMutable()).isTrue(); in incidentEdges_checkReturnedSetMutability()
100 assume().that(graphIsMutable()).isTrue(); in adjacentNodes_checkReturnedSetMutability()
111 assume().that(graphIsMutable()).isTrue(); in adjacentEdges_checkReturnedSetMutability()
127 assume().that(graphIsMutable()).isTrue(); in edgesConnecting_checkReturnedSetMutability()
140 assume().that(graphIsMutable()).isTrue(); in inEdges_checkReturnedSetMutability()
152 assume().that(graphIsMutable()).isTrue(); in outEdges_checkReturnedSetMutability()
164 assume().that(graphIsMutable()).isTrue(); in predecessors_checkReturnedSetMutability()
[all …]
H A DAbstractStandardDirectedGraphTest.java21 import static com.google.common.truth.TruthJUnit.assume;
36 assume().that(graphIsMutable()).isTrue(); in nodes_checkReturnedSetMutability()
47 assume().that(graphIsMutable()).isTrue(); in adjacentNodes_checkReturnedSetMutability()
59 assume().that(graphIsMutable()).isTrue(); in predecessors_checkReturnedSetMutability()
71 assume().that(graphIsMutable()).isTrue(); in successors_checkReturnedSetMutability()
83 assume().that(graphIsMutable()).isTrue(); in incidentEdges_checkReturnedSetMutability()
154 assume().that(graph.allowsSelfLoops()).isTrue(); in adjacentNodes_selfLoop()
163 assume().that(graph.allowsSelfLoops()).isTrue(); in predecessors_selfLoop()
173 assume().that(graph.allowsSelfLoops()).isTrue(); in successors_selfLoop()
183 assume().that(graph.allowsSelfLoops()).isTrue(); in incidentEdges_selfLoop()
[all …]
H A DAbstractStandardUndirectedNetworkTest.java21 import static com.google.common.truth.TruthJUnit.assume;
256 assume().that(network.allowsSelfLoops()).isTrue(); in edges_selfLoop()
264 assume().that(network.allowsSelfLoops()).isTrue(); in incidentEdges_selfLoop()
272 assume().that(network.allowsSelfLoops()).isTrue(); in incidentNodes_selfLoop()
281 assume().that(network.allowsSelfLoops()).isTrue(); in adjacentNodes_selfLoop()
290 assume().that(network.allowsSelfLoops()).isTrue(); in adjacentEdges_selfLoop()
299 assume().that(network.allowsSelfLoops()).isTrue(); in edgesConnecting_selfLoop()
311 assume().that(network.allowsSelfLoops()).isTrue(); in inEdges_selfLoop()
321 assume().that(network.allowsSelfLoops()).isTrue(); in outEdges_selfLoop()
331 assume().that(network.allowsSelfLoops()).isTrue(); in predecessors_selfLoop()
[all …]
H A DAbstractStandardUndirectedGraphTest.java20 import static com.google.common.truth.TruthJUnit.assume;
47 assume().that(graphIsMutable()).isTrue(); in nodes_checkReturnedSetMutability()
58 assume().that(graphIsMutable()).isTrue(); in adjacentNodes_checkReturnedSetMutability()
70 assume().that(graphIsMutable()).isTrue(); in predecessors_checkReturnedSetMutability()
82 assume().that(graphIsMutable()).isTrue(); in successors_checkReturnedSetMutability()
94 assume().that(graphIsMutable()).isTrue(); in incidentEdges_checkReturnedSetMutability()
157 assume().that(graph.allowsSelfLoops()).isTrue(); in adjacentNodes_selfLoop()
166 assume().that(graph.allowsSelfLoops()).isTrue(); in predecessors_selfLoop()
176 assume().that(graph.allowsSelfLoops()).isTrue(); in successors_selfLoop()
186 assume().that(graph.allowsSelfLoops()).isTrue(); in incidentEdges_selfLoop()
[all …]
/aosp_15_r20/external/swiftshader/third_party/llvm-16.0/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp1 //===- AssumeBundleQueries.cpp - tool to query assume bundles ---*- C++ -*-===//
19 #define DEBUG_TYPE "assume-queries"
24 STATISTIC(NumAssumeQueries, "Number of Queries into an assume assume bundles");
27 "Number of Queries into an assume assume bundles that were satisfied");
29 DEBUG_COUNTER(AssumeQueryCounter, "assume-queries-counter",
36 static Value *getValueFromBundleOpInfo(AssumeInst &Assume, in getValueFromBundleOpInfo() argument
40 return (Assume.op_begin() + BOI.Begin + Idx)->get(); in getValueFromBundleOpInfo()
43 bool llvm::hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, in hasAttributeInAssume() argument
50 if (Assume.bundle_op_infos().empty()) in hasAttributeInAssume()
53 for (auto &BOI : Assume.bundle_op_infos()) { in hasAttributeInAssume()
[all …]
/aosp_15_r20/external/swiftshader/third_party/llvm-16.0/llvm/lib/Target/SystemZ/
H A DSystemZFeatures.td43 "Assume that the distinct-operands facility is installed"
48 "Assume that the fast-serialization facility is installed"
53 "Assume that the floating-point extension facility is installed"
58 "Assume that the high-word facility is installed"
63 "Assume that interlocked-access facility 1 is installed"
69 "Assume that the load/store-on-condition facility is installed"
75 "Assume that the population-count facility is installed"
80 "Assume that the message-security-assist extension facility 3 is installed"
85 "Assume that the message-security-assist extension facility 4 is installed"
90 "Assume that the reset-reference-bits-multiple facility is installed"
[all …]
/aosp_15_r20/external/llvm/test/Transforms/LoopVectorize/X86/
H A Dassume.ll12 ; CHECK: @llvm.assume
13 ; CHECK: @llvm.assume
14 ; CHECK: @llvm.assume
15 ; CHECK: @llvm.assume
16 ; CHECK: @llvm.assume
17 ; CHECK: @llvm.assume
18 ; CHECK: @llvm.assume
19 ; CHECK: @llvm.assume
28 tail call void @llvm.assume(i1 %cmp1)
41 declare void @llvm.assume(i1) #1
[all …]
/aosp_15_r20/external/swiftshader/third_party/llvm-10.0/llvm/lib/Target/SystemZ/
H A DSystemZFeatures.td36 "Assume that the distinct-operands facility is installed"
41 "Assume that the fast-serialization facility is installed"
46 "Assume that the floating-point extension facility is installed"
51 "Assume that the high-word facility is installed"
56 "Assume that interlocked-access facility 1 is installed"
62 "Assume that the load/store-on-condition facility is installed"
68 "Assume that the population-count facility is installed"
73 "Assume that the message-security-assist extension facility 3 is installed"
78 "Assume that the message-security-assist extension facility 4 is installed"
83 "Assume that the reset-reference-bits-multiple facility is installed"
[all …]
/aosp_15_r20/prebuilts/rust/linux-x86/1.81.0.u1/lib/rustlib/src/rust/library/core/src/mem/
H A Dtransmutability.rs7 /// notwithstanding whatever safety checks you have asked the compiler to [`Assume`] are satisfied.
12 pub unsafe trait BikeshedIntrinsicFrom<Src, const ASSUME: Assume = { Assume::NOTHING }>
18 /// What transmutation safety conditions shall the compiler assume that *you* are checking?
22 pub struct Assume { struct
27 …/// When `true`, the compiler assume that *you* are ensuring that lifetimes are not extended in a …
42 impl ConstParamTy for Assume {} implementation
44 impl Assume { impl
45 /// Do not assume that *you* have ensured any safety properties are met.
50 /// Assume only that alignment conditions are met.
54 /// Assume only that lifetime conditions are met.
[all …]
/aosp_15_r20/prebuilts/rust/linux-musl-x86/1.81.0/lib/rustlib/src/rust/library/core/src/mem/
H A Dtransmutability.rs7 /// notwithstanding whatever safety checks you have asked the compiler to [`Assume`] are satisfied.
12 pub unsafe trait BikeshedIntrinsicFrom<Src, const ASSUME: Assume = { Assume::NOTHING }>
18 /// What transmutation safety conditions shall the compiler assume that *you* are checking?
22 pub struct Assume { struct
27 …/// When `true`, the compiler assume that *you* are ensuring that lifetimes are not extended in a …
42 impl ConstParamTy for Assume {} argument
44 impl Assume { implementation
45 /// Do not assume that *you* have ensured any safety properties are met.
50 /// Assume only that alignment conditions are met.
54 /// Assume only that lifetime conditions are met.
[all …]
/aosp_15_r20/prebuilts/rust/linux-musl-x86/1.80.1/lib/rustlib/src/rust/library/core/src/mem/
H A Dtransmutability.rs7 /// notwithstanding whatever safety checks you have asked the compiler to [`Assume`] are satisfied.
12 pub unsafe trait BikeshedIntrinsicFrom<Src, const ASSUME: Assume = { Assume::NOTHING }>
18 /// What transmutation safety conditions shall the compiler assume that *you* are checking?
22 pub struct Assume { struct
27 …/// When `true`, the compiler assume that *you* are ensuring that lifetimes are not extended in a …
42 impl ConstParamTy for Assume {} argument
44 impl Assume { impl
45 /// Do not assume that *you* have ensured any safety properties are met.
50 /// Assume only that alignment conditions are met.
54 /// Assume only that lifetime conditions are met.
[all …]
/aosp_15_r20/prebuilts/rust/linux-x86/1.80.1/lib/rustlib/src/rust/library/core/src/mem/
H A Dtransmutability.rs7 /// notwithstanding whatever safety checks you have asked the compiler to [`Assume`] are satisfied.
12 pub unsafe trait BikeshedIntrinsicFrom<Src, const ASSUME: Assume = { Assume::NOTHING }>
18 /// What transmutation safety conditions shall the compiler assume that *you* are checking?
22 pub struct Assume { struct
27 …/// When `true`, the compiler assume that *you* are ensuring that lifetimes are not extended in a …
42 impl ConstParamTy for Assume {} argument
44 impl Assume { impl
45 /// Do not assume that *you* have ensured any safety properties are met.
50 /// Assume only that alignment conditions are met.
54 /// Assume only that lifetime conditions are met.
[all …]
/aosp_15_r20/prebuilts/rust/linux-x86/1.81.0/lib/rustlib/src/rust/library/core/src/mem/
H A Dtransmutability.rs7 /// notwithstanding whatever safety checks you have asked the compiler to [`Assume`] are satisfied.
12 pub unsafe trait BikeshedIntrinsicFrom<Src, const ASSUME: Assume = { Assume::NOTHING }>
18 /// What transmutation safety conditions shall the compiler assume that *you* are checking?
22 pub struct Assume { struct
27 …/// When `true`, the compiler assume that *you* are ensuring that lifetimes are not extended in a …
42 impl ConstParamTy for Assume {} argument
44 impl Assume { implementation
45 /// Do not assume that *you* have ensured any safety properties are met.
50 /// Assume only that alignment conditions are met.
54 /// Assume only that lifetime conditions are met.
[all …]
/aosp_15_r20/libcore/harmony-tests/src/test/java/org/apache/harmony/tests/java/net/
H A DMulticastSocketTest.java45 import org.junit.Assume;
90 // set we assume the device has an interface capable of supporting multicast. in setUp()
93 Assume.assumeTrue(supportsMulticast); in setUp()
118 Assume.assumeTrue(supportsMulticast); in constructor()
129 Assume.assumeTrue(supportsMulticast); in constructorI()
142 Assume.assumeTrue(supportsMulticast); in getInterface()
168 Assume.assumeTrue(supportsMulticast); in getNetworkInterface()
212 Assume.assumeTrue(supportsMulticast); in getTimeToLive()
223 Assume.assumeTrue(supportsMulticast); in getTTL()
232 Assume.assumeTrue(supportsMulticast); in joinGroupLjava_net_InetAddress_IPv4()
[all …]
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/include/llvm/Analysis/
DAssumeBundleQueries.h1 //===- AssumeBundleQueries.h - utilis to query assume bundles ---*- C++ -*-===//
9 // This file contain tools to query into assume bundles. assume bundles can be
34 /// Query the operand bundle of an llvm.assume to find a single attribute of
42 bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, StringRef AttrName,
44 inline bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
47 return hasAttributeInAssume(Assume, IsOn,
76 /// A mapping from intrinsics (=`llvm.assume` calls) to a value range
86 /// the llvm.assume. This should be used instead of hasAttributeInAssume when
87 /// many queries are going to be made on the same llvm.assume.
90 void fillMapFromAssume(AssumeInst &Assume, RetainedKnowledgeMap &Result);
[all …]
/aosp_15_r20/external/swiftshader/third_party/llvm-16.0/llvm/include/llvm/Analysis/
H A DAssumeBundleQueries.h1 //===- AssumeBundleQueries.h - utilities to query assume bundles *- C++ -*-===//
9 // This file contain tools to query into assume bundles. assume bundles can be
34 /// Query the operand bundle of an llvm.assume to find a single attribute of
42 bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, StringRef AttrName,
44 inline bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
47 return hasAttributeInAssume(Assume, IsOn,
76 /// A mapping from intrinsics (=`llvm.assume` calls) to a value range
86 /// the llvm.assume. This should be used instead of hasAttributeInAssume when
87 /// many queries are going to be made on the same llvm.assume.
90 void fillMapFromAssume(AssumeInst &Assume, RetainedKnowledgeMap &Result);
[all …]
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/include/llvm/Analysis/
DAssumeBundleQueries.h1 //===- AssumeBundleQueries.h - utilis to query assume bundles ---*- C++ -*-===//
9 // This file contain tools to query into assume bundles. assume bundles can be
34 /// Query the operand bundle of an llvm.assume to find a single attribute of
42 bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, StringRef AttrName,
44 inline bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
47 return hasAttributeInAssume(Assume, IsOn,
76 /// A mapping from intrinsics (=`llvm.assume` calls) to a value range
86 /// the llvm.assume. This should be used instead of hasAttributeInAssume when
87 /// many queries are going to be made on the same llvm.assume.
90 void fillMapFromAssume(AssumeInst &Assume, RetainedKnowledgeMap &Result);
[all …]
/aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/include/llvm/Analysis/
DAssumeBundleQueries.h1 //===- AssumeBundleQueries.h - utilis to query assume bundles ---*- C++ -*-===//
9 // This file contain tools to query into assume bundles. assume bundles can be
34 /// Query the operand bundle of an llvm.assume to find a single attribute of
42 bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn, StringRef AttrName,
44 inline bool hasAttributeInAssume(AssumeInst &Assume, Value *IsOn,
47 return hasAttributeInAssume(Assume, IsOn,
76 /// A mapping from intrinsics (=`llvm.assume` calls) to a value range
86 /// the llvm.assume. This should be used instead of hasAttributeInAssume when
87 /// many queries are going to be made on the same llvm.assume.
90 void fillMapFromAssume(AssumeInst &Assume, RetainedKnowledgeMap &Result);
[all …]

12345678910>>...772