		Search-engine friendly clone of the ACL2 documentation.

Asm-stmt

Change-asm-stmt

Modifying constructor for asm-stmt structures.

Syntax

(change-asm-stmt x 
                 [:uscores <uscores>] 
                 [:quals <quals>] 
                 [:template <template>] 
                 [:num-colons <num-colons>] 
                 [:outputs <outputs>] 
                 [:inputs <inputs>] 
                 [:clobbers <clobbers>] 
                 [:labels <labels>])

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

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

(defmacro change-asm-stmt (x &rest args)
  (std::change-aggregate 'asm-stmt
                         x args
                         '((:uscores . asm-stmt->uscores)
                           (:quals . asm-stmt->quals)
                           (:template . asm-stmt->template)
                           (:num-colons . asm-stmt->num-colons)
                           (:outputs . asm-stmt->outputs)
                           (:inputs . asm-stmt->inputs)
                           (:clobbers . asm-stmt->clobbers)
                           (:labels . asm-stmt->labels))
                         'change-asm-stmt
                         'remake-asm-stmt))