caxapa.ru :: Что именно оптимизировать? Срезать один нолик?

SciFi (20.05.2022 13:50, просмотров: 123) ответил IBAH на А обязан компилятор такое соптимизировать? (a*100UL+50)/100 ? не оптимизирует нихрена, даже (a*100UL)/100

Что именно оптимизировать? Срезать один нолик?

ส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้

Ответить

- Просится сократить на 50, после чего становится очевидно, что выражение ничего не делает. - йцyкeн(20.05.2022 16:03)
- вообще то срезать два нолика, ради прикола попробовал (а*1UL)/1, оптимизирует - IBAH(20.05.2022 13:57)
  - А еси так (а*100UL+50UL)/100UL - оптимизирует? symbions(59 знак., 20.05.2022 19:52)
  - К.О. напоминает, что компилятору оптимизировать разрешается только так, чтобы результат для любых данных на входе давал точно такой же результат на выходе. Там вариантов не так много. - SciFi(20.05.2022 14:01)
    - переменная "а" у меня u16, так что условие "результат для любых данных на входе давал точно такой же результат на выходе" точно выполняется. Так что не надо говорить, что компиляторы умнее нас. - IBAH(20.05.2022 14:12)
      - Ага, под пытками всплывают подробности. Похоже, здесь компилятор упускает возможность оптимизации. Ну а что, он академик что ли? Такие вещи удобно обкатывать на godbolt >>> SciFi(1 знак., 20.05.2022 14:19, ссылка)
        
        я подумал, что 100UL, как бы намекает... за ссылку спасибо, прикольно. Выходит ИАР тупее ЖЦЦ - IBAH(20.05.2022 14:28)
        
        Обычно яр умнее. Ну и там по ссылке (a * 100 + 0). Если 0 заменить на 1 или 100 на 100U, оптимизация идёт лесом. Оптимизация не обязанность, а бонус. - SciFi(20.05.2022 14:30)
        
        Только что упоролся в ГЦЦ. Древний, правда. mse homjak(211 знак., 20.05.2022 14:41)
        
        Арифметический сдвиг аппаратный не везде ж есть. Только сегодня студням я втирал по виды сдвигов )) - POV(20.05.2022 19:55)
        
        Ну если есть, чего не пользовацца? - mse homjak(20.05.2022 20:53)
        
        Была тут ссыль на статью на хабр про самописный компилятор... POV(267 знак., 20.05.2022 20:57)
        
        LCC так устроен. SciFi(1 знак., 20.05.2022 21:00, ссылка)
        
        Там другая история. По правилам Си целочисленное деление отрицательного числа на 2 — это не то же самое, что и арифметический сдвиг на 1 разряд. SciFi(1 знак., 20.05.2022 20:02, ссылка)
        
        Ну собственно на эту тему и втирал - в си логический сдвиг, а аппаратно может быть иной (в моём случае циклический). - POV(20.05.2022 20:09)
        
        Ты не понял. В Си деление и арифметический сдвиг дают разные результаты. - SciFi(20.05.2022 20:26)
        
        Ну как... -4=0xFFFC. Делим на 2, получаем -2, т.е. 0xFFFE. Делим ещо на 2, получаем 0xFFFF, т.е. -1. Арифметичный сдвиг вправо. - mse homjak(20.05.2022 20:58 - 21:02)
        
        Нет, получаем f7fe, код только прямой.. хмм.м мне кажется я уже запиздился. надо перепроверить [UPD] да, запиздился я - POV(20.05.2022 21:06)
        
        Там нужна коррекция на единицу для нечётных отрицательных аргументов. См. тут >>> SciFi(1 знак., 20.05.2022 21:01, ссылка)
        
        Имеется в виду правильное округление? Ну да и % с ним, первый сдвиг, арифметический, сохраняет знак. Второй, логический, проталкивает млачший бит в перенос. Проверка на перенос, прибавление -1. Компилер достаточно мудрён на предмет вычислений смещений для доступа к массиву структур. Т.е. для умножения на 10 индекс складывается с собой два раза(Х4), потом прибавляется к умноженному(Х5) и складывается ещо раз(Х10). Даже умножитель не используют. А тут такая простая операццыя и mse homjak(42 знак., 20.05.2022 21:13)
        
        Я может и заблуждаюсь - но арифметический сдвиг принципиально сохраняет старший бит. А знаковость это то, что вложил в переменную программист, компуктер об этом ничего не знает. Не? POV(62 знак., 20.05.2022 20:30)
        
        Я не про знак. Сколько будет -1/2? - SciFi(20.05.2022 20:34)
        
        -0. единица модуля уйдет в небытие, знак при арифметическом сдвиге должен сохраняться. - POV(20.05.2022 20:36)
        
        Ладно, забей. Только пожалей студентов, не вводи их в заблуждение. - SciFi(20.05.2022 20:38)
        
        Они все равно не усваивают материал.. я для полноты картины им рассказываю вещи за рамками учебной программы. Но только где я неправ? - POV(20.05.2022 20:40 - 20:46)
        
        и вот ещё >>> SciFi(1 знак., 20.05.2022 20:55, ссылка)
        
        Если мало РОН - данные в функцию передаются через стек. Иначе можно и через регистры. Одно и то же в разных условиях будет скомпилировано принципиально разным образом.. POV(124 знак., 20.05.2022 20:59)
        
        Скажем, на арме: SciFi(95 знак., 20.05.2022 20:43)
        
        "-1 это 0xFFFFFFFF" - это в допокоде. Арифметический сдвиг "работает" с прямым кодом. Строго ориентируюсь только на старший бит. - POV(20.05.2022 20:44)
        
        Особо интересующиеся могли бы залезть в исходники гцц и посмотреть, как там всё это устроено. А смысл? Компилятор такой, какой он есть, и больше никакой. - SciFi(20.05.2022 14:43)
        
        Танунах... Тут бы со своими исходниками разобраться. Поставил unsigned и % с ним. Хотя и с signed нормально работало. - mse homjak(20.05.2022 14:59)
        
        Вот это самая мякотка. Работало и до этого, но выпендриться всё равно надо, иначе сам себя уважать перестанешь :-) - SciFi(20.05.2022 15:01)
        
        Не, я память экономлю. Посматриваю, не подключил ли какой злодей килобайтик кода. - mse homjak(20.05.2022 15:07)
        
        Делал на этой неделе прогу-обновлятор загрузчика для стм32... POV(756 знак., 20.05.2022 20:31, картинка, картинка)

Средства и методы разработки