Último bloque básico de una función en LLVM

Question

¿El respaldo() de una función garantiza devolver el bloque básico del terminador de CFG en LLVM?

Answer 1

No creo, ya que no existe un "terminador BB": muy bien puede haber múltiples BB terminados por una devolución.

Answer 2

No. Podría haber múltiples bloques básicos de terminador de una función, por ejemplo, una función que contenga múltiples declaraciones de retorno. cada bloque básico que contenga una declaración de retorno de la función se denominará bloque terminador o bloque básico terminador. Para detectar todos los bloques básicos que son terminador bloques básicos (es decir, contienen una instrucción de retorno) haga lo siguiente:

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