최적화 통과가 mem2reg없이 작동하지 않는 이유는 무엇입니까?

Question

왜 내가 mem2reg 통과 다른 최적화 결과를 얻기 위해 바이트 코드 최적화에서 통과해야합니까? mem2reg의 용도는 무엇입니까? 이 경우

opt -dce myfile.bc 

나는 출력 코드의 변경 사항이이 두 번째 경우의 출력 코드

opt -mem2reg -dce myfile.bc 

에서하지 않은 변경이

편집 : LLVR IR은 SSA에 여전히 폼, 안 그래? mem2reg를 사용하면 "정리 된"SSA 양식이 있어야합니다. 맞습니까?

Answer 1

mem2reg pass는 비 SSA 형식의 LLVM IR을 SSA 형식으로 변환하여 스택 할당 값을 "레지스터"(SSA 값)로 올립니다. 대부분의 LLVM 최적화 단계는 SSA 형식의 코드에서 작동하므로 비 SSA 형식의 IR은 볼 수 없습니다.

좀 더 정보가 여기에 있습니다 : http://llvm.org/docs/Passes.html#mem2reg-promote-memory-to-register