05_컴파일러최적화전략(1)
- 1. 컴파일러의 최적화 전략 이해(1) 김성익(noerror@hitel.net) 2005.04.01
- 2. 개요 • 빠른 코드, 가독성이 좋은 소스 • 빠른 코드, 컴파일러가 좋아하는 소스 • 컴파일러 최적화에 따른 프로그래밍 전 략
- 3. 컴파일러 • 컴파일러의 일반적인 기능 • 언어 컴파일링의 단계
- 4. 최적화 • 코드 최적화의 구성
- 5. Common Subexpression Elimination (1) • 항상 같은 결과는 내는 수식을 제거한다. 수식이 중복되더라도 가독성 좋은 코드를 작성한다
- 6. Common Subexpression Elimination (2) • 왜 상수함수를 사용하면 좋나요 ? 결과가 동일하기 때문에 함수 필요한 경우 호출 횟수 를 줄인다
- 7. Copy Propagation • 결과의 차이가 없고, 연산을 줄이는 경 우 변수를 치환한다 최적화를 위해서 일부러 변수를 줄일 필요는 없다.
- 8. Constant Propagation • 변수가 상수를 담고 있는 경우 상수로 치환한다
- 9. Algebraic Identities • 결과가 명확한 수식은 가벼운 연산으로 치환한다. 의미상 필요한 공식이라면 일부러 제거하거나 변형하 지 않아도 된다.
- 10. DeadCode Elimination • 기능을 하지 않는 코드는 제거한다. 참조되지 않는 함수, 코드 모두
- 11. CodeMotion • 루프 안의 코드 중 변화가 없다고 판단 되는 코드는 루프 밖으로 이동 가독성을 헤치면서 복잡한 연산을 루프 밖으로 이동 시킬 필요가 없다
- 12. Induction Variable • 루프안에서 일정하게 증가하는 값은 상 수 덧셈으로 치환한다. 치환이 명백한 경우 가독성을 헤치면서 값싼 연산자 로 치환할 필요가 없다
- 13. Loop Unrolling • 짧은 루프에서 비교문의 비중이 너무 큰 경우 루프를 Unroll한다. 똑똑한 컴파일러는 해주려나 ?
- 14. 중간 결과 • 최적화를 해야 하는 것, 하지 않아도 되 는것 • VS .net 전역 최적화