|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
gen/lib/Target/AArch64/AArch64GenDAGISel.inc115381 if (cast<AtomicSDNode>(N)->getOrdering() != AtomicOrdering::SequentiallyConsistent) return false;
gen/lib/Target/AArch64/AArch64GenGlobalISel.inc17399 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
17509 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
17619 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
17732 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
17846 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
17946 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
18046 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
18148 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
18260 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
18360 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
18460 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
18562 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
18698 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
18828 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
18958 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
19090 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
19232 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
19362 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
19492 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
19624 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
19742 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
19842 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
19942 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
20044 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
20156 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
20256 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
20356 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
20458 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
20570 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
20670 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
20770 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
20872 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
20984 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
21084 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
21184 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
21286 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
21398 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
21498 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
21598 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
21700 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
21812 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
21912 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
22012 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
22114 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
gen/lib/Target/RISCV/RISCVGenDAGISel.inc14144 if (cast<AtomicSDNode>(N)->getOrdering() != AtomicOrdering::SequentiallyConsistent) return false;
gen/lib/Target/RISCV/RISCVGenGlobalISel.inc 4416 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
4431 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
4566 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
4581 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
4662 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
4737 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
4884 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
4899 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
5034 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
5049 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
5130 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
5205 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
5440 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
5466 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
5700 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
5726 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
5862 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
5992 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6150 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6165 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6300 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6315 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6396 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6471 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6618 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6633 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6768 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6783 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6864 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
6939 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7086 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7101 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7236 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7251 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7332 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7407 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7554 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7569 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7704 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7719 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7800 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
7875 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8022 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8037 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8172 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8187 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8268 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8343 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8490 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8505 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8640 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8655 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8736 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8811 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8958 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
8973 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
9108 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
9123 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
9204 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
9279 GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(int64_t)AtomicOrdering::SequentiallyConsistent,
include/llvm/IR/Instructions.h 658 case AtomicOrdering::SequentiallyConsistent:
659 return AtomicOrdering::SequentiallyConsistent;
include/llvm/Support/AtomicOrdering.h 76 I <= static_cast<Int>(AtomicOrdering::SequentiallyConsistent);
lib/Analysis/MemorySSA.cpp 243 bool SeqCstUse = Use->getOrdering() == AtomicOrdering::SequentiallyConsistent;
lib/AsmParser/LLParser.cpp 2254 Ordering = AtomicOrdering::SequentiallyConsistent;
lib/Bitcode/Reader/BitcodeReader.cpp 1137 case bitc::ORDERING_SEQCST: return AtomicOrdering::SequentiallyConsistent;
lib/Bitcode/Writer/BitcodeWriter.cpp 578 case AtomicOrdering::SequentiallyConsistent: return bitc::ORDERING_SEQCST;
lib/CodeGen/MIRParser/MIParser.cpp 2821 .Case("seq_cst", AtomicOrdering::SequentiallyConsistent)
lib/IR/AutoUpgrade.cpp 3435 AtomicOrdering::SequentiallyConsistent);
lib/IR/Core.cpp 3509 return AtomicOrdering::SequentiallyConsistent;
3524 case AtomicOrdering::SequentiallyConsistent:
lib/IR/Verifier.cpp 3555 Ordering == AtomicOrdering::SequentiallyConsistent,
lib/Target/AArch64/AArch64ISelLowering.cpp12016 case AtomicOrdering::SequentiallyConsistent:
lib/Target/AMDGPU/AMDGPUTargetTransformInfo.cpp 325 if (OrderingVal > static_cast<unsigned>(AtomicOrdering::SequentiallyConsistent))
lib/Target/AMDGPU/SIMemoryLegalizer.cpp 130 SIMemOpInfo(AtomicOrdering Ordering = AtomicOrdering::SequentiallyConsistent,
136 AtomicOrdering::SequentiallyConsistent,
1144 MOI.getOrdering() == AtomicOrdering::SequentiallyConsistent) {
1149 if (MOI.getOrdering() == AtomicOrdering::SequentiallyConsistent)
1157 MOI.getOrdering() == AtomicOrdering::SequentiallyConsistent) {
1188 MOI.getOrdering() == AtomicOrdering::SequentiallyConsistent)
1218 MOI.getOrdering() == AtomicOrdering::SequentiallyConsistent)
1234 MOI.getOrdering() == AtomicOrdering::SequentiallyConsistent)
1254 MOI.getOrdering() == AtomicOrdering::SequentiallyConsistent ||
1255 MOI.getFailureOrdering() == AtomicOrdering::SequentiallyConsistent)
1264 MOI.getOrdering() == AtomicOrdering::SequentiallyConsistent ||
1266 MOI.getFailureOrdering() == AtomicOrdering::SequentiallyConsistent) {
lib/Target/ARM/ARMISelLowering.cpp16441 case AtomicOrdering::SequentiallyConsistent:
16468 case AtomicOrdering::SequentiallyConsistent:
lib/Target/PowerPC/PPCISelLowering.cpp10271 if (Ord == AtomicOrdering::SequentiallyConsistent)
lib/Target/RISCV/RISCVExpandPseudoInsts.cpp 161 case AtomicOrdering::SequentiallyConsistent:
178 case AtomicOrdering::SequentiallyConsistent:
195 case AtomicOrdering::SequentiallyConsistent:
212 case AtomicOrdering::SequentiallyConsistent:
lib/Target/RISCV/RISCVISelLowering.cpp 2724 if (isa<LoadInst>(Inst) && Ord == AtomicOrdering::SequentiallyConsistent)
lib/Target/SystemZ/SystemZISelLowering.cpp 3630 if (FenceOrdering == AtomicOrdering::SequentiallyConsistent &&
3659 if (Node->getOrdering() == AtomicOrdering::SequentiallyConsistent)
5094 AtomicOrdering::SequentiallyConsistent)
lib/Target/X86/X86ISelLowering.cpp26676 if (FenceOrdering == AtomicOrdering::SequentiallyConsistent &&
27172 if (AN->getOrdering() == AtomicOrdering::SequentiallyConsistent &&
27205 bool IsSeqCst = Node->getOrdering() == AtomicOrdering::SequentiallyConsistent;
lib/Transforms/Instrumentation/InstrOrderFile.cpp 147 AtomicOrdering::SequentiallyConsistent);
lib/Transforms/Instrumentation/InstrProfiling.cpp 209 AtomicOrdering::SequentiallyConsistent);
lib/Transforms/Instrumentation/MemorySanitizer.cpp 1745 case AtomicOrdering::SequentiallyConsistent:
1746 return AtomicOrdering::SequentiallyConsistent;
1762 case AtomicOrdering::SequentiallyConsistent:
1763 return AtomicOrdering::SequentiallyConsistent;
lib/Transforms/Instrumentation/ThreadSanitizer.cpp 587 case AtomicOrdering::SequentiallyConsistent: v = 5; break;
tools/clang/lib/CodeGen/CGAtomic.cpp 226 llvm::AtomicOrdering::SequentiallyConsistent,
228 llvm::AtomicOrdering::SequentiallyConsistent,
260 llvm::AtomicOrdering::SequentiallyConsistent,
262 llvm::AtomicOrdering::SequentiallyConsistent);
267 llvm::AtomicOrdering::SequentiallyConsistent,
269 llvm::AtomicOrdering::SequentiallyConsistent,
431 FailureOrder = llvm::AtomicOrdering::SequentiallyConsistent;
452 if (SuccessOrder == llvm::AtomicOrdering::SequentiallyConsistent)
482 llvm::AtomicOrdering::SequentiallyConsistent, Scope);
1245 llvm::AtomicOrdering::SequentiallyConsistent, Scope);
1313 llvm::AtomicOrdering::SequentiallyConsistent, Scope);
1477 AO = llvm::AtomicOrdering::SequentiallyConsistent;
1901 AO = llvm::AtomicOrdering::SequentiallyConsistent;
tools/clang/lib/CodeGen/CGBuiltin.cpp 119 AtomicOrdering Ordering = AtomicOrdering::SequentiallyConsistent) {
202 Kind, Args[0], Args[1], llvm::AtomicOrdering::SequentiallyConsistent);
243 Args[0], Args[1], Args[2], llvm::AtomicOrdering::SequentiallyConsistent,
244 llvm::AtomicOrdering::SequentiallyConsistent);
270 AtomicOrdering SuccessOrdering = AtomicOrdering::SequentiallyConsistent) {
296 AtomicOrdering Ordering = AtomicOrdering::SequentiallyConsistent) {
309 AtomicOrdering Ordering = AtomicOrdering::SequentiallyConsistent) {
730 case BitTest::Sequential: return llvm::AtomicOrdering::SequentiallyConsistent;
2861 Builder.CreateFence(llvm::AtomicOrdering::SequentiallyConsistent);
2930 llvm::AtomicOrdering::SequentiallyConsistent);
2949 llvm::AtomicOrdering::SequentiallyConsistent};
2999 Store->setOrdering(llvm::AtomicOrdering::SequentiallyConsistent);
3014 llvm::AtomicOrdering::SequentiallyConsistent};
3062 Builder.CreateFence(llvm::AtomicOrdering::SequentiallyConsistent, SSID);
3095 Builder.CreateFence(llvm::AtomicOrdering::SequentiallyConsistent, SSID);
3414 AtomicOrdering::Monotonic : AtomicOrdering::SequentiallyConsistent;
7270 return Builder.CreateFence(llvm::AtomicOrdering::SequentiallyConsistent,
8309 llvm::AtomicOrdering::SequentiallyConsistent);
12208 return Builder.CreateFence(llvm::AtomicOrdering::SequentiallyConsistent,
12236 return Builder.CreateFence(llvm::AtomicOrdering::SequentiallyConsistent,
12287 AtomicOrdering::SequentiallyConsistent,
12288 AtomicOrdering::SequentiallyConsistent);
13696 AtomicOrdering::SequentiallyConsistent);
tools/clang/lib/CodeGen/CGExprScalar.cpp 2367 ->setAtomic(llvm::AtomicOrdering::SequentiallyConsistent);
2374 llvm::AtomicOrdering::SequentiallyConsistent);
2391 LV.getPointer(), amt, llvm::AtomicOrdering::SequentiallyConsistent);
2884 llvm::AtomicOrdering::SequentiallyConsistent);
tools/clang/lib/CodeGen/CGStmtOpenMP.cpp 3685 IsSeqCst ? llvm::AtomicOrdering::SequentiallyConsistent
3721 IsSeqCst ? llvm::AtomicOrdering::SequentiallyConsistent
3882 ? llvm::AtomicOrdering::SequentiallyConsistent
3932 ? llvm::AtomicOrdering::SequentiallyConsistent
tools/clang/lib/CodeGen/CodeGenFunction.h 3394 llvm::AtomicOrdering::SequentiallyConsistent,
3396 llvm::AtomicOrdering::SequentiallyConsistent,
tools/clang/lib/CodeGen/TargetInfo.cpp 8095 if (Ordering != llvm::AtomicOrdering::SequentiallyConsistent) {