Subzero: Crosstest test_arith properly tests i8/i16.

crosstest/crosstest.cfg

Index: crosstest/crosstest.cfg
diff --git a/crosstest/crosstest.cfg b/crosstest/crosstest.cfg
index a7d30b6de3d0786aaa5b05062fa50d0da5abde57..06c236de4290d2774cfe07d9bde834466f6fa8bb 100644
--- a/crosstest/crosstest.cfg
+++ b/crosstest/crosstest.cfg
@@ -9,7 +9,14 @@ flags: --sz=-fmem-intrin-opt
 
 [test_arith]
 driver: test_arith_main.cpp
-test: test_arith.cpp test_arith_frem.ll test_arith_sqrt.ll test_arith_fabs.ll
+# Note: test_arith.ll is auto-generated from test_arith.cpp - switch the "test:"
+# lines and then rename the resulting test_arith.*.pnacl.ll to test_arith.ll.
+# Then test_arith.ll is hand-modified so that i8 and i16 functions actually use
+# the i8/i16 form of the arithmetic instruction, to counteract C++'s integral

[John, 2016/05/25 17:26:28]

It's not C++'s rule as the spec say types **can** be promoted. This seems more
like a pnacl-specific issue.

+# promotion rules.
+#
+#test: test_arith.cpp test_arith_frem.ll test_arith_sqrt.ll test_arith_fabs.ll
+test: test_arith.ll test_arith_frem.ll test_arith_sqrt.ll test_arith_fabs.ll
 
 [test_bitmanip]
 driver: test_bitmanip_main.cpp