Code Generation

Mahalliy umumiy pastki ifodalarni topish

• Umumiy pastki ifodalarni "qiymat-raqam" usuli yordamida aniqlash mumkin.
• Yangi tugun M qo'shilishi arafasida, bir xil bolalar, bir xil tartibda va bir xil operatorga ega N tugun mavjudmi .
• Agar shunday bo'lsa, N M bilan bir xil qiymatni hisoblaydi va uning o'rnida ishlatilishi mumkin.
• a = b + c blokini ko'rib chiqing

b = a - d

c = b + c

d = a - d

Asosiy blok uchun DAG hisoblanadi

• to'rtinchi bayonotga mos keladigan tugun d = a - d operatorga ega - va biriktirilgan o'zgaruvchilarga ega tugunlar a va bolalar kabi.
• sababli , biz bu tugunni yaratmaymiz, lekin - deb belgilangan tugun uchun ta'riflar ro'yxatiga d qo'shamiz.
• Haqiqatan ham, agar b blokdan chiqishda jonli bo'lmasa, biz bu o'zgaruvchini hisoblashimiz shart emas va - deb belgilangan tugun bilan ifodalangan qiymatni olish uchun d dan foydalanishimiz mumkin.

• Keyin blok bo'ladi

a = b + c

d = a - d

c = d + c

• Biroq, agar b va d ikkalasi chiqishda jonli bo'lsa, qiymatni biridan ikkinchisiga ko'chirish uchun to'rtinchi bayonotdan foydalanish kerak.

• a = b + c;
• b = b - d
• c = c + d
• e = b + c

• Umumiy pastki ifodalarni qidirganda, biz haqiqatan ham, bu qiymat qanday hisoblanganidan qat'i nazar, bir xil qiymatni hisoblash uchun kafolatlangan ifodalarni qidiramiz.
• Shunday qilib, DAG usuli ketma-ketlikdagi birinchi va to'rtinchi bayonotlar tomonidan hisoblangan ifoda bir xil b0+c0 ekanligini o'tkazib yuboradi.

• Ya'ni, b va c ikkala birinchi va oxirgi gaplar orasida o'zgargan bo'lsa ham, ularning yig'indisi bir xil bo'lib qoladi, chunki b + c = (b - d) + (c + d).
• DAG umumiy pastki ifodalarni ko'rsatmaydi.
• Biroq, algebraik identifikatsiyalar qo'llaniladi
• DAGga, ekvivalentlikni fosh qilishi mumkin.