// Program gentypes reads a compressed vmlinux .BTF section and generates
// syscall bindings from it.
//
// Output is written to "types.go".
package main

import (
	"bytes"
	"errors"
	"flag"
	"fmt"
	"os"
	"slices"
	"sort"
	"strconv"
	"strings"

	"github.com/cilium/ebpf/btf"
	"github.com/cilium/ebpf/internal"
	"github.com/cilium/ebpf/internal/sys"
)

type syscallRetval int

const (
	retError syscallRetval = iota
	retFd
)

var (
	verbose bool
)

func debugln(a ...any) {
	if verbose {
		fmt.Println(a...)
	}
}

func getBool(key string, defaultVal bool) bool {
	val, ok := os.LookupEnv(key)
	if !ok {
		return defaultVal
	}

	b, err := strconv.ParseBool(val)
	if err != nil {
		return defaultVal
	}

	return b
}

func main() {
	fs := flag.NewFlagSet("gentypes", flag.ContinueOnError)
	fs.BoolVar(&verbose, "verbose", getBool("V", false), "Enable verbose logging ($V)")

	if err := fs.Parse(os.Args[1:]); err != nil {
		fmt.Fprintln(os.Stderr, "Error:", err)
		os.Exit(1)
	}

	if err := run(fs.Args()); err != nil {
		fmt.Fprintln(os.Stderr, "Error:", err)
		os.Exit(1)
	}
}

func run(args []string) error {
	if len(args) != 1 {
		return fmt.Errorf("expect location of compressed vmlinux .BTF as argument")
	}

	raw, err := internal.ReadAllCompressed(args[0])
	if err != nil {
		return err
	}

	spec, err := btf.LoadSpecFromReader(bytes.NewReader(raw))
	if err != nil {
		return err
	}

	output, err := generateTypes(spec)
	var fpe *failedPatchError
	if errors.As(err, &fpe) {
		fmt.Fprintf(os.Stderr, "  %v\n", fpe.Type)
		for _, member := range fpe.Type.Members {
			fmt.Fprintf(os.Stderr, "    %q %v\n", member.Name, member.Type)
		}
	}
	if err != nil {
		return err
	}

	w, err := os.Create("types.go")
	if err != nil {
		return err
	}
	defer w.Close()

	return internal.WriteFormatted(output, w)
}

