Lines Matching defs:LHS
246 static bool areEquivalent(const llvm::fltSemantics &LHS, in areEquivalent()
349 SMTExprRef mkBVAdd(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVAdd()
355 SMTExprRef mkBVSub(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSub()
361 SMTExprRef mkBVMul(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVMul()
367 SMTExprRef mkBVSRem(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSRem()
373 SMTExprRef mkBVURem(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVURem()
379 SMTExprRef mkBVSDiv(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSDiv()
385 SMTExprRef mkBVUDiv(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVUDiv()
391 SMTExprRef mkBVShl(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVShl()
397 SMTExprRef mkBVAshr(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVAshr()
403 SMTExprRef mkBVLshr(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVLshr()
409 SMTExprRef mkBVXor(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVXor()
415 SMTExprRef mkBVOr(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVOr()
421 SMTExprRef mkBVAnd(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVAnd()
427 SMTExprRef mkBVUlt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVUlt()
433 SMTExprRef mkBVSlt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSlt()
439 SMTExprRef mkBVUgt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVUgt()
445 SMTExprRef mkBVSgt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSgt()
451 SMTExprRef mkBVUle(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVUle()
457 SMTExprRef mkBVSle(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSle()
463 SMTExprRef mkBVUge(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVUge()
469 SMTExprRef mkBVSge(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVSge()
475 SMTExprRef mkAnd(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkAnd()
480 SMTExprRef mkOr(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkOr()
485 SMTExprRef mkEqual(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkEqual()
516 SMTExprRef mkFPMul(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPMul()
524 SMTExprRef mkFPDiv(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPDiv()
532 SMTExprRef mkFPRem(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPRem()
538 SMTExprRef mkFPAdd(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPAdd()
546 SMTExprRef mkFPSub(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPSub()
554 SMTExprRef mkFPLt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPLt()
560 SMTExprRef mkFPGt(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPGt()
566 SMTExprRef mkFPLe(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPLe()
572 SMTExprRef mkFPGe(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPGe()
578 SMTExprRef mkFPEqual(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkFPEqual()
609 SMTExprRef mkBVAddNoOverflow(const SMTExprRef &LHS, const SMTExprRef &RHS, in mkBVAddNoOverflow()
618 SMTExprRef mkBVAddNoUnderflow(const SMTExprRef &LHS, in mkBVAddNoUnderflow()
627 SMTExprRef mkBVSubNoOverflow(const SMTExprRef &LHS, in mkBVSubNoOverflow()
636 SMTExprRef mkBVSubNoUnderflow(const SMTExprRef &LHS, const SMTExprRef &RHS, in mkBVSubNoUnderflow()
645 SMTExprRef mkBVSDivNoOverflow(const SMTExprRef &LHS, in mkBVSDivNoOverflow()
661 SMTExprRef mkBVMulNoOverflow(const SMTExprRef &LHS, const SMTExprRef &RHS, in mkBVMulNoOverflow()
670 SMTExprRef mkBVMulNoUnderflow(const SMTExprRef &LHS, in mkBVMulNoUnderflow()
677 SMTExprRef mkBVConcat(const SMTExprRef &LHS, const SMTExprRef &RHS) override { in mkBVConcat()