ir

type BasicBlock struct {
	Index   int32          `protobuf:"varint,1,opt,name=index,proto3" json:"index,omitempty"`
	Comment string         `protobuf:"bytes,2,opt,name=comment,proto3" json:"comment,omitempty"` // e.g. "entry", "cond.true"
	Instrs  []*Instruction `protobuf:"bytes,3,rep,name=instrs,proto3" json:"instrs,omitempty"`
	Preds   []int32        `protobuf:"varint,4,rep,packed,name=preds,proto3" json:"preds,omitempty"` // Predecessor block indices
	Succs   []int32        `protobuf:"varint,5,rep,packed,name=succs,proto3" json:"succs,omitempty"` // Successor block indices
	// contains filtered or unexported fields
}

type BasicTypeKind int32

type BinOpKind int32

type CallCommon struct {
	Value      *Value   `protobuf:"bytes,1,opt,name=value,proto3" json:"value,omitempty"` // Function to call (func_name for static, receiver reg for invoke)
	Args       []*Value `protobuf:"bytes,2,rep,name=args,proto3" json:"args,omitempty"`
	IsInvoke   bool     `protobuf:"varint,3,opt,name=is_invoke,json=isInvoke,proto3" json:"is_invoke,omitempty"`      // True if dynamic dispatch (interface method)
	MethodName string   `protobuf:"bytes,4,opt,name=method_name,json=methodName,proto3" json:"method_name,omitempty"` // Only for is_invoke=true
	Callee     string   `protobuf:"bytes,5,opt,name=callee,proto3" json:"callee,omitempty"`                           // Resolved canonical callee name when statically known
	// (e.g. "go:net/http.HandleFunc", "builtin.append"); empty if fully dynamic.
	UntypedDispatch bool `protobuf:"varint,6,opt,name=untyped_dispatch,json=untypedDispatch,proto3" json:"untyped_dispatch,omitempty"` // is_invoke resolution is by bare method NAME with no static
	// contains filtered or unexported fields
}

type Case struct {
	Value *Value `protobuf:"bytes,1,opt,name=value,proto3" json:"value,omitempty"` // Case value (constant)
	Block string `protobuf:"bytes,2,opt,name=block,proto3" json:"block,omitempty"` // Target block
	// contains filtered or unexported fields
}

type Constant struct {
	Type *Type `protobuf:"bytes,1,opt,name=type,proto3" json:"type,omitempty"`
	// Types that are valid to be assigned to Value:
	//
	//	*Constant_BoolVal
	//	*Constant_IntVal
	//	*Constant_FloatVal
	//	*Constant_StringVal
	Value isConstant_Value `protobuf_oneof:"value"`
	IsNil bool             `protobuf:"varint,6,opt,name=is_nil,json=isNil,proto3" json:"is_nil,omitempty"`
	// contains filtered or unexported fields
}

type Constant_BoolVal struct {
	BoolVal bool `protobuf:"varint,2,opt,name=bool_val,json=boolVal,proto3,oneof"`
}

type Constant_FloatVal struct {
	FloatVal float64 `protobuf:"fixed64,4,opt,name=float_val,json=floatVal,proto3,oneof"` // Store all floats as double
}

type Constant_IntVal struct {
	IntVal int64 `protobuf:"varint,3,opt,name=int_val,json=intVal,proto3,oneof"` // Store all integers as 64-bit
}

type Constant_StringVal struct {
	StringVal string `protobuf:"bytes,5,opt,name=string_val,json=stringVal,proto3,oneof"` // Complex numbers can be stored as real/imag parts if needed, omitting for brevity
}

type Field struct {
	Name     string `protobuf:"bytes,1,opt,name=name,proto3" json:"name,omitempty"`
	Type     *Type  `protobuf:"bytes,2,opt,name=type,proto3" json:"type,omitempty"`
	Tag      string `protobuf:"bytes,3,opt,name=tag,proto3" json:"tag,omitempty"`            // Struct tag (e.g. for Go/JSON)
	Embedded bool   `protobuf:"varint,4,opt,name=embedded,proto3" json:"embedded,omitempty"` // Anonymous field
	// contains filtered or unexported fields
}

