ghc에서 생성 된 코드를 비교하십시오.

Question

C에서 두 개의 플래그먼트를 비교하는 일반적인 방법은 생성되는 어셈블리를 확인하는 것입니다. 그래서 시도

afmap :: Functor f => (a -> b -> c) -> f b -> a -> f c 
afmap fn fb a' = (fn a') <$> fb 

및

afmap = flip . (((.).(.)) fmap ($)) 

:

$ ghc -S test.hs -o test.S 

어떤이 (당연히) 더 많거나 적은 읽을 수없는 코드를 산출 나는 GHC이의 경우에 발생 될지 코드를 알고 싶어 .

ghc가 코드를 최적화하는 방법을 평가하는 올바른 방법 (있는 경우)은 무엇입니까?

Answer 1

어셈블리가 너무 낮을 수 있습니다. GHC의 중급 최적화 언어 인 Core를 살펴보고 싶을 것입니다.

기본적으로 GHC는 하스켈을 코어로 변환하고, 다양한 최적화를 수행하며 결국에는 코어를 STG로 변환 한 다음 C로 변환합니다. 그리고 네이티브 코드 생성기 (즉 어셈블리) 또는 LLVM (I 특정 경로에 대해 많이 알지 못한다.)

특히 코어는 상당히 높은 수준이며 하스켈과 다소 유사합니다 (즉, 패턴 일치 및 지연 평가와 같은 추상화를 가짐). 두 개의 프로그램이 동일한 코어를 생성하면 분명히 동일한 기계 코드를 생성합니다.