From b8d6dd4eb78a2ca27907a3f09c33c6b85ef6c8a0 Mon Sep 17 00:00:00 2001 From: gingerBill Date: Mon, 31 May 2021 20:38:10 +0100 Subject: Fix #1004 --- src/check_builtin.cpp | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/check_builtin.cpp') 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"); -- cgit v1.2.3