r
Ни в чьей. Компилятор просто генерирует mov eax, [ebx].
Size: a a a
2021 May 01
EG
Компилятор не обязан это делать, в этом и фокус.
EG
Тогда нужно где-то задокументировать инвариант «
*ptr это чтение из памяти машины по адресу ptr», потому что стандарту C на это пофиг.EG
Причём это тоже будет неправдой, потому что современные компиляторы ещё как умеют убирать лишние дерефы, если сочтут их лишними.
r
Угу, поэтому есть volatile
EG
volatile гарантирует не то, что ты думаешь
EG
volatile гарантирует не «
*ptr компилируется в чтение из памяти машины», а всего лишь «*ptr честно исполняет те операции абстрактной машины, которой должен»EG
И нужен ещё инвариант «любое чтение по указателю в абстрактной машине соответствует чтению из памяти по этому адресу в машине реальной»
r
Это всё есть в головах писателей компиляторов. Неплохо, конечно, кодифицировать, но и так... Компилятораписателя сделавшего всё строго по стандарту без учёта использования просто пошлют подальше.
B
так некоторые компиляторы могут кста
EG
? Покажи
B
это не стандарт, но есть в некоторых компиляторах
debice_t a _at(0x1337);
debice_t a _at(0x1337);
B
чото такое
r
Или в линкере указать адрес секции и что там лежит переменная и
extern struct uart_regs uart1; в кодеID
Класно, крейнлифт по ощущениям х3 ускорение компиляции дал
ID
А вот у меня вопрос, почему ллвм умеет в хвостовую рекурсию, а раст не могет?
TK
Ллвм умеет в хвостовую рекурсию when he feels like it. То есть она не гарантируется компилятором конкретного языка. Тейлколлы часто замедляют исполнение, так как требуют строгого порядка аргументов на стеке, а у раста нет стабильного ABI.
s
LLVM недавно таки научился гарантировать оптимизацию рекурсии.
EG
Потому что дропы.
EG
У тебя дропы очень часто делают рекурсию на самом деле не хвостовой.