Что за странная константа?

Question

[sadfsy]

if (arr[j - 1] > arr[j])
Зачем он для такой строчки на 69, 70ой строчке добавляет к j такую странную константу.
Откуда он ее взял? 1073741824

Answer 1

[jcmvbkbc]

Зачем он для такой строчки на 69, 70ой строчке добавляет к j такую странную константу.

В конечном коде выглядит действительно загадочно. Если вызывать компилятор с ключом -fdump-tree-all (фиг знает, как сделать это на godbolt.org, я проверял локально), то уже в самом первом дампе можно увидеть, что if (arr[j - 1] > arr[j]) превращается в это:

if (*(arr + ((sizetype) j + 1073741823) * 4) > *(arr + (sizetype) ((unsigned int) j * 4)))

1073741823 -- это 0x3fffffff, 30 единичных бит, т.е. 30-битная -1. Дальше j + 1073741823 превратилось в

add     r3, r3, #1073741824
subs    r3, r3, #1

т.е. в j + 1073741824 - 1. После умножения на 4 старшие два бита j теряются, но в чём смысл использования 30-битной -1 вместо 32-битной -- мне непонятно.
Поскольку константа появляется ещё до начала архитектурно-зависимых преобразований, она фигурирует в выводе для всех 32-битных архитектур поддерживаемых gcc. Интересно, что это началось между gcc-4.6 и gcc-5, до этого в этом месте генерировался просто sub r3, r3, #1. Ещё интересно, что даже с -O2 эта константа остаётся в сгенерированном коде, а исчезает только с -Os. Выглядит как регрессия.

Answer 2

[mayton2019]

Это красивое число. Вот так в хексах выглядит 0x40000000.
Скоре всего это какая-то константа из stdio.h, stdlib.h, time.h

Comments

[jcmvbkbc]

Скоре всего это какая-то константа из stdio.h, stdlib.h, time.h

Нифига, можно повыкидывать весь код из исходника, включая #include, оставив только функцию bubble_sort, константа останется.

[mayton2019]

jcmvbkbc, хм да. Возможно.