의미 추상 기계SAM v4.3

1// SAM 실행 함수 예시
2type SAM상태 = {
3    현재노드: int,
4    환경: 환경타입,
5    연속: Array<string>
6}
7
8function 단계실행(상태: SAM상태, 그래프: USG) -> Result<SAM상태, Error> {
9    let 현재원자 = 그래프.원자가져오기(상태.현재노드)?
10
11    match 현재원자.kind {
12        case "Binding" => {
13            let 값 = 표현식평가(현재원자.표현식, 상태)?
14            let 새환경 = 상태.환경.바인드(현재원자.식별자, 값)
15            return Ok(상태{ 환경: 새환경, 현재노드: 상태.현재노드 + 1 })
16        }
17        case "Conditional" => {
18            let 조건결과 = 표현식평가(현재원자.조건식, 상태)?
19            let 다음노드 = if 조건결과.참인가() { 현재원자.참노드 } else { 현재원자.거짓노드 }
20            return Ok(상태{ 현재노드: 다음노드 })
21        }
22        case _ => return Ok(상태)
23    }
24}

1// 최적화 힌트 구조 예시
2type 최적화힌트 = {
3    인라인후보: Array<int>,
4    병렬영역: Array<string>,
5    상수값들: Map<string, int>,
6    메모리패턴: Array<string>
7}
8
9function 최적화적용(그래프: USG, 힌트: 최적화힌트) -> USG {
10    let 상수반영 = 상수전파(그래프, 힌트.상수값들)
11    let 인라인반영 = 인라인적용(상수반영, 힌트.인라인후보)
12    let 병렬반영 = 병렬화적용(인라인반영, 힌트.병렬영역)
13    return 메모리최적화적용(병렬반영, 힌트.메모리패턴)
14}
15
16let 힌트 = 최적화분석(usg)
17let 최적화된 = 최적화적용(usg, 힌트)