pseudocode: use function declaration syntax for library functions that are not defined

Also:
- Add missing semicolon
- Fix prototype for is_floating_point to use template syntax

Change-Id: I9ec1c687a3854b73ddac78f4db0db8e10f4e10e6
Signed-off-by: Kevin Petit <kevin.petit@arm.com>

1 files changed, 20 insertions, 20 deletions

diff --git a/pseudocode/library/numeric_conversion_helpers.tosac b/pseudocode/library/numeric_conversion_helpers.tosac
index 576351f..0073a66 100644
--- a/pseudocode/library/numeric_conversion_helpers.tosac
+++ b/pseudocode/library/numeric_conversion_helpers.tosac
@@ -7,28 +7,28 @@
 // copies and copies may only be made to the extent permitted
 // by a licensing agreement from ARM Limited.
 
-int round_to_nearest_int(float_t f)
-  Converts the floating-point value to f, with rounding to the nearest integer value.
-  For the required precision see the section: Main inference precision requirements.
+// Converts the floating-point value to f, with rounding to the nearest integer value.
+// For the required precision see the section: Main inference precision requirements.
+int round_to_nearest_int(float_t f);
 
-float_t round_to_nearest_float_nonsaturating(in_t f)
-  Converts the input value into floating-point, rounding to the nearest representable value.
-  Values that are not NaN outside of the representable range of the destination type must be set to infinity of the correct sign.
-  For the required precision see the section: Main inference precision requirements.
+// Converts the input value into floating-point, rounding to the nearest representable value.
+// Values that are not NaN outside of the representable range of the destination type must be set to infinity of the correct sign.
+// For the required precision see the section: Main inference precision requirements.
+float_t round_to_nearest_float_nonsaturating(in_t f);
 
-float_t round_to_nearest_float_saturating(in_t f)
-  Converts the input value into floating-point, rounding to the nearest representable normal value.
-  Values that are not NaN outside of the representable range must return the maximum representable normal value of the correct sign.
-  For the required precision see the section: Main inference precision requirements.
+// Converts the input value into floating-point, rounding to the nearest representable normal value.
+// Values that are not NaN outside of the representable range must return the maximum representable normal value of the correct sign.
+// For the required precision see the section: Main inference precision requirements.
+float_t round_to_nearest_float_saturating(in_t f);
 
-out_t sign_extend<out_t>(in_t input)
-  Floating point values are unchanged.
-  For two's complement integer values where out_t has more bits than in_t, replicate the top bit of input for all bits between the top bit of input and the top bit of output.
+// Floating point values are unchanged.
+// For two's complement integer values where out_t has more bits than in_t, replicate the top bit of input for all bits between the top bit of input and the top bit of output.
+out_t sign_extend<out_t>(in_t input);
 
-out_t zero_extend<out_t>(in_t input)
-  Floating point values are unchanged.
-  For two's complement integer values where out_t has more bits than in_t, insert zero values for all bits between the top bit of input and the top bit of output.
+// Floating point values are unchanged.
+// For two's complement integer values where out_t has more bits than in_t, insert zero values for all bits between the top bit of input and the top bit of output.
+out_t zero_extend<out_t>(in_t input);
 
-out_t truncate(in_t input)
-  output is the sizeof(out_t) least significant bits in input.
-  Nop for floating-point types
+// output is the sizeof(out_t) least significant bits in input.
+// Nop for floating-point types
+out_t truncate(in_t input);