Контекстно-зависимое межпроцедурное доминирование для SSA | Суприя Бхиде | IICT'25
Автор: LLVM Social Bangalore
Загружено: 2026-02-02
Просмотров: 19
Описание:
Семинар «Инновации в компиляторных технологиях 2025», Бангалор, Индия
https://compilertech.org/
------------------------------------------------------------------------------------------------------------------
Статическое однократное присваивание (SSA) — это промежуточное представление, широко используемое в производственных компиляторах, таких как GCC, LLVM и др. В SSA каждое определение уникально, и ровно одно определение достигает любого использования переменной. Это происходит потому, что SSA гарантирует, что каждое использование доминируется своим определением. Когда несколько определений достигают точки программы, вводится φ-функция — недетерминированная функция, которая объединяет несколько определений переменной, достигших точки, в новое единое определение. Оптимальное размещение φ-функций имеет решающее значение в SSA для его эффективности. В классическом SSA оптимальное размещение осуществляется путем размещения φ-функций на границах доминирования. Это определяется путем определения отношений доминирования и границ доминирования на внутрипроцедурном уровне. В данной статье понятие доминирования и границы доминирования распространяется на контекстно-зависимый межпроцедурный уровень в рамках нашей долгосрочной цели по созданию контекстно-зависимого межпроцедурного SSA (CoS-SSA).
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
