(convert-arith-operation-to-rtl-op operation) → *
Function:
(defun convert-arith-operation-to-rtl-op$inline (operation) (declare (xargs :guard (natp operation))) (case operation (0 'rtl::add) (4 'rtl::sub) (26 'rtl::mul) (28 'rtl::div) (otherwise (er hard? 'convert-operation-to-rtl-op "Illegal operation ~x0." operation))))