add exceptions
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 8 Apr 2018 12:25:41 +0000 (13:25 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 8 Apr 2018 12:25:41 +0000 (13:25 +0100)
simple_v_extension.mdwn

index 9111087d7668d9a9eaa073ef15f585d37db43a76..634d205e9b9a8c45a216383d3e0f4298f75a854e 100644 (file)
@@ -694,6 +694,13 @@ translates effectively to:
 | RSUB8 rt, ra, rb   | Signed Halving sub        | |
 | URSUB8 rt, ra, rb  | Unsigned Halving sub      | |
 
+# Exceptions
+
+> What does an ADD of two different-sized vectors do in simple-V?
+
+* if the two source operands are not the same, throw an exception.
+* if the destination operand is also a vector, and the source is longer
+  than the destination, throw an exception.
 
 # Impementing V on top of Simple-V