bugpoint-3.5 - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

bugpoint - ເຄື່ອງມືຫຼຸດຜ່ອນກໍລະນີການທົດສອບອັດຕະໂນມັດ

ສະຫຼຸບສັງລວມ

ຈຸດບັກ [ທາງເລືອກໃນການ] [ການປ້ອນຂໍ້ມູນ LLVM ll/bc ໄຟ] [LLVM passes] --args ໂຄງການ ກະທູ້ທີ່

ລາຍລະອຽດ

ຈຸດບັກ ຮັດແຄບແຫຼ່ງຂອງບັນຫາໃນເຄື່ອງມື LLVM ແລະຜ່ານ. ມັນສາມາດຖືກນໍາໃຊ້ເພື່ອ
debug ສາມປະເພດຂອງຄວາມລົ້ມເຫຼວ: optimizer crashes, miscompilation ໂດຍ optimizers, ຫຼືບໍ່ດີ
ການສ້າງລະຫັດພື້ນເມືອງ (ລວມທັງບັນຫາໃນຕົວສັງລວມແບບຄົງທີ່ແລະ JIT). ມັນມີຈຸດປະສົງ
ຫຼຸດກໍລະນີທົດສອບຂະໜາດໃຫຍ່ໃຫ້ນ້ອຍ ແລະມີປະໂຫຍດ. ສໍາລັບຂໍ້ມູນເພີ່ມເຕີມກ່ຽວກັບການອອກແບບແລະ
ວຽກງານພາຍໃນຂອງ ຈຸດບັກ, ເຊັ່ນດຽວກັນກັບຄໍາແນະນໍາສໍາລັບການນໍາໃຊ້ bugpoint, ເບິ່ງ
llvm/docs/Bugpoint.html ໃນການແຈກຢາຍ LLVM.

OPTIONS

--ເພີ່ມເຕີມ-ດັ່ງນັ້ນ ຫ້ອງສະຫມຸດ
ໂຫຼດວັດຖຸທີ່ໃຊ້ຮ່ວມກັນແບບໄດນາມິກ ຫ້ອງສະຫມຸດ ເຂົ້າໄປໃນໂຄງການທົດສອບທຸກຄັ້ງທີ່ມັນຖືກແລ່ນ. ນີ້
ເປັນປະໂຫຍດຖ້າຫາກວ່າທ່ານກໍາລັງແກ້ໄຂບັນດາໂຄງການທີ່ຂຶ້ນກັບຫ້ອງສະຫມຸດທີ່ບໍ່ແມ່ນ LLVM (ເຊັ່ນ:
X ຫຼື curses ຫ້ອງສະຫມຸດ) ເພື່ອດໍາເນີນການ.

--append-exit-code={ຈິງ,ຜິດ}
ຕື່ມ​ຂໍ້​ມູນ​ໃສ່​ໂຄງ​ການ​ທົດ​ສອບ​ການ​ອອກ​ລະ​ຫັດ​ອອກ​ໄປ​ໃນ​ໄຟລ​໌​ຜົນ​ຜະ​ລິດ​ດັ່ງ​ນັ້ນ​ການ​ປ່ຽນ​ແປງ​ລະ​ຫັດ​ອອກ​ແມ່ນ​
ພິຈາລະນາຄວາມລົ້ມເຫຼວຂອງການທົດສອບ. ຄ່າເລີ່ມຕົ້ນເປັນຜິດ.

--args ໂຄງການ ໂຕ້ຖຽງ
ຜ່ານການໂຕ້ຖຽງທັງຫມົດທີ່ລະບຸໄວ້ຫຼັງຈາກ --args ກັບໂຄງການທົດສອບທຸກຄັ້ງທີ່ມັນແລ່ນ. ຫມາຍ​ເຫດ​
ວ່າຖ້າມີອັນໃດອັນໜຶ່ງ ໂຄງການ ໂຕ້ຖຽງ ເລີ່ມຕົ້ນດ້ວຍ "-", ທ່ານຄວນໃຊ້:

bugpoint [bugpoint args] --args -- [ໂປຣແກມ args]

