| /dports/math/cvc4/CVC4-1.7/src/proof/ |
| H A D | sat_proof_implementation.h | 160 ResChain<Solver>::ResChain(ClauseId start) in ResChain() function
164 ResChain<Solver>::~ResChain() { in ~ResChain()
178 void ResChain<Solver>::addRedundantLit(typename Solver::TLit lit) { in addRedundantLit()
253 ResChain<Solver>* current = (*resolution_it).second; in ~TSatProof()
263 ResChain<Solver>* current = *resolution_stack_it; in ~TSatProof()
742 ResChain<Solver>* res = d_resStack.back(); in addResolutionStep()
750 ResChain<Solver>* res = d_resStack.back(); in endResChain()
785 ResChain<Solver>* res = d_resStack.back(); in resolveOutUnit()
807 ResChain<Solver>* res = new ResChain<Solver>(reason_id); in resolveUnit()
846 ResChain<Solver>* res = new ResChain<Solver>(conflict_id); in finalizeProof()
[all …]
|
| H A D | sat_proof.h | 69 class ResChain {
74 ResChain(ClauseId start);
75 ~ResChain();
97 typedef ResChain<Solver> ResolutionChain;
279 void removeRedundantFromRes(ResChain<Solver>* res, ClauseId id);
|
| H A D | lfsc_proof_printer.cpp | 58 const ResChain<Solver>& res = satProof->getResolutionChain(id); in printResolution()
59 const typename ResChain<Solver>::ResSteps& steps = res.getSteps(); in printResolution()
|
| /dports/devel/llvm90/llvm-9.0.1.src/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 931 SDValue ResChain; member
959 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| H A D | PPCISelLowering.cpp | 7454 RLI.ResChain = SDValue(LD, LD->isIndexed() ? 2 : 1); in canReuseLoadAddress()
7462 void PPCTargetLowering::spliceIntoChain(SDValue ResChain, in spliceIntoChain() argument
7465 if (!ResChain) in spliceIntoChain()
7475 DAG.ReplaceAllUsesOfValueWith(ResChain, TF); in spliceIntoChain()
7476 DAG.UpdateNodeOperands(TF.getNode(), ResChain, NewResChain); in spliceIntoChain()
7727 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
7737 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
7747 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
7835 spliceIntoChain(RLI.ResChain, Ld.getValue(1), DAG); in LowerINT_TO_FP()
|
| /dports/devel/llvm80/llvm-8.0.1.src/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 913 SDValue ResChain; member
941 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| H A D | PPCISelLowering.cpp | 7199 RLI.ResChain = SDValue(LD, LD->isIndexed() ? 2 : 1); in canReuseLoadAddress()
7207 void PPCTargetLowering::spliceIntoChain(SDValue ResChain, in spliceIntoChain() argument
7210 if (!ResChain) in spliceIntoChain()
7220 DAG.ReplaceAllUsesOfValueWith(ResChain, TF); in spliceIntoChain()
7221 DAG.UpdateNodeOperands(TF.getNode(), ResChain, NewResChain); in spliceIntoChain()
7472 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
7482 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
7492 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
7580 spliceIntoChain(RLI.ResChain, Ld.getValue(1), DAG); in LowerINT_TO_FP()
|
| /dports/devel/llvm70/llvm-7.0.1.src/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 886 SDValue ResChain; member
914 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| H A D | PPCISelLowering.cpp | 7144 RLI.ResChain = SDValue(LD, LD->isIndexed() ? 2 : 1);
7152 void PPCTargetLowering::spliceIntoChain(SDValue ResChain,
7155 if (!ResChain)
7165 DAG.ReplaceAllUsesOfValueWith(ResChain, TF);
7166 DAG.UpdateNodeOperands(TF.getNode(), ResChain, NewResChain);
7344 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG);
7354 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG);
7364 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG);
7452 spliceIntoChain(RLI.ResChain, Ld.getValue(1), DAG);
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 980 SDValue ResChain; member
1008 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| H A D | PPCISelLowering.cpp | 7906 RLI.ResChain = SDValue(LD, LD->isIndexed() ? 2 : 1); in canReuseLoadAddress()
7914 void PPCTargetLowering::spliceIntoChain(SDValue ResChain, in spliceIntoChain() argument
7917 if (!ResChain) in spliceIntoChain()
7927 DAG.ReplaceAllUsesOfValueWith(ResChain, TF); in spliceIntoChain()
7928 DAG.UpdateNodeOperands(TF.getNode(), ResChain, NewResChain); in spliceIntoChain()
8179 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
8189 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
8199 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
8287 spliceIntoChain(RLI.ResChain, Ld.getValue(1), DAG); in LowerINT_TO_FP()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1025 SDValue ResChain; member
1053 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/devel/llvm10/llvm-10.0.1.src/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 980 SDValue ResChain; member
1008 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1059 SDValue ResChain; member
1082 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/devel/llvm11/llvm-11.0.1.src/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1025 SDValue ResChain; member
1053 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/third_party/llvm-10.0/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 980 SDValue ResChain; member
1008 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1059 SDValue ResChain; member
1082 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1059 SDValue ResChain; member
1082 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| H A D | PPCISelLowering.cpp | 8369 RLI.ResChain = SDValue(LD, LD->isIndexed() ? 2 : 1); in canReuseLoadAddress()
8377 void PPCTargetLowering::spliceIntoChain(SDValue ResChain, in spliceIntoChain() argument
8380 if (!ResChain) in spliceIntoChain()
8390 DAG.ReplaceAllUsesOfValueWith(ResChain, TF); in spliceIntoChain()
8391 DAG.UpdateNodeOperands(TF.getNode(), ResChain, NewResChain); in spliceIntoChain()
8650 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
8660 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
8670 spliceIntoChain(RLI.ResChain, Bits.getValue(1), DAG); in LowerINT_TO_FP()
8766 spliceIntoChain(RLI.ResChain, Ld.getValue(1), DAG); in LowerINT_TO_FP()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1144 SDValue ResChain;
1171 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/graphics/llvm-mesa/llvm-13.0.1.src/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1144 SDValue ResChain; member
1171 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1144 SDValue ResChain; member
1171 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1144 SDValue ResChain; member
1171 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1144 SDValue ResChain; member
1171 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/lib/Target/PowerPC/ |
| H A D | PPCISelLowering.h | 1151 SDValue ResChain; member
1178 void spliceIntoChain(SDValue ResChain, SDValue NewResChain,
|