LLVM. Инфраструктура для разработки компиляторов

Об авторах
О рецензентах
предисловие
Содержание книги
Что потребуется для работы с книгой
Кому адресована эта книга
Типографские соглашения
Отзывы и пожелания
Скачивание исходного кода примеров
Список опечаток
Нарушение авторских прав
Глава 1. Сборка и установка LLVM
Порядок нумерации версий LLVM
Установка скомпилированных пакетов LLVM
Установка скомпилированных пакетов с
официального сайта
Установка с использованием диспетчера пакетов
Сборка из исходных текстов
Системные требования
Получение исходных текстов
Сборка и установка LLVM
Windows и Microsoft Visual Studio
Mac OS X и Xcode
В заключение
Глава 2. Внешние проекты
Введение в дополнительные инструменты Clang
Сборка и установка дополнительных инструментов
Clang
Compiler-RT
Compiler-RT в действии
Расширение DragonEgg
Сборка DragonEgg
Конвейер компиляции с применением DragonEgg и
инструментов LLVM
Пакет тестов LLVM
Использование LLDB
Введение в стандартную библиотеку libc++
В заключение
Глава 3. Инструменты и организация
Введение в основные принципы организации LLVM
LLVM сегодня
Взаимодействие с драйвером компилятора
Использование автономных инструментов
Внутренняя организация LLVM
Основные библиотеки LLVM
Приемы программирования на C++ в LLVM
Эффективные приемы программирования на C++ в
LLVM
Демонстрация расширяемого интерфейса проходов
Реализация первого собственного проекта LLVM
Makefile
Реализация
Общие советы по навигации в исходных текстах
LLVM
Читайте код как документацию
Обращайтесь за помощью к сообществу
Знакомьтесь с обновлениями - читайте журнал
изменений в SVN как документацию
Заключительные замечания
В заключение
Глава 4. Анализатор исходного кода
Введение в Clang
Работа анализатора исходного кода
Библиотеки
Диагностика в Clang
Этапы работы анализатора Clang
Лексический анализ
Синтаксический анализ
Семантический анализ
Все вместе
В заключение
Глава 5. промежуточное представление LLVM
Обзор
Зависимость LLVM IR от целевой архитектуры
Основные инструменты для работы с форматами IR
Введение в синтаксис языка LLVM IR
Представление LLVM IR в памяти
Реализация собственного генератора LLVM IR
Сборка и запуск генератора IR
Как генерировать любые конструкции IR с
использованием генератора кода C++
Оптимизация на уровне IR
Оптимизации времени компиляции и времени
компоновки
Определение проходов, имеющих значение
Зависимости между проходами
Прикладной интерфейс проходов
Реализация собственного прохода
В заключение
Глава 6. Генератор выполняемого кода
Обзор
Инструменты генераторов кода
Структура генератора кода
Библиотеки генераторов кода
Язык TableGen
Язык
Использование файлов .td с генераторами кода
Этап выбора инструкций
Класс SelectionDAG
Упрощение
Объединение DAG и легализация
Выбор инструкций с преобразованием "DAG-to-DAG"
Визуализация процесса выбора инструкций
Быстрый выбор инструкций
Планирование инструкций
Маршруты инструкций
Определение опасностей
Единицы планирования
Машинные инструкции
Распределение регистров
Объединение регистров
Замена виртуальных регистров
Архитектурно-зависимые обработчики
Пролог и эпилог
Индексы кадров стека
Инфраструктура машинного кода
Инструкции MC
Эмиссия кода
Реализация собственного прохода для генератора
кода
В заключение
Глава 7. Динамический компилятор
Основы механизма динамической компиляции в LLVM
Введение в механизм выполнения
Управление памятью
Введение в инфраструктуру llvm::JIT
Запись блоков двоичного кода в память
JITMemoryManager
Механизмы вывода целевого кода
Информация о целевой архитектуре
Практика применения класса JIT
Введение в инфраструктуру llvm::MCJIT
Механизм MCJIT
Как MCJIT компилирует модули
Диспетчер памяти
Использование механизма MCJIT
Инструменты компиляции LLVM JIT
Инструмент lli
Инструмент llvm-rtdyld
Дополнительные ресурсы
В заключение
Глава 8. Кросс-платформенная компиляция
Сравнение GCC и LLVM
Триады определения целевой архитектуры
Подготовка инструментария
Стандартные библиотеки C и C++
Библиотеки времени выполнения
Ассемблер и компоновщик
Анализатор исходного кода Clang
Кросс-компиляция с аргументами командной строки
Clang
Параметры драйвера, определяющие архитектуру
Зависимости
Кросс-компиляция
Изменение корневого каталога
Создание кросс-компилятора Clang
Параметры настройки
Сборка и установка кросс-компилятора на основе
Clang
Альтернативные методы сборки
Тестирование
Одноплатные компьютеры
Симуляторы
Дополнительные ресурсы
В заключение
Глава 9. Статический анализатор Clang
Роль статического анализатора
Сравнение классического механизма
предупреждений со статическим анализатором
Clang
Возможности механизма символического
выполнения
Тестирование статического анализатора
Использование драйвера и компилятора
Получение списка доступных средств проверки
Использование статического анализатора в Xcode
IDE
Создание графических отчетов в формате HTML
Анализ больших проектов
Расширение статического анализатора Clang
собственными средствами определения ошибок
Архитектура проекта
Разработка собственного средства проверки
Дополнительные ресурсы
В заключение
Глава 10. Инструменты Clang и фреймворк LibTooling
Создание базы данных команд компиляции
Clang-tidy
Проверка исходного кода с помощью Clang-tidy
Инструменты рефакторинга
Clang Modernizer
Clang Apply Replacements
ClangFormat
Modularize
Module Map Checker
PPTrace
Clang Query
Clang Check
Удаление вызовов c_str()
Создание собственного инструмента
Определение задачи - создание инструмента
рефакторинга кода на C++
Определение структуры каталогов для исходного
кода
Шаблонный код инструмента
Использование предикатов AST
Создание обработчиков
Тестирование нового инструмента рефакторинга
Дополнительные ресурсы
В заключение
Предметный указатель