Есть ли разница между этими макросами?

(dolist (i lst) (do-something i))
 
(loop for i in lst do (do-something i))

> (pprint (macroexpand-1 '(loop for i in '(1 2 3) do (print i))))
 
(BLOCK NIL
  (MACROLET ((LOOP-FINISH () '(GO #:|end-loop-740|)))
    (LET ((I NIL) (#:|tail-743| '(1 2 3)) (#:|by-744| 'SYSTEM:CDR$CONS))
      (TAGBODY
       #:|begin-loop-739| NIL
               (PROGN
                 (WHEN (OR (ENDP #:|tail-743|)) (GO #:|end-loop-740|))
                 (LET ((#:|temp-746| (FUNCALL #:|by-744| #:|tail-743|))
                       (#:|temp-745| (SYSTEM:CAR$CONS #:|tail-743|)))
                   (SETQ I #:|temp-745|)
                   (SETQ #:|tail-743| #:|temp-746|)))
               (PRINT I)
               (GO #:|begin-loop-739|)
       #:|end-loop-740| (RETURN-FROM NIL NIL)))))
 
 
 
> (pprint (macroexpand-1 '(dolist (i '(1 2 3)) (print i))))
 
(DO ((#:|dolist-749| '(1 2 3)
      (CDR (COMPILER::INTERNAL-THE CONS #:|dolist-749|))))
    ((ENDP #:|dolist-749|))
  (LET ((I (CAR (COMPILER::INTERNAL-THE CONS #:|dolist-749|))))
    (DECLARE (IGNORABLE I))
    (TAGBODY (PRINT I))))

INSOMNIA> (progn
            (pprint "Loop")
            (time (loop 
                     repeat 1000
                     do (loop for a in *1000000*)))
            (pprint "Dolist")
            (time (loop 
                     repeat 1000 
                     do (dolist (a *1000000*) (declare (ignore a))))))
 
"Loop"
Evaluation took:
  2.840 seconds of real time
  2.788000 seconds of total run time (2.788000 user, 0.000000 system)
  98.17% CPU
  6,799,001,607 processor cycles
  32,992 bytes consed
  
 
"Dolist"
Evaluation took:
  2.846 seconds of real time
  2.794000 seconds of total run time (2.794000 user, 0.000000 system)
  98.17% CPU
  6,811,839,198 processor cycles
  33,136 bytes consed
  
NIL