caxapa.ru :: К.О. напоминает, что компилятору оптимизировать разрешается только так, чтобы результат для любых данных на входе давал точно такой же результат на выходе. Там вариантов не так много.

SciFi (20.05.2022 14:01, просмотров: 140) ответил IBAH на вообще то срезать два нолика, ради прикола попробовал (а*1UL)/1, оптимизирует

К.О. напоминает, что компилятору оптимизировать разрешается только так, чтобы результат для любых данных на входе давал точно такой же результат на выходе. Там вариантов не так много.

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

Ответить

- переменная "а" у меня 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, картинка, картинка)

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