Подтвердить что ты не робот

Плагин GCC, добавьте новую оптимизирующую прагму

Я создаю плагин GCC.

Я пытаюсь создать плагин для конкретного преобразования цикла - развернуть цикл точно N (заданный параметр). Я правильно установил плагины, и я могу успешно зарегистрировать свою прагму в процессе компиляции. Когда я регистрирую прагму с функцией c_register_pragma, я могу справиться с ней в лексическом анализе (с функцией handle_my_pragma), но как я могу ее найти?

Я также могу определить свой собственный проход и пересечь GIMPLE, но нет никаких следов какой-либо прагмы. Поэтому мой вопрос: где моя прагма и как я могу влиять на мой код? Или что вы предложите достичь своей цели? Это не должно быть с прагмой, но это казалось хорошей идеей. Кроме того, я знаю о MELT, но в рамках изучения GCC я предпочел бы чистый плагин в C.

Мой код

static bool looplugin_gate(void)
{
    return true;
}

static unsigned looplugin_exec(void)
{
    printf( "===looplugin_exec===\n" );

    basic_block bb;
    gimple stmt;
    gimple_stmt_iterator gsi;

    FOR_EACH_BB(bb)
    {
        for (gsi=gsi_start_bb(bb); !gsi_end_p(gsi); gsi_next(&gsi), j++)
        {
            stmt = gsi_stmt(gsi);
            print_gimple_stmt (stdout, stmt, 0, TDF_SLIM);
        }
    }
    return 0;
}


void handle_my_pragma(cpp_reader *ARG_UNUSED(dummy))
{
    printf ("=======Handling loopragma=======\n" );
    enum cpp_ttype token;
    tree x;
    int num = -1;

    token = pragma_lex (&x);
    if (TREE_CODE (x) != INTEGER_CST)
        warning (0, "invalid constant in %<#pragma looppragma%> - ignored"); 
    num = TREE_INT_CST_LOW (x);
    printf( "Detected #pragma loopragma %d\n", num );
}

static void register_my_pragma (void *event_data, void *data)
{
    warning (0, G_("Callback to register pragmas"));
    c_register_pragma (NULL, "loopragma", handle_my_pragma);
}


static struct opt_pass myopt_pass = 
{
    .type = GIMPLE_PASS,
    .name = "LoopPlugin",
    .gate = looplugin_gate,
    .execute = looplugin_exec
};

int plugin_init(struct plugin_name_args   *info,  /* Argument infor */
struct plugin_gcc_version *ver)   /* Version of GCC */
{
const char * plugin_name = info->base_name;
struct register_pass_info pass;

pass.pass = &myopt_pass;
pass.reference_pass_name = "ssa";
pass.ref_pass_instance_number = 1;
pass.pos_op = PASS_POS_INSERT_BEFORE;

register_callback( plugin_name, PLUGIN_PRAGMAS, register_my_pragma, NULL );
register_callback( plugin_name, PLUGIN_PASS_MANAGER_SETUP, NULL, &pass );

return 0;
}

PS: Если кто-то был знаком с разработкой плагинов GCC и имел хорошее сердце:), пожалуйста, свяжитесь со мной (mbukovy gmail com). Я делаю это из-за моего окончательного тезиса (собственный выбор), и я приветствую любого сожителя.

4b9b3361

Ответ 1

Когда я регистрирую прагму с помощью функции c_register_pragma, я могу обрабатывать ее в лексическом анализе (с функцией handle_my_pragma), но как я могу ее найти?

Существует опция (на самом деле, взлом) для создания вызова фиктивной вспомогательной функции в месте прагмы при разборе. Затем вы можете обнаружить эту функцию по имени в промежуточном представлении.

Асло, несколько дней назад в GCC ML возник вопрос в felix.yang(huawei) "Как доставить информацию о прагме, связанную с циклом, от TREE до RTL?" - http://comments.gmane.org/gmane.comp.gcc.devel/135243 - проверить поток

Некоторые рекомендации из списка:

Посмотрите, как мы реализуем #pragma ivdep (см. replace_loop_annotate() и fortran/trans-stmt.c, где он создает ANNOTATE_EXPR).

Патч с добавлением функции replace_loop_annotate() и ivdep реализация pragma: "Re: Патч: Добавить поддержку #pragma ivdep для ME и C FE" by Tobias Burnus (2013-08-24).