/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,
|