SS
Не смог)
Size: a a a
2020 April 29
d
Не смог)
ну не то чтобы совсем, но не смог
SS
Ну условный переход на такое — это не смог
d
Ну условный переход на такое — это не смог
смысле не смог?
d
там после ифа сразу jae
d
оно указывает за пределы этого фрагмента когда
d
т.е. если нет переноса выходим из этого куска
SS
Это условный переход, он в целом дорогой, даже если он все время будет горячим и прыгать дальше (по сравнению с эффективным кодом тут)
d
Ну условный переход на такое — это не смог
теперь я понял про что ты
d
ну в общем вот:
//ovl.Offset += transfered;
mov %eax,%edx
add 0x10(%rbx),%edx
mov %edx,0x10(%rbx)
//if (ovl.Offset < transfered) ++ovl.OffsetHigh;
jae c24 <_ZN3dse2os2io14IOTarget_win324readEPcy+0x44>
addl $0x1,0x14(%rbx)@Ioann_V что скажешь?
PK
там после ифа сразу jae
http://faydoc.tripod.com/cpu/jae.htm
это условный джамп и есть, к сожалению, а в чем он плох? -- это шанс конвейер дропнуть, если условие провалится (а оно должно провалиться, иначе бы можно было значение вычислить и не делать условного)
это условный джамп и есть, к сожалению, а в чем он плох? -- это шанс конвейер дропнуть, если условие провалится (а оно должно провалиться, иначе бы можно было значение вычислить и не делать условного)
d
Но в целом
лучше генерит код
ovl.OffsetHigh += (ovl.Offset < transfered); лучше генерит код
а эта штука действительно лучше генерит, но выглядит менее выразительно
d
но это действительно не критичный участок кода
PK
а эта штука действительно лучше генерит, но выглядит менее выразительно
классический трейдофф: или читаемость, или экстремальное быстродействие
d
разбираю чисто из интереса
d
классический трейдофф: или читаемость, или экстремальное быстродействие
мне больше интересно от чего компилятор в таком случае начинает лучше оптимайзить
PK
сомневаться в сгенеренном коде хорошо и правильно -- многое можешь запомнить и на практике закрепить) всё ок
PK
мне больше интересно от чего компилятор в таком случае начинает лучше оптимайзить
если тебе хочется упороться, посмотри как выглядит твой код в intermediate representation в LLVM :D и может что-то больше поймешь
d
вообще в этом фрагменте можно использовать одну add инструкцию на оба поля
SS