type Function struct {
	Name        string        `protobuf:"bytes,1,opt,name=name,proto3" json:"name,omitempty"`                                  // Unique name within the frontend (e.g. main.main)
	ObjectName  string        `protobuf:"bytes,2,opt,name=object_name,json=objectName,proto3" json:"object_name,omitempty"`    // Original source name (e.g. main)
	MethodName  string        `protobuf:"bytes,3,opt,name=method_name,json=methodName,proto3" json:"method_name,omitempty"`    // If method, the method name.
	PackageName string        `protobuf:"bytes,4,opt,name=package_name,json=packageName,proto3" json:"package_name,omitempty"` // Package path.
	Signature   *Signature    `protobuf:"bytes,5,opt,name=signature,proto3" json:"signature,omitempty"`
	Pos         *Position     `protobuf:"bytes,6,opt,name=pos,proto3" json:"pos,omitempty"`
	Params      []*Value      `protobuf:"bytes,7,rep,name=params,proto3" json:"params,omitempty"`                     // Function parameters
	FreeVars    []*Value      `protobuf:"bytes,8,rep,name=free_vars,json=freeVars,proto3" json:"free_vars,omitempty"` // Captured variables (closure)
	Blocks      []*BasicBlock `protobuf:"bytes,9,rep,name=blocks,proto3" json:"blocks,omitempty"`                     // Basic blocks forming the function body
	Locals      []*Value      `protobuf:"bytes,10,rep,name=locals,proto3" json:"locals,omitempty"`                    // Local variables (allocs) that might be lifted
	Parent      *Type         `protobuf:"bytes,11,opt,name=parent,proto3" json:"parent,omitempty"`                    // If method, the receiver type
	Synthetic   bool          `protobuf:"varint,12,opt,name=synthetic,proto3" json:"synthetic,omitempty"`             // True if generated by compiler/wrapper
	// Canonical fully-qualified name used by rules to match across languages.
	// Scheme: "<lang>:<module/path>.<Type>.<member>", e.g.
	//
	//	"go:net/http.(*Request).FormValue", "py:flask.request.args.get".
	CanonicalName string `protobuf:"bytes,13,opt,name=canonical_name,json=canonicalName,proto3" json:"canonical_name,omitempty"`
	// contains filtered or unexported fields
}

type Global struct {
	Name      string    `protobuf:"bytes,1,opt,name=name,proto3" json:"name,omitempty"`
	Type      *Type     `protobuf:"bytes,2,opt,name=type,proto3" json:"type,omitempty"`
	InitValue *Constant `protobuf:"bytes,3,opt,name=init_value,json=initValue,proto3" json:"init_value,omitempty"` // Optional initialization value
	Pos       *Position `protobuf:"bytes,4,opt,name=pos,proto3" json:"pos,omitempty"`
	// contains filtered or unexported fields
}

