Home
last modified time | relevance | path

Searched refs:isImp (Results 1 – 25 of 48) sorted by relevance

12

/dports/math/vampire/vampire-4.5.1/FMB/
H A DFiniteModel.cpp473 bool isImp = false; in evaluate() local
510 isImp=true; in evaluate()
512 isXor = !isImp; in evaluate()
518 if(isImp && !left_res) return true; in evaluate()
525 if(isImp) return !left_res || right_res; in evaluate()
H A DFiniteModelMultiSorted.cpp559 bool isImp = false; in evaluate() local
596 isImp=true; in evaluate()
598 isXor = !isImp; in evaluate()
604 if(isImp && !left_res) return true; in evaluate()
611 if(isImp) return !left_res || right_res; in evaluate()
/dports/security/clamav-lts/clamav-0.103.5/libclamav/c++/llvm/include/llvm/CodeGen/
H A DMachineOperand.h407 void ChangeToRegister(unsigned Reg, bool isDef, bool isImp = false,
427 static MachineOperand CreateReg(unsigned Reg, bool isDef, bool isImp = false,
435 Op.IsImp = isImp;
/dports/devel/llvm10/llvm-10.0.1.src/include/llvm/CodeGen/
H A DMachineOperand.h753 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
779 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
790 Op.IsImp = isImp;
/dports/devel/llvm11/llvm-11.0.1.src/include/llvm/CodeGen/
H A DMachineOperand.h758 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
784 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
795 Op.IsImp = isImp;
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/third_party/llvm-10.0/llvm/include/llvm/CodeGen/
H A DMachineOperand.h753 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
779 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
790 Op.IsImp = isImp;
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/include/llvm/CodeGen/
H A DMachineOperand.h753 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
779 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
790 Op.IsImp = isImp;
/dports/devel/llvm90/llvm-9.0.1.src/include/llvm/CodeGen/
H A DMachineOperand.h739 void ChangeToRegister(unsigned Reg, bool isDef, bool isImp = false,
765 static MachineOperand CreateReg(unsigned Reg, bool isDef, bool isImp = false,
776 Op.IsImp = isImp;
/dports/devel/llvm80/llvm-8.0.1.src/include/llvm/CodeGen/
H A DMachineOperand.h730 void ChangeToRegister(unsigned Reg, bool isDef, bool isImp = false,
756 static MachineOperand CreateReg(unsigned Reg, bool isDef, bool isImp = false,
767 Op.IsImp = isImp;
/dports/devel/llvm70/llvm-7.0.1.src/include/llvm/CodeGen/
H A DMachineOperand.h730 void ChangeToRegister(unsigned Reg, bool isDef, bool isImp = false,
756 static MachineOperand CreateReg(unsigned Reg, bool isDef, bool isImp = false,
767 Op.IsImp = isImp;
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/include/llvm/CodeGen/
H A DMachineOperand.h758 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
789 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
800 Op.IsImp = isImp;
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/include/llvm/CodeGen/
H A DMachineOperand.h760 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
791 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
802 Op.IsImp = isImp;
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/include/llvm/CodeGen/
H A DMachineOperand.h792 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
818 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
829 Op.IsImp = isImp;
/dports/graphics/llvm-mesa/llvm-13.0.1.src/include/llvm/CodeGen/
H A DMachineOperand.h760 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
791 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
802 Op.IsImp = isImp;
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/include/llvm/CodeGen/
H A DMachineOperand.h757 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
788 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
799 Op.IsImp = isImp;
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/include/llvm/CodeGen/
H A DMachineOperand.h760 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
791 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
802 Op.IsImp = isImp;
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/include/llvm/CodeGen/
H A DMachineOperand.h760 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
791 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
802 Op.IsImp = isImp;
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/include/llvm/CodeGen/
H A DMachineOperand.h760 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
791 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
802 Op.IsImp = isImp;
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/include/llvm/CodeGen/
H A DMachineOperand.h757 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
788 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
799 Op.IsImp = isImp;
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/include/llvm/CodeGen/
H A DMachineOperand.h760 void ChangeToRegister(Register Reg, bool isDef, bool isImp = false,
791 static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp = false,
802 Op.IsImp = isImp;
/dports/cad/meshlab/meshlab-Meshlab-2020.05/src/common/
H A Dscriptinterface.cpp39 bool isImp = (params[ii][MLXMLElNames::paramIsImportant] == "true"); in parNames() local
40 if (names.isEmpty() && isImp) in parNames()
43 if (isImp) in parNames()
/dports/devel/llvm70/llvm-7.0.1.src/lib/CodeGen/
H A DMachineOperand.cpp219 void MachineOperand::ChangeToRegister(unsigned Reg, bool isDef, bool isImp, in ChangeToRegister() argument
238 IsImp = isImp; in ChangeToRegister()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/lib/CodeGen/
H A DMachineOperand.cpp241 void MachineOperand::ChangeToRegister(Register Reg, bool isDef, bool isImp, in ChangeToRegister() argument
260 IsImp = isImp; in ChangeToRegister()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/lib/CodeGen/
H A DMachineOperand.cpp236 void MachineOperand::ChangeToRegister(Register Reg, bool isDef, bool isImp, in ChangeToRegister() argument
255 IsImp = isImp; in ChangeToRegister()
/dports/devel/llvm10/llvm-10.0.1.src/lib/CodeGen/
H A DMachineOperand.cpp234 void MachineOperand::ChangeToRegister(Register Reg, bool isDef, bool isImp, in ChangeToRegister() argument
253 IsImp = isImp; in ChangeToRegister()

12