+(defoptimizer (%nip-values ir2-convert) ((last-nipped last-preserved &rest moved)
+ node block)
+ #!-x86
+ (bug "%NIP-VALUES is not implemented on this platform.")
+ #!+x86
+ (let ((2after (lvar-info (lvar-value last-nipped)))
+ ; pointer immediately after the nipped block
+ (2first (lvar-info (lvar-value last-preserved)))
+ ; pointer to the first nipped word
+ (moved-tns (loop for lvar-ref in moved
+ for lvar = (lvar-value lvar-ref)
+ for 2lvar = (lvar-info lvar)
+ ;when 2lvar
+ collect (first (ir2-lvar-locs 2lvar)))))
+ (aver (eq (ir2-lvar-kind 2after) :unknown))
+ (aver (eq (ir2-lvar-kind 2first) :unknown))
+ (vop* %%nip-values node block
+ ((first (ir2-lvar-locs 2after))
+ (first (ir2-lvar-locs 2first))
+ (reference-tn-list moved-tns nil))
+ ((reference-tn-list moved-tns t)))))
+