		Search-engine friendly clone of the ACL2 documentation.

Asm-output

Change-asm-output

Modifying constructor for asm-output structures.

Syntax

(change-asm-output x 
                   [:name <name>] 
                   [:constraint <constraint>] 
                   [:lvalue <lvalue>])

This is an often useful alternative to make-asm-output.

We construct a new asm-output 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-asm-output

(defmacro change-asm-output (x &rest args)
  (std::change-aggregate 'asm-output
                         x args
                         '((:name . asm-output->name)
                           (:constraint . asm-output->constraint)
                           (:lvalue . asm-output->lvalue))
                         'change-asm-output
                         'remake-asm-output))