diff options
author | Eric Kunze <eric.kunze@arm.com> | 2021-06-17 18:01:09 -0700 |
---|---|---|
committer | Eric Kunze <eric.kunze@arm.com> | 2021-06-24 12:18:14 -0700 |
commit | a9101530d8ea7a3cb470b722bc6cf8745ab283ac (patch) | |
tree | 2918f0c0e16515295ef6d112c279902fdddd44fb /chapters/control_flow.adoc | |
parent | f19e594f71e04c72ecf937419333b57dc7dcb873 (diff) | |
download | specification-a9101530d8ea7a3cb470b722bc6cf8745ab283ac.tar.gz |
Replace assert with REQUIRE()
REQUIRE is a direct replacement for the asserts, and uses
the unpredictable() function in pseudocode to describe the required
conditions for operators
Change-Id: I35dc81e083d8e41f16728d992bdb8b06b0271226
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
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 611d2e5..2759464 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++] ---- -assert(tensor_list_shape(input_list)==tosa_input_shape(then_graph)); -assert(tensor_list_shape(input_list)==tosa_input_shape(else_graph)); -assert(tensor_list_shape(output_list)==tosa_output_shape(then_graph)); -assert(tensor_list_shape(output_list)==tosa_output_shape(else_graph)); +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)); 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++] ---- -assert(tensor_list_shape(input_list)==tosa_list_shape(output_list)); -assert(tensor_list_shape(input_list)==tosa_input_shape(cond_graph)); -assert(tensor_list_shape(input_list)==tosa_input_shape(body_graph)); -assert(tensor_list_shape(input_list)==tosa_output_shape(body_graph)); -assert(tosa_output_shape(cond_graph)==tosa_list_shape([bool_t])); +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])); // The iteration number 'i' is included to give unique names to variables // in each iteration of the loop and is not required by implementations |