Lines Matching defs:bin
116 def bin(op, left, right):
499 ('either_signed', bin('Or',
500 bin('SLessThan', ref('left'), literal(0)),
501 bin('SLessThan', ref('right'), literal(0)))),
505 bin('UDiv', un('Abs', ref('right')),
508 bin('SLessThan', ref('left_size'), ref('right_size')),
510 bin('Sub', ref('left_size'), ref('right_size'))))
512 bin('Add',
514 if_expr(bin('Equal', ref('right'), literal(0)),
516 bin('UDiv', ref('left_minus_right'), literal(4))))
522 ('either_signed', bin('Or',
523 bin('SLessThan', ref('left'), literal(0)),
524 bin('SLessThan', ref('right'), literal(0)))),
528 bin('UDiv', un('Abs', ref('right')),
531 bin('SLessThan', ref('left_size'), ref('right_size')),
533 bin('Sub', ref('left_size'), ref('right_size'))))
535 bin('Add',
537 if_expr(bin('Equal', ref('right'), literal(0)),
539 bin('UDiv', ref('left_minus_right'), literal(4))))
786 bin('UDiv', ref('right'), literal(2)))),
788 bin('SLessThan', ref('left_size'), ref('right_size')),
790 bin('Sub', ref('left_size'), ref('right_size'))))
792 if_expr(bin('Equal', ref('right'), literal(0)),
794 bin('UDiv', ref('left_minus_right'), literal(4)))