Kamdan-kam shartli doimiy tarqalish - Sparse conditional constant propagation

Yilda Kompyuter fanlari, siyrak shartli doimiy tarqalish tez-tez qo'llaniladigan optimallashtirishdir kompilyatorlar ga aylantirilgandan so'ng statik bitta topshiriq shakli (SSA). U bir vaqtning o'zida ba'zi turlarini olib tashlaydi o'lik kod va doimiylarni tarqatadi dastur davomida. Bundan tashqari, u alohida qo'llashdan ko'ra ko'proq doimiy qadriyatlarni va shuning uchun takomillashtirish uchun ko'proq imkoniyatlarni topishi mumkin o'lik kodni yo'q qilish va doimiy tarqalish har qanday tartibda yoki har qanday takroriy sonda.[1][2]

The algoritm ijro etish orqali ishlaydi mavhum talqin kodni SSA shaklida. Abstrakt talqin paytida u odatda kvartiradan foydalanadi panjara qiymatlari uchun doimiy va SSA o'zgaruvchilarini ushbu panjaradagi qiymatlarga xaritalaydigan global muhit. Algoritmning mohiyati uning talqinini qanday boshqarishida bo'ladi filial ko'rsatmalari. Uchrashganda, filialning holati baholanadi iloji boricha shartdagi o'zgaruvchilarga bog'langan mavhum qiymatlarning aniqligi berilgan. Ehtimol, qadriyatlar mukammal darajada aniq (yuqoridan ham, pastdan ham emas) bo'lishi mumkin va shuning uchun mavhum ijro qaysi yo'nalishda bo'lishni hal qilishi mumkin. Agar qiymatlar doimiy bo'lmasa yoki shartdagi o'zgaruvchi aniqlanmagan bo'lsa, unda konservativ bo'lib qolish uchun ikkala tarmoq yo'nalishi olinishi kerak.

Abstrakt talqin tugagandan so'ng, hech qachon erishilmagan ko'rsatmalar o'lik kod sifatida belgilanadi. Doimiy qiymatlarga ega bo'lgan SSA o'zgaruvchilar ulardan foydalanish nuqtasiga kiritilishi (tarqalishi) mumkin.[misol kerak ]

Izohlar

  1. ^ Wegman, Mark N. va Zadeck, F. Kennet. "Shartli filiallar bilan doimiy targ'ibot." Dasturlash tillari va tizimlari bo'yicha ACM operatsiyalari, 13 (2), 1991 yil aprel, 181-210 betlar.
  2. ^ Klik, Klifford va Kuper, Kit. "Tahlillarni birlashtirish, optimallashtirishlarni birlashtirish ", Dasturlash tillari va tizimlari bo'yicha ACM operatsiyalari, 17 (2), 1995 yil mart, 181-196 betlar

Adabiyotlar

  • Kuper, Keyt D. va Torkzon, Linda. Tuzuvchi muhandisligi. Morgan Kaufmann. 2005 yil.