ed/Odin
1
0
Fork 0
mirror of https://github.com/Ed94/Odin.git synced 2026-07-31 03:40:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

compiler: improve target features support

Browse Source
This commit is contained in:
Laytan Laats
2024-05-02 00:59:52 +02:00
parent ff0973e0f5
commit 25f1d0906d
19 changed files with 1067 additions and 205 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/check_builtin.cpp
+44 -2
View File
@@ -1719,6 +1719,7 @@ gb_internal bool check_builtin_procedure(CheckerContext *c, Operand *operand, As
case BuiltinProc_objc_register_selector:
case BuiltinProc_objc_register_class:
case BuiltinProc_atomic_type_is_lock_free:
case BuiltinProc_has_target_feature:
// NOTE(bill): The first arg may be a Type, this will be checked case by case
break;
@@ -3663,6 +3664,41 @@ gb_internal bool check_builtin_procedure(CheckerContext *c, Operand *operand, As
break;
}
case BuiltinProc_has_target_feature: {
String features = str_lit("");
check_expr_or_type(c, operand, ce->args[0]);
if (is_type_string(operand->type) && operand->mode == Addressing_Constant) {
GB_ASSERT(operand->value.kind == ExactValue_String);
features = operand->value.value_string;
} else {
Type *pt = base_type(operand->type);
if (pt->kind == Type_Proc) {
if (pt->Proc.require_target_feature.len != 0) {
GB_ASSERT(pt->Proc.enable_target_feature.len == 0);
features = pt->Proc.require_target_feature;
} else if (pt->Proc.enable_target_feature.len != 0) {
features = pt->Proc.enable_target_feature;
} else {
error(ce->args[0], "Expected the procedure type given to '%.*s' to have @(require_target_feature=\"...\") or @(enable_target_feature=\"...\")", LIT(builtin_name));
}
} else {
error(ce->args[0], "Expected a constant string or procedure type for '%.*s'", LIT(builtin_name));
}
}
String invalid;
if (!check_target_feature_is_valid_globally(features, &invalid)) {
error(ce->args[0], "Target feature '%.*s' is not a valid target feature", LIT(invalid));
}
operand->value = exact_value_bool(check_target_feature_is_enabled(features, nullptr));
operand->mode = Addressing_Constant;
operand->type = t_untyped_bool;
break;
}
case BuiltinProc_soa_struct: {
Operand x = {};
Operand y = {};
@@ -6014,7 +6050,10 @@ gb_internal bool check_builtin_procedure(CheckerContext *c, Operand *operand, As
return false;
}
enable_target_feature({}, str_lit("atomics"));
if (!check_target_feature_is_enabled(str_lit("atomics"), nullptr)) {
error(call, "'%.*s' requires target feature 'atomics' to be enabled, enable it with -target-features:\"atomics\" or choose a different -microarch", LIT(builtin_name));
return false;
}
Operand ptr = {};
Operand expected = {};
@@ -6068,7 +6107,10 @@ gb_internal bool check_builtin_procedure(CheckerContext *c, Operand *operand, As
return false;
}
enable_target_feature({}, str_lit("atomics"));
if (!check_target_feature_is_enabled(str_lit("atomics"), nullptr)) {
error(call, "'%.*s' requires target feature 'atomics' to be enabled, enable it with -target-features:\"atomics\" or choose a different -microarch", LIT(builtin_name));
return false;
}
Operand ptr = {};
Operand waiters = {};