caxapa.ru :: То, что удалось понять при моем незнании ассемблера ARM - при замене на стандартные типы применена оптимизация (включена высшая):

VLLV (06.01.2019 09:49 - 10:57, просмотров: 204) ответил SciFi на Я просто намекаю: "Работает - не трогай!!!" Слышали такое слово "семантика"? В стандарте языка Си оно приблизительно на каждой странице. Означает "смысл". Вот заменяем одно на другое и ожидаем, что смысл не изменится? Ага, щас.

То, что удалось понять при моем незнании ассемблера ARM - при замене на стандартные типы применена оптимизация (включена высшая): было два похожих блока кода, в одном из них внутри этого блока была модификация переменной, тип которой поменялся. После замены типа компилятор вынес эту модификацию из блока, оставшиеся части совпали, были оформлены как функция. Выигрыш 4 байта. Отсюда вывод по поводу "преждевременной оптимизации" - все же нельзя давать компилятору так резвиться. Явно совпадающие последовательности из более 4-5 строк нужно самому оформлять как функции. Дополнено: Да, попробовал заоптимизировать до компилятора - код перестал зависеть от типа переменных. Вывод: нужно использовать только стандартные типы из stdint

Ответить

- Сижу, пишу на Питоне и офигеваю от ваших выводов :) Скрипач(132 знак., 06.01.2019 16:28)
  - Тогда нужно запретить и макросы - они как раз то надуманная прослойка между человеком и компилятором. - VLLV(06.01.2019 16:53)
    - Вообще-то в Питоне нет макросов. И как-то обходятся. Скрипач(325 знак., 06.01.2019 17:37 - 17:39)
      - Сравнивать объектно-ориентированный язык с "макроассеблером" не совсем корректно, но в принципе согласен. - VLLV(06.01.2019 17:46)
    - Макросы вместо функций - это из древних времён, когда компиляторы были туповаты, а быдлокодеры думали, что они самые умные, и вот так незатейливо заинлайнят, и всё залетает. Короче, фтопку. - SciFi(06.01.2019 17:15)
      - Ни хера! Макросы - это, как сказал коллега, "для людей", чтобы даже самому автору был понятен смысл действий. Это как прослоечка мяса в сале :) - VLLV(06.01.2019 17:20)
        
        Не, ну у всех свои тараканы в голове. В этом смысле я за толерантность, но в разумных пределах :-) - SciFi(06.01.2019 17:24)
  - +1. Тем более ТС признался, что у него уже 520К кода. Пытаться такими ужимками его ужимать - это вообще безумие. - SciFi(06.01.2019 16:45)
    - Не, это хекс. Кода всего лишь 173К. - VLLV(06.01.2019 16:49)
      - Больше, чем 100500 байт? Больше. Такшта возражение не принимается. - SciFi(06.01.2019 17:26)
  - 20 строк на функцию - это же из пайтона пришло, не? - lloyd(06.01.2019 16:31)
    - ХЗ, никогда не смотрел на код под таким углом. Скрипач(49 знак., 06.01.2019 16:36)
- Нифига не понял. А можно код привести? - йцукен(06.01.2019 15:17)
- Я использую свой хедер header types.h, который включаю в проект сразу после stdint.h и подобных. Никогда не имел никаких проблем с такими [пере]определениями: MBedder(424 знак., 06.01.2019 12:41)
  - Логичное решение - 'u' и 's', чтобы не было места инсинуациям. Но на моем примере эта прослоечка таки влияет на компилятор. - VLLV(06.01.2019 12:58)
  - u8? Экономия на ~~спичках~~ буквах добром не закончится :-) - SciFi(06.01.2019 12:47)
    - В моих спичках однозначно видна длина в битах и знаковость, а в char видна только узколобость придумщика, пересаженного с БЭСМ-6 на микроконтроллеры постановлением партсобрания завода "Красный лапоть" - MBedder(06.01.2019 13:37)
      - не, в чаре есть какой-то глубокий смысл, но он и от меня обычно ускользает. О, это то счем работают printf! :) - VLLV(06.01.2019 14:14)
        
        Чар - это буква. Из букв складываются слова. Как известно, вначале было слово. Так вижу. - SciFi(06.01.2019 14:16)
        
        В начале было слово, и слово было 2 байта, а 4 байта назывались DWORD. Но АРМ был хитрее всех зверей полевых, и сказал: пусть слово будет 4 байта, а 2 байта пусть называются halfword. И стало так. - йцукен(06.01.2019 15:11)
      - Шо, и char тоже на партсобрании придумали? Какие негодяи. - Codavr(06.01.2019 13:58 - 14:05)
        
        Нет, char твой парторг вбросил - чтобы ~~враги~~ рядовые члены партии никогда не узнали секретные данные о настоящем размере переменной - MBedder(06.01.2019 14:05)
        
        Неужто и на Bell Labs тоже партячейка была? Куда Эдичка Гувер смотрел. Щаз бы никаких гиморов с типами данных не было. - Codavr(06.01.2019 14:06 - 14:11)
        
        Даёшь чарсрач! Вроде бы ещё не было. Кстати, палиндром. - SciFi(06.01.2019 14:08)
        
        Вах! - Codavr(06.01.2019 14:13)
  - Это банально некорректный код. У C2000 unsigned char - это u16, к примеру. - lloyd(06.01.2019 12:46)
    - Это банально лень читать "книжки" misyachniy(153 знак., 06.01.2019 16:51)
      - Нет, поддержка uint8_t в TI CGT C2000 есть, но сделана она через такую ж, что проще было сказать, что поддержки нет. lloyd(354 знак., 06.01.2019 21:56)
        
        Я о байте говорил. misyachniy(433 знак., 06.01.2019 23:16 - 23:27)
    - Да, для С2000 хедер другой - этот для XC16 (GCC) dsPIC/PIC24 - MBedder(06.01.2019 12:50)
- Добавлю. IAR в свойствах проекта имеет настройку как интерпретировать char - со знаком или без. - misyachniy(06.01.2019 12:39)
  - так чего они не сделали для остальных типов? - VLLV(06.01.2019 14:15)
    - Знаковость имеет смысл только для операции сравнения. Вы char'ы сравнивать по возрастанию собрались? наверное для этого вам нужен беззнаковый тип, чтобы это ложилось на таблицу ASCII - lloyd(06.01.2019 14:26)
    - Пророки Керниган и Ричи замутили Си, но расписали всё недостаточно подробно. Народу всё равно понравилось, и он настрочил кучу кода. Когда руки дошли до стандартизации, ломать эту кучу кода не захотели, вот и пришлось и вашим, и нашим... - SciFi(06.01.2019 14:18)
  - Нехер компилеру что-либо интерпретировать - сказано "знаковый" - значит знаковый, и все тут - MBedder(06.01.2019 12:51)
    - +1. Поэтому осставляю эту галку включенной и везде пишу только беззнаковый. Пользовать знаковый пока что не требовалось :) - Codavr(06.01.2019 13:36 - 13:38)

ARM, RISC-V контроллеры