// Copyright (c) 2026 Alexander Medvednikov. All rights reserved.
// Use of this source code is governed by an MIT license
// that can be found in the LICENSE file.

module ssa

pub type ValueID = int

pub fn (id ValueID) str() string {
    return int(id).str()
}

pub enum ValueKind {
    unknown
    constant
    argument
    global
    instruction
    basic_block
    string_literal   // V string struct literal (by value)
    c_string_literal // C string literal (raw char pointer)
    func_ref         // Function pointer reference (for map hash/eq/clone/free functions)
}

// str returns the symbolic name for an SSA value kind.
pub fn (k ValueKind) str() string {
    return match k {
        .unknown { 'unknown' }
        .constant { 'constant' }
        .argument { 'argument' }
        .global { 'global' }
        .instruction { 'instruction' }
        .basic_block { 'basic_block' }
        .string_literal { 'string_literal' }
        .c_string_literal { 'c_string_literal' }
        .func_ref { 'func_ref' }
    }
}

pub struct Value {
pub:
    id  ValueID
    typ TypeID
    // Index into the specific arena (instrs, blocks, globals)
    index int
pub mut:
    kind ValueKind
    name string
    uses []ValueID
}

pub struct ConstantData {
pub:
    int_val   i64
    float_val f64
    str_val   string
}

pub struct GlobalVar {
pub mut:
    name          string
    typ           TypeID
    linkage       Linkage
    alignment     int
    is_constant   bool
    initial_value i64  // For constants/enums, the initial integer value
    initial_data  []u8 // For constant arrays: serialized element data
}