func generateTypes(spec *btf.Spec) ([]byte, error) {
	objName := &btf.Array{Nelems: 16, Type: &btf.Int{Encoding: btf.Char, Size: 1}}
	mapID := &btf.Int{Size: 4}
	progID := &btf.Int{Size: 4}
	linkID := &btf.Int{Size: 4}
	btfID := &btf.Int{Size: 4}
	typeID := &btf.Int{Size: 4}
	logLevel := &btf.Int{Size: 4}

	rawPointer := &btf.Pointer{}
	stringPointer := &btf.Pointer{}
	stringSlicePointer := &btf.Pointer{}
	bytePtr := &btf.Pointer{}
	int32Ptr := &btf.Pointer{}
	uint32Ptr := &btf.Pointer{}
	uint64Ptr := &btf.Pointer{}
	uintptrPointer := &btf.Pointer{}
	mapIDPtr := &btf.Pointer{}
	progIDPtr := &btf.Pointer{}
	linkIDPtr := &btf.Pointer{}

	gf := &btf.GoFormatter{
		Names: map[btf.Type]string{
			objName:  internal.GoTypeName(sys.ObjName{}),
			mapID:    internal.GoTypeName(sys.MapID(0)),
			progID:   internal.GoTypeName(sys.ProgramID(0)),
			linkID:   internal.GoTypeName(sys.LinkID(0)),
			btfID:    internal.GoTypeName(sys.BTFID(0)),
			typeID:   internal.GoTypeName(sys.TypeID(0)),
			logLevel: internal.GoTypeName(sys.LogLevel(0)),

			rawPointer:         internal.GoTypeName(sys.Pointer{}),
			stringPointer:      internal.GoTypeName(sys.StringPointer{}),
			stringSlicePointer: internal.GoTypeName(sys.StringSlicePointer{}),
			bytePtr:            internal.GoTypeName(sys.TypedPointer[byte]{}),
			int32Ptr:           internal.GoTypeName(sys.TypedPointer[int32]{}),
			uint32Ptr:          internal.GoTypeName(sys.TypedPointer[uint32]{}),
			uint64Ptr:          internal.GoTypeName(sys.TypedPointer[uint64]{}),
			uintptrPointer:     internal.GoTypeName(sys.TypedPointer[uintptr]{}),
			mapIDPtr:           internal.GoTypeName(sys.TypedPointer[sys.MapID]{}),
			progIDPtr:          internal.GoTypeName(sys.TypedPointer[sys.ProgramID]{}),
			linkIDPtr:          internal.GoTypeName(sys.TypedPointer[sys.LinkID]{}),
		},
		Identifier: internal.Identifier,
		EnumIdentifier: func(name, element string) string {
			return element
		},
	}

	w := bytes.NewBuffer(nil)
	w.WriteString(`// Code generated by internal/cmd/gentypes; DO NOT EDIT.

package sys

import (
	"unsafe"
	"structs"
)

`)

	// Constants (aka unnamed enums)
	var consts []btf.EnumValue
	for typ, err := range spec.All() {
		if err != nil {
			return nil, err
		}

		e, ok := typ.(*btf.Enum)
		if !ok {
			continue
		}

		if e.Name != "" {
			continue
		}

		for _, value := range e.Values {
			if strings.HasPrefix(value.Name, "BPF_") {
				// Greedily take all values which start with BPF_
				consts = append(consts, value)
			}
		}
	}

	sort.Slice(consts, func(i, j int) bool {
		return consts[i].Name < consts[j].Name
	})

	var nconsts uint32
	w.WriteString("const (\n")
	for _, c := range consts {
		debugln("const", c.Name)
		fmt.Fprintf(w, "\t%s = %v\n", c.Name, c.Value)
		nconsts++
	}
	w.WriteString(")\n")
	fmt.Printf("Generated %d constants\n", nconsts)

	// Typed constants (aka named enums)
	enums := []struct {
		goType string
		cType  string
	}{
		{"Cmd", "bpf_cmd"},
		{"ObjType", "bpf_type"},
		{"MapType", "bpf_map_type"},
		{"ProgType", "bpf_prog_type"},
		{"AttachType", "bpf_attach_type"},
		{"LinkType", "bpf_link_type"},
		{"StatsType", "bpf_stats_type"},
		{"SkAction", "sk_action"},
		{"StackBuildIdStatus", "bpf_stack_build_id_status"},
		{"FunctionId", "bpf_func_id"},
		{"AdjRoomMode", "bpf_adj_room_mode"},
		{"HdrStartOff", "bpf_hdr_start_off"},
		{"RetCode", "bpf_ret_code"},
		{"XdpAction", "xdp_action"},
		{"TcxActionBase", "tcx_action_base"},
		{"PerfEventType", "bpf_perf_event_type"},
	}

	sort.Slice(enums, func(i, j int) bool {
		return enums[i].goType < enums[j].goType
	})

	var nenums uint32
	enumTypes := make(map[string]btf.Type)
	for _, o := range enums {
		debugln("enum", o.goType)

		var t *btf.Enum
		if err := spec.TypeByName(o.cType, &t); err != nil {
			return nil, err
		}

		// Add the enum as a predeclared type so that generated structs
		// refer to the Go types.
		if name := gf.Names[t]; name != "" {
			return nil, fmt.Errorf("type %q is already declared as %s", o.cType, name)
		}
		gf.Names[t] = o.goType
		enumTypes[o.goType] = t

		decl, err := gf.TypeDeclaration(o.goType, t)
		if err != nil {
			return nil, fmt.Errorf("generate %q: %w", o.goType, err)
		}

		w.WriteString(decl)
		w.WriteRune('\n')

		nenums++
	}
	fmt.Printf("Generated %d enums\n", nenums)

	// Assorted structs

	structs := []struct {
		goType  string
		cType   string
		patches []patch
	}{
		{
			"ProgInfo", "bpf_prog_info",
			[]patch{
				replace(objName, "name"),
				replace(bytePtr, "jited_prog_insns"),
				replace(bytePtr, "xlated_prog_insns"),
				replace(mapIDPtr, "map_ids"),
				replace(bytePtr, "line_info"),
				replace(uint64Ptr, "jited_line_info"),
				replace(uint64Ptr, "jited_ksyms"),
				replace(uint32Ptr, "jited_func_lens"),
				replace(bytePtr, "func_info"),
				replace(btfID, "btf_id", "attach_btf_obj_id"),
				replace(typeID, "attach_btf_id"),
			},
		},
		{
			"MapInfo", "bpf_map_info",
			[]patch{
				replace(mapID, "id"),
				replace(objName, "name"),
				replace(typeID, "btf_vmlinux_value_type_id", "btf_key_type_id", "btf_value_type_id"),
			},
		},
		{
			"BtfInfo", "bpf_btf_info",
			[]patch{
				replace(bytePtr, "btf", "name"),
				replace(btfID, "id"),
			},
		},
		{
			"LinkInfo", "bpf_link_info",
			[]patch{
				replace(enumTypes["LinkType"], "type"),
				replace(linkID, "id"),
				name(3, "extra"),
				replaceWithBytes("extra"),
			},
		},
		{"FuncInfo", "bpf_func_info", nil},
		{"LineInfo", "bpf_line_info", nil},
		{"XdpMd", "xdp_md", nil},
		{
			"SkLookup", "bpf_sk_lookup",
			[]patch{
				choose(0, "cookie"),
				replaceWithBytes("remote_ip4", "remote_ip6", "local_ip4", "local_ip6"),
			},
		},
	}

	sort.Slice(structs, func(i, j int) bool {
		return structs[i].goType < structs[j].goType
	})

	var nstructs uint32
	for _, s := range structs {
		debugln("struct", s.goType)

		var t *btf.Struct
		if err := spec.TypeByName(s.cType, &t); err != nil {
			return nil, err
		}

		if err := outputPatchedStruct(gf, w, s.goType, t, s.patches); err != nil {
			return nil, fmt.Errorf("output %q: %w", s.goType, err)
		}
		nstructs++
	}
	fmt.Printf("Generated %d structs\n", nstructs)

	// Attrs

	attrs := []struct {
		goType  string
		ret     syscallRetval
		cType   string
		cmd     string
		patches []patch
	}{
		{
			"MapCreate", retFd, "map_create", "BPF_MAP_CREATE",
			[]patch{
				replace(objName, "map_name"),
				replace(enumTypes["MapType"], "map_type"),
				replace(typeID, "btf_vmlinux_value_type_id", "btf_key_type_id", "btf_value_type_id"),
			},
		},
		{
			"MapLookupElem", retError, "map_elem", "BPF_MAP_LOOKUP_ELEM",
			[]patch{choose(2, "value"), replace(rawPointer, "key", "value")},
		},
		{
			"MapLookupAndDeleteElem", retError, "map_elem", "BPF_MAP_LOOKUP_AND_DELETE_ELEM",
			[]patch{choose(2, "value"), replace(rawPointer, "key", "value")},
		},
		{
			"MapUpdateElem", retError, "map_elem", "BPF_MAP_UPDATE_ELEM",
			[]patch{choose(2, "value"), replace(rawPointer, "key", "value")},
		},
		{
			"MapDeleteElem", retError, "map_elem", "BPF_MAP_DELETE_ELEM",
			[]patch{choose(2, "value"), replace(rawPointer, "key", "value")},
		},
		{
			"MapGetNextKey", retError, "map_elem", "BPF_MAP_GET_NEXT_KEY",
			[]patch{
				choose(2, "next_key"), replace(rawPointer, "key", "next_key"),
				truncateAfter("next_key"),
			},
		},
		{
			"MapFreeze", retError, "map_elem", "BPF_MAP_FREEZE",
			[]patch{truncateAfter("map_fd")},
		},
		{
			"MapLookupBatch", retError, "map_elem_batch", "BPF_MAP_LOOKUP_BATCH",
			[]patch{replace(rawPointer, "in_batch", "out_batch", "keys", "values")},
		},
		{
			"MapLookupAndDeleteBatch", retError, "map_elem_batch", "BPF_MAP_LOOKUP_AND_DELETE_BATCH",
			[]patch{replace(rawPointer, "in_batch", "out_batch", "keys", "values")},
		},
		{
			"MapUpdateBatch", retError, "map_elem_batch", "BPF_MAP_UPDATE_BATCH",
			[]patch{replace(rawPointer, "in_batch", "out_batch", "keys", "values")},
		},
		{
			"MapDeleteBatch", retError, "map_elem_batch", "BPF_MAP_DELETE_BATCH",
			[]patch{replace(rawPointer, "in_batch", "out_batch", "keys", "values")},
		},
		{
			"ProgLoad", retFd, "prog_load", "BPF_PROG_LOAD",
			[]patch{
				replace(objName, "prog_name"),
				replace(enumTypes["ProgType"], "prog_type"),
				replace(enumTypes["AttachType"], "expected_attach_type"),
				replace(logLevel, "log_level"),
				replace(bytePtr, "insns"),
				replace(stringPointer, "license"),
				replace(bytePtr, "log_buf"),
				replace(bytePtr,
					"func_info",
					"line_info",
					"core_relos",
				),
				replace(int32Ptr, "fd_array"),
				replace(typeID, "attach_btf_id"),
				choose(20, "attach_btf_obj_fd"),
			},
		},
		{
			"ProgBindMap", retError, "prog_bind_map", "BPF_PROG_BIND_MAP",
			nil,
		},
		{
			"ObjPin", retError, "obj_pin", "BPF_OBJ_PIN",
			[]patch{replace(stringPointer, "pathname")},
		},
		{
			"ObjGet", retFd, "obj_pin", "BPF_OBJ_GET",
			[]patch{replace(stringPointer, "pathname")},
		},
		{
			"ProgAttach", retError, "prog_attach", "BPF_PROG_ATTACH",
			[]patch{
				flattenAnon,
				rename("target_fd", "target_fd_or_ifindex"),
				rename("relative_fd", "relative_fd_or_id"),
			},
		},
		{
			"ProgDetach", retError, "prog_attach", "BPF_PROG_DETACH",
			[]patch{
				flattenAnon,
				rename("target_fd", "target_fd_or_ifindex"),
				truncateAfter("expected_revision"),
				rename("relative_fd", "relative_fd_or_id"),
				remove("replace_bpf_fd"),
			},
		},
		{
			"ProgRun", retError, "prog_run", "BPF_PROG_TEST_RUN",
			[]patch{replace(bytePtr, "data_in", "data_out", "ctx_in", "ctx_out")},
		},
		{
			"ProgGetNextId", retError, "obj_next_id", "BPF_PROG_GET_NEXT_ID",
			[]patch{
				choose(0, "start_id"), rename("start_id", "id"),
				truncateAfter("next_id"),
			},
		},
		{
			"MapGetNextId", retError, "obj_next_id", "BPF_MAP_GET_NEXT_ID",
			[]patch{
				choose(0, "start_id"), rename("start_id", "id"),
				truncateAfter("next_id"),
			},
		},
		{
			"BtfGetNextId", retError, "obj_next_id", "BPF_BTF_GET_NEXT_ID",
			[]patch{
				choose(0, "start_id"), rename("start_id", "id"),
				replace(btfID, "id", "next_id"),
				truncateAfter("next_id"),
			},
		},
		{
			"LinkGetNextId", retError, "obj_next_id", "BPF_LINK_GET_NEXT_ID",
			[]patch{
				choose(0, "start_id"), rename("start_id", "id"),
				replace(linkID, "id", "next_id"),
				truncateAfter("next_id"),
			},
		},
		// These piggy back on the obj_next_id decl, but only support the
		// first field...
		{
			"BtfGetFdById", retFd, "obj_next_id", "BPF_BTF_GET_FD_BY_ID",
			[]patch{choose(0, "start_id"), rename("start_id", "id"), truncateAfter("id")},
		},
		{
			"MapGetFdById", retFd, "obj_next_id", "BPF_MAP_GET_FD_BY_ID",
			[]patch{choose(0, "start_id"), rename("start_id", "id"), truncateAfter("id")},
		},
		{
			"ProgGetFdById", retFd, "obj_next_id", "BPF_PROG_GET_FD_BY_ID",
			[]patch{choose(0, "start_id"), rename("start_id", "id"), truncateAfter("id")},
		},
		{
			"LinkGetFdById", retFd, "obj_next_id", "BPF_LINK_GET_FD_BY_ID",
			[]patch{choose(0, "start_id"), rename("start_id", "id"), replace(linkID, "id"), truncateAfter("id")},
		},
		{
			"ObjGetInfoByFd", retError, "info_by_fd", "BPF_OBJ_GET_INFO_BY_FD",
			[]patch{replace(rawPointer, "info")},
		},
		{
			"RawTracepointOpen", retFd, "raw_tracepoint_open", "BPF_RAW_TRACEPOINT_OPEN",
			[]patch{replace(stringPointer, "name")},
		},
		{
			"BtfLoad", retFd, "btf_load", "BPF_BTF_LOAD",
			[]patch{replace(bytePtr, "btf", "btf_log_buf")},
		},
		{
			"LinkCreate", retFd, "link_create", "BPF_LINK_CREATE",
			[]patch{
				replace(enumTypes["AttachType"], "attach_type"),
				choose(4, "target_btf_id"),
				replace(typeID, "target_btf_id"),
			},
		},
		{
			"LinkCreateIter", retFd, "link_create", "BPF_LINK_CREATE",
			[]patch{
				chooseNth(4, 1),
				replace(enumTypes["AttachType"], "attach_type"),
				flattenAnon,
				replace(rawPointer, "iter_info"),
			},
		},
		{
			"LinkCreatePerfEvent", retFd, "link_create", "BPF_LINK_CREATE",
			[]patch{
				chooseNth(4, 2),
				replace(enumTypes["AttachType"], "attach_type"),
				flattenAnon,
			},
		},
		{
			"LinkCreateKprobeMulti", retFd, "link_create", "BPF_LINK_CREATE",
			[]patch{
				chooseNth(4, 3),
				replace(enumTypes["AttachType"], "attach_type"),
				modify(func(m *btf.Member) error {
					return rename("flags", "kprobe_multi_flags")(m.Type.(*btf.Struct))
				}, "kprobe_multi"),
				flattenAnon,
				replace(uint64Ptr, "cookies"),
				replace(uintptrPointer, "addrs"),
				replace(stringSlicePointer, "syms"),
				rename("cnt", "count"),
			},
		},
		{
			"LinkCreateNetfilter", retFd, "link_create", "BPF_LINK_CREATE",
			[]patch{
				chooseNth(4, 5),
				replace(enumTypes["AttachType"], "attach_type"),
				modify(func(m *btf.Member) error {
					return rename("flags", "netfilter_flags")(m.Type.(*btf.Struct))
				}, "netfilter"),
				flattenAnon,
			},
		},
		{
			"LinkCreateTracing", retFd, "link_create", "BPF_LINK_CREATE",
			[]patch{
				chooseNth(4, 4),
				replace(enumTypes["AttachType"], "attach_type"),
				flattenAnon,
				replace(btfID, "target_btf_id"),
			},
		},
		{
			"LinkCreateTcx", retFd, "link_create", "BPF_LINK_CREATE",
			[]patch{
				choose(1, "target_ifindex"),
				choose(4, "tcx"),
				replace(enumTypes["AttachType"], "attach_type"),
				flattenAnon,
				flattenAnon, // flatten tcx member
				rename("relative_fd", "relative_fd_or_id"),
			},
		},
		{
			"LinkCreateUprobeMulti", retFd, "link_create", "BPF_LINK_CREATE",
			[]patch{
				chooseNth(4, 7),
				replace(enumTypes["AttachType"], "attach_type"),
				modify(func(m *btf.Member) error {
					return rename("flags", "uprobe_multi_flags")(m.Type.(*btf.Struct))
				}, "uprobe_multi"),
				flattenAnon,
				replace(stringPointer, "path"),
				replace(uint64Ptr, "offsets"),
				replace(uint64Ptr, "ref_ctr_offsets"),
				replace(uint64Ptr, "cookies"),
				rename("cnt", "count"),
			},
		},
		{
			"LinkCreateNetkit", retFd, "link_create", "BPF_LINK_CREATE",
			[]patch{
				choose(1, "target_ifindex"),
				choose(4, "netkit"),
				replace(enumTypes["AttachType"], "attach_type"),
				flattenAnon,
				flattenAnon,
				rename("relative_fd", "relative_fd_or_id"),
			},
		},
		{
			"LinkDetach", retError, "link_detach", "BPF_LINK_DETACH",
			nil,
		},
		{
			"LinkUpdate", retError, "link_update", "BPF_LINK_UPDATE",
			nil,
		},
		{
			"EnableStats", retFd, "enable_stats", "BPF_ENABLE_STATS",
			nil,
		},
		{
			"IterCreate", retFd, "iter_create", "BPF_ITER_CREATE",
			nil,
		},
		{
			"ProgQuery", retError, "prog_query", "BPF_PROG_QUERY",
			[]patch{
				replace(enumTypes["AttachType"], "attach_type"),
				replace(progIDPtr, "prog_ids", "prog_attach_flags"),
				replace(linkIDPtr, "link_ids", "link_attach_flags"),
				flattenAnon,
				rename("prog_cnt", "count"),
				rename("target_fd", "target_fd_or_ifindex"),
			},
		},
	}

	sort.Slice(attrs, func(i, j int) bool {
		return attrs[i].goType < attrs[j].goType
	})

	var bpfAttr *btf.Union
	if err := spec.TypeByName("bpf_attr", &bpfAttr); err != nil {
		return nil, err
	}
	attrTypes, err := splitUnion(bpfAttr, types{
		{"map_create", "map_type"},
		{"map_elem", "map_fd"},
		{"map_elem_batch", "batch"},
		{"prog_load", "prog_type"},
		{"obj_pin", "pathname"},
		{"prog_attach", ""},
		{"prog_run", "test"},
		{"obj_next_id", ""},
		{"info_by_fd", "info"},
		{"prog_query", "query"},
		{"raw_tracepoint_open", "raw_tracepoint"},
		{"btf_load", "btf"},
		{"task_fd_query", "task_fd_query"},
		{"link_create", "link_create"},
		{"link_update", "link_update"},
		{"link_detach", "link_detach"},
		{"enable_stats", "enable_stats"},
		{"iter_create", "iter_create"},
		{"prog_bind_map", "prog_bind_map"},
	})
	if err != nil {
		return nil, fmt.Errorf("split bpf_attr: %w", err)
	}

	var nattrs uint32
	for _, s := range attrs {
		debugln("attr", s.goType)

		t := attrTypes[s.cType]
		if t == nil {
			return nil, fmt.Errorf("unknown attr %q", s.cType)
		}

		goAttrType := s.goType + "Attr"
		if err := outputPatchedStruct(gf, w, goAttrType, t, s.patches); err != nil {
			return nil, fmt.Errorf("output %q: %w", goAttrType, err)
		}

		switch s.ret {
		case retError:
			fmt.Fprintf(w, "func %s(attr *%s) error { _, err := BPF(%s, unsafe.Pointer(attr), unsafe.Sizeof(*attr)); return err }\n\n", s.goType, goAttrType, s.cmd)
		case retFd:
			fmt.Fprintf(w, "func %s(attr *%s) (*FD, error) { fd, err := BPF(%s, unsafe.Pointer(attr), unsafe.Sizeof(*attr)); if err != nil { return nil, err }; return NewFD(int(fd)) }\n\n", s.goType, goAttrType, s.cmd)
		}
		nattrs++
	}
	fmt.Printf("Generated %d attrs\n", nattrs)

	// Link info type specific
	linkInfoExtraTypes := []struct {
		goType  string
		patches []patch
	}{
		{"CgroupLinkInfo",
			[]patch{
				choose(3, "cgroup"),
				flattenAnon,
				replace(enumTypes["AttachType"], "attach_type"),
			},
		},
		{"IterLinkInfo",
			[]patch{
				choose(3, "iter"),
				flattenAnon,
				replace(bytePtr, "target_name"),
				truncateAfter("target_name_len"),
			},
		},
		{"NetNsLinkInfo",
			[]patch{choose(3, "netns"),
				flattenAnon,
				replace(enumTypes["AttachType"], "attach_type"),
			},
		},
		{"RawTracepointLinkInfo",
			[]patch{choose(3, "raw_tracepoint"),
				flattenAnon,
				replace(bytePtr, "tp_name"),
			},
		},
		{"TracingLinkInfo",
			[]patch{
				choose(3, "tracing"),
				flattenAnon,
				replace(enumTypes["AttachType"], "attach_type"),
				replace(typeID, "target_btf_id"),
			},
		},
		{"XDPLinkInfo",
			[]patch{choose(3, "xdp"),
				flattenAnon,
			},
		},
		{"TcxLinkInfo",
			[]patch{
				choose(3, "tcx"),
				flattenAnon,
				replace(enumTypes["AttachType"], "attach_type"),
			},
		},
		{"NetfilterLinkInfo",
			[]patch{
				choose(3, "netfilter"),
				flattenAnon,
			},
		},
		{"NetkitLinkInfo",
			[]patch{
				choose(3, "netkit"),
				flattenAnon,
				replace(enumTypes["AttachType"], "attach_type"),
			},
		},
		{"KprobeMultiLinkInfo",
			[]patch{
				choose(3, "kprobe_multi"),
				flattenAnon,
				replace(uint64Ptr, "addrs"),
				replace(uint64Ptr, "cookies"),
			},
		},
		{"PerfEventLinkInfo",
			[]patch{
				choose(3, "perf_event"),
				flattenAnon,
				renameNth(3, "perf_event_type"),
				replace(enumTypes["PerfEventType"], "perf_event_type"),
				truncateAfter("perf_event_type"),
			},
		},
		{"KprobeLinkInfo",
			[]patch{
				choose(3, "perf_event"),
				flattenAnon,
				renameNth(3, "perf_event_type"),
				replace(enumTypes["PerfEventType"], "perf_event_type"),
				choose(4, "kprobe"),
				flattenAnon,
				replace(bytePtr, "func_name"),
			},
		},
	}

	sort.Slice(linkInfoExtraTypes, func(i, j int) bool {
		return linkInfoExtraTypes[i].goType < linkInfoExtraTypes[j].goType
	})

	var bpfLinkInfo *btf.Struct
	if err := spec.TypeByName("bpf_link_info", &bpfLinkInfo); err != nil {
		return nil, err
	}

	patches := []patch{
		replace(enumTypes["LinkType"], "type"),
		replace(linkID, "id"),
	}

	for _, s := range linkInfoExtraTypes {
		if err := outputPatchedStruct(gf, w, s.goType, bpfLinkInfo, append(patches, s.patches...)); err != nil {
			return nil, fmt.Errorf("output %q: %w", s.goType, err)
		}
	}

	return w.Bytes(), nil
}

