Hi, I have been looking into the code that generates the LLVM assembly in the LLVM front end, but I am not very sure if at the time that the llvm_c_expand_body_1 function is called, the SSA form was already constructed (each definition dominates all the uses). Can somebody please tell me? Thanks