type Instruction struct {
	Name    string    `protobuf:"bytes,1,opt,name=name,proto3" json:"name,omitempty"` // Result register name (if any), e.g. "t0". Empty for void.
	Op      OpCode    `protobuf:"varint,2,opt,name=op,proto3,enum=godzilla.ir.v1.OpCode" json:"op,omitempty"`
	Type    *Type     `protobuf:"bytes,3,opt,name=type,proto3" json:"type,omitempty"` // Result type
	Pos     *Position `protobuf:"bytes,4,opt,name=pos,proto3" json:"pos,omitempty"`
	Comment string    `protobuf:"bytes,5,opt,name=comment,proto3" json:"comment,omitempty"`
	// Generic operands.
	Operands []*Value `protobuf:"bytes,6,rep,name=operands,proto3" json:"operands,omitempty"`
	// For BIN_OP / UN_OP.
	BinOp BinOpKind `protobuf:"varint,7,opt,name=bin_op,json=binOp,proto3,enum=godzilla.ir.v1.BinOpKind" json:"bin_op,omitempty"`
	UnOp  UnOpKind  `protobuf:"varint,8,opt,name=un_op,json=unOp,proto3,enum=godzilla.ir.v1.UnOpKind" json:"un_op,omitempty"`
	// For FIELD / FIELD_ADDR / EXTRACT (element index).
	FieldIndex int32 `protobuf:"varint,9,opt,name=field_index,json=fieldIndex,proto3" json:"field_index,omitempty"`
	// For CALL / INVOKE, and for call-carrying intrinsics (go.defer, go.goroutine).
	Call *CallCommon `protobuf:"bytes,10,opt,name=call,proto3" json:"call,omitempty"`
	// For PHI: predecessor block ids, parallel to `operands`.
	Blocks []string `protobuf:"bytes,11,rep,name=blocks,proto3" json:"blocks,omitempty"`
	// For IF.
	TrueBlock  string `protobuf:"bytes,12,opt,name=true_block,json=trueBlock,proto3" json:"true_block,omitempty"`
	FalseBlock string `protobuf:"bytes,13,opt,name=false_block,json=falseBlock,proto3" json:"false_block,omitempty"`
	// For JUMP.
	JumpBlock string `protobuf:"bytes,14,opt,name=jump_block,json=jumpBlock,proto3" json:"jump_block,omitempty"`
	// For ALLOC: hint that the allocation escapes to the heap.
	Heap bool `protobuf:"varint,15,opt,name=heap,proto3" json:"heap,omitempty"`
	// For SWITCH.
	Cases []*Case `protobuf:"bytes,17,rep,name=cases,proto3" json:"cases,omitempty"`
	// For OP_CODE_INTRINSIC: the canonical intrinsic name, e.g. "go.chan.send".
	Intrinsic string `protobuf:"bytes,18,opt,name=intrinsic,proto3" json:"intrinsic,omitempty"`
	// contains filtered or unexported fields
}

type Method struct {
	Name      string `protobuf:"bytes,1,opt,name=name,proto3" json:"name,omitempty"`
	Signature *Type  `protobuf:"bytes,2,opt,name=signature,proto3" json:"signature,omitempty"` // Must be TYPE_KIND_FUNC
	// contains filtered or unexported fields
}

type Module struct {
	Name      string      `protobuf:"bytes,1,opt,name=name,proto3" json:"name,omitempty"`           // Package path/name
	Functions []*Function `protobuf:"bytes,2,rep,name=functions,proto3" json:"functions,omitempty"` // All functions (methods, init, main)
	Types     []*Type     `protobuf:"bytes,3,rep,name=types,proto3" json:"types,omitempty"`         // Named types defined in this module
	Globals   []*Global   `protobuf:"bytes,4,rep,name=globals,proto3" json:"globals,omitempty"`     // Global variables
	// Dependency information
	Imports []string `protobuf:"bytes,5,rep,name=imports,proto3" json:"imports,omitempty"` // Imported module names/paths
	// Source language that produced this module: "go", "python", "javascript".
	Language string `protobuf:"bytes,6,opt,name=language,proto3" json:"language,omitempty"`
	// contains filtered or unexported fields
}

type OpCode int32

type Position struct {
	Filename string `protobuf:"bytes,1,opt,name=filename,proto3" json:"filename,omitempty"`
	Line     int32  `protobuf:"varint,2,opt,name=line,proto3" json:"line,omitempty"`
	Column   int32  `protobuf:"varint,3,opt,name=column,proto3" json:"column,omitempty"`
	// contains filtered or unexported fields
}

type Program struct {
	Modules []*Module `protobuf:"bytes,1,rep,name=modules,proto3" json:"modules,omitempty"`
	MainPkg *Function `protobuf:"bytes,2,opt,name=main_pkg,json=mainPkg,proto3" json:"main_pkg,omitempty"` // Entry point package/function
	Mode    string    `protobuf:"bytes,3,opt,name=mode,proto3" json:"mode,omitempty"`                      // e.g., "ssa", "source"
	// contains filtered or unexported fields
}

