Testing/portability: re-enable most of the C23 tests

The previous way of coping with platforms that only support
_BitInt up to 128 bits wide was to disable all of the C23 tests.

This commit changes the test to be much more precise.
A test is only disabled if it depends on wide _BitInt
support and wide _BitInts are not supported on this platform.

Makefile

@@ -65,11 +65,7 @@ lit_test: build
 
 WIDE_BITINT_SUPPORTED := `$(MAKE) -C runtime/test wide_bitint_supported`
 
-ifeq (1, $(WIDE_BITINT_SUPPORTED))
 BACKENDS := interpreter c23 ac fallback
-else
-BACKENDS := interpreter ac fallback
-endif
 
 test_backends: ${addprefix test_backend_, ${BACKENDS}}
 

tests/backends/bits_print_hex.asl → tests/backends/bits_print_hex_00.asl

@@ -16,8 +16,5 @@ begin
     print_bits_hex((-16384)[0 +: 70]); println();
     // CHECK: 70'x3fffffffffffffc000
 
-    print_bits_hex(256'xff01020304050607_1011121314151617_2021222324252627_3031323334353637); println();
-    // CHECK: 256'xff01020304050607101112131415161720212223242526273031323334353637
-
     return 0;
 end

tests/backends/bits_print_hex_01.asl

@@ -0,0 +1,11 @@
+// RUN: %aslrun %s | filecheck %s
+// REQUIRES: !c23 || wide_bitint
+// Copyright (C) 2023-2024 Intel Corporation
+
+func main() => integer
+begin
+    print_bits_hex(256'xff01020304050607_1011121314151617_2021222324252627_3031323334353637); println();
+    // CHECK: 256'xff01020304050607101112131415161720212223242526273031323334353637
+
+    return 0;
+end

tests/backends/bits_sext_00.asl

@@ -24,11 +24,6 @@ begin
     return asl_sign_extend_bits(x, 65);
 end
 
-func Test_70_140(x : bits(70)) => bits(140)
-begin
-    return asl_sign_extend_bits(x, 140);
-end
-
 func main() => integer
 begin
     // Basic check
@@ -71,10 +66,5 @@ begin
     print_bits_hex(Test4(64'xc123_4567_89ab_cdef)); println();
     // CHECK: 65'x1c123456789abcdef
 
-    print_bits_hex(Test_70_140(16384[0 +: 70])); println();
-    // CHECK: 140'x4000
-    print_bits_hex(Test_70_140((-16384)[0 +: 70])); println();
-    // CHECK: 140'xfffffffffffffffffffffffffffffffc000
-
     return 0;
 end

tests/backends/bits_sext_01.asl

@@ -0,0 +1,18 @@
+// RUN: %aslrun %s | filecheck %s
+// REQUIRES: !c23 || wide_bitint
+// Copyright (C) 2023-2024 Intel Corporation
+
+func Test_70_140(x : bits(70)) => bits(140)
+begin
+    return asl_sign_extend_bits(x, 140);
+end
+
+func main() => integer
+begin
+    print_bits_hex(Test_70_140(16384[0 +: 70])); println();
+    // CHECK: 140'x4000
+    print_bits_hex(Test_70_140((-16384)[0 +: 70])); println();
+    // CHECK: 140'xfffffffffffffffffffffffffffffffc000
+
+    return 0;
+end

tests/lit.cfg

@@ -1,5 +1,6 @@
 # Copyright (C) 2023-2024 Intel Corporation
 import lit.formats
+import subprocess
 
 lit_cfg_path = os.path.dirname(os.path.abspath(__file__))
 asl_path = os.path.dirname(lit_cfg_path)
@@ -18,7 +19,13 @@ else:
 config.test_format = lit.formats.ShTest("0")
 config.suffixes = {".asl"}
 config.target_triple = ""
+
 config.available_features = [backend]
+
+proc = subprocess.run(["make", f"-C{asl_path}/runtime/test", "wide_bitint_supported"], capture_output=True, encoding='latin_1')
+if proc.returncode == 0 and "1" in proc.stdout:
+    config.available_features.add("wide_bitint")
+
 config.substitutions.append(('%asli', asli_bin_path))
 config.substitutions.append(('%aslrun', f"{asl2c_path} --backend={backend} -O0 --run"))
 config.environment["ASLI_DIR"] = asl_path