檢查LLVM傳遞中的備份

Question

我正在編寫修改中間代碼的LLVM傳遞。我想檢查基本塊的每個終止指令，看它是否有後沿。爲了更清楚地說明，在下面的示例中，我想查看是否要達到標籤land.lhs.true或if.end，需要返回跳轉。

entry: 
    %pa = alloca %struct.Vertex, align 4 
    ......... 
    br i1 %cmp, label %land.lhs.true, label %if.end 

Answer 1

不知道你的後緣的意思或回跳什麼在這裏，作爲LLVM中間代碼在內存中沒有明確的佈局。你應該考慮每個函數中的基本塊沒有明確的順序，也沒有明確的分配給內存地址。發送彙編代碼時由後端處理。