(Load <t> (OffPtr [off]                       (Addr {s} sb)       ) _) && t.IsUintptr() && isFixedSym(s, off) => (Addr {fixedSym(b.Func, s, off)} sb)
(Load <t> (OffPtr [off]              (Convert (Addr {s} sb) _)    ) _) && t.IsUintptr() && isFixedSym(s, off) => (Addr {fixedSym(b.Func, s, off)} sb)
(Load <t> (OffPtr [off] (ITab (IMake          (Addr {s} sb)    _))) _) && t.IsUintptr() && isFixedSym(s, off) => (Addr {fixedSym(b.Func, s, off)} sb)

		}
	}
	base.Fatalf("fixed32 data not known for %s:%d", sym, off)
	return 0
}

// isFixedSym returns true if the contents of sym at the given offset
// is known and is the constant address of another symbol.
func isFixedSym(sym Sym, off int64) bool {
	lsym := sym.(*obj.LSym)
	switch {
	case lsym.Type == objabi.SRODATA:
		// itabs, dictionaries
	default:

		}
		s := auxToSym(v_0_0.Aux)
		sb := v_0_0.Args[0]
		if !(t.IsUintptr() && isFixedSym(s, off)) {
			break
		}
		v.reset(OpAddr)
		v.Aux = symToAux(fixedSym(b.Func, s, off))
		v.AddArg(sb)
		return true
	}
	// match: (Load <t> (OffPtr [off] (Convert (Addr {s} sb) _) ) _)
	// cond: t.IsUintptr() && isFixedSym(s, off)
	// result: (Addr {fixedSym(b.Func, s, off)} sb)
	for {
		t := v.Type