github.com/hikaru7719/go@v0.0.0-20181025140707-c8b2ac68906a/src/cmd/compile/internal/gc/gsubr.go (about) 1 // Derived from Inferno utils/6c/txt.c 2 // https://bitbucket.org/inferno-os/inferno-os/src/default/utils/6c/txt.c 3 // 4 // Copyright © 1994-1999 Lucent Technologies Inc. All rights reserved. 5 // Portions Copyright © 1995-1997 C H Forsyth (forsyth@terzarima.net) 6 // Portions Copyright © 1997-1999 Vita Nuova Limited 7 // Portions Copyright © 2000-2007 Vita Nuova Holdings Limited (www.vitanuova.com) 8 // Portions Copyright © 2004,2006 Bruce Ellis 9 // Portions Copyright © 2005-2007 C H Forsyth (forsyth@terzarima.net) 10 // Revisions Copyright © 2000-2007 Lucent Technologies Inc. and others 11 // Portions Copyright © 2009 The Go Authors. All rights reserved. 12 // 13 // Permission is hereby granted, free of charge, to any person obtaining a copy 14 // of this software and associated documentation files (the "Software"), to deal 15 // in the Software without restriction, including without limitation the rights 16 // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 17 // copies of the Software, and to permit persons to whom the Software is 18 // furnished to do so, subject to the following conditions: 19 // 20 // The above copyright notice and this permission notice shall be included in 21 // all copies or substantial portions of the Software. 22 // 23 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 24 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 25 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 26 // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 27 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 28 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 29 // THE SOFTWARE. 30 31 package gc 32 33 import ( 34 "cmd/compile/internal/ssa" 35 "cmd/compile/internal/types" 36 "cmd/internal/obj" 37 "cmd/internal/objabi" 38 "cmd/internal/src" 39 ) 40 41 var sharedProgArray = new([10000]obj.Prog) // *T instead of T to work around issue 19839 42 43 // Progs accumulates Progs for a function and converts them into machine code. 44 type Progs struct { 45 Text *obj.Prog // ATEXT Prog for this function 46 next *obj.Prog // next Prog 47 pc int64 // virtual PC; count of Progs 48 pos src.XPos // position to use for new Progs 49 curfn *Node // fn these Progs are for 50 progcache []obj.Prog // local progcache 51 cacheidx int // first free element of progcache 52 53 nextLive LivenessIndex // liveness index for the next Prog 54 prevLive LivenessIndex // last emitted liveness index 55 } 56 57 // newProgs returns a new Progs for fn. 58 // worker indicates which of the backend workers will use the Progs. 59 func newProgs(fn *Node, worker int) *Progs { 60 pp := new(Progs) 61 if Ctxt.CanReuseProgs() { 62 sz := len(sharedProgArray) / nBackendWorkers 63 pp.progcache = sharedProgArray[sz*worker : sz*(worker+1)] 64 } 65 pp.curfn = fn 66 67 // prime the pump 68 pp.next = pp.NewProg() 69 pp.clearp(pp.next) 70 71 pp.pos = fn.Pos 72 pp.settext(fn) 73 pp.nextLive = LivenessInvalid 74 pp.prevLive = LivenessInvalid 75 return pp 76 } 77 78 func (pp *Progs) NewProg() *obj.Prog { 79 var p *obj.Prog 80 if pp.cacheidx < len(pp.progcache) { 81 p = &pp.progcache[pp.cacheidx] 82 pp.cacheidx++ 83 } else { 84 p = new(obj.Prog) 85 } 86 p.Ctxt = Ctxt 87 return p 88 } 89 90 // Flush converts from pp to machine code. 91 func (pp *Progs) Flush() { 92 plist := &obj.Plist{Firstpc: pp.Text, Curfn: pp.curfn} 93 obj.Flushplist(Ctxt, plist, pp.NewProg, myimportpath) 94 } 95 96 // Free clears pp and any associated resources. 97 func (pp *Progs) Free() { 98 if Ctxt.CanReuseProgs() { 99 // Clear progs to enable GC and avoid abuse. 100 s := pp.progcache[:pp.cacheidx] 101 for i := range s { 102 s[i] = obj.Prog{} 103 } 104 } 105 // Clear pp to avoid abuse. 106 *pp = Progs{} 107 } 108 109 // Prog adds a Prog with instruction As to pp. 110 func (pp *Progs) Prog(as obj.As) *obj.Prog { 111 if pp.nextLive.stackMapIndex != pp.prevLive.stackMapIndex { 112 // Emit stack map index change. 113 idx := pp.nextLive.stackMapIndex 114 pp.prevLive.stackMapIndex = idx 115 p := pp.Prog(obj.APCDATA) 116 Addrconst(&p.From, objabi.PCDATA_StackMapIndex) 117 Addrconst(&p.To, int64(idx)) 118 } 119 if pp.nextLive.regMapIndex != pp.prevLive.regMapIndex { 120 // Emit register map index change. 121 idx := pp.nextLive.regMapIndex 122 pp.prevLive.regMapIndex = idx 123 p := pp.Prog(obj.APCDATA) 124 Addrconst(&p.From, objabi.PCDATA_RegMapIndex) 125 Addrconst(&p.To, int64(idx)) 126 } 127 128 p := pp.next 129 pp.next = pp.NewProg() 130 pp.clearp(pp.next) 131 p.Link = pp.next 132 133 if !pp.pos.IsKnown() && Debug['K'] != 0 { 134 Warn("prog: unknown position (line 0)") 135 } 136 137 p.As = as 138 p.Pos = pp.pos 139 if pp.pos.IsStmt() == src.PosIsStmt { 140 // Clear IsStmt for later Progs at this pos provided that as can be marked as a stmt 141 if ssa.LosesStmtMark(as) { 142 return p 143 } 144 pp.pos = pp.pos.WithNotStmt() 145 } 146 return p 147 } 148 149 func (pp *Progs) clearp(p *obj.Prog) { 150 obj.Nopout(p) 151 p.As = obj.AEND 152 p.Pc = pp.pc 153 pp.pc++ 154 } 155 156 func (pp *Progs) Appendpp(p *obj.Prog, as obj.As, ftype obj.AddrType, freg int16, foffset int64, ttype obj.AddrType, treg int16, toffset int64) *obj.Prog { 157 q := pp.NewProg() 158 pp.clearp(q) 159 q.As = as 160 q.Pos = p.Pos 161 q.From.Type = ftype 162 q.From.Reg = freg 163 q.From.Offset = foffset 164 q.To.Type = ttype 165 q.To.Reg = treg 166 q.To.Offset = toffset 167 q.Link = p.Link 168 p.Link = q 169 return q 170 } 171 172 func (pp *Progs) settext(fn *Node) { 173 if pp.Text != nil { 174 Fatalf("Progs.settext called twice") 175 } 176 ptxt := pp.Prog(obj.ATEXT) 177 pp.Text = ptxt 178 179 if fn.Func.lsym == nil { 180 // func _() { } 181 return 182 } 183 184 fn.Func.lsym.Func.Text = ptxt 185 ptxt.From.Type = obj.TYPE_MEM 186 ptxt.From.Name = obj.NAME_EXTERN 187 ptxt.From.Sym = fn.Func.lsym 188 189 p := pp.Prog(obj.AFUNCDATA) 190 Addrconst(&p.From, objabi.FUNCDATA_ArgsPointerMaps) 191 p.To.Type = obj.TYPE_MEM 192 p.To.Name = obj.NAME_EXTERN 193 p.To.Sym = &fn.Func.lsym.Func.GCArgs 194 195 p = pp.Prog(obj.AFUNCDATA) 196 Addrconst(&p.From, objabi.FUNCDATA_LocalsPointerMaps) 197 p.To.Type = obj.TYPE_MEM 198 p.To.Name = obj.NAME_EXTERN 199 p.To.Sym = &fn.Func.lsym.Func.GCLocals 200 201 p = pp.Prog(obj.AFUNCDATA) 202 Addrconst(&p.From, objabi.FUNCDATA_RegPointerMaps) 203 p.To.Type = obj.TYPE_MEM 204 p.To.Name = obj.NAME_EXTERN 205 p.To.Sym = &fn.Func.lsym.Func.GCRegs 206 } 207 208 func (f *Func) initLSym() { 209 if f.lsym != nil { 210 Fatalf("Func.initLSym called twice") 211 } 212 213 if nam := f.Nname; !nam.isBlank() { 214 f.lsym = nam.Sym.Linksym() 215 if f.Pragma&Systemstack != 0 { 216 f.lsym.Set(obj.AttrCFunc, true) 217 } 218 } 219 220 var flag int 221 if f.Dupok() { 222 flag |= obj.DUPOK 223 } 224 if f.Wrapper() { 225 flag |= obj.WRAPPER 226 } 227 if f.Needctxt() { 228 flag |= obj.NEEDCTXT 229 } 230 if f.Pragma&Nosplit != 0 { 231 flag |= obj.NOSPLIT 232 } 233 if f.ReflectMethod() { 234 flag |= obj.REFLECTMETHOD 235 } 236 237 // Clumsy but important. 238 // See test/recover.go for test cases and src/reflect/value.go 239 // for the actual functions being considered. 240 if myimportpath == "reflect" { 241 switch f.Nname.Sym.Name { 242 case "callReflect", "callMethod": 243 flag |= obj.WRAPPER 244 } 245 } 246 247 Ctxt.InitTextSym(f.lsym, flag) 248 } 249 250 func ggloblnod(nam *Node) { 251 s := nam.Sym.Linksym() 252 s.Gotype = ngotype(nam).Linksym() 253 flags := 0 254 if nam.Name.Readonly() { 255 flags = obj.RODATA 256 } 257 if nam.Type != nil && !types.Haspointers(nam.Type) { 258 flags |= obj.NOPTR 259 } 260 Ctxt.Globl(s, nam.Type.Width, flags) 261 } 262 263 func ggloblsym(s *obj.LSym, width int32, flags int16) { 264 if flags&obj.LOCAL != 0 { 265 s.Set(obj.AttrLocal, true) 266 flags &^= obj.LOCAL 267 } 268 Ctxt.Globl(s, int64(width), int(flags)) 269 } 270 271 func isfat(t *types.Type) bool { 272 if t != nil { 273 switch t.Etype { 274 case TSTRUCT, TARRAY, TSLICE, TSTRING, 275 TINTER: // maybe remove later 276 return true 277 } 278 } 279 280 return false 281 } 282 283 func Addrconst(a *obj.Addr, v int64) { 284 a.Sym = nil 285 a.Type = obj.TYPE_CONST 286 a.Offset = v 287 } 288 289 func Patch(p *obj.Prog, to *obj.Prog) { 290 if p.To.Type != obj.TYPE_BRANCH { 291 Fatalf("patch: not a branch") 292 } 293 p.To.Val = to 294 p.To.Offset = to.Pc 295 }