type failedPatchError struct {
	Type   *btf.Struct
	number int
	err    error
}

func (fpe *failedPatchError) Unwrap() error {
	return fpe.err
}

func (fpe *failedPatchError) Error() string {
	return fmt.Sprintf("patch %d: %v", fpe.number, fpe.err)
}

func outputPatchedStruct(gf *btf.GoFormatter, w *bytes.Buffer, id string, s *btf.Struct, patches []patch) error {
	s = btf.Copy(s).(*btf.Struct)

	for i, p := range patches {
		if err := p(s); err != nil {
			return &failedPatchError{s, i, err}
		}
	}

	decl, err := gf.TypeDeclaration(id, s)
	if err != nil {
		return err
	}

	w.WriteString(decl)
	w.WriteString("\n\n")
	return nil
}

type types []struct {
	name                string
	cFieldOrFirstMember string
}

func splitUnion(union *btf.Union, types types) (map[string]*btf.Struct, error) {
	structs := make(map[string]*btf.Struct)

	for i, t := range types {
		member := union.Members[i]
		s, ok := member.Type.(*btf.Struct)
		if !ok {
			return nil, fmt.Errorf("%q: %s is not a struct", t.name, member.Type)
		}

		if member.Name == "" {
			// This is an anonymous struct, check the name of the first member instead.
			if name := s.Members[0].Name; name != t.cFieldOrFirstMember {
				return nil, fmt.Errorf("first field of %q is %q, not %q", t.name, name, t.cFieldOrFirstMember)
			}
		} else if member.Name != t.cFieldOrFirstMember {
			return nil, fmt.Errorf("name for %q is %q, not %q", t.name, member.Name, t.cFieldOrFirstMember)
		}

		structs[t.name] = s
	}

	return structs, nil
}

