...

Source file src/cmd/internal/obj/inl.go

Documentation: cmd/internal/obj

     1  // Copyright 2017 The Go Authors. All rights reserved.
     2  // Use of this source code is governed by a BSD-style
     3  // license that can be found in the LICENSE file.
     4  
     5  package obj
     6  
     7  import "cmd/internal/src"
     8  
     9  // InlTree is a collection of inlined calls. The Parent field of an
    10  // InlinedCall is the index of another InlinedCall in InlTree.
    11  //
    12  // The compiler maintains a global inlining tree and adds a node to it
    13  // every time a function is inlined. For example, suppose f() calls g()
    14  // and g has two calls to h(), and that f, g, and h are inlineable:
    15  //
    16  //	 1 func main() {
    17  //	 2     f()
    18  //	 3 }
    19  //	 4 func f() {
    20  //	 5     g()
    21  //	 6 }
    22  //	 7 func g() {
    23  //	 8     h()
    24  //	 9     h()
    25  //	10 }
    26  //	11 func h() {
    27  //	12     println("H")
    28  //	13 }
    29  //
    30  // Assuming the global tree starts empty, inlining will produce the
    31  // following tree:
    32  //
    33  //	[]InlinedCall{
    34  //	  {Parent: -1, Func: "f", Pos: <line 2>},
    35  //	  {Parent:  0, Func: "g", Pos: <line 5>},
    36  //	  {Parent:  1, Func: "h", Pos: <line 8>},
    37  //	  {Parent:  1, Func: "h", Pos: <line 9>},
    38  //	}
    39  //
    40  // The nodes of h inlined into main will have inlining indexes 2 and 3.
    41  //
    42  // Eventually, the compiler extracts a per-function inlining tree from
    43  // the global inlining tree (see pcln.go).
    44  type InlTree struct {
    45  	nodes []InlinedCall
    46  }
    47  
    48  // InlinedCall is a node in an InlTree.
    49  type InlinedCall struct {
    50  	Parent   int      // index of the parent in the InlTree or < 0 if outermost call
    51  	Pos      src.XPos // position of the inlined call
    52  	Func     *LSym    // function that was inlined
    53  	Name     string   // bare name of the function (w/o package prefix)
    54  	ParentPC int32    // PC of instruction just before inlined body. Only valid in local trees.
    55  }
    56  
    57  // Add adds a new call to the tree, returning its index.
    58  func (tree *InlTree) Add(parent int, pos src.XPos, func_ *LSym, name string) int {
    59  	r := len(tree.nodes)
    60  	call := InlinedCall{
    61  		Parent: parent,
    62  		Pos:    pos,
    63  		Func:   func_,
    64  		Name:   name,
    65  	}
    66  	tree.nodes = append(tree.nodes, call)
    67  	return r
    68  }
    69  
    70  // AllParents invokes do on each InlinedCall in the inlining call
    71  // stack, from outermost to innermost.
    72  //
    73  // That is, if inlIndex corresponds to f inlining g inlining h,
    74  // AllParents invokes do with the call for inlining g into f, and then
    75  // inlining h into g.
    76  func (tree *InlTree) AllParents(inlIndex int, do func(InlinedCall)) {
    77  	if inlIndex >= 0 {
    78  		call := tree.nodes[inlIndex]
    79  		tree.AllParents(call.Parent, do)
    80  		do(call)
    81  	}
    82  }
    83  
    84  func (tree *InlTree) Parent(inlIndex int) int {
    85  	return tree.nodes[inlIndex].Parent
    86  }
    87  
    88  func (tree *InlTree) InlinedFunction(inlIndex int) *LSym {
    89  	return tree.nodes[inlIndex].Func
    90  }
    91  
    92  func (tree *InlTree) CallPos(inlIndex int) src.XPos {
    93  	return tree.nodes[inlIndex].Pos
    94  }
    95  
    96  func (tree *InlTree) setParentPC(inlIndex int, pc int32) {
    97  	tree.nodes[inlIndex].ParentPC = pc
    98  }
    99  
   100  // OutermostPos returns the outermost position corresponding to xpos,
   101  // which is where xpos was ultimately inlined to. In the example for
   102  // InlTree, main() contains inlined AST nodes from h(), but the
   103  // outermost position for those nodes is line 2.
   104  func (ctxt *Link) OutermostPos(xpos src.XPos) src.Pos {
   105  	pos := ctxt.InnermostPos(xpos)
   106  
   107  	outerxpos := xpos
   108  	for ix := pos.Base().InliningIndex(); ix >= 0; {
   109  		call := ctxt.InlTree.nodes[ix]
   110  		ix = call.Parent
   111  		outerxpos = call.Pos
   112  	}
   113  	return ctxt.PosTable.Pos(outerxpos)
   114  }
   115  
   116  // InnermostPos returns the innermost position corresponding to xpos,
   117  // that is, the code that is inlined and that inlines nothing else.
   118  // In the example for InlTree above, the code for println within h
   119  // would have an innermost position with line number 12, whether
   120  // h was not inlined, inlined into g, g-then-f, or g-then-f-then-main.
   121  // This corresponds to what someone debugging main, f, g, or h might
   122  // expect to see while single-stepping.
   123  func (ctxt *Link) InnermostPos(xpos src.XPos) src.Pos {
   124  	return ctxt.PosTable.Pos(xpos)
   125  }
   126  
   127  // AllPos invokes do with every position in the inlining call stack for xpos,
   128  // from outermost to innermost. That is, xpos corresponds to f inlining g inlining h,
   129  // AllPos invokes do with the position in f, then the position in g, then the position in h.
   130  func (ctxt *Link) AllPos(xpos src.XPos, do func(src.Pos)) {
   131  	pos := ctxt.InnermostPos(xpos)
   132  	ctxt.InlTree.AllParents(pos.Base().InliningIndex(), func(call InlinedCall) {
   133  		do(ctxt.InnermostPos(call.Pos))
   134  	})
   135  	do(pos)
   136  }
   137  
   138  func dumpInlTree(ctxt *Link, tree InlTree) {
   139  	for i, call := range tree.nodes {
   140  		pos := ctxt.PosTable.Pos(call.Pos)
   141  		ctxt.Logf("%0d | %0d | %s (%s) pc=%d\n", i, call.Parent, call.Func, pos, call.ParentPC)
   142  	}
   143  }
   144  

View as plain text