ການ "--"ທັນທີຫຼັງຈາກ --args ທາງເລືອກບອກ ຈຸດບັກ ເພື່ອພິຈາລະນາທາງເລືອກໃດໆທີ່ເລີ່ມຕົ້ນ
ກັບ "-"ເພື່ອເປັນສ່ວນຫນຶ່ງຂອງ --args ທາງເລືອກ, ບໍ່ແມ່ນທາງເລືອກທີ່ຈະ ຈຸດບັກ ຕົວເອງ

--tool-args ເຄື່ອງມື ໂຕ້ຖຽງ
ຜ່ານການໂຕ້ຖຽງທັງຫມົດທີ່ລະບຸໄວ້ຫຼັງຈາກ --tool-args ກັບເຄື່ອງມື LLVM ພາຍໃຕ້ການທົດສອບ (llc, ລີ,
ແລະອື່ນໆ) ທຸກຄັ້ງທີ່ມັນແລ່ນ. ທ່ານຄວນໃຊ້ທາງເລືອກນີ້ໃນວິທີການດັ່ງຕໍ່ໄປນີ້:

bugpoint [bugpoint args] --tool-args -- [tool args]

ການ "--"ທັນທີຫຼັງຈາກ --tool-args ທາງເລືອກບອກ ຈຸດບັກ ພິຈາລະນາທາງເລືອກໃດໆ
ເລີ່ມຕົ້ນດ້ວຍ "-"ເພື່ອເປັນສ່ວນຫນຶ່ງຂອງ --tool-args ທາງເລືອກ, ບໍ່ແມ່ນທາງເລືອກທີ່ຈະ ຈຸດບັກ
ຕົວຂອງມັນເອງ. (ເບິ່ງ --args, ຂ້າງເທິງ.)

--safe-tool-args ເຄື່ອງມື ໂຕ້ຖຽງ
ຜ່ານການໂຕ້ຖຽງທັງຫມົດທີ່ລະບຸໄວ້ຫຼັງຈາກ --safe-tool-args ກັບເຄື່ອງມືປະຕິບັດ "ປອດໄພ".

--gcc-tool-args gcc ເຄື່ອງມື ໂຕ້ຖຽງ
ຜ່ານການໂຕ້ຖຽງທັງຫມົດທີ່ລະບຸໄວ້ຫຼັງຈາກ --gcc-tool-args ຕໍ່ການຮຽກຮ້ອງຂອງ gcc.

--opt-args ເລືອກ ໂຕ້ຖຽງ
ຜ່ານການໂຕ້ຖຽງທັງຫມົດທີ່ລະບຸໄວ້ຫຼັງຈາກ --opt-args ຕໍ່ການຮຽກຮ້ອງຂອງ ເລືອກ.

--disable-{dce,simplifycfg}
ຫ້າມດໍາເນີນການຜ່ານທີ່ລະບຸໄວ້ເພື່ອທໍາຄວາມສະອາດແລະຫຼຸດຜ່ອນຂະຫນາດຂອງໂຄງການທົດສອບ. ໂດຍ
ຄ່າເລີ່ມຕົ້ນ, ຈຸດບັກ ໃຊ້ບັດເຫຼົ່ານີ້ພາຍໃນເມື່ອພະຍາຍາມຫຼຸດໂຄງການທົດສອບ.
ຖ້າເຈົ້າພະຍາຍາມຊອກຫາຂໍ້ບົກພ່ອງໃນໜຶ່ງໃນເສັ້ນທາງເຫຼົ່ານີ້, ຈຸດບັກ ອາດຈະຂັດ.

--enable-valgrind
ໃຊ້ valgrind ເພື່ອຊອກຫາຂໍ້ບົກພ່ອງໃນໄລຍະການເພີ່ມປະສິດທິພາບ. ນີ້ຈະຊ່ວຍໃຫ້ bugpoint ຊອກຫາ
ຖ້າບໍ່ດັ່ງນັ້ນບັນຫາ asymptomatic ທີ່ເກີດຈາກການຄຸ້ມຄອງຄວາມຊົງຈໍາຜິດພາດ.

- ຊອກ​ຫາ​ແມງ​ໄມ້​
ສືບຕໍ່ randomize passes ທີ່ກໍານົດໄວ້ແລະດໍາເນີນການໃຫ້ເຂົາເຈົ້າໃນໂຄງການການທົດສອບຈົນກ່ວາ bug
ຖືກພົບເຫັນຫຼືຜູ້ໃຊ້ຂ້າ ຈຸດບັກ.