type patch func(*btf.Struct) error

func modify(fn func(*btf.Member) error, members ...string) patch {
	return func(s *btf.Struct) error {
		want := make(map[string]bool)
		for _, name := range members {
			want[name] = true
		}

		for i, m := range s.Members {
			if want[m.Name] {
				if err := fn(&s.Members[i]); err != nil {
					return err
				}
				delete(want, m.Name)
			}
		}

		if len(want) == 0 {
			return nil
		}

		var missing []string
		for name := range want {
			missing = append(missing, name)
		}
		sort.Strings(missing)

		return fmt.Errorf("missing members: %v", strings.Join(missing, ", "))
	}
}

func modifyNth(fn func(*btf.Member) error, indices ...int) patch {
	return func(s *btf.Struct) error {
		for _, i := range indices {
			if i >= len(s.Members) {
				return fmt.Errorf("index %d is out of bounds", i)
			}

			if err := fn(&s.Members[i]); err != nil {
				return fmt.Errorf("member #%d: %w", i, err)
			}
		}
		return nil
	}
}

func replace(t btf.Type, members ...string) patch {
	return modify(func(m *btf.Member) error {
		m.Type = t
		return nil
	}, members...)
}

func choose(member int, name string) patch {
	return modifyNth(func(m *btf.Member) error {
		union, ok := m.Type.(*btf.Union)
		if !ok {
			return fmt.Errorf("member %d is %s, not a union", member, m.Type)
		}

		for _, um := range union.Members {
			if um.Name == name {
				m.Name = um.Name
				m.Type = um.Type
				return nil
			}
		}

		return fmt.Errorf("%s has no member %q", union, name)
	}, member)
}

