Автоматическая векторизация выражений оптимизирующим компилятором Ермолицкий Александр, 112 группа Научный руководитель: Шлыков Сергей Московский Физико-Технический. - презентация

1 Автоматическая векторизация выражений оптимизирующим компилятором Ермолицкий Александр, 112 группа Научный руководитель: Шлыков Сергей Московский Физико-Технический Институт (государственный университет) Москва 2007

2 Пример векторизации цикла unsigned char a[N], b[N], c[N]; int x;... for( i=0; i 255 ) x = 255; c[i] = x; } for( i=0; i

3 Реализованная функциональность for( i=0; i

4 Схема векторизации циклов for( i=0; i

5 Ограничения for( i=0; i

6 Выравнивающие преобразования float a[N], b[N];... for( i=0; i

7 Алгоритм выравнивания операций анализ выровненности операций чтения/записи разбиение операций на группы с одинаковой выровненностью выравнивание наибольшей группы пилингом выравнивание остальных групп динамическими проверками for( i=0; i

8 Невыровненные операции ld insf st getf insf scr ld

9 Рекуррентные выражения int a[N];... for( i=0; i

10 Условные выражения char a[N], b[N], c[N], x;... for( i=0; i b[i] ) x = a[i]; else x = b[i]; c[i] = x; } for( i=0; i

11 Циклы с боковым выходом LD a[i] Vs1 ST b[i] Vs1 CMPEs Vs1, 0 постцикл ADDs Vs0, 1 Vs0 CMPLs Vs0, N LD a[i:i+7] Vd1 CMPEd Vd1, 0 постцикл ST b[i:i+7] Vd1 ADDs Vs0, 8 Vs0 CMPLs Vs0, N LD a[i] Vs1 ST b[i] Vs1 CMPEs Vs1, 0 ADDs Vs0, 1 Vs0 CMPLs Vs0, N char a[N], b[N];... for( i=0; i

12 Раскрученные циклы float a[N], b[N], c[N];... for( i=0; i

13 Результаты

14 Результаты

15 Результаты

16 Вопросы?