summaryrefslogtreecommitdiff
path: root/vendor/github.com/twitchyliquid64/golang-asm/obj/pass.go
diff options
context:
space:
mode:
authorLibravatar Terin Stock <terinjokes@gmail.com>2025-03-09 17:47:56 +0100
committerLibravatar Terin Stock <terinjokes@gmail.com>2025-03-10 01:59:49 +0100
commit3ac1ee16f377d31a0fb80c8dae28b6239ac4229e (patch)
treef61faa581feaaeaba2542b9f2b8234a590684413 /vendor/github.com/twitchyliquid64/golang-asm/obj/pass.go
parent[chore] update URLs to forked source (diff)
downloadgotosocial-3ac1ee16f377d31a0fb80c8dae28b6239ac4229e.tar.xz
[chore] remove vendor
Diffstat (limited to 'vendor/github.com/twitchyliquid64/golang-asm/obj/pass.go')
-rw-r--r--vendor/github.com/twitchyliquid64/golang-asm/obj/pass.go176
1 files changed, 0 insertions, 176 deletions
diff --git a/vendor/github.com/twitchyliquid64/golang-asm/obj/pass.go b/vendor/github.com/twitchyliquid64/golang-asm/obj/pass.go
deleted file mode 100644
index 09d520b4e..000000000
--- a/vendor/github.com/twitchyliquid64/golang-asm/obj/pass.go
+++ /dev/null
@@ -1,176 +0,0 @@
-// Inferno utils/6l/pass.c
-// https://bitbucket.org/inferno-os/inferno-os/src/master/utils/6l/pass.c
-//
-// Copyright © 1994-1999 Lucent Technologies Inc. All rights reserved.
-// Portions Copyright © 1995-1997 C H Forsyth (forsyth@terzarima.net)
-// Portions Copyright © 1997-1999 Vita Nuova Limited
-// Portions Copyright © 2000-2007 Vita Nuova Holdings Limited (www.vitanuova.com)
-// Portions Copyright © 2004,2006 Bruce Ellis
-// Portions Copyright © 2005-2007 C H Forsyth (forsyth@terzarima.net)
-// Revisions Copyright © 2000-2007 Lucent Technologies Inc. and others
-// Portions Copyright © 2009 The Go Authors. All rights reserved.
-//
-// Permission is hereby granted, free of charge, to any person obtaining a copy
-// of this software and associated documentation files (the "Software"), to deal
-// in the Software without restriction, including without limitation the rights
-// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-// copies of the Software, and to permit persons to whom the Software is
-// furnished to do so, subject to the following conditions:
-//
-// The above copyright notice and this permission notice shall be included in
-// all copies or substantial portions of the Software.
-//
-// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-// THE SOFTWARE.
-
-package obj
-
-// Code and data passes.
-
-// brloop returns the ultimate destination of the series of unconditional jumps beginning at p.
-// In the case of an infinite loop, brloop returns nil.
-func brloop(p *Prog) *Prog {
- c := 0
- for q := p; q != nil; q = q.To.Target() {
- if q.As != AJMP || q.To.Target() == nil {
- return q
- }
- c++
- if c >= 5000 {
- // infinite loop
- return nil
- }
- }
- panic("unreachable")
-}
-
-// checkaddr checks that a has an expected encoding, especially TYPE_CONST vs TYPE_ADDR.
-func checkaddr(ctxt *Link, p *Prog, a *Addr) {
- switch a.Type {
- case TYPE_NONE, TYPE_REGREG2, TYPE_REGLIST:
- return
-
- case TYPE_BRANCH, TYPE_TEXTSIZE:
- if a.Reg != 0 || a.Index != 0 || a.Scale != 0 || a.Name != 0 {
- break
- }
- return
-
- case TYPE_MEM:
- return
-
- case TYPE_CONST:
- // TODO(rsc): After fixing SHRQ, check a.Index != 0 too.
- if a.Name != 0 || a.Sym != nil || a.Reg != 0 {
- ctxt.Diag("argument is TYPE_CONST, should be TYPE_ADDR, in %v", p)
- return
- }
-
- if a.Reg != 0 || a.Scale != 0 || a.Name != 0 || a.Sym != nil || a.Val != nil {
- break
- }
- return
-
- case TYPE_FCONST, TYPE_SCONST:
- if a.Reg != 0 || a.Index != 0 || a.Scale != 0 || a.Name != 0 || a.Offset != 0 || a.Sym != nil {
- break
- }
- return
-
- case TYPE_REG:
- // TODO(rsc): After fixing PINSRQ, check a.Offset != 0 too.
- // TODO(rsc): After fixing SHRQ, check a.Index != 0 too.
- if a.Scale != 0 || a.Name != 0 || a.Sym != nil {
- break
- }
- return
-
- case TYPE_ADDR:
- if a.Val != nil {
- break
- }
- if a.Reg == 0 && a.Index == 0 && a.Scale == 0 && a.Name == 0 && a.Sym == nil {
- ctxt.Diag("argument is TYPE_ADDR, should be TYPE_CONST, in %v", p)
- }
- return
-
- case TYPE_SHIFT, TYPE_REGREG:
- if a.Index != 0 || a.Scale != 0 || a.Name != 0 || a.Sym != nil || a.Val != nil {
- break
- }
- return
-
- case TYPE_INDIR:
- // Expect sym and name to be set, nothing else.
- // Technically more is allowed, but this is only used for *name(SB).
- if a.Reg != 0 || a.Index != 0 || a.Scale != 0 || a.Name == 0 || a.Offset != 0 || a.Sym == nil || a.Val != nil {
- break
- }
- return
- }
-
- ctxt.Diag("invalid encoding for argument %v", p)
-}
-
-func linkpatch(ctxt *Link, sym *LSym, newprog ProgAlloc) {
- for p := sym.Func.Text; p != nil; p = p.Link {
- checkaddr(ctxt, p, &p.From)
- if p.GetFrom3() != nil {
- checkaddr(ctxt, p, p.GetFrom3())
- }
- checkaddr(ctxt, p, &p.To)
-
- if ctxt.Arch.Progedit != nil {
- ctxt.Arch.Progedit(ctxt, p, newprog)
- }
- if p.To.Type != TYPE_BRANCH {
- continue
- }
- if p.To.Val != nil {
- continue
- }
-
- if p.To.Sym != nil {
- continue
- }
- q := sym.Func.Text
- for q != nil && p.To.Offset != q.Pc {
- if q.Forwd != nil && p.To.Offset >= q.Forwd.Pc {
- q = q.Forwd
- } else {
- q = q.Link
- }
- }
-
- if q == nil {
- name := "<nil>"
- if p.To.Sym != nil {
- name = p.To.Sym.Name
- }
- ctxt.Diag("branch out of range (%#x)\n%v [%s]", uint32(p.To.Offset), p, name)
- p.To.Type = TYPE_NONE
- }
-
- p.To.SetTarget(q)
- }
-
- if !ctxt.Flag_optimize {
- return
- }
-
- // Collapse series of jumps to jumps.
- for p := sym.Func.Text; p != nil; p = p.Link {
- if p.To.Target() == nil {
- continue
- }
- p.To.SetTarget(brloop(p.To.Target()))
- if p.To.Target() != nil && p.To.Type == TYPE_BRANCH {
- p.To.Offset = p.To.Target().Pc
- }
- }
-}