(gpr-arith/logic-spec-8 operation dst src input-rflags) → (mv * * *)
Function:
(defun gpr-arith/logic-spec-8 (operation dst src input-rflags) (declare (type (member 0 38 2 4 6 8 1 3 5 7) operation) (type (unsigned-byte 64) dst) (type (unsigned-byte 64) src) (type (unsigned-byte 32) input-rflags)) (let ((__function__ 'gpr-arith/logic-spec-8)) (declare (ignorable __function__)) (case operation (0 (gpr-add-spec-8 dst src input-rflags)) (1 (gpr-or-spec-8 dst src input-rflags)) (2 (gpr-adc-spec-8 dst src input-rflags)) (3 (gpr-and-spec-8 dst src input-rflags)) (4 (gpr-sub-spec-8 dst src input-rflags)) (5 (gpr-xor-spec-8 dst src input-rflags)) (6 (gpr-sbb-spec-8 dst src input-rflags)) (7 (gpr-and-spec-8 dst src input-rflags)) (8 (gpr-sub-spec-8 dst src input-rflags)) (38 (gpr-xadd-spec-8 dst src input-rflags)) (otherwise (mv 0 0 0)))))