Code Generation

O'lik kodni yo'q qilish

• DAG dan jonli o'zgaruvchilar biriktirilmagan har qanday ildizni (ajdodlari bo'lmagan tugunni) o'chiring.
• Ushbu transformatsiyani takroriy qo'llash DAG dan o'lik kodga mos keladigan barcha tugunlarni olib tashlaydi.
• Misol:

• Yuqoridagi DAG ,a va b jonli, lekin c va e emas, biz e bilan belgilangan ildizni darhol olib tashlashimiz mumkin.
• Keyin c etiketli tugun ildizga aylanadi va uni olib tashlash mumkin. a va b etiketli ildizlar qoladi, chunki ularning har birida jonli o'zgaruvchilar biriktirilgan.

O'zgarishlarni saqlaydigan tuzilma

• O'lik - kodni yo'q qilish
• Vaqtinchalik o'zgaruvchilar nomini o'zgartirish
• aytaylik, t = b+c bu yerda t vaqtinchalik var.
• Agar u = b+c ni o'zgartirsak, u holda t ning barcha misollarini u ga o'zgartiring.
• Bayonotlar almashinuvi
• t 1 = b + c
• t 2 = x + y
• 1 bo‘lmasa va na b, na c t 2 bo‘lmasa, biz almashinishimiz mumkin.

Aytaylik, x o'lik, u hech qachon keyinchalik ishlatilmaydi, x = y + z bayonoti blokda paydo bo'ladigan nuqtada.
Biz x ni xavfsiz olib tashlashimiz mumkin

Algebraik o'zgarishlar

• Qimmat iboralarni arzonroq bilan almashtiring
• X = X + 0 yo'q qiladi
• X = X * 1 bartaraf
• X = y**2 (nima uchun qimmat? Javob: Odatda funksiya chaqiruvi orqali amalga oshiriladi)
• tomonidan X = y * y
• Oqim grafigi:
• Oqim grafigi deb ataladigan yo'naltirilgan grafikni qurish orqali dasturni tashkil etuvchi asosiy bloklar to'plamiga boshqaruv ma'lumotlari oqimini qo'shishimiz mumkin.
• Agar B 1 blokidan B 2 blokiga yo'naltirilgan chekka mavjud
• 1 ning oxirgi gapidan B 2 ning birinchi gapiga shartli yoki shartsiz sakrash mavjud .
• B 2 darhol dastur tartibida B 1 dan keyin keladi va B 1 shartsiz sakrash bilan tugamaydi.