Zebediah Figura : tests: Add some tests for macro expansion.

[Alexandre Julliard]

Module: vkd3d
Branch: master
Commit: 5642fbaae7bd0444b2d94f5ced5ce43c3a08145c
URL:    https://source.winehq.org/git/vkd3d.git/?a=commit;h=5642fbaae7bd0444b2d94f5ced5ce43c3a08145c

Author: Zebediah Figura <zfigura at codeweavers.com>
Date:   Tue Nov 24 00:29:56 2020 -0600

tests: Add some tests for macro expansion.

Signed-off-by: Zebediah Figura <zfigura at codeweavers.com>
Signed-off-by: Matteo Bruni <mbruni at codeweavers.com>
Signed-off-by: Henri Verbeet <hverbeet at codeweavers.com>
Signed-off-by: Alexandre Julliard <julliard at winehq.org>

---

 Makefile.am                     |   2 +
 tests/preproc-macro.shader_test | 303 ++++++++++++++++++++++++++++++++++++++++
 2 files changed, 305 insertions(+)

diff --git a/Makefile.am b/Makefile.am
index 2cb1567..59e054f 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -67,6 +67,7 @@ vkd3d_shader_tests = \
 	tests/preproc-if.shader_test \
 	tests/preproc-ifdef.shader_test \
 	tests/preproc-if-expr.shader_test \
+	tests/preproc-macro.shader_test \
 	tests/swizzle-0.shader_test \
 	tests/swizzle-1.shader_test \
 	tests/swizzle-2.shader_test \
@@ -212,6 +213,7 @@ XFAIL_TESTS = \
 	tests/preproc-if.shader_test \
 	tests/preproc-ifdef.shader_test \
 	tests/preproc-if-expr.shader_test \
+	tests/preproc-macro.shader_test \
 	tests/swizzle-0.shader_test \
 	tests/swizzle-1.shader_test \
 	tests/swizzle-2.shader_test \
