diff options
author | Dominic Symes <dominic.symes@arm.com> | 2021-03-19 13:56:27 +0000 |
---|---|---|
committer | Dominic Symes <dominic.symes@arm.com> | 2021-07-13 09:51:07 +0100 |
commit | ca2a854e3d46f91ecaa446d4b2311112cc2326fd (patch) | |
tree | 23fc1bb30c333a28d4a743a4a05059b79cf7b826 /chapters/control_flow.adoc | |
parent | a9101530d8ea7a3cb470b722bc6cf8745ab283ac (diff) | |
download | specification-ca2a854e3d46f91ecaa446d4b2311112cc2326fd.tar.gz |
Add definition of TOSA compliance
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I2e25d0467843adb078d5ab9fd681af40b2ffa52e
Diffstat (limited to 'chapters/control_flow.adoc')
-rw-r--r-- | chapters/control_flow.adoc | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/chapters/control_flow.adoc b/chapters/control_flow.adoc index 2759464..c9d4e15 100644 --- a/chapters/control_flow.adoc +++ b/chapters/control_flow.adoc @@ -31,10 +31,10 @@ Evaluates a Boolean condition and then takes one of two distinct execution paths [source,c++] ---- -REQUIRE(tensor_list_shape(input_list) == tosa_input_shape(then_graph)); -REQUIRE(tensor_list_shape(input_list) == tosa_input_shape(else_graph)); -REQUIRE(tensor_list_shape(output_list) == tosa_output_shape(then_graph)); -REQUIRE(tensor_list_shape(output_list) == tosa_output_shape(else_graph)); +ERROR_IF(tensor_list_shape(input_list) != tosa_input_shape(then_graph)); +ERROR_IF(tensor_list_shape(input_list) != tosa_input_shape(else_graph)); +ERROR_IF(tensor_list_shape(output_list) != tosa_output_shape(then_graph)); +ERROR_IF(tensor_list_shape(output_list) != tosa_output_shape(else_graph)); if (condition) { tosa_execute_graph(then_graph, input_list, output_list); @@ -62,11 +62,11 @@ Generates and evaluates a Bool condition and either executes a loop body or exit [source,c++] ---- -REQUIRE(tensor_list_shape(input_list) == tosa_list_shape(output_list)); -REQUIRE(tensor_list_shape(input_list) == tosa_input_shape(cond_graph)); -REQUIRE(tensor_list_shape(input_list) == tosa_input_shape(body_graph)); -REQUIRE(tensor_list_shape(input_list) == tosa_output_shape(body_graph)); -REQUIRE(tosa_output_shape(cond_graph) == tosa_list_shape([bool_t])); +ERROR_IF(tensor_list_shape(input_list) != tosa_list_shape(output_list)); +ERROR_IF(tensor_list_shape(input_list) != tosa_input_shape(cond_graph)); +ERROR_IF(tensor_list_shape(input_list) != tosa_input_shape(body_graph)); +ERROR_IF(tensor_list_shape(input_list) != tosa_output_shape(body_graph)); +ERROR_IF(tosa_output_shape(cond_graph) != tosa_list_shape([bool_t])); // The iteration number 'i' is included to give unique names to variables // in each iteration of the loop and is not required by implementations |