Индексированный переход C/C++ в набор NOP

Я хочу создавать задержки с разрешением в один такт, поэтому я думаю, что нужно иметь 255 NOP один за другим, а затем перейти к последнему за вычетом требуемой задержки. Таким образом, 0 перескочит через последний NOP, 1 — к последнему NOP, а 255 — к первому NOP.

Раньше я использовал вызовы индексированных функций, но ничего не могу найти в индексированных gotos, подобных этому. Я также думал об использовании оператора switch, но, похоже, у него были другие инструкции.

Любые предложения с благодарностью принимаются.

Вы смотрели на код, сгенерированный вашей версией оператора switch?

1201ProgramAlarm 25.02.2019 00:07

Нет, но кажется, что он индексируется примерно на три тактовых импульса, а не на один, поэтому, предположительно, выводятся какие-то другие инструкции. пойду посмотрю

Mike Bryant 25.02.2019 00:16

Быстрая попытка на Godbolt, кажется, дает то, что вы ищете: godbolt.org/z/146A5A

Nick ODell 25.02.2019 00:57

Наконец-то получил вывод сборки, работающий на AVR-Studio, и он создает векторную таблицу rjmp <16-битный адрес>, указывающую на NOP. Таким образом, каждый дополнительный NOP фактически занимает 4 байта, а не один. Я ожидал, что код будет прямым индексированным переходом в NOP, а не через таблицу непрямых переходов. Код: switch(100-Batt_Percent) { case 100:__asm__ volatile__("нет"); случай 99: __асмvolatile__("нет"); .... случай 1: __asm __volatile__("nop");

Mike Bryant 25.02.2019 02:56
Стоит ли изучать PHP в 2026-2027 годах?
Стоит ли изучать PHP в 2026-2027 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
1
4
172
1

Ответы 1

У Ника Оделла есть хорошее решение, но компилятор не может знать, что все ваши случаи будут иметь ровно один байт кода. Это не будет известно, пока не пройдет ассемблер. Таким образом, компилятор должен создать что-то, что будет работать независимо от того, сколько кода было создано в каждом из ваших случаев, и таблица непрямых переходов — действительно единственный способ сделать это.

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

Вот что у меня получилось (для gcc/amd64/gas на Linux). Вот он на богболте.

#include <stdlib.h>

#define N 1000

#define xstr(s) str(s)
#define str(s) #s


void delay(unsigned ticks) {
  if (ticks <= N) {
    asm("movq $1f, %%rax \n"
    "addq %0, %%rax \n"
    "jmp *%%rax \n"
    "1: \n"
    ".rept " xstr(N) " \n"
    "nop \n"
    ".endr \n"
    : : "g" ((unsigned long)(N-ticks)): "ax");
  } else {
    abort();
  }
}

int main(void) {
  delay(4);
  return 0;
}

Обратите внимание, что он должен быть скомпилирован с -no-pie. Если вы хотите, чтобы он работал как исполняемый файл, не зависящий от позиции, вам, вероятно, понадобится трюк, например call 2f ; 2f: popq %rax, чтобы получить абсолютный адрес программы в регистре.

Конечно, всегда возникает вопрос, не испортят ли накладные расходы, связанные с фактическим получением этого кода, точность вашего времени задержки...

Другие вопросы по теме