type Signature struct {
	Params   []*Type `protobuf:"bytes,1,rep,name=params,proto3" json:"params,omitempty"`
	Results  []*Type `protobuf:"bytes,2,rep,name=results,proto3" json:"results,omitempty"`
	Variadic bool    `protobuf:"varint,3,opt,name=variadic,proto3" json:"variadic,omitempty"`
	Recv     *Type   `protobuf:"bytes,4,opt,name=recv,proto3" json:"recv,omitempty"` // Receiver type (for methods), optional
	// contains filtered or unexported fields
}

type Type struct {
	Kind TypeKind `protobuf:"varint,1,opt,name=kind,proto3,enum=godzilla.ir.v1.TypeKind" json:"kind,omitempty"`
	// Only set if kind == TYPE_KIND_BASIC
	BasicKind BasicTypeKind `protobuf:"varint,2,opt,name=basic_kind,json=basicKind,proto3,enum=godzilla.ir.v1.BasicTypeKind" json:"basic_kind,omitempty"`
	// Only set if kind == TYPE_KIND_POINTER, ARRAY, SLICE, CHAN, MAP (key/elem)
	ElemType *Type `protobuf:"bytes,3,opt,name=elem_type,json=elemType,proto3" json:"elem_type,omitempty"`
	KeyType  *Type `protobuf:"bytes,4,opt,name=key_type,json=keyType,proto3" json:"key_type,omitempty"` // For maps
	// Only set if kind == TYPE_KIND_ARRAY
	ArrayLen int64 `protobuf:"varint,5,opt,name=array_len,json=arrayLen,proto3" json:"array_len,omitempty"`
	// Only set if kind == TYPE_KIND_STRUCT
	Fields []*Field `protobuf:"bytes,6,rep,name=fields,proto3" json:"fields,omitempty"`
	// Only set if kind == TYPE_KIND_INTERFACE
	Methods []*Method `protobuf:"bytes,7,rep,name=methods,proto3" json:"methods,omitempty"`
	// Only set if kind == TYPE_KIND_FUNC
	Signature *Signature `protobuf:"bytes,8,opt,name=signature,proto3" json:"signature,omitempty"`
	// Only set if kind == TYPE_KIND_NAMED
	Name           string    `protobuf:"bytes,9,opt,name=name,proto3" json:"name,omitempty"`
	UnderlyingType *Type     `protobuf:"bytes,10,opt,name=underlying_type,json=underlyingType,proto3" json:"underlying_type,omitempty"` // The underlying type definition
	MethodSet      []*Method `protobuf:"bytes,11,rep,name=method_set,json=methodSet,proto3" json:"method_set,omitempty"`                // Methods associated with this named type
	Pos            *Position `protobuf:"bytes,12,opt,name=pos,proto3" json:"pos,omitempty"`                                             // Definition position for named types
	// contains filtered or unexported fields
}

type TypeKind int32

type UnOpKind int32

type Value struct {

	// Types that are valid to be assigned to Kind:
	//
	//	*Value_RegName
	//	*Value_Constant
	//	*Value_GlobalName
	//	*Value_FuncName
	Kind isValue_Kind `protobuf_oneof:"kind"`
	// contains filtered or unexported fields
}

type Value_Constant struct {
	Constant *Constant `protobuf:"bytes,2,opt,name=constant,proto3,oneof"`
}

type Value_FuncName struct {
	FuncName string `protobuf:"bytes,4,opt,name=func_name,json=funcName,proto3,oneof"` // direct function reference (canonical name)
}

type Value_GlobalName struct {
	GlobalName string `protobuf:"bytes,3,opt,name=global_name,json=globalName,proto3,oneof"` // a Global variable by name
}

type Value_RegName struct {
	RegName string `protobuf:"bytes,1,opt,name=reg_name,json=regName,proto3,oneof"` // result of another instruction in this function
}