کامپایلر چندگذری

تحلیل لغوی

این مرحله یک مرحله از یک کامپایلر چندگذری است که اطلاعات بی ربطی از برنامه منبع را که تحلیل نحوی قادر به استفاده یا تفسیر آن نخواهد بود را حذف می‌کند. اطلاعات بی ربط می‌تواند چیزهایی مانند نظرات و فضای سفید باشد. تحلیل لغوی علاوه بر از بین بردن اطلاعات بی ربط، نشانه‌های واژگانی از زبان را مشخص می‌کند. این بدان معنی است که اگر یک کامپایلر چندگذری استفاده شود Forward declaration به‌طور کلی لازم نیست.

تحلیل نحوی

تحلیل نحوی مسئول دنبال کردن قوانین نحوی (معمولاً به صورت گرامرهای مستقل از متن)و ساخت یک ارائه از زبان (مثل یک درخت نحوی انتزاعی یا گراف جهت‌دار بدون دور)است.

تحلیل معنایی

تحلیل معنایی قوانین معنایی را به ارائه‌ای که توسط تحلیل نحوی ساخته‌شده‌است اعمال می‍‌کند تااز این که این برنامه از قوانین معنایی زبان پیروی می‌کند اطمینان حاصل شود.

برای نمونه در مثال زیر در مرحلهٔ تحلیل معنایی اگر زبان ملزم کند که ifها باید boolean باشند cond از لحاظ نوع بررسی می‌شود که حتماً boolean باشد.

if(cond) {
 ...
} else {
 ...
}

در این مرحله از کامپایل علاوه بر تحلیل معنایی جدول نمادها نیز به منظور کمک به مرحلهٔ تولید کد ایجاد می‌شود.

تولید کد

این مرحله از یک کامپایلر ارائه‌های میانی یک برنامه را به عنوان مجموعه‌ای از دستورالعمل‌های قابل اجرا (معمولاً زبان اسمبلی)تبدیل می‌کند. مرحلهٔ آخر کامپایل تنها مرحلهٔ وابسته به ماشین است. در این مرحله برای افزایش کارایی برنامه بهینه‌سازی نیز می‌تواند انجام گیرد.

مستقل از ماشین : از آنجایی که چندگذری‌ها شامل یک ساختار ماژولار هستند و مرحلهٔ تولید کد از سایر مراحل جداست. گذرها برای ماشین‌ها و سخت‌افزارهای دیگر نیز قابل استفاده هستند.

زبان‌های گویاتر: بسیاری از زبان‌های برنامه‌نویسی نمی‌توانند با کامپایلرهای تک گذری ارائه شوند.(مثلاً پاسکال در صورتی می‌تواند با کامپایلرهای تک گذری ارائه شود که تمام تعاریف پیش از استفاده ذکر شده‌باشند.

var x:Integer;
procedure inc;
begin
x:=x+1;
end;
x:=0;
inc;

این یک کامپایلر تک گذری است زمانی که به x اشاره شده‌است. تحلیل معنایی و تولید کد زمانی می‌توانند انجام شوند که کامپایلر هنگام اعلامx موارد زیر را بداند:

1. محل ذخیرهٔ مقدار x
2. نوع x

زبان‌هایی مانند جاوا به کامپایلرهای چندگذری احتیاج دارند و به اعلام x پیش از استفاده نیاز ندارند.

public class Example {	
public static void main(String [] args) {
assert(x==0);			
x++;
assert(x==1);
}
static int x=0;
}

کامپایلر چندگذری فضای حافظه را به x در طول فاز تحلیل معنایی کامپایل اختصاص می‌دهد و اعلام x را پیش از استفادهٔ آن پردازش می‌کند.

• کامپایلر