[llvm] 7b25cef - [DOC][GlobalISel] Add more explanation to InstructionSelect (#160510)

[via llvm-commits]

Author: kper
Date: 2025-09-29T16:58:29+05:30
New Revision: 7b25cef4ce5837548ed45a27a49b5d2df955754c

URL: https://github.com/llvm/llvm-project/commit/7b25cef4ce5837548ed45a27a49b5d2df955754c
DIFF: https://github.com/llvm/llvm-project/commit/7b25cef4ce5837548ed45a27a49b5d2df955754c.diff

LOG: [DOC][GlobalISel] Add more explanation to InstructionSelect (#160510)

Added: 
    

Modified: 
    llvm/docs/GlobalISel/InstructionSelect.rst

Removed: 
    


################################################################################
diff  --git a/llvm/docs/GlobalISel/InstructionSelect.rst b/llvm/docs/GlobalISel/InstructionSelect.rst
index 9798ae7a596ca..5513824cf190c 100644
--- a/llvm/docs/GlobalISel/InstructionSelect.rst
+++ b/llvm/docs/GlobalISel/InstructionSelect.rst
@@ -5,8 +5,22 @@ InstructionSelect
 -----------------
 
 This pass transforms generic machine instructions into equivalent
-target-specific instructions.  It traverses the ``MachineFunction`` bottom-up,
-selecting uses before definitions, enabling trivial dead code elimination.
+target-specific instructions.  
+
+The legacy instruction selector, SelectionDAG, iterated over each function's 
+basic block and constructed a dataflow graph. Every backend defines 
+tree patterns in the ``XXXInstrInfo.td``. The legacy selector started
+at the bottom and replaced the SDNodes greedily. 
+
+The GlobalISel's instruction selector traverses the ``MachineFunction`` 
+bottom-up, selecting uses before definitions, enabling trivial dead code 
+elimination. It does that by iterating over the basic blocks in post-order. 
+Each gMIR instruction is then replaced by a MIR instruction when a matching 
+pattern is found. So, when there is a 1:1 mapping between gMIR and MIR, where 
+is the benefit of the global scope? Even in the case of a 1:1 mapping, 
+GlobalISel includes a combiner that can match and fuse multiple gMIR 
+instructions. The scope of the combination is not limited to a basic block, 
+but can extend across the entire function.
 
 .. _api-instructionselector: