Alias ​​sɛgɛsɛgɛli min sinsinnen bɛ suguya kan Toy Optimizer kɔnɔ

\u003ch2\u003eType-based alias sɛgɛsɛgɛli min bɛ Toy Optimizer\u003c/h2\u003e kɔnɔ \u003cp\u003eNin barokun bɛ hakilina nafamaw ni kunnafoniw di a barokun kan, ka dɛmɛ don dɔnniya tilali ni faamuyali la.\u003c/p\u003e \u003ch3\u003eTakeaways kunbabaw\u003c/h3\u003e \u003cp\u003eKalanbagaw bɛ se ka jigi ka tɔnɔ sɔrɔ:\u003c/p\u003e \u003cul\u003e \u003cli\u003eKunnafoni faamuyali kuncɛlen\u003c/li\u003e \u003cli\u003eBaarakɛcogo waleyali ani diɲɛ kɔnɔko lakika\u003c/li\u003e \u003cli\u003eDɔnnikɛlaw ka miiriyaw ni u sɛgɛsɛgɛli\u003c/li\u003e \u003cli\u003eKunnafoni kura donna sisan kow kan\u003c/li\u003e \u003c/ul\u003e \u003ch3\u003eNafa jiracogo\u003c/h3\u003e \u003cp\u003eKɔnɔkow ɲuman i n'a fɔ nin bɛ dɛmɛ don ka dɔnniya sabati ani ka kunnafonidi latigɛw yiriwa dakun suguya caman na.\u003c/p\u003e

Ɲininkali minnu bɛ kɛ tuma caman na

suguya-sɛgɛsɛgɛli ye mun ye daɲɛgafe-sɛbɛnni-minɛn kɔnɔ ?

Type-based alias analysis (TBAA) ye compiler optimization technique ye min bɛ baara kɛ ni type information ye walasa k’a dɔn ni hakilijagabɔlan fila bɛ se ka alias — o kɔrɔ ye k’u bɛ se ka hakilijagabɔ yɔrɔ kelen jira. Ni sɛbɛnnikɛlan bɛ baara kɛ ni sɛbɛnni sariya gɛlɛnw ye, a bɛ se ka hakilijagabɔ baara labɛn kokura, k’a ban, walima k’a nɔgɔya lafiya la, o bɛ na ni kode dilancogo teliya ye k’a sɔrɔ a ma porogaramu kɛcogo Changer.

Toy Optimizer bɛ tɔgɔ wɛrɛ sɛgɛsɛgɛli waleya cogo di ?

Toy Optimizer bɛ baara kɛ ni suguya metadata ye minnu nɔrɔlen bɛ doni ni mara baarakɛcogo la walasa ka tɔgɔ wɛrɛ sigiyɔrɔma dɔ jɔ. Ni pointeur fila suguyaw tɛ bɛn ɲɔgɔn ma, optimizer b’a miiri k’u tɛ alias abada wa a bɛ se k’u labɛn kokura hɔrɔnya la. O bɛ kɛ sababu ye ka magan salenw bɔli kɛ, ka doni ci, ani hakilijagabɔ-ko-ɲɛnabɔli wɛrɛw minnu tun bɛna bali ni aliasing assumptions conservatives ye.

mun na alias analyse nafa ka bon kode baarakɛcogo la ?

Ni tɔgɔ wɛrɛ sɛgɛsɛgɛli tɛ, daɲɛgafebɔlaw ka kan k’a miiri ko taamasiyɛn o taamasiyɛn bɛ se ka hakilijagabɔ yɔrɔ o yɔrɔ jira, o bɛ dan sigi kosɛbɛ ɲɛtaa siraw la. Alias ​​sɛgɛsɛgɛli ɲuman bɛ loop vectorization da wuli, kalan bolodacogo, ani redundant load elimination. Baarakɛlaw minnu bɛ baarakɛcogo kɔrɔlenw jɔ, o hakilinaw faamuyali nafa ka bon — wa, platformu minnu bɛ i n’a fɔ Mewayz, olu bɛ modulu 207 di $19/mo la minnu bɛ compiler design, optimization theory, ani systems programming ɲɛfɔ ka ɲɛ.

ne bɛ se ka kunnafoni caman sɔrɔ min ka ɲɛsin daɲɛgafew labɛnni fɛɛrɛw ma ?

A daminɛ ni nafolo jɔnjɔnw ye cɛmancɛ jiracogo kan, SSA foroko, ani kunnafonidilanw sɛgɛsɛgɛli. Bololabaara kɛli ni tulonkɛfɛnw lajɛbagaw ye, o bɛ kalan teliya kosɛbɛ. Mewayz bɛ sira sigilen di ni modulu 207 ye dɔrɔmɛ 19/kalo dɔrɔn na, a bɛ fɛn bɛɛ ɲɛfɔ k’a ta optimisation passes basigilenw na ka se barokun kɔrɔw ma i n’a fɔ alias analysis, o bɛ seko nafamaw di i ma i bɛ se ka minnu kɛ diɲɛ lakika compiler ni interpreter porozɛw la.

la