Home
last modified time | relevance | path

Searched refs:MSB1 (Results 1 – 6 of 6) sorted by relevance

/dports/devel/arduino-core/Arduino-b439a77/hardware/arduino/avr/firmwares/wifishield/wifiHD/src/SOFTWARE_FRAMEWORK/UTILS/
H A Dcompiler.h1137 #define MSB1(u32) MSB1W(u32) //!< Most significant byte of 2nd rank of \a u32. macro
/dports/devel/arduino-core/Arduino-b439a77/hardware/arduino/avr/firmwares/wifishield/wifi_dnld/src/SOFTWARE_FRAMEWORK/UTILS/
H A Dcompiler.h1137 #define MSB1(u32) MSB1W(u32) //!< Most significant byte of 2nd rank of \a u32. macro
/dports/devel/arduino-core/Arduino-b439a77/libraries/WiFi/extras/wifiHD/src/SOFTWARE_FRAMEWORK/UTILS/
H A Dcompiler.h1137 #define MSB1(u32) MSB1W(u32) //!< Most significant byte of 2nd rank of \a u32. macro
/dports/devel/arduino-core/Arduino-b439a77/libraries/WiFi/extras/wifi_dnld/src/SOFTWARE_FRAMEWORK/UTILS/
H A Dcompiler.h1137 #define MSB1(u32) MSB1W(u32) //!< Most significant byte of 2nd rank of \a u32. macro
/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/
H A Dbitvector_theorem_producer.cpp476 const Expr MSB1 = topBit1.getRHS(); in signBVLTRule() local
490 if(MSB1.getKind() == BVCONST) b1 = d_theoryBitvector->computeBVConst(MSB1); in signBVLTRule()
497 const Expr MSB1isZero = MSB1.eqExpr(bvZero()); in signBVLTRule()
498 const Expr MSB1isOne = MSB1.eqExpr(bvOne()); in signBVLTRule()
589 Expr k1 = MSB0.eqExpr(MSB1); in signBVLTRule()
H A Dtheory_bitvector.cpp1598 const Expr MSB1 = newBVExtractExpr(thm0RHS[1],bvlength-1,bvlength-1); in rewriteBV() local
1602 const Theorem topBit1 = rewriteBV(MSB1, cache, 2); in rewriteBV()