Достапен израз

Во областа на оптимизациите на компајлерите, достапните изрази се алгоритам за анализа што го одредува за секоја точка во програмата множеството изрази што не треба повторно да се пресметуваат. За тие изрази се вели дека се достапни во таква точка. За да бидат достапни на програмска точка, операндите на изразот не треба да се менуваат на кој било пат од појавата на тој израз до програмската точка.

Анализата е пример за кон напред проблем на анализа на проток на податоци. Се одржува збир на достапни изрази. Секоја изјава се анализира за да види дали ги менува операндите на еден или повеќе достапни изрази. Ова дава целини на достапни изрази на крајот од секој основен блок, познат како почеток во термините за анализа на проток на податоци. Израз е достапен на почетокот на основниот блок ако е достапен на крајот од секој претходник на основниот блок. Ова дава збир на равенки во однос на достапните множества, што може да се реши со повторувачки алгоритам.

Анализата на достапниот израз се користи за да се направи глобално отстранување на заеднички под-изрази (CSE). Ако изразот е достапен во одредена точка, нема потреба повторно да се проценува.

Библиографија

• Ахо, Сети и Улман: Compilers - Principles, Techniques, and Tools. Издавачко друштво Addison-Wesley. 1986 година.