구현할 최적화

[minkiminki]

1. tail call optimization

• 구현 끝

2. register allocation

• 열심히 하자...

3. function inlining

• 쉬울 것

위가 처음 계획. 아래는 추가로 해볼 수 있을 것들

4. constant propagation

• 안 어려울 듯?

5. dead code elimination

• liveness 분석이 되면 날로 먹는 최적화

6. subexpression analysis

• 이것도 안 어려울 듯?

[minkiminki]

TODO : tail call에서 너무 에필로그를 많이 쓰게 되는데 에필로그 줄이기?

tail call 뒤의 return 지우기 => 완료

[minkiminki]

test02 같은 경우는 register promotion이 있으면 성능이 좋아질듯(global variable이라 register로 못 넣는 상황)

=> 완료

[minkiminki]

• tail call optimization =>
• inline DIM & DOFS =>
• constant propagation =>
• unreachable block elimination =>
• liveness analysis =>
• dead store elimination =>
• (common subexpression =>)
• register allocation =>
• function inlining =>
• (register promotion)

[minkiminki]

DIM, DOFS를 인라이닝 시키는 방법도..

=> 완료

[minkiminki]

Dead Store Elimination의 경우는 liveness 분석 후에 한번도 살아있지 않은 변수를 지우는 것으로 구현했다.

그런데 이런 경우는

while(a > 0) a := a - 1;
return;

위의 케이스에서 a를 지우지 못한다. 만약 최종적으로 쓰이는 변수만 남기는 식으로 처리하면 위의 케이스도 처리된다.

=> 완료 d881e5b

[minkiminki]

DIM, DOFS를 컴파일 타임에 최대한 계산하게 해보자
=> 완료 fb12ff4