func chooseNth(member int, n int) patch {
	return modifyNth(func(m *btf.Member) error {
		union, ok := m.Type.(*btf.Union)
		if !ok {
			return fmt.Errorf("member %d is %s, not a union", member, m.Type)
		}

		if n >= len(union.Members) {
			return fmt.Errorf("member %d is out of bounds", n)
		}

		um := union.Members[n]
		m.Name = um.Name
		m.Type = um.Type
		return nil
	}, member)
}

func flattenAnon(s *btf.Struct) error {
	for i := range s.Members {
		m := &s.Members[i]

		if m.Type.TypeName() != "" {
			continue
		}

		var newMembers []btf.Member
		switch cs := m.Type.(type) {
		case *btf.Struct:
			for j := range cs.Members {
				cs.Members[j].Offset += m.Offset
			}
			newMembers = cs.Members

		case *btf.Union:
			cs.Members[0].Offset += m.Offset
			newMembers = []btf.Member{cs.Members[0]}

		default:
			continue
		}

		s.Members = slices.Replace(s.Members, i, i+1, newMembers...)
	}

	return nil
}

func truncateAfter(name string) patch {
	return func(s *btf.Struct) error {
		for i, m := range s.Members {
			if m.Name != name {
				continue
			}

			size, err := btf.Sizeof(m.Type)
			if err != nil {
				return err
			}

			s.Members = s.Members[:i+1]
			s.Size = m.Offset.Bytes() + uint32(size)
			return nil
		}

		return fmt.Errorf("no member %q", name)
	}
}

