32bit_me Nov 18 2019 at 23:44

Как LLVM оптимизирует функцию

10 min

9.8K

Open source*Programming*C++*Compilers*C*

Translation

+39

Comments 12

Panzerschrek Nov 19 2019 at 16:23

Хотелось бы добавить, что в статье перечислена только малая часть оптимизаций. В LLVM также есть оптимизации, которые могут целый цикл в формулу развернуть или преобразовать сложный набор инструкций в одну машинную, вроде bswap или popcnt.

32bit_me Nov 19 2019 at 17:01

Вы совершенно правы.

Nagg Nov 19 2019 at 19:04

Это самый простой вид оптимизаций :-) и тут он тоже немного затрагивается (InstCombine)

AVI-crak Nov 20 2019 at 00:22

GCC для cortex-m7 — по прежнему две инструкции чтения в цикле.
godbolt.org/z/GAGNMX

lieff Nov 20 2019 at 00:58

В gcc 9.2 похоже уже норм:

Тык

is_sorted:
    @ args = 0, pretend = 0, frame = 0
    @ frame_needed = 0, uses_anonymous_args = 0
    @ link register save eliminated.
    cmp r1, #1
    ble .L4
    movs    r2, #0
    push    {r4}
    subs    r4, r1, #1
    ldr r3, [r0]
    b   .L3
.L13:
    cmp r2, r4
    beq .L12
.L3:
    mov r1, r3
    ldr r3, [r0, #4]!
    adds    r2, r2, #1
    cmp r3, r1
    bge .L13
    movs    r0, #0
    ldr r4, [sp], #4
    bx  lr
.L12:
    movs    r0, #1
    ldr r4, [sp], #4
    bx  lr
.L4:
    movs    r0, #1
    bx  lr