aboutsummaryrefslogtreecommitdiff
path: root/src/check_builtin.cpp
diff options
context:
space:
mode:
authorgingerBill <bill@gingerbill.org>2021-05-31 20:38:10 +0100
committergingerBill <bill@gingerbill.org>2021-05-31 20:38:10 +0100
commitb8d6dd4eb78a2ca27907a3f09c33c6b85ef6c8a0 (patch)
tree0d86f8f1f7911ba4652d817327736645eef2d216 /src/check_builtin.cpp
parent4d80f8598db5541ae9466799feaaa909398d53b4 (diff)
Fix #1004
Diffstat (limited to 'src/check_builtin.cpp')
-rw-r--r--src/check_builtin.cpp2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/check_builtin.cpp b/src/check_builtin.cpp
index c67679f1c..b6dadb09a 100644
--- a/src/check_builtin.cpp
+++ b/src/check_builtin.cpp
@@ -1184,6 +1184,7 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32
{
Type *bt = base_type(operands[0].type);
+ if (are_types_identical(bt, t_f16)) add_package_dependency(c, "runtime", "min_f16");
if (are_types_identical(bt, t_f32)) add_package_dependency(c, "runtime", "min_f32");
if (are_types_identical(bt, t_f64)) add_package_dependency(c, "runtime", "min_f64");
@@ -1364,6 +1365,7 @@ bool check_builtin_procedure(CheckerContext *c, Operand *operand, Ast *call, i32
{
Type *bt = base_type(operands[0].type);
+ if (are_types_identical(bt, t_f16)) add_package_dependency(c, "runtime", "max_f16");
if (are_types_identical(bt, t_f32)) add_package_dependency(c, "runtime", "max_f32");
if (are_types_identical(bt, t_f64)) add_package_dependency(c, "runtime", "max_f64");