diff --git a/tests/preproc-macro.shader_test b/tests/preproc-macro.shader_test
new file mode 100644
index 0000000..0fe73f7
--- /dev/null
+++ b/tests/preproc-macro.shader_test
@@ -0,0 +1,303 @@
+[preproc]
+#define KEY pass
+KEY
+
+[preproc]
+#define KEY fail
+pass
+
+[preproc]
+#define KEY(a, b) a
+KEY(pass, fail)
+
+[preproc]
+/* Make sure argument expansion replaces the right tokens. */
+#define KEY(pass, fail) fail
+KEY(fail, pass)
+
+[preproc]
+#define KEY (pass)
+KEY(a,b)
+
+[preproc]
+#define FUNC(a) pass
+#define LEFT FUNC(
+LEFT fail)
+
+[preproc]
+#define KEY(a, b) a
+KEY(
+pass
+,
+fail
+)
+
+[preproc]
+/* Function-like macros which cannot be expanded (due to argument count mismatch
+ * or other parse errors) emit only the macro name and nothing else. In the case
+ * of unterminated macro lists, nothing after the macro name is emitted. */
+#define pass(a, b) a b fail
+pass(fail, fail
+fail
+
+[preproc]
+#define pass(a, b) fail
+pass(fail, fail, fail)
+
+[preproc]
+#define KEY(a, b) fail
+KEY(fail, fail, fail)
+pass
+
+[preproc]
+#define pass(a, b) fail
+pass
+(a, b)
+
+[preproc]
+#define FUNC(a) pass
+#define KEY FUNC
+KEY (fail)
+
+[preproc]
+#define KEY(a, b) a ## b
+KEY  (  pa  ,  ss  )
+
+[preproc]
+#define KEY(a, b) pa ## ss
+KEY(fail, fail)
+
+[preproc]
+#define KEY(a) a ## ss
+KEY(pa)
+
+[preproc]
+#define KEY(a) pa ## a
+KEY(ss)
+
+[preproc]
+#define KEY(x) p \
+ ## \
+ x \
+ ## \
+ ss
+KEY(
+a
+)
+
+[preproc]
+/* Concatenation is only parsed if the macro has arguments. */
+#define KEY fa ## il
+KEY pass
+
+[preproc]
+#define KEY(a) a
+KEY(pa ## ss)
+
+[preproc]
+fa ## il
+pass
+
+[preproc]
+#define KEY1 KEY2
+#define KEY2 pass
+KEY1
+
+[preproc]
+#define KEY2 pass
+#define KEY1 KEY2
+KEY1
+
+[preproc]
+#define KEY fail
+#undef KEY
+KEY pass
+
+[preproc]
+#define KEY(a,b) fail
+#undef KEY
+KEY(pass, pass)
+
+[preproc]
+#define KEY1 KEY2
+#define KEY2 fail
+#undef KEY2
+KEY1 pass
+
+[preproc]
+#define KEY2 fail
+#define KEY1 KEY2
+#undef KEY2
+KEY1 pass
+
+[preproc]
+#define KEY1(a, b) a
+#define KEY2 pass
+#define KEY3 fail
+KEY1(KEY2, KEY3)
+
+[preproc]
+#define a b
+#define KEY(a) b
+KEY(fail)
+pass
+
+[preproc]
+#define a b
+#define KEY(a) a
+KEY(pass)
+
+[preproc]
+#define OP==
+#if 2 OP 3
+fail
+#elif 2 OP 2
+pass
+#endif
+
+[preproc]
+#define KEY 1
+#if KEY == 1
+pass
+#endif
+
+[preproc]
+#define KEY(a, b) (a < b)
+#if KEY(2, 1)
+fail
+#elif KEY(1, 2)
+pass
+#endif
+
+[preproc]
+#define KEY fail
+#define KEY pass
+KEY
+
+[preproc]
+/* Identifiers are not expanded in the LHS of #define statements. */
+#define KEY pass
+#define KEY fail
+pass
+
+[preproc]
+#undef KEY
+pass
+
+[preproc]
+#define KEY(a, b) b
+KEY("fail,fail",pass)
+
+[preproc]
+#define \
+KEY( \
+a \
+, \
+b \
+) \
+a
+KEY(pass, fail)
+
+[preproc]
+#define \
+KEY \
+pass
+KEY
+
+[preproc]
+#define KEY(a, b) b
+KEY(multiline
+argument,pass)
+
+[preproc]
+#define KEY(a, b) b
+KEY(
+multiline
+#define fail pass
+argument, fail)
+
+[preproc]
+#define KEY(a, b) a
+KEY((pass,pass),(fail,fail))
+
+[preproc]
+#define KEY(a, b) b
+KEY((,,fail,,fail,,),(,,pass,,pass,,))
+
+[preproc]
+#define KEY(a, b) b
+KEY([,,fail,,fail,,],[,,pass,,pass,,])
+
+[preproc]
+#define KEY(a, b) b
+KEY({,,fail,,fail,,},{,,pass,,pass,,})
+
+[preproc]
+#define KEY(a, b) pass
+KEY((),())
+
+[preproc]
+#define KEY(a, b) pass
+KEY((,),(,))
+
+[preproc]
+/* Unbalanced parentheses result in an unterminated macro. */
+#define pass(a, b) fail
+pass((),()
+
+[preproc]
+#define KEY(a,a) a
+KEY(pass,fail)
+
+[preproc]
+/* Macro arguments suffer their own macro expansion only after the macro has
+ * been completely parsed. */
+#define KEY(a) a
+KEY(fail
+#define fail pass
+)
+
+[preproc]
+/* The same applies to #if. */
+#define KEY(a) a
+KEY(
+#define OBJ
+#ifdef OBJ
+pass
+#endif
+)
+
+[preproc]
+#define KEY(a) a
+KEY(pass
+#ifdef OBJ
+fail
+#endif
+#define OBJ
+)
+
+[preproc]
+/* Directives inside of macro arguments are always evaluated. */
+#define FUNC(a) value
+FUNC(fail
+#define KEY pass
+)
+KEY
+
+[preproc]
+#define FUNC1(a) a ## ss
+#define FUNC2(a, b) a < b
+
+FUNC1(
+#if FUNC2(3, 2)
+fail
+#elif FUNC2(2, 3)
+pa
+#else
+fail
+#endif
+)
+
+[preproc]
+#define __LINE__ pass
+__LINE__