1
생성 된 IR이 SSA 형식인지 여부를 확인하기 위해 LLVM 패스가 내장되어 있습니까?LLVM IR이 SSA 형식인지 여부를 확인하기위한 LLVM 패스가 있습니까?
예 : IR이 mem2reg 옵션을 사용하여 컴파일 된 경우 SSA 형식으로 IR을 얻습니다. mem2reg가 사용되었는지 여부에 관계없이 패스를 확인할 수 있습니까?
A
답변
0
llvm::verifyModule, llvm::verifyFunction 또는 llvm::createVerifierPass을 참조하십시오. cf http://llvm.org/doxygen/Verifier_8cpp_source.html.
opt의 -verify-each 옵션과 확인 * 필드도 PassManagerBuilder을 참조하십시오.
0
어떤 LLVM 패스가 사용되고 있는지 알고 싶습니다.
그런 경우 cl30을 사용하는 경우 -debug-pass=Arguments 또는 -mllvm -debug-pass=Arguemnt으로 opt를 실행할 수 있습니다.
아니더라도, 모든 명령을 반복하면서 'phi'명령을 찾는 것이 쉽습니다. – arrowd