사용 가능한 식
Available expression컴파일러 최적화 분야에서 사용 가능한 식이란 프로그램의 각 점에 대해 재계산할 필요가 없는 식 집합을 결정하는 분석 알고리즘입니다.그러한 표현은 그러한 점에서 이용 가능한 것으로 알려져 있다.프로그램 포인트에서 사용할 수 있도록 표현식의 피연산자는 해당 표현식이 발생한 후 프로그램 포인트로 이동하는 경로에서 수정되지 않아야 합니다.
분석은 순방향 데이터 흐름 분석 문제의 예입니다.사용 가능한 식 세트가 유지됩니다.각 문은 하나 이상의 사용 가능한 표현의 피연산자를 변경하는지 여부를 확인하기 위해 분석됩니다.이를 통해 데이터 흐름 분석 용어의 시작이라고 하는 각 기본 블록의 끝에 사용 가능한 식 세트가 생성됩니다.표현식은 기본 블록의 각 이전 블록의 끝에서 사용할 수 있는 경우 기본 블록의 시작 부분에서 사용할 수 있습니다.이것은 반복 알고리즘으로 풀 수 있는 집합의 관점에서 일련의 방정식을 제공합니다.
사용 가능한 식 분석은 글로벌 공통 하위 표현 제거(CSE)를 수행하는 데 사용됩니다.한 지점에서 식을 사용할 수 있는 경우 식을 재평가할 필요가 없습니다.
레퍼런스
- Aho, Sethi 및 Ullman:컴파일러 - 원리, 기법, 도구 1986년 Addison-Wesley 출판사
