From a0ae12ca91a45f81897e774019cde9bd081f03a0 Mon Sep 17 00:00:00 2001 From: Connor Abbott Date: Thu, 29 Nov 2018 17:46:59 +0100 Subject: [PATCH] nir/algebraic: Add unit tests for bitsize validation The non-failure path can be tested by just compiling mesa and then testing it, but the failure paths won't be hit unless you make a mistake, so it's best to test them with some unit tests. Reviewed-by: Jason Ekstrand Reviewed-by: Dylan Baker --- src/compiler/Makefile.nir.am | 4 +- src/compiler/nir/meson.build | 7 ++ .../nir/tests/algebraic_parser_test.py | 116 ++++++++++++++++++ .../nir/tests/algebraic_parser_test.sh | 3 + 4 files changed, 129 insertions(+), 1 deletion(-) create mode 100644 src/compiler/nir/tests/algebraic_parser_test.py create mode 100644 src/compiler/nir/tests/algebraic_parser_test.sh diff --git a/src/compiler/Makefile.nir.am b/src/compiler/Makefile.nir.am index c646c6bdc1e..aa0a92856f1 100644 --- a/src/compiler/Makefile.nir.am +++ b/src/compiler/Makefile.nir.am @@ -87,10 +87,12 @@ nir_tests_vars_tests_SOURCES = nir/tests/vars_tests.cpp nir_tests_vars_tests_CFLAGS = $(NIR_TESTS_CFLAGS) nir_tests_vars_tests_LDADD = $(NIR_TESTS_LDADD) +check_SCRIPTS = nir/tests/algebraic_parser_test.sh TESTS += \ nir/tests/control_flow_tests \ - nir/tests/vars_tests + nir/tests/vars_tests \ + nir/tests/algebraic_parser_test.sh BUILT_SOURCES += \ diff --git a/src/compiler/nir/meson.build b/src/compiler/nir/meson.build index 61f61f0a34b..e86c97b8864 100644 --- a/src/compiler/nir/meson.build +++ b/src/compiler/nir/meson.build @@ -262,4 +262,11 @@ if with_tests ), suite : ['compiler', 'nir'], ) + test( + 'nir_algebraic_parser', + prog_python, + args : [ + join_paths(meson.current_source_dir(), 'tests/algebraic_parser_test.py') + ], + ) endif diff --git a/src/compiler/nir/tests/algebraic_parser_test.py b/src/compiler/nir/tests/algebraic_parser_test.py new file mode 100644 index 00000000000..492a09ec7db --- /dev/null +++ b/src/compiler/nir/tests/algebraic_parser_test.py @@ -0,0 +1,116 @@ +# +# Copyright (C) 2018 Valve Corporation +# +# Permission is hereby granted, free of charge, to any person obtaining a +# copy of this software and associated documentation files (the "Software"), +# to deal in the Software without restriction, including without limitation +# the rights to use, copy, modify, merge, publish, distribute, sublicense, +# and/or sell copies of the Software, and to permit persons to whom the +# Software is furnished to do so, subject to the following conditions: +# +# The above copyright notice and this permission notice (including the next +# paragraph) shall be included in all copies or substantial portions of the +# Software. +# +# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL +# THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING +# FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS +# IN THE SOFTWARE. + +import unittest + +import sys +import os +sys.path.insert(1, os.path.join(sys.path[0], '..')) + +from nir_algebraic import SearchAndReplace + +# These tests check that the bitsize validator correctly rejects various +# different kinds of malformed expressions, and documents what the error +# message looks like. + +a = 'a' +b = 'b' +c = 'c' + +class ValidatorTests(unittest.TestCase): + pattern = () + message = '' + + def common(self, pattern, message): + with self.assertRaises(AssertionError) as context: + SearchAndReplace(pattern) + + self.assertEqual(message, str(context.exception)) + + def test_wrong_src_count(self): + self.common((('iadd', a), ('fadd', a, a)), + "Expression ('iadd', 'a') has 1 sources, expected 2") + + def test_var_bitsize(self): + self.common((('iadd', 'a@32', 'a@64'), ('fadd', a, a)), + "Variable a has conflicting bit size requirements: " \ + "it must have bit size 32 and 64") + + def test_var_bitsize_2(self): + self.common((('iadd', a, 'a@32'), ('fadd', 'a@64', a)), + "Variable a has conflicting bit size requirements: " \ + "it must have bit size 32 and 64") + + def test_search_src_bitsize(self): + self.common((('iadd', 'a@32', 'b@64'), ('fadd', a, b)), + "Source a@32 of ('iadd', 'a@32', 'b@64') must have bit size 32, " \ + "while source b@64 must have incompatible bit size 64") + + def test_replace_src_bitsize(self): + self.common((('iadd', a, ('b2i', b)), ('iadd', a, b)), + "Sources a (bit size of a) and b (bit size of 32) " \ + "of ('iadd', 'a', 'b') may not have the same bit size " \ + "when building the replacement expression.") + + def test_search_src_bitsize_fixed(self): + self.common((('ishl', a, 'b@64'), ('ishl', a, b)), + "b@64 must have 64 bits, but as a source of nir_op_ishl " \ + "it must have 32 bits") + + def test_replace_src_bitsize_fixed(self): + self.common((('iadd', a, b), ('ishl', a, b)), + "b has the bit size of b, but as a source of nir_op_ishl " \ + "it must have 32 bits, which may not be the same") + + def test_search_dst_bitsize(self): + self.common((('iadd@32', 'a@64', b), ('iadd', a, b)), + "('iadd@32', 'a@64', 'b') must have the bit size of 32, " \ + "while its source a@64 must have incompatible bit size 64") + + def test_replace_dst_bitsize(self): + self.common((('iadd', a, b), ('iadd@32', a, b)), + "('iadd@32', 'a', 'b') must have 32 bits, but its source a " \ + "(bit size of b) may not have that bit size when building " \ + "the replacement.") + + def test_search_dst_bitsize_fixed(self): + self.common((('ufind_msb@64', a), ('ineg', a)), + "('ufind_msb@64', 'a') must have 64 bits, "\ + "but as a destination of nir_op_ufind_msb it must have 32 bits") + + def test_replace_dst_bitsize_fixed(self): + self.common((('ineg', 'a@64'), ('ufind_msb@64', a)), + "('ufind_msb@64', 'a') must have 64 bits, " \ + "but as a destination of nir_op_ufind_msb it must have 32 bits") + + def test_ambiguous_bitsize(self): + self.common((('ineg', 'a@32'), ('i2b', ('b2i', a))), + "Ambiguous bit size for replacement value ('b2i', 'a'): it "\ + "cannot be deduced from a variable, a fixed bit size somewhere, " + "or the search expression.") + + def test_search_replace_mismatch(self): + self.common((('b2i', ('i2b', a)), a), + "The search expression bit size ('b2i', ('i2b', 'a')) and " \ + "replace expression bit size a may not be the same") + +unittest.main() diff --git a/src/compiler/nir/tests/algebraic_parser_test.sh b/src/compiler/nir/tests/algebraic_parser_test.sh new file mode 100644 index 00000000000..5c23443fb11 --- /dev/null +++ b/src/compiler/nir/tests/algebraic_parser_test.sh @@ -0,0 +1,3 @@ +#!/bin/sh + +$PYTHON $srcdir/nir/tests/algebraic_parser_test.py -- 2.30.2