		Search-engine friendly clone of the ACL2 documentation.

Instr-op

Change-instr-op

Modifying constructor for instr-op structures.

Syntax

(change-instr-op x 
                 [:funct <funct>] 
                 [:rd <rd>] 
                 [:rs1 <rs1>] 
                 [:rs2 <rs2>])

This is an often useful alternative to make-instr-op.

We construct a new instr-op structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by fty::defprod.

Macro: change-instr-op

(defmacro change-instr-op (x &rest args)
  (std::change-aggregate 'instr-op
                         x args
                         '((:funct . instr-op->funct)
                           (:rd . instr-op->rd)
                           (:rs1 . instr-op->rs1)
                           (:rs2 . instr-op->rs2))
                         'change-instr-op
                         'nil))