teascade/reid-llvm
1
1
Fork 0
Code Issues Pull Requests Packages Releases 5 Wiki Activity

Compare commits

base: teascade:f4bce142998083ca7d0eccf3950157e39e078bbf
Branches Tags
teascade:main
teascade:generics
teascade:lsp
teascade:macros
teascade:lexical-scopes
teascade:borrow-somewhat
teascade:old-main
teascade:1.0.0-beta.4
teascade:1.0.0-beta.3
teascade:1.0.0-beta.2
teascade:1.0.0-beta.1
teascade:1.0.0-alpha
..
compare: teascade:dcb4e76a406f033fbc464466f180524ce565abe4
Branches Tags
teascade:generics
teascade:main
teascade:lsp
teascade:macros
teascade:lexical-scopes
teascade:borrow-somewhat
teascade:old-main
teascade:1.0.0-beta.4
teascade:1.0.0-beta.3
teascade:1.0.0-beta.2
teascade:1.0.0-beta.1
teascade:1.0.0-alpha

No commits in common. "f4bce142998083ca7d0eccf3950157e39e078bbf" and "dcb4e76a406f033fbc464466f180524ce565abe4" have entirely different histories.
f4bce14299 ... dcb4e76a40

8 changed files with 150 additions and 275 deletions
Show Stats Expand all files Collapse all files

4
documentation/standard_library.md
View File

@ -64,6 +64,10 @@ _deprecated: Use `String::concat()`_
## General
#### `pub fn allocate(size: u64) -> *u8`
Unsafely allocates `size` bytes of memory from the stack, and returns a pointer to it, which must be manually freed.
## Maths
#### `pub fn clamp(min: f32, max: f32, value: f32) -> f32`

5
examples/associated_functions.reid
View File

