Lines Matching defs:LHS
253 static bool areEquivalent(const llvm::fltSemantics &LHS, in areEquivalent()
363 SMTExprRef mkBVAdd(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVAdd()
369 SMTExprRef mkBVSub(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSub()
375 SMTExprRef mkBVMul(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVMul()
381 SMTExprRef mkBVSRem(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSRem()
387 SMTExprRef mkBVURem(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVURem()
393 SMTExprRef mkBVSDiv(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSDiv()
399 SMTExprRef mkBVUDiv(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVUDiv()
405 SMTExprRef mkBVShl(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVShl()
411 SMTExprRef mkBVAshr(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVAshr()
417 SMTExprRef mkBVLshr(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVLshr()
423 SMTExprRef mkBVXor(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVXor()
429 SMTExprRef mkBVOr(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVOr()
435 SMTExprRef mkBVAnd(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVAnd()
441 SMTExprRef mkBVUlt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVUlt()
447 SMTExprRef mkBVSlt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSlt()
453 SMTExprRef mkBVUgt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVUgt()
459 SMTExprRef mkBVSgt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSgt()
465 SMTExprRef mkBVUle(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVUle()
471 SMTExprRef mkBVSle(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSle()
477 SMTExprRef mkBVUge(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVUge()
483 SMTExprRef mkBVSge(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSge()
489 SMTExprRef mkAnd(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkAnd()
494 SMTExprRef mkOr(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkOr()
499 SMTExprRef mkEqual(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkEqual()
530 SMTExprRef mkFPMul(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPMul()
538 SMTExprRef mkFPDiv(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPDiv()
546 SMTExprRef mkFPRem(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPRem()
552 SMTExprRef mkFPAdd(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPAdd()
560 SMTExprRef mkFPSub(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPSub()
568 SMTExprRef mkFPLt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPLt()
574 SMTExprRef mkFPGt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPGt()
580 SMTExprRef mkFPLe(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPLe()
586 SMTExprRef mkFPGe(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPGe()
592 SMTExprRef mkFPEqual(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPEqual()
623 SMTExprRef mkBVAddNoOverflow(const SMTExprRef &LHS, const SMTExprRef &RHS, in mkBVAddNoOverflow()
632 SMTExprRef mkBVAddNoUnderflow(const SMTExprRef &LHS, in mkBVAddNoUnderflow()
641 SMTExprRef mkBVSubNoOverflow(const SMTExprRef &LHS, in mkBVSubNoOverflow()
650 SMTExprRef mkBVSubNoUnderflow(const SMTExprRef &LHS, const SMTExprRef &RHS, in mkBVSubNoUnderflow()
659 SMTExprRef mkBVSDivNoOverflow(const SMTExprRef &LHS, in mkBVSDivNoOverflow()
675 SMTExprRef mkBVMulNoOverflow(const SMTExprRef &LHS, const SMTExprRef &RHS, in mkBVMulNoOverflow()
684 SMTExprRef mkBVMulNoUnderflow(const SMTExprRef &LHS, in mkBVMulNoUnderflow()
691 SMTExprRef mkBVConcat(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVConcat()