← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/centaur/vl/transforms/always/stmttemps.lisp

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/centaur/vl/transforms/always/stmttemps.lisp
172
172
 
173
173
    (mv new-x (change-vl-delta delta
174
174
                               :nf       nf
175
 
                               :netdecls (cons temp-decl delta.netdecls)
 
175
                               :vardecls (cons temp-decl delta.vardecls)
176
176
                               :assigns  (cons temp-ass delta.assigns)))))
177
177
 
178
178
(define vl-ifstmt-stmttemps
228
228
        (change-vl-delta delta
229
229
                         :nf       nf
230
230
                         :assigns  (cons temp-assign delta.assigns)
231
 
                         :netdecls (cons temp-decl delta.netdecls)))))
 
231
                         :vardecls (cons temp-decl delta.vardecls)))))
232
232
 
233
233
(defines vl-stmt-stmttemps
234
234
 
303
303
        x)
304
304
       (delta (vl-starting-delta x))
305
305
       (delta (change-vl-delta delta
306
 
                               :netdecls x.netdecls
 
306
                               :vardecls x.vardecls
307
307
                               :assigns x.assigns))
308
308
       ((mv alwayses delta) (vl-alwayslist-stmttemps x.alwayses delta))
309
309
       ((vl-delta delta)    (vl-free-delta delta)))
310
310
    (change-vl-module x
311
311
                      :alwayses alwayses
312
312
                      :assigns  delta.assigns
313
 
                      :netdecls delta.netdecls
 
313
                      :vardecls delta.vardecls
314
314
                      :warnings delta.warnings)))
315
315
 
316
316
(defprojection vl-modulelist-stmttemps (x)