Lines Matching refs:right
140 if (m.right().Is(0)) return Replace(m.left().node()); // x ^ 0 => x
142 return ReplaceInt32(m.left().Value() ^ m.right().Value());
145 if (m.left().IsWord32Xor() && m.right().Is(-1)) {
147 if (mleft.right().Is(-1)) { // (x ^ -1) ^ -1 => x
157 if (m.right().Is(0)) return Replace(m.left().node()); // x >>> 0 => x
159 return ReplaceInt32(m.left().Value() >> m.right().Value());
167 if (m.right().Is(0)) return Replace(m.left().node()); // x ror 0 => x
170 base::bits::RotateRight32(m.left().Value(), m.right().Value()));
177 return ReplaceBool(m.left().Value() == m.right().Value());
179 if (m.left().IsInt32Sub() && m.right().Is(0)) { // x - y == 0 => x == y
182 node->ReplaceInput(1, msub.right().node());
192 return ReplaceBool(m.left().Value() == m.right().Value());
194 if (m.left().IsInt64Sub() && m.right().Is(0)) { // x - y == 0 => x == y
197 node->ReplaceInput(1, msub.right().node());
210 if (m.right().Is(0)) return Replace(m.right().node()); // x * 0 => 0
211 if (m.right().Is(1)) return Replace(m.left().node()); // x * 1 => x
213 return ReplaceInt32(m.left().Value() * m.right().Value());
215 if (m.right().Is(-1)) { // x * -1 => 0 - x
221 if (m.right().IsPowerOf2()) { // x * 2^n => x << n
222 node->ReplaceInput(1, Int32Constant(WhichPowerOf2(m.right().Value())));
240 return ReplaceBool(m.left().Value() < m.right().Value());
242 if (m.left().IsInt32Sub() && m.right().Is(0)) { // x - y < 0 => x < y
245 node->ReplaceInput(1, msub.right().node());
248 if (m.left().Is(0) && m.right().IsInt32Sub()) { // 0 < x - y => y < x
249 Int32BinopMatcher msub(m.right().node());
250 node->ReplaceInput(0, msub.right().node());
260 return ReplaceBool(m.left().Value() <= m.right().Value());
262 if (m.left().IsInt32Sub() && m.right().Is(0)) { // x - y <= 0 => x <= y
265 node->ReplaceInput(1, msub.right().node());
268 if (m.left().Is(0) && m.right().IsInt32Sub()) { // 0 <= x - y => y <= x
269 Int32BinopMatcher msub(m.right().node());
270 node->ReplaceInput(0, msub.right().node());
280 if (m.right().Is(0)) return ReplaceBool(false); // x < 0 => false
282 return ReplaceBool(m.left().Value() < m.right().Value());
285 if (m.left().IsWord32Sar() && m.right().HasValue()) {
287 if (mleft.right().HasValue()) {
290 const uint32_t c = m.right().Value();
291 const uint32_t k = mleft.right().Value() & 0x1f;
305 if (m.right().Is(kMaxUInt32)) return ReplaceBool(true); // x <= M => true
307 return ReplaceBool(m.left().Value() <= m.right().Value());
314 if (m.right().IsNaN()) { // x + NaN => NaN
315 return Replace(m.right().node());
318 return ReplaceFloat64(m.left().Value() + m.right().Value());
324 if (m.right().Is(0) && (Double(m.right().Value()).Sign() > 0)) {
327 if (m.right().IsNaN()) { // x - NaN => NaN
328 return Replace(m.right().node());
334 return ReplaceFloat64(m.left().Value() - m.right().Value());
340 if (m.right().Is(-1)) { // x * -1.0 => -0.0 - x
346 if (m.right().Is(1)) return Replace(m.left().node()); // x * 1.0 => x
347 if (m.right().IsNaN()) { // x * NaN => NaN
348 return Replace(m.right().node());
351 return ReplaceFloat64(m.left().Value() * m.right().Value());
357 if (m.right().Is(1)) return Replace(m.left().node()); // x / 1.0 => x
358 if (m.right().IsNaN()) { // x / NaN => NaN
359 return Replace(m.right().node());
365 return ReplaceFloat64(m.left().Value() / m.right().Value());
371 if (m.right().Is(0)) { // x % 0 => NaN
374 if (m.right().IsNaN()) { // x % NaN => NaN
375 return Replace(m.right().node());
381 return ReplaceFloat64(modulo(m.left().Value(), m.right().Value()));
456 if (m.right().Is(0)) return Replace(m.left().node()); // x + 0 => x
459 bit_cast<uint32_t>(m.right().Value()));
464 node->ReplaceInput(0, m.right().node());
465 node->ReplaceInput(1, mleft.right().node());
471 if (m.right().IsInt32Sub()) {
472 Int32BinopMatcher mright(m.right().node());
474 node->ReplaceInput(1, mright.right().node());
487 if (m.right().Is(0)) return Replace(m.left().node()); // x - 0 => x
490 static_cast<uint32_t>(m.right().Value()));
493 if (m.right().HasValue()) { // x - K => x + -K
494 node->ReplaceInput(1, Int32Constant(-m.right().Value()));
506 if (m.right().Is(0)) return Replace(m.right().node()); // x / 0 => 0
507 if (m.right().Is(1)) return Replace(m.left().node()); // x / 1 => x
510 base::bits::SignedDiv32(m.left().Value(), m.right().Value()));
516 if (m.right().Is(-1)) { // x / -1 => 0 - x
523 if (m.right().HasValue()) {
524 int32_t const divisor = m.right().Value();
554 if (m.right().Is(0)) return Replace(m.right().node()); // x / 0 => 0
555 if (m.right().Is(1)) return Replace(m.left().node()); // x / 1 => x
558 base::bits::UnsignedDiv32(m.left().Value(), m.right().Value()));
564 if (m.right().HasValue()) {
566 uint32_t const divisor = m.right().Value();
568 node->ReplaceInput(1, Uint32Constant(WhichPowerOf2(m.right().Value())));
583 if (m.right().Is(0)) return Replace(m.right().node()); // x % 0 => 0
584 if (m.right().Is(1)) return ReplaceInt32(0); // x % 1 => 0
585 if (m.right().Is(-1)) return ReplaceInt32(0); // x % -1 => 0
589 base::bits::SignedMod32(m.left().Value(), m.right().Value()));
591 if (m.right().HasValue()) {
593 int32_t const divisor = Abs(m.right().Value());
621 if (m.right().Is(0)) return Replace(m.right().node()); // x % 0 => 0
622 if (m.right().Is(1)) return ReplaceUint32(0); // x % 1 => 0
626 base::bits::UnsignedMod32(m.left().Value(), m.right().Value()));
628 if (m.right().HasValue()) {
630 uint32_t const divisor = m.right().Value();
632 node->ReplaceInput(1, Uint32Constant(m.right().Value() - 1));
686 if (m.right().HasValue() && ((rep == MachineRepresentation::kWord8 &&
687 (m.right().Value() & 0xff) == 0xff) ||
689 (m.right().Value() & 0xffff) == 0xffff))) {
698 m.right().IsInRange(1, 24)) ||
700 m.right().IsInRange(1, 16)))) {
702 if (mleft.right().Is(m.right().Value())) {
724 m.right().Value(), &val);
727 if (m.right().Is(0)) {
738 m.right().Value(), &val);
741 if (m.right().Is(0)) {
761 if (m.right().IsWord32And()) {
762 Int32BinopMatcher mright(m.right().node());
763 if (mright.right().Is(0x1f)) {
776 if (m.right().Is(0)) return Replace(m.left().node()); // x << 0 => x
778 return ReplaceInt32(m.left().Value() << m.right().Value());
780 if (m.right().IsInRange(1, 31)) {
785 if (mleft.right().Is(m.right().Value())) {
788 Uint32Constant(~((1U << m.right().Value()) - 1U)));
801 if (m.right().Is(0)) return Replace(m.left().node()); // x >> 0 => x
803 return ReplaceInt32(m.left().Value() >> m.right().Value());
808 if (m.right().Is(31) && mleft.right().Is(31)) {
819 if (m.right().Is(24) && mleft.right().Is(24) &&
824 if (m.right().Is(16) && mleft.right().Is(16) &&
838 if (m.right().Is(0)) return Replace(m.right().node()); // x & 0 => 0
839 if (m.right().Is(-1)) return Replace(m.left().node()); // x & -1 => x
840 if (m.left().IsComparison() && m.right().Is(1)) { // CMP & 1 => CMP
844 return ReplaceInt32(m.left().Value() & m.right().Value());
847 if (m.left().IsWord32And() && m.right().HasValue()) {
849 if (mleft.right().HasValue()) { // (x & K) & K => x & K
852 1, Int32Constant(m.right().Value() & mleft.right().Value()));
857 if (m.right().IsNegativePowerOf2()) {
858 int32_t const mask = m.right
861 if (mleft.right().HasValue() &&
862 mleft.right().Value() >= base::bits::CountTrailingZeros32(mask)) {
868 if (mleft.right().HasValue() &&
869 (mleft.right().Value() & mask) == mleft.right().Value()) {
871 node->ReplaceInput(0, Word32And(mleft.left().node(), m.right().node()));
872 node->ReplaceInput(1, mleft.right().node());
879 if (mleftleft.right().IsMultipleOf(-mask)) {
882 Word32And(mleft.right().node(), m.right().node()));
889 if (mleft.right().IsInt32Mul()) {
890 Int32BinopMatcher mleftright(mleft.right().node());
891 if (mleftright.right().IsMultipleOf(-mask)) {
894 Word32And(mleft.left().node(), m.right().node()));
903 if (mleftleft.right().Is(base::bits::CountTrailingZeros32(mask))) {
906 Word32And(mleft.right().node(), m.right().node()));
913 if (mleft.right().IsWord32Shl()) {
914 Int32BinopMatcher mleftright(mleft.right().node());
915 if (mleftright.right().Is(base::bits::CountTrailingZeros32(mask))) {
918 Word32And(mleft.left().node(), m.right().node()));
927 if (mleft.right().IsMultipleOf(-mask)) {
940 if (m.right().Is(0)) return Replace(m.left().node()); // x | 0 => x
941 if (m.right().Is(-1)) return Replace(m.right().node()); // x | -1 => -1
943 return ReplaceInt32(m.left().Value() | m.right().Value());
953 if (m.left().IsWord32Shl() && m.right().IsWord32Shr()) {
955 shr = m.right().node();
956 } else if (m.left().IsWord32Shr() && m.right().IsWord32Shl()) {
957 shl = m.right().node();
967 if (mshl.right().HasValue() && mshr.right().HasValue()) {
969 if (mshl.right().Value() + mshr.right().Value() != 32) return NoChange();
973 if (mshl.right().IsInt32Sub()) {
974 sub = mshl.right().node();
975 y = mshr.right().node();
976 } else if (mshr.right().IsInt32Sub()) {
977 sub = mshr.right().node();
978 y = mshl.right().node();
984 if (!msub.left().Is(32) || msub.right().node() != y) return NoChange();
988 node->ReplaceInput(1, mshr.right().node());
1045 m.right().IsChangeFloat32ToFloat64()) ||
1047 IsFloat64RepresentableAsFloat32(m.right())) ||
1049 m.right().IsChangeFloat32ToFloat64())) {
1068 1, m.right().HasValue()
1069 ? Float32Constant(static_cast<float>(m.right().Value()))
1070 : m.right().InputAt(0));