@ -21,11 +21,6 @@ impl i32 {
}
}
/// Hello there!
fn test() {
}
fn main() -> u32 {
let otus = Otus { field: 17 };
print(from_str("otus: ") + Otus::test(&otus) as u64);

289
reid-lsp/src/analysis.rs
View File

@ -6,7 +6,7 @@ use reid::{
lexer::{FullToken, Token},
token_stream::TokenRange,
},
codegen::intrinsics::{self, get_intrinsic_assoc_functions},
codegen::intrinsics::get_intrinsic_assoc_functions,
compile_module,
error_raporting::{ErrorModules, ReidError},
mir::{
@ -85,7 +85,7 @@ impl StaticAnalysis {
#[derive(Debug, Clone)]
pub struct SemanticToken {
pub hover: Hover,
pub hover: Option<Hover>,
pub autocomplete: Vec<Autocomplete>,
pub symbol: Option<SymbolId>,
}
@ -162,19 +162,15 @@ impl AnalysisState {
}
impl AnalysisState {
pub fn set_hover_meta(&mut self, meta: &mir::Metadata, hover: Hover) {
pub fn init_hover(&mut self, meta: &mir::Metadata, kind: Option<HoverKind>, documentation: Option<String>) {
for token in meta.range.start..=meta.range.end {
self.set_hover(token, hover.clone());
}
}
pub fn set_hover(&mut self, token_idx: usize, hover: Hover) {
if let Some(token) = self.map.get_mut(&token_idx) {
token.hover = hover.clone();
} else {
self.map.insert(
token_idx,
token,
SemanticToken {
hover: hover.clone(),
hover: Some(Hover {
documentation: documentation.clone(),
kind: kind.clone(),
}),
autocomplete: Vec::new(),
symbol: Default::default(),
},
@ -189,10 +185,7 @@ impl AnalysisState {
self.map.insert(
token_idx,
SemanticToken {
hover: Hover {
documentation: None,
kind: None,
},
hover: None,
autocomplete: autocomplete.clone(),
symbol: Default::default(),
},
@ -203,15 +196,22 @@ impl AnalysisState {
pub fn set_documentation(&mut self, token_idx: usize, documentation: Option<String>) {
if let Some(documentation) = documentation {
if let Some(token) = self.map.get_mut(&token_idx) {
token.hover.documentation = Some(documentation);
if let Some(hover) = &mut token.hover {
hover.documentation = Some(documentation);
} else {
token.hover = Some(Hover {
documentation: Some(documentation),
kind: None,
});
}
} else {
self.map.insert(
token_idx,
SemanticToken {
hover: Hover {
hover: Some(Hover {
documentation: Some(documentation),
kind: None,
},
}),
autocomplete: Vec::new(),
symbol: Default::default(),
},
@ -228,10 +228,7 @@ impl AnalysisState {
self.map.insert(
idx,
SemanticToken {
hover: Hover {
documentation: None,
kind: None,
},
hover: None,
autocomplete: Vec::new(),
symbol: Some(symbol),
},
@ -276,10 +273,8 @@ pub struct AnalysisScope<'a> {
tokens: &'a Vec<FullToken>,
variables: HashMap<String, SymbolId>,
types: HashMap<TypeKind, (SourceModuleId, SymbolId)>,
functions: HashMap<String, (SourceModuleId, SymbolId)>,
associated_functions: HashMap<(TypeKind, String), (SourceModuleId, SymbolId)>,
function_hovers: HashMap<String, Hover>,
assoc_function_hovers: HashMap<(TypeKind, String), Hover>,
functions: HashMap<String, (SourceModuleId, SymbolId, Option<String>)>,
associated_functions: HashMap<(TypeKind, String), (SourceModuleId, SymbolId, Option<String>)>,
map: &'a StateMap,
}
@ -292,9 +287,7 @@ impl<'a> AnalysisScope<'a> {
variables: self.variables.clone(),
types: self.types.clone(),
functions: self.functions.clone(),
function_hovers: self.function_hovers.clone(),
associated_functions: self.associated_functions.clone(),
assoc_function_hovers: self.assoc_function_hovers.clone(),
}
}
@ -452,6 +445,33 @@ pub fn analyze(
return Ok(None);
}
// pub fn find_documentation(meta: &Metadata, tokens: &Vec<FullToken>) -> Option<String> {
// let mut documentation = None;
// for idx in meta.range.start..=meta.range.end {
// if let Some(token) = tokens.get(idx) {
// dbg!(&token);
// if matches!(token.token, Token::Whitespace(_) | Token::Doc(_) | Token::Comment(_)) {
// if let Token::Doc(doctext) = &token.token {
// documentation = Some(
// match documentation {
// Some(t) => t + " ",
// None => String::new(),
// } + doctext.trim(),
// );
// }
// } else {
// dbg!(&token);
// break;
// }
// } else {
// dbg!(&idx);
// break;
// }
// }
// dbg!(&documentation);
// documentation
// }
pub fn analyze_context(
context: &mir::Context,
module: &mir::Module,
@ -477,9 +497,7 @@ pub fn analyze_context(
map,
types: HashMap::new(),
functions: HashMap::new(),
function_hovers: HashMap::new(),
associated_functions: HashMap::new(),
assoc_function_hovers: HashMap::new(),
};
for (i, token) in module.tokens.iter().enumerate() {
@ -558,7 +576,7 @@ pub fn analyze_context(
.token_idx(&field.2, |t| matches!(t, Token::Identifier(_)))
.unwrap_or(field.2.range.end);
scope.state.set_hover_meta(
scope.state.init_hover(
&Metadata {
source_module_id: field.2.source_module_id,
range: TokenRange {
@ -567,10 +585,8 @@ pub fn analyze_context(
},
position: None,
},
Hover {
kind: Some(HoverKind::Type(field.1.clone())),
documentation: None,
},
Some(HoverKind::Type(field.1.clone())),
None,
);
let field_symbol = scope.state.new_symbol(field_idx, SemanticKind::Property);
@ -612,7 +628,7 @@ pub fn analyze_context(
scope.state.new_symbol(field_ty_idx, SemanticKind::Type)
};
scope.state.set_hover_meta(
scope.state.init_hover(
&Metadata {
source_module_id: field.2.source_module_id,
range: TokenRange {
@ -621,10 +637,8 @@ pub fn analyze_context(
},
position: None,
},
Hover {
kind: Some(HoverKind::Type(field.1.clone())),
documentation: None,
},
Some(HoverKind::Type(field.1.clone())),
None,
);
scope.state.set_symbol(field_ty_idx, field_ty_symbol);
}
@ -635,13 +649,9 @@ pub fn analyze_context(
for binop in &module.binop_defs {
if binop.meta.source_module_id == module.module_id {
for param in [&binop.lhs, &binop.rhs] {
scope.state.set_hover_meta(
&param.meta,
Hover {
kind: Some(HoverKind::Type(param.ty.clone())),
documentation: None,
},
);
scope
.state
.init_hover(&param.meta, Some(HoverKind::Type(param.ty.clone())), None);
let idx = scope
.token_idx(&param.meta, |t| matches!(t, Token::Identifier(_)))
.unwrap_or(param.meta.range.end);
@ -663,19 +673,9 @@ pub fn analyze_context(
if source_id != module.module_id {
if let Some(state) = map.get(&source_id) {
if let Some(symbol) = state.associated_functions.get(&(ty.clone(), function.name.clone())) {
scope
.associated_functions
.insert((ty.clone(), function.name.clone()), (source_id, *symbol));
scope.assoc_function_hovers.insert(
scope.associated_functions.insert(
(ty.clone(), function.name.clone()),
Hover {
documentation: function.documentation.clone(),
kind: Some(HoverKind::Function(
function.name.clone(),
function.parameters.clone(),
function.return_type.clone(),
)),
},
(source_id, *symbol, function.documentation.clone()),
);
}
}
@ -692,19 +692,9 @@ pub fn analyze_context(
.state
.associated_functions
.insert((ty.clone(), function.name.clone()), symbol);
scope
.associated_functions
.insert((ty.clone(), function.name.clone()), (module.module_id, symbol));
scope.assoc_function_hovers.insert(
scope.associated_functions.insert(
(ty.clone(), function.name.clone()),
Hover {
documentation: function.documentation.clone(),
kind: Some(HoverKind::Function(
function.name.clone(),
function.parameters.clone(),
function.return_type.clone(),
)),
},
(module.module_id, symbol, function.documentation.clone()),
);
}
@ -727,36 +717,24 @@ pub fn analyze_context(
}
for function in &module.functions {
dbg!(&function.name);
scope.function_hovers.insert(
function.name.clone(),
Hover {
documentation: function.documentation.clone(),
kind: Some(HoverKind::Function(
function.name.clone(),
function.parameters.clone(),
function.return_type.clone(),
)),
},
);
if let Some(source_id) = function.source {
if let Some(state) = map.get(&source_id) {
if let Some(symbol) = state.functions.get(&function.name) {
scope.functions.insert(function.name.clone(), (source_id, *symbol));
}
}
if source_id != module.module_id {
if let Some(state) = map.get(&source_id) {
if let Some(symbol) = state.functions.get(&function.name) {
scope.functions.insert(
function.name.clone(),
(source_id, *symbol, function.documentation.clone()),
);
}
}
continue;
}
}
scope.state.set_hover_meta(
scope.state.init_hover(
&function.signature(),
Hover {
kind: Some(HoverKind::Type(function.return_type.clone())),
documentation: None,
},
Some(HoverKind::Type(function.return_type.clone())),
function.documentation.clone(),
);
let idx = scope
@ -765,9 +743,10 @@ pub fn analyze_context(
let function_symbol = scope.state.new_symbol(idx, SemanticKind::Function);
scope.state.set_symbol(idx, function_symbol);
scope.state.functions.insert(function.name.clone(), function_symbol);
scope
.functions
.insert(function.name.clone(), (module.module_id, function_symbol));
scope.functions.insert(
function.name.clone(),
(module.module_id, function_symbol, function.documentation.clone()),
);
}
for function in &module.functions {
@ -789,13 +768,7 @@ pub fn analyze_context(
}
for import in &module.imports {
scope.state.set_hover_meta(
&import.1,
Hover {
kind: None,
documentation: None,
},
);
scope.state.init_hover(&import.1, None, None);
if let Some((module_name, _)) = import.0.get(0) {
let module_idx = scope
.token_idx(&import.1, |t| matches!(t, Token::Identifier(_)))
@ -837,10 +810,12 @@ pub fn analyze_context(
}
}
let symbol = if let Some((source_id, symbol_id)) = scope.functions.get(&import_name) {
scope
let symbol = if let Some((source_id, symbol_id, doc)) = scope.functions.get(&import_name) {
let symbol_id = scope
.state
.new_symbol(import_idx, SemanticKind::Reference(*source_id, *symbol_id))
.new_symbol(import_idx, SemanticKind::Reference(*source_id, *symbol_id));
scope.state.set_documentation(import_idx, doc.clone());
symbol_id
} else if let Some(module_source) = scope.map.values().find(|s| s.module_name == *module_name) {
if let Some((source_id, symbol_id)) = scope.types.get(&TypeKind::CustomType(CustomTypeKey(
import_name.clone(),
@ -856,9 +831,6 @@ pub fn analyze_context(
scope.state.new_symbol(import_idx, SemanticKind::Default)
};
scope.state.set_symbol(import_idx, symbol);
if let Some(hover) = scope.function_hovers.get(&import_name) {
scope.state.set_hover(import_idx, hover.clone());
}
scope.state.set_autocomplete(import_meta.range.end, autocompletes);
}
@ -878,13 +850,9 @@ pub fn analyze_function_parameters(
scope: &mut AnalysisScope,
) {
for param in &function.parameters {
scope.state.set_hover_meta(
&param.meta,
Hover {
kind: Some(HoverKind::Type(param.ty.clone())),
documentation: None,
},
);
scope
.state
.init_hover(&param.meta, Some(HoverKind::Type(param.ty.clone())), None);
if param.meta.source_module_id == module.module_id {
let param_var_idx = scope
@ -923,16 +891,14 @@ pub fn analyze_block(
for statement in &block.statements {
match &statement.0 {
mir::StmtKind::Let(named_variable_ref, _, expression) => {
scope.state.set_hover_meta(
scope.state.init_hover(
&named_variable_ref.2,
Hover {
documentation: None,
kind: expression
.return_type(&TypeRefs::unknown(), source_module.module_id)
.ok()
.map(|(_, ty)| ty)
.map(|t| HoverKind::Type(t)),
},
expression
.return_type(&TypeRefs::unknown(), source_module.module_id)
.ok()
.map(|(_, ty)| ty)
.map(|t| HoverKind::Type(t)),
None,
);
let idx = scope
.token_idx(&named_variable_ref.2, |t| matches!(t, Token::Identifier(_)))
@ -983,26 +949,19 @@ pub fn analyze_expr(
expr: &mir::Expression,
scope: &mut AnalysisScope,
) {
scope.state.set_hover_meta(
scope.state.init_hover(
&expr.1,
Hover {
documentation: None,
kind: expr
.return_type(&TypeRefs::unknown(), source_module.module_id)
.ok()
.map(|(_, t)| HoverKind::Type(t)),
},
expr.return_type(&TypeRefs::unknown(), source_module.module_id)
.ok()
.map(|(_, t)| HoverKind::Type(t)),
None,
);
match &expr.0 {
mir::ExprKind::Variable(var_ref) => {
scope.state.set_hover_meta(
&var_ref.2,
Hover {
documentation: None,
kind: Some(HoverKind::Type(var_ref.0.clone())),
},
);
scope
.state
.init_hover(&var_ref.2, Some(HoverKind::Type(var_ref.0.clone())), None);
let idx = scope
.token_idx(&var_ref.2, |t| matches!(t, Token::Identifier(_)))
@ -1146,18 +1105,16 @@ pub fn analyze_expr(
let idx = scope
.token_idx(&meta, |t| matches!(t, Token::Identifier(_)))
.unwrap_or(meta.range.end);
let symbol = if let Some((module_id, symbol_id)) = scope.functions.get(name) {
scope
let symbol = if let Some((module_id, symbol_id, doc)) = scope.functions.get(name) {
let symbol = scope
.state
.new_symbol(idx, SemanticKind::Reference(*module_id, *symbol_id))
.new_symbol(idx, SemanticKind::Reference(*module_id, *symbol_id));
scope.state.set_documentation(idx, doc.clone());
symbol
} else {
scope.state.new_symbol(idx, SemanticKind::Function)
};
scope.state.set_symbol(idx, symbol);
if let Some(hover) = scope.function_hovers.get(name) {
scope.state.set_hover(idx, hover.clone());
}
}
mir::ExprKind::AssociatedFunctionCall(
ty,
@ -1182,48 +1139,22 @@ pub fn analyze_expr(
scope.state.new_symbol(type_idx, SemanticKind::Type)
};
scope.state.set_symbol(type_idx, type_symbol);
scope.state.set_hover(
type_idx,
Hover {
documentation: None,
kind: Some(HoverKind::Type(invoked_ty.clone())),
},
);
let fn_idx = scope
.token_idx(&meta, |t| matches!(t, Token::Identifier(_)))
.unwrap_or(meta.range.end);
let intrinsics = get_intrinsic_assoc_functions(&invoked_ty);
let intrinsic_fn = intrinsics.iter().find(|i| i.name == *name);
let fn_symbol = if let Some((module_id, symbol_id)) =
let fn_symbol = if let Some((module_id, symbol_id, doc)) =
scope.associated_functions.get(&(invoked_ty.clone(), name.clone()))
{
scope
let symbol = scope
.state
.new_symbol(fn_idx, SemanticKind::Reference(*module_id, *symbol_id))
} else if let Some(intrinsic) = intrinsic_fn {
let symbol = scope.state.new_symbol(fn_idx, SemanticKind::Function);
scope.state.set_hover(
fn_idx,
Hover {
documentation: intrinsic.documentation.clone(),
kind: Some(HoverKind::Function(
intrinsic.name.clone(),
intrinsic.parameters.clone(),
intrinsic.return_type.clone(),
)),
},
);
.new_symbol(fn_idx, SemanticKind::Reference(*module_id, *symbol_id));
scope.state.set_documentation(fn_idx, doc.clone());
symbol
} else {
scope.state.new_symbol(fn_idx, SemanticKind::Function)
};
scope.state.set_symbol(fn_idx, fn_symbol);
if let Some(hover) = scope.function_hovers.get(name) {
scope.state.set_hover(fn_idx, hover.clone());
}
for expr in parameters {
analyze_expr(context, source_module, expr, scope);

48
reid-lsp/src/main.rs
View File

@ -213,34 +213,32 @@ impl LanguageServer for Backend {
character: (end.0 as i32 - 1).max(0) as u32,
},
};
if let Some(kind) = &analysis.hover.kind {
match kind {
analysis::HoverKind::Type(type_kind) => (
Some(range),
format!("{}", type_kind),
analysis.hover.documentation.clone(),
),
analysis::HoverKind::Function(name, function_params, return_type) => (
Some(range),
format!(
"{}({}) -> {}",
name,
function_params
.iter()
.map(|p| format!("{}: {}", p.name, p.ty))
.collect::<Vec<_>>()
.join(", "),
return_type
if let Some(hover) = analysis.hover.clone() {
if let Some(kind) = hover.kind {
match kind {
analysis::HoverKind::Type(type_kind) => {
(Some(range), format!("{}", type_kind), hover.documentation)
}
analysis::HoverKind::Function(name, function_params, return_type) => (
Some(range),
format!(
"{}({}) -> {}",
name,
function_params
.iter()
.map(|p| format!("{}: {}", p.name, p.ty))
.collect::<Vec<_>>()
.join(", "),
return_type
),
hover.documentation,
),
analysis.hover.documentation.clone(),
),
}
} else {
(Some(range), String::from("No type"), hover.documentation)
}
} else {
(
Some(range),
String::from("No type"),
analysis.hover.documentation.clone(),
)
(Some(range), String::from("No hover"), None)
}
} else {
(None, String::from("no type"), None)

24
reid/lib/std.reid
View File

@ -3,7 +3,6 @@ extern fn puts(message: *char) -> i32;
extern fn free(ptr: *u8);
extern fn div(numerator: i32, denominator: i32) -> div_t;
/// Editable string value that can be printed and extended
struct String {
inner: *char,
length: u64,
@ -12,7 +11,6 @@ struct String {
}
impl String {
/// Returns a new empty `String`-object, which must later be manually freed.
pub fn new() -> String {
String {
inner: char::malloc(0),
@ -22,8 +20,6 @@ impl String {
}
}
/// Creates a new `String`-object containing initially data from the given
/// string-literal which must be later freed.
pub fn from(str: *char) -> String {
let length = str_length(str) as u64;
let mut new = String::new();
@ -37,14 +33,12 @@ impl String {
return new;
}
/// Same as `concat`
pub fn push(&mut self, other: String) {
for i in 0 .. (str_length(other.inner) - 1) {
add_char(self, other.inner[i]);
}
}
/// Adds a character to the end of this string
pub fn add_char(&mut self, c: char) {
if ((*self).length + 1) >= (*self).max_length {
let new = char::malloc((*self).max_length + 4);
@ -63,7 +57,6 @@ impl String {
(*self).length = (*self).length + 1;
}
/// Formats the given number into the end of the string.
pub fn push_num(&mut self, num: u64) {
if num >= 10 {
self.push_num(num / 10)
@ -82,22 +75,18 @@ impl String {
else if rem == 9 { self.add_char('9'); }
}
/// Concatenates `source` to the end of `destination`.
pub fn concat(&mut self, other: &String) {
for i in 0 .. *other.length {
self.add_char(*other.inner[i]);
}
}
/// Edits given `string` by setting the character at index `position` to be
/// `c`.
pub fn set(&mut self, c: char, position: u64) {
if position <= (*self).length {
(*self).inner[position] = c;
}
}
/// Frees this given string
pub fn free(&self) {
free((*self).inner as *u8);
}
@ -122,17 +111,14 @@ struct div_t {
remainder: i32,
}
/// Print given string to stdout
pub fn print(message: String) {
puts(message.inner);
}
/// Divide an integer, returning the quotient and remainder.
pub fn int_div(numerator: i32, denominator: i32) -> div_t {
return div(numerator, denominator);
}
/// (deprecated) creates a new editable string
pub fn new_string() -> String {
String {
inner: char::malloc(0),
@ -142,8 +128,6 @@ pub fn new_string() -> String {
}
}
/// Creates a new `String`-object containing initially data from the given
/// string-literal which must be later freed.
pub fn from_str(str: *char) -> String {
let length = str_length(str) as u64;
let mut new = new_string();
@ -157,7 +141,6 @@ pub fn from_str(str: *char) -> String {
return new;
}
/// (deprecated) Adds a character to the end of a given string
pub fn add_char(string: &mut String, c: char) {
if ((*string).length + 1) >= (*string).max_length {
let new = char::malloc((*string).max_length + 4);
@ -176,14 +159,12 @@ pub fn add_char(string: &mut String, c: char) {
(*string).length = (*string).length + 1;
}
/// (deprecated) sets a character in a string
pub fn set_char(string: &mut String, c: char, position: u64) {
if position <= (*string).length {
(*string).inner[position] = c;
}
}
/// (deprecated) frees given string
pub fn free_string(string: &String) {
free((*string).inner as *u8);
}
@ -202,7 +183,6 @@ fn str_length(string: *char) -> u32 {
return pos + 1;
}
/// (deprecated) concatenates number to the end of this string.
pub fn add_num_to_str(string: &mut String, num: u64) {
if num >= 10 {
add_num_to_str(string, num / 10)
@ -221,15 +201,12 @@ pub fn add_num_to_str(string: &mut String, num: u64) {
else if rem == 9 { add_char(string, '9'); }
}
/// (deprecated) concatenates two strings to the destination
pub fn concat_strings(destination: &mut String, source: String) {
for i in 0 .. (str_length(source.inner) - 1) {
add_char(destination, source.inner[i]);
}
}
/// Returns `value` as clamped between `min` and `max`. Equivalent to
/// `max(min(value, max), min)`
pub fn clamp(min: f32, max: f32, value: f32) -> f32 {
if value > max {
return max;
@ -240,7 +217,6 @@ pub fn clamp(min: f32, max: f32, value: f32) -> f32 {
return value;
}
/// Returns the absolute value of `value`.
pub fn abs(f: f32) -> f32 {
if f < 0.0 {
return f * (0.0 - 1.0);

2
reid/src/ast/parse.rs
View File

@ -697,6 +697,8 @@ impl Parse for ImportStatement {
impl Parse for FunctionDefinition {
fn parse(mut stream: TokenStream) -> Result<Self, Error> {
let documentation = stream.find_documentation();
dbg!(&stream.get_range());
dbg!(&documentation);
let is_pub = if let Some(Token::PubKeyword) = stream.peek() {
stream.next(); // Consume pub

1
reid/src/ast/token_stream.rs
View File

@ -105,6 +105,7 @@ impl<'a, 'b> TokenStream<'a, 'b> {
break;
}
}
dbg!(self.position, from, &documentation);
documentation
}

52
reid/src/codegen/intrinsics.rs
View File

@ -66,18 +66,12 @@ pub enum LLVMIntrinsicKind {
const INTRINSIC_IDENT: &str = "reid.intrinsic";
const MALLOC_IDENT: &str = "malloc";
macro_rules! doc {
($str:expr) => {
Some($str.to_string())
};
}
pub fn form_intrinsics() -> Vec<FunctionDefinition> {
let mut intrinsics = Vec::new();
intrinsics.push(FunctionDefinition {
name: MALLOC_IDENT.to_owned(),
documentation: doc!("Allocates `size` bytes and returns a `u8`-pointer."),
documentation: Some("temp".to_string()),
linkage_name: Some("malloc".to_owned()),
is_pub: false,
is_imported: true,
@ -97,14 +91,13 @@ pub fn form_intrinsics() -> Vec<FunctionDefinition> {
pub fn simple_intrinsic<T: Into<String> + Clone>(
name: T,
doc: T,
params: Vec<T>,
ret: TypeKind,
intrisic: LLVMIntrinsicKind,
) -> FunctionDefinition {
FunctionDefinition {
name: name.into(),
documentation: Some(doc.into()),
documentation: Some("temp".to_string()),
linkage_name: None,
is_pub: true,
is_imported: false,
@ -124,7 +117,7 @@ pub fn get_intrinsic_assoc_functions(ty: &TypeKind) -> Vec<FunctionDefinition> {
if let TypeKind::Array(_, len) = ty {
intrinsics.push(FunctionDefinition {
name: "length".to_owned(),
documentation: doc!("Returns the length of this given array"),
documentation: Some("temp".to_string()),
linkage_name: None,
is_pub: true,
is_imported: false,
@ -142,147 +135,127 @@ pub fn get_intrinsic_assoc_functions(ty: &TypeKind) -> Vec<FunctionDefinition> {
if ty.category() == TypeCategory::Real {
intrinsics.push(simple_intrinsic(
"sqrt",
"Calculates the square-root of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Sqrt(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"sin",
"Calculates sine of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Sin(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"cos",
"Calculates cosine of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Cos(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"tan",
"Calculates tangent of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Tan(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"sinh",
"Calculates hyperbolic sine of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::SinH(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"cosh",
"Calculates hyperbolic cosine of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::CosH(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"tanh",
"Calculates hyperbolic tangent of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::TanH(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"asin",
"Calculates arcsine of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::ASin(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"acos",
"Calculates arccosine of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::ACos(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"atan",
"Calculates arctangent of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::ATan(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"atan2",
"Calculates 2-argument arctangent of `value`",
vec!["self", "other"],
ty.clone(),
LLVMIntrinsicKind::ATan2(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"log",
"Returns logₑ of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Log(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"log2",
"Returns log₂ of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Log2(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"log10",
"Returns log₁₀ of `value`",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Log10(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"floor",
"Rounds `value` towards negative infinity.",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Floor(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"ceil",
"Rounds `value` towards positive infinity.",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Ceil(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"trunc",
"Truncates `value` to the integer nearest to `0`.",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Trunc(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"round",
"Rounds `value` to the closest even integer.",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::Round(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"even",
"Rounds `value` to the closest even integer.",
vec!["self"],
ty.clone(),
LLVMIntrinsicKind::RoundEven(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"pow",
"Returns `value` raised to the exponent of `exponent`.",
vec!["self", "exponent"],
ty.clone(),
LLVMIntrinsicKind::Pow(ty.clone()),
));
intrinsics.push(FunctionDefinition {
name: "powi".to_owned(),
documentation: doc!("Returns `value` raised to the exponent of `exponent`."),
documentation: Some("temp".to_string()),
linkage_name: None,
is_pub: true,
is_imported: false,
@ -311,14 +284,12 @@ pub fn get_intrinsic_assoc_functions(ty: &TypeKind) -> Vec<FunctionDefinition> {
TypeCategory::Integer | TypeCategory::Real | TypeCategory::Bool => {
intrinsics.push(simple_intrinsic(
"max",
"Returns the larger of `a` and `b`.",
vec!["self", "other"],
ty.clone(),
LLVMIntrinsicKind::Max(ty.clone()),
));
intrinsics.push(simple_intrinsic(
"min",
"Returns the smaller of `a` and `b`.",
vec!["self", "other"],
ty.clone(),
LLVMIntrinsicKind::Min(ty.clone()),
@ -326,7 +297,7 @@ pub fn get_intrinsic_assoc_functions(ty: &TypeKind) -> Vec<FunctionDefinition> {
if ty.signed() {
intrinsics.push(FunctionDefinition {
name: "abs".to_owned(),
documentation: doc!("Returns the absolute value of `value`."),
documentation: Some("temp".to_string()),
linkage_name: None,
is_pub: true,
is_imported: false,
@ -357,7 +328,7 @@ pub fn get_intrinsic_assoc_functions(ty: &TypeKind) -> Vec<FunctionDefinition> {
}
intrinsics.push(FunctionDefinition {
name: "sizeof".to_owned(),
documentation: doc!("Simply returns the size of type `T` in bytes."),
documentation: Some("temp".to_string()),
linkage_name: None,
is_pub: true,
is_imported: false,
@ -369,7 +340,7 @@ pub fn get_intrinsic_assoc_functions(ty: &TypeKind) -> Vec<FunctionDefinition> {
});
intrinsics.push(FunctionDefinition {
name: "malloc".to_owned(),
documentation: doc!("Allocates `T::sizeof() * size` bytes and returns a pointer to `T`."),
documentation: Some("temp".to_string()),
linkage_name: None,
is_pub: true,
is_imported: false,
@ -386,10 +357,7 @@ pub fn get_intrinsic_assoc_functions(ty: &TypeKind) -> Vec<FunctionDefinition> {
intrinsics.push(FunctionDefinition {
name: "memcpy".to_owned(),
documentation: doc!(
"Copies `T::sizeof() * size` bytes from pointer `source` to pointer
`destination`."
),
documentation: Some("temp".to_string()),
linkage_name: None,
is_pub: true,
is_imported: false,
@ -418,7 +386,7 @@ pub fn get_intrinsic_assoc_functions(ty: &TypeKind) -> Vec<FunctionDefinition> {
intrinsics.push(FunctionDefinition {
name: "null".to_owned(),
documentation: doc!("Returns a null-pointer of type `T`."),
documentation: Some("temp".to_string()),
linkage_name: None,
is_pub: true,
is_imported: false,
@ -431,7 +399,7 @@ pub fn get_intrinsic_assoc_functions(ty: &TypeKind) -> Vec<FunctionDefinition> {
intrinsics.push(FunctionDefinition {
name: "is_null".to_owned(),
documentation: doc!("Returns a boolean representing if `val` is a nullptr or not."),
documentation: Some("temp".to_string()),
linkage_name: None,
is_pub: true,
is_imported: false,