-ຊ່ວຍ
ພິມບົດສະຫຼຸບຂອງຕົວເລືອກແຖວຄໍາສັ່ງ.

--ການປ້ອນຂໍ້ມູນ ຊື່​ເອ​ກະ​ສານ
ເປີດ ຊື່​ເອ​ກະ​ສານ ແລະປ່ຽນເສັ້ນທາງການປ້ອນຂໍ້ມູນມາດຕະຖານຂອງໂຄງການທົດສອບ, ທຸກຄັ້ງທີ່ມັນແລ່ນ, ໄປ
ມາຈາກໄຟລ໌ນັ້ນ.

-- ໂຫຼດ plugin
ໂຫຼດວັດຖຸໄດນາມິກ plugin ເຂົ້າໄປໃນ ຈຸດບັກ ຕົວຂອງມັນເອງ. ວັດຖຸນີ້ຄວນຈະລົງທະບຽນໃຫມ່
ການເພີ່ມປະສິດທິພາບຜ່ານ. ເມື່ອໂຫລດແລ້ວ, ວັດຖຸຈະເພີ່ມຕົວເລືອກເສັ້ນຄໍາສັ່ງໃຫມ່ໃສ່
ເປີດໃຊ້ການເພີ່ມປະສິດທິພາບຕ່າງໆ. ເພື່ອເບິ່ງບັນຊີລາຍຊື່ຄົບຖ້ວນສົມບູນຂອງການເພີ່ມປະສິດທິພາບ, ໃຫ້ໃຊ້
-ຊ່ວຍ ແລະ -- ໂຫຼດ ທາງເລືອກຮ່ວມກັນ; ຍົກ​ຕົວ​ຢ່າງ:

bugpoint --load myNewPass.so -help

-- ຈຳກັດ megabytes
ລະບຸຂອບເຂດຈໍາກັດດ້ານເທິງຂອງການນໍາໃຊ້ຫນ່ວຍຄວາມຈໍາຂອງການເພີ່ມປະສິດທິພາບແລະ codegen. ຕັ້ງເປັນສູນ
ເພື່ອປິດການຈໍາກັດ.

-- ຜົນຜະລິດ ຊື່​ເອ​ກະ​ສານ
ເມື່ອໃດກໍ່ຕາມໂຄງການທົດສອບຜະລິດຜົນຜະລິດໃນກະແສຜົນຜະລິດມາດຕະຖານຂອງມັນ, ມັນຄວນຈະ
ກົງກັບເນື້ອໃນຂອງ ຊື່​ເອ​ກະ​ສານ ("ຜົນຜະລິດອ້າງອີງ"). ຖ້າທ່ານບໍ່ໃຊ້ທາງເລືອກນີ້,
ຈຸດບັກ ຈະພະຍາຍາມສ້າງຜົນຜະລິດອ້າງອິງໂດຍການລວບລວມໂຄງການກັບ the
"ປອດໄພ" backend ແລະແລ່ນມັນ.

--run-{int,jit,llc,custom}
ເມື່ອໃດກໍ່ຕາມໂຄງການທົດສອບໄດ້ຖືກລວບລວມ, ຈຸດບັກ ຄວນສ້າງລະຫັດສໍາລັບມັນໂດຍໃຊ້
ເຄື່ອງກໍາເນີດລະຫັດທີ່ລະບຸ. ທາງເລືອກເຫຼົ່ານີ້ອະນຸຍາດໃຫ້ທ່ານເລືອກນາຍພາສາ, JIT
compiler, ການລວບລວມລະຫັດພື້ນເມືອງແບບຄົງທີ່, ຫຼືຄໍາສັ່ງທີ່ກໍາຫນົດເອງ (ເບິ່ງ --exec-ຄໍາສັ່ງ)
ຕາມລໍາດັບ.