func rename(from, to string) patch {
	return func(s *btf.Struct) error {
		for i, m := range s.Members {
			if m.Name == from {
				s.Members[i].Name = to
				return nil
			}
		}
		return fmt.Errorf("no member named %q", from)
	}
}

func renameNth(idx int, to string) patch {
	return func(s *btf.Struct) error {
		if idx >= len(s.Members) {
			return fmt.Errorf("index %d is out of bounds", idx)
		}
		s.Members[idx].Name = to
		return nil
	}
}

func name(member int, name string) patch {
	return modifyNth(func(m *btf.Member) error {
		if m.Name != "" {
			return fmt.Errorf("member already has name %q", m.Name)
		}

		m.Name = name
		return nil
	}, member)
}

func replaceWithBytes(members ...string) patch {
	return modify(func(m *btf.Member) error {
		if m.BitfieldSize != 0 {
			return errors.New("replaceWithBytes: member is a bitfield")
		}

		size, err := btf.Sizeof(m.Type)
		if err != nil {
			return fmt.Errorf("replaceWithBytes: size of %s: %w", m.Type, err)
		}

		m.Type = &btf.Array{
			Type:   &btf.Int{Size: 1},
			Nelems: uint32(size),
		}

		return nil
	}, members...)
}

func remove(member string) patch {
	return func(s *btf.Struct) error {
		for i, m := range s.Members {
			if m.Name == member {
				s.Members = slices.Delete(s.Members, i, i+1)
				return nil
			}
		}
		return fmt.Errorf("member %q not found", member)
	}
}
