基本塊

基本塊，其中只有一個入口和一個出口，入口就是其中的第—個語句，出口就是其中的最後一個語句。對一個基本塊來説，執行時只從其入口進入，從其出口退出。

具體而言：

1. 只有一個入口，表示程序中不會有其它任何地方能通過jump跳轉類指令進入到此基本塊中。

2. 只有一個出口，表示程序只有最後一條指令能導致進入到其它基本塊去執行。

所以，基本塊的一個典型特點是：只要基本塊中第一條指令被執行了，那麼基本塊內所有執行都會按照順序僅執行一次。

基本塊可以用源代碼、彙編、指令等表示。 ^[1] 

尋找入口語句

1、程序的第一條語句

2、轉移語句的目標語句

3、緊跟在條件轉移語句後面的語句

·劃分基本塊的算法：

1、求出所有入口語句

2、一個入口語句對應一個基本塊，入口語句對應的基本塊方法是：該基本塊由該入口語句到下一入口語句（不含下一入口語句），或到一轉移語句（包括該轉移語句），或到一停語句（包括該停語句）之間的代碼序列組成

3、凡未被納入某一基本塊的語句，都是程序中控制流程無法到達的語句，可以刪除 ^[2] 

在GCC中，基本塊使用basic_block數據類型來表示。

結構體basic_block的兩個指針成員是指針next_bb和prev_bb，用來構造和內在的指令流順序相同的基本塊雙向鏈表。基本塊的鏈接由操作CFG的API來更新。宏FOR_EACH_BB可以用來按照lexicographical順序來訪問所有基本塊。也可以使用walk_dominator_tree，來進行dominator遍歷。給出兩個基本塊A和B，塊A支配（dominate）塊B，如果A總是在B之前被執行。

數組BASIC_BLOCK按照未指定的順序包含了所有的基本塊。每一個basic_block結構體都有一個域，包含了一個唯一的整數標識符index，其為該塊在BASIC_BLOCK數組中的索引。函數中基本塊的總數為n_basic_blocks。由於過程可以重排，創建，複製和銷燬基本塊，所以基本塊的索引和總數在編譯過程中都可能改變。任何塊的索引都不應該比last_basic_block的大。

一些特定的基本塊用來表示一個函數的可能的入口和出口。這些塊被稱作ENTRY_BLOCK_PRT和EXIT_BLOCK_PTR。這些塊不包含任何代碼，並且不是BASIC_BLOCK數組的成員。因此它們被賦予了唯一的負數索引。

每個basic_block還包含了指向基本塊中的第一個指令（head）和最後一條指令（tail），或者指令流的結尾。實際上，由於basic_block數據類型在GCC的兩個主要中間表示（tree和RTL）中都被用來表示塊，因此具有針對這兩種表示的指向基本塊的頭和尾的指針。

對於RTL，這些指針是rtx頭和尾。在RTL函數表示中，頭指針總是指向NOTE_INSN_BASIC_BLOCK或者CODE_LABEL。在RTL函數表示中，指令流不僅包含“真正”的指令，而且還有註解。任何移動或者複製基本塊的函數都需要注意更新這些註解。許多這些註解都期望指令流由線性區域組成，這使得難以更新。NOTE_INSN_BASIC_BLOCK註解是唯一類型的，可以出現在基本塊內包含的指令流中。一個基本塊的指令流總是跟隨一個NOTE_INSN_BASIC_BLOCK，但是塊註解之前可以有0個或多個CODE_LABEL節點。基本塊結束於控制流指令，或者最後一條指令後面跟隨CODE_LABEL或者NOTE_INSN_BASIC_BLOCK。CODE_LABEL不能出現在基本塊中的指令流裏。

除了註解之外，跳轉表向量還被表示為insn流中的“偽指令”。這些向量從不出現在基本塊中，並且應該總是放在跳轉指令引用它們的表後面。在移除table-jump之後，通常很難消除計算地址和引用向量的代碼，所以對這些向量的清除工作被推遲到活躍分析之後。這樣跳轉表向量可能會在insn流中出現未被引用，並且無用的情況。在任何邊成為fall-thru之前，關於現存的構架，需要調用can_fallthru函數來檢測。

對於樹的表示，基本塊的頭和尾由stmt_list域指向，但是，決不要直接引用這些特定的樹。相反的，在樹級別上，使用抽象容器和迭代器來訪問基本塊中的語句和表達式。這些迭代器被稱作塊語句迭代器（BSI）。可以在各種tree-*文件中使用grep查找^bsi。下面的摘抄可以很好的打印使用GIMPLE表示的程序的所有語句。

basic_block bb;

FOR_EACH_BB (bb)

{

gimple_stmt_iterator si;

for (si = gsi_start_phis (bb); !gsi_end_p (si); gsi_next (&si))

{

gimple phi = gsi_stmt (si);

print_gimple_stmt (dump_file, phi, 0, TDF_SLIM);

}

for (si = gsi_start_bb (bb); !gsi_end_p (si); gsi_next (&si))

{

gimple stmt = gsi_stmt (si);

print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);

}

}