--safe-{llc,custom}
ເມື່ອການດີບັກເຄື່ອງສ້າງລະຫັດ, ຈຸດບັກ ຄວນໃຊ້ເຄື່ອງສ້າງລະຫັດທີ່ລະບຸໄວ້ເປັນ
ຕົວສ້າງລະຫັດ "ປອດໄພ". ນີ້ແມ່ນເຄື່ອງສ້າງລະຫັດທີ່ຮູ້ຈັກດີທີ່ໃຊ້ເພື່ອສ້າງລະຫັດ
"ຜົນຜະລິດອ້າງອິງ" ຖ້າມັນບໍ່ໄດ້ຖືກສະຫນອງໃຫ້, ແລະລວບລວມບາງສ່ວນຂອງໂຄງການ
ຍ້ອນວ່າເຂົາເຈົ້າໄດ້ຖືກຍົກເວັ້ນຈາກ testcase. ທາງ​ເລືອກ​ເຫຼົ່າ​ນີ້​ອະ​ນຸ​ຍາດ​ໃຫ້​ທ່ານ​ທີ່​ຈະ​ເລືອກ​ເອົາ​
ຕົວລວບລວມລະຫັດພື້ນເມືອງແບບຄົງທີ່, ຫຼືຄໍາສັ່ງທີ່ກໍາຫນົດເອງ, (ເບິ່ງ --exec-ຄໍາສັ່ງ) ຕາມ ລຳ ດັບ.
ປະຈຸບັນນີ້ ນາຍພາສາ ແລະ JIT backends ບໍ່ສາມາດໃຊ້ເປັນ backends "ປອດໄພ" ໄດ້.

--exec-ຄໍາສັ່ງ ຄໍາສັ່ງ
ຕົວເລືອກນີ້ກໍານົດຄໍາສັ່ງທີ່ຈະໃຊ້ກັບ --run-custom ແລະ --safe- custom ທາງເລືອກໃນການ
ເພື່ອປະຕິບັດ bitcode testcase. ນີ້ສາມາດເປັນປະໂຫຍດສໍາລັບການລວບລວມຂ້າມ.

--compile-command ຄໍາສັ່ງ
ຕົວເລືອກນີ້ກໍານົດຄໍາສັ່ງທີ່ຈະໃຊ້ກັບ --compile- custom ທາງເລືອກໃນການລວບລວມ
bitcode testcase. ນີ້ສາມາດເປັນປະໂຫຍດສໍາລັບການທົດສອບຜົນຜະລິດ compiler ໂດຍບໍ່ມີການແລ່ນໃດໆ
ເຊື່ອມຕໍ່ຫຼືປະຕິບັດຂັ້ນຕອນ. ເພື່ອສ້າງການທົດສອບຫນ່ວຍງານທີ່ຫຼຸດລົງ, ທ່ານອາດຈະເພີ່ມຄໍາສັ່ງ CHECK
ໃສ່ testcase ແລະສົ່ງຊື່ຂອງ compile-command script ທີ່ສາມາດປະຕິບັດໄດ້ໃນຮູບແບບນີ້:

#!/ ຖັງ / sh
llc "$@"
ບໍ່ແມ່ນ FileCheck [bugpoint input file].ll < bugpoint-test-program.s

ສະຄຣິບນີ້ຈະ "ລົ້ມເຫລວ" ຕາບໃດທີ່ FileCheck ຜ່ານໄປ. ດັ່ງນັ້ນຜົນໄດ້ຮັບຈະເປັນຕໍາ່ສຸດທີ່
bitcode ທີ່ຜ່ານ FileCheck.

--ເສັ້ນທາງທີ່ປອດໄພ ເສັ້ນທາງ
ຕົວເລືອກນີ້ກໍານົດເສັ້ນທາງໄປຫາຄໍາສັ່ງທີ່ຈະດໍາເນີນການກັບ
--safe-{int,jit,llc,custom} ທາງເລືອກ.

ອອກ STATUS

If ຈຸດບັກ ປະສົບຜົນສໍາເລັດໃນການຊອກຫາບັນຫາ, ມັນຈະອອກດ້ວຍ 0. ຖ້າບໍ່ດັ່ງນັ້ນ, ຖ້າມີຂໍ້ຜິດພາດ
ເກີດຂຶ້ນ, ມັນຈະອອກດ້ວຍຄ່າທີ່ບໍ່ແມ່ນສູນ.

ໃຊ້ bugpoint-3.5 ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net