dialects: (csl) builtin math lib for DSDs

tests/dialects/test_csl.py

@@ -0,0 +1,43 @@
+import pytest
+
+from xdsl.dialects.builtin import Float32Type, IntegerType, Signedness, TensorType
+from xdsl.dialects.csl import Add16Op, DsdKind, DsdType, GetMemDsdOp
+from xdsl.utils.exceptions import VerifyException
+from xdsl.utils.test_value import TestSSAValue
+
+tensor = TestSSAValue(TensorType(Float32Type(), [4]))
+size_i32 = TestSSAValue(IntegerType(32, Signedness.SIGNED))
+dest_dsd = GetMemDsdOp(
+    operands=[tensor, size_i32], result_types=[DsdType(DsdKind.mem1d_dsd)]
+)
+src_dsd1 = GetMemDsdOp(
+    operands=[tensor, size_i32], result_types=[DsdType(DsdKind.mem1d_dsd)]
+)
+src_dsd2 = GetMemDsdOp(
+    operands=[tensor, size_i32], result_types=[DsdType(DsdKind.mem1d_dsd)]
+)
+i16_value = TestSSAValue(IntegerType(16, Signedness.SIGNED))
+u16_value = TestSSAValue(IntegerType(16, Signedness.UNSIGNED))
+
+
+def test_verify_valid_builtin_signature():
+    Add16Op(operands=[(dest_dsd, src_dsd1, src_dsd2)], result_types=[]).verify_()
+    Add16Op(operands=[(dest_dsd, i16_value, src_dsd1)], result_types=[]).verify_()
+    Add16Op(operands=[(dest_dsd, u16_value, src_dsd1)], result_types=[]).verify_()
+    Add16Op(operands=[(dest_dsd, src_dsd1, i16_value)], result_types=[]).verify_()
+    Add16Op(operands=[(dest_dsd, src_dsd1, u16_value)], result_types=[]).verify_()
+
+
+def test_verify_invalid_builtin_signature():
+    with pytest.raises(VerifyException):
+        Add16Op(
+            operands=[(dest_dsd, src_dsd1, src_dsd2, dest_dsd)], result_types=[]
+        ).verify_()
+    with pytest.raises(VerifyException):
+        Add16Op(operands=[(dest_dsd, src_dsd1)], result_types=[]).verify_()
+    with pytest.raises(VerifyException):
+        Add16Op(operands=[(dest_dsd, i16_value, u16_value)], result_types=[]).verify_()
+    with pytest.raises(VerifyException):
+        Add16Op(operands=[(i16_value, src_dsd1, u16_value)], result_types=[]).verify_()
+    with pytest.raises(VerifyException):
+        Add16Op(operands=[(dest_dsd, src_dsd1, size_i32)], result_types=[]).verify_()