SBCL

  1. Bug #554190
  2. Comment #2

Comment 2 for bug 554190

Revision history for this message
Nikodemus Siivola (nikodemus) wrote : Re: SBCL fails to remove the simplest useless loop in a function body

SBCL does rudimentary loop analysis to aid register allocation and aligning loop heads -- but that's it.

In this case it's particularly sad as the (= 1 1) is optimized away -- so the loop is quite breathtaking:

; B0: L0: 4883C108 ADD RCX, 8
; B4: L1: 483B0D25000000 CMP RCX, [RIP+37]
; BB: 7EF3 JLE L0