Lines Matching refs:ref
133 def ref(name):
500 bin('SLessThan', ref('left'), literal(0)),
501 bin('SLessThan', ref('right'), literal(0)))),
502 ('left_size', un('SizeInBits', un('Abs', ref('left')))),
503 ('signed_adjust', if_expr(ref('either_signed'), literal(1), literal(0))),
505 bin('UDiv', un('Abs', ref('right')),
506 if_expr(ref('either_signed'), literal(4), literal(2))))),
508 bin('SLessThan', ref('left_size'), ref('right_size')),
510 bin('Sub', ref('left_size'), ref('right_size'))))
513 ref('signed_adjust'),
514 if_expr(bin('Equal', ref('right'), literal(0)),
516 bin('UDiv', ref('left_minus_right'), literal(4))))
523 bin('SLessThan', ref('left'), literal(0)),
524 bin('SLessThan', ref('right'), literal(0)))),
525 ('left_size', un('SizeInBits', un('Abs', ref('left')))),
526 ('signed_adjust', if_expr(ref('either_signed'), literal(1), literal(0))),
528 bin('UDiv', un('Abs', ref('right')),
529 if_expr(ref('either_signed'), literal(4), literal(2))))),
531 bin('SLessThan', ref('left_size'), ref('right_size')),
533 bin('Sub', ref('left_size'), ref('right_size'))))
536 ref('signed_adjust'),
537 if_expr(bin('Equal', ref('right'), literal(0)),
539 bin('UDiv', ref('left_minus_right'), literal(4))))
784 ('left_size', un('SizeInBits', ref('left'))),
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)))