www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 22158] New: Optimize away empty loops


          Issue ID: 22158
           Summary: Optimize away empty loops
           Product: D
           Version: D2
          Hardware: x86_64
                OS: All
            Status: NEW
          Keywords: performance
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: bugzilla digitalmars.com
          Reporter: dlang-bugzilla thecybershadow.net

void fun(int a, int b)
    for (int i = a; i < b; i++) {}

With -O -inline -release, DMD compiles the above function to:

                push    RBP
                mov     RBP,RSP
                mov     ECX,ESI
                cmp     ESI,EDI
                jge     $+7h
                inc     ECX
                cmp     ECX,EDI
                jl      $+FFFFFFFBh
                pop     RBP

LDC and GDC (with their respective optimization flags on) both compile it to
just a "ret".

This optimization could help writing simpler code in performance-critical
areas, such as the GC:

Jul 30 2021