llvm-value.dylan

Module:       llvm-internals
Author:       Peter S. Housel
Copyright:    Original Code is Copyright 2009-2010 Gwydion Dylan Maintainers
              All rights reserved.
License:      See License.txt in this distribution for details.
Warranty:     Distributed WITHOUT WARRANTY OF ANY KIND

define abstract class <llvm-value> (<object>)
end class;

define generic llvm-value-type
    (value :: <llvm-value>) => (type :: <llvm-type>);

define generic value-forward
    (value :: <llvm-value>)
 => (value :: <llvm-value>);

define method value-forward
    (value :: <llvm-value>)
 => (value :: <llvm-value>);
  value
end method;

define generic value-partition-key
    (value :: <llvm-value>)
 => (key :: <vector>);

// Default method
define method value-partition-key
    (value :: <llvm-value>)
 => (key :: <vector>);
  vector(object-class(value))
end method;

define generic value-referenced-values
    (value :: <llvm-value>)
 => (referenced :: <sequence>);

// Default method
define method value-referenced-values
    (value :: <llvm-value>)
 => (referenced :: <vector>);
  #[]
end method;

define generic value-referenced-types
    (value :: <llvm-value>)
 => (referenced :: <sequence>);

// Default method
define method value-referenced-types
    (value :: <llvm-value>)
 => (referenced :: <vector>);
  vector(llvm-value-type(value))
end method;

define generic value-referenced-metadata
    (value :: <llvm-value>)
 => (referenced :: <sequence>);

// Default method
define method value-referenced-metadata
    (value :: <llvm-value>)
 => (referenced :: <vector>);
  #[]
end method;


/// Placeholder values

define abstract class <llvm-placeholder-value> (<llvm-value>)
  slot llvm-placeholder-value-forward :: <llvm-value>;
end class;

define class <llvm-symbolic-value> (<llvm-placeholder-value>)
  constant slot llvm-value-type :: <llvm-type> = make(<llvm-opaque-type>),
    init-keyword: type:;
  constant slot llvm-symbolic-value-name :: type-union(<string>, <integer>),
    required-init-keyword: name:;
end class;

define method value-forward
    (value :: <llvm-symbolic-value>)
 => (value :: <llvm-value>);
  if (slot-initialized?(value, llvm-placeholder-value-forward))
    value-forward(value.llvm-placeholder-value-forward)
  else
    error("value %s is not defined", value.llvm-symbolic-value-name);
  end if
end method;