Это команда bugpoint-3.8, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
bugpoint - автоматический инструмент сокращения тестовых случаев
СИНТАКСИС
багпойнт [кредита] [вход LLVM ll / bc файлов] [LLVM проходит] --args программа Аргументы
ОПИСАНИЕ
багпойнт сужает источник проблем в инструментах LLVM и проходит. Его можно использовать для
отлаживать три типа сбоев: сбои оптимизатора, неправильная компиляция оптимизаторами или плохие
генерация собственного кода (включая проблемы в статическом и JIT-компиляторах). Он направлен на
сократите большие тестовые примеры до маленьких, полезных. Для получения дополнительной информации о дизайне и
внутренняя работа багпойнт, а также советы по использованию bugpoint, см.
llvm / docs / Bugpoint.html в дистрибутиве LLVM.
ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ
--additional-так библиотеки
Загрузить динамический общий объект библиотеки в тестовую программу всякий раз, когда она запускается. Этот
полезен, если вы отлаживаете программы, которые зависят от библиотек, отличных от LLVM (например,
X или библиотеки curses) для запуска.
--append-код выхода={правда, ложь}
Добавьте код выхода тестовых программ в выходной файл, чтобы изменить код выхода
считается провалом теста. По умолчанию - false.
--args программа арг
Передайте все аргументы, указанные после --args к тестовой программе всякий раз, когда она запускается. Примечание
что если любой из программа арг начать с "-", вы должны использовать:
ошибка [аргументы точки ошибки] --args - [аргументы программы]
"--"сразу после --args вариант говорит багпойнт рассмотреть любые варианты запуска
с "-"быть частью --args вариант, а не как варианты багпойнт себя.
--tool-аргументы инструментом арг
Передайте все аргументы, указанные после --tool-аргументы к тестируемому инструменту LLVM (ооо, ЛЛ,
и т. д.) всякий раз, когда он запускается. Вы должны использовать эту опцию следующим образом:
ошибка [аргументы точки ошибки] --tool-args - [аргументы инструмента]
"--"сразу после --tool-аргументы вариант говорит багпойнт рассматривать любые варианты
начиная с "-"быть частью --tool-аргументы вариант, а не как варианты багпойнт
сам. (Видеть --args, Выше).
--safe-инструмент-аргументы инструментом арг
Передайте все аргументы, указанные после --safe-инструмент-аргументы к инструменту «безопасного» исполнения.
--gcc-инструмент-аргументы GCC инструментом арг
Передайте все аргументы, указанные после --gcc-инструмент-аргументы к призыву GCC.
--opt-аргументы выбирать арг
Передайте все аргументы, указанные после --opt-аргументы к призыву выбирать.
--disable- {dce, simpleifycfg}
Не запускайте указанные проходы для очистки и уменьшения размера тестовой программы. К
по умолчанию, багпойнт использует эти проходы для внутренних целей при попытке сократить количество тестовых программ.
Если вы пытаетесь найти ошибку в одном из этих проходов, багпойнт может рухнуть.
--enable-valgrind
Используйте valgrind для поиска ошибок на этапе оптимизации. Это позволит точке ошибки найти
в противном случае бессимптомные проблемы, вызванные неправильным управлением памятью.
-найти-ошибки
Постоянно рандомизируйте указанные проходы и запускайте их в тестовой программе до тех пор, пока не появится ошибка.
найден или пользователь убивает багпойнт.
-Помощь
Распечатайте сводку параметров командной строки.
--Вход имя файла
Открыто имя файла и перенаправлять стандартный ввод тестовой программы всякий раз, когда она запускается, на
взяты из этого файла.
--нагрузка плагин
Загрузите динамический объект плагин в багпойнт сам. Этот объект должен зарегистрировать новый
оптимизация проходит. После загрузки объект добавит новые параметры командной строки в
включить различные оптимизации. Чтобы увидеть новый полный список оптимизаций, используйте кнопку
-Помощь и --нагрузка варианты вместе; Например:
bugpoint - загрузить myNewPass.so -help
--mlimit мегабайта
Задает верхний предел использования памяти для оптимизации и создания кода. Установить на ноль
чтобы отключить лимит.
--выход имя файла
Всякий раз, когда тестовая программа производит вывод в своем стандартном потоке вывода, она должна
соответствовать содержанию имя файла («эталонный выход»). Если вы не используете эту опцию,
багпойнт попытается сгенерировать эталонный вывод путем компиляции программы с
"безопасный" бэкэнд и его запуск.
--run- {int, jit, llc, custom}
Всякий раз, когда тестовая программа компилируется, багпойнт должен сгенерировать для него код, используя
указанный генератор кода. Эти параметры позволяют вам выбрать интерпретатор, JIT
компилятор, статический компилятор машинного кода или пользовательская команда (см. --exec-команда)
соответственно.
--safe- {llc, custom}
При отладке генератора кода багпойнт должен использовать указанный генератор кода как
генератор «безопасного» кода. Это заведомо исправный генератор кода, используемый для генерации
"эталонный вывод", если он не был предоставлен, и для компиляции частей программы
что, поскольку они исключены из теста. Эти параметры позволяют выбрать
статический компилятор машинного кода или пользовательская команда (см. --exec-команда) соответственно.
Интерпретатор и JIT-серверы в настоящее время не могут использоваться как «безопасные» серверные ВМ.
--exec-команда команду
Этот параметр определяет команду для использования с --run-custom и --safe-custom кредита
для выполнения тестового набора битового кода. Это может быть полезно для кросс-компиляции.
--компиляция-команда команду
Этот параметр определяет команду для использования с --compile-custom возможность скомпилировать
Тестовый пример битового кода. Это может быть полезно для тестирования вывода компилятора без запуска каких-либо
связать или выполнить этапы. Чтобы сгенерировать сокращенный модульный тест, вы можете добавить директивы CHECK
в тестовый пример и передайте имя исполняемого скрипта команды компиляции в этой форме:
#!/ Бен / ш
ООО "$ @"
not FileCheck [входной файл с ошибкой] .ll <bugpoint-test-program.s
Этот сценарий будет «терпеть неудачу», пока FileCheck проходит. Так что результат будет минимальным
битовый код, который проходит FileCheck.
--safe-путь путь
Этот параметр определяет путь к команде для выполнения с
--safe- {int, jit, llc, custom} опцию.
ВЫХОД статус
If багпойнт удастся найти проблему, он выйдет с 0. В противном случае, если ошибка
происходит выход с ненулевым значением.
Используйте bugpoint-3.8 онлайн с помощью сервисов onworks.net
