LLVM에서 함수의 마지막 기본 블록

Question

함수의 back()은 LLVM에서 CFG의 종료 자 기본 블록을 반환하도록 보장합니까?

Answer 1

"터미네이터 BB"와 같은 것이 없기 때문에 저는 생각하지 않습니다. 반환에 의해 종료 된 여러 개의 BB가있을 수 있습니다.

Answer 2

아니요. 함수의 여러 터미네이터 기본 블록이있을 수 있습니다 (예 : 여러 개의 return 문이 포함 된 함수). 함수의 return 문을 포함하는 각 기본 블록을 종결 자 블록 또는 종결 자 기본 블록이라고합니다.

runOnFunction { 
    for BB in F: 
     for I in BB: 
      if (ReturnInst *RI = dyn_cast<ReturnInst> I) 
      BB is terminator Basic Block 
      endif 
     endfor 
    endfor 
}