From f38a3ab795cc81ec5f9151028d5db5bc65a7d66a Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Mon, 24 Jun 2024 13:54:47 +0800 Subject: [PATCH] remove lit tests for legacy compiler --- artiq/test/lit/embedding/annotation_py.py | 34 ------------- artiq/test/lit/embedding/class_same_name.py | 51 ------------------- .../lit/embedding/error_subkernel_annot.py | 15 ------ .../embedding/error_subkernel_annot_return.py | 15 ------ .../lit/embedding/error_tuple_index_assign.py | 15 ------ artiq/test/lit/embedding/index_tuple.py | 16 ------ artiq/test/lit/embedding/mixed_tuple.py | 16 ------ .../lit/embedding/subkernel_message_recv.py | 22 -------- .../lit/embedding/subkernel_message_send.py | 20 -------- artiq/test/lit/embedding/subkernel_no_arg.py | 18 ------- artiq/test/lit/embedding/subkernel_return.py | 22 -------- .../lit/embedding/subkernel_return_none.py | 22 -------- artiq/test/lit/embedding/subkernel_self.py | 25 --------- .../test/lit/embedding/subkernel_self_args.py | 25 --------- .../test/lit/embedding/subkernel_with_arg.py | 18 ------- .../lit/embedding/subkernel_with_opt_arg.py | 21 -------- artiq/test/lit/escape/error_numpy_array.py | 15 ------ artiq/test/lit/escape/error_numpy_full.py | 16 ------ .../test/lit/escape/error_numpy_transpose.py | 17 ------- .../test/lit/inferencer/error_tuple_index.py | 14 ----- artiq/test/lit/integration/tuple_index.py | 22 -------- 21 files changed, 439 deletions(-) delete mode 100644 artiq/test/lit/embedding/annotation_py.py delete mode 100644 artiq/test/lit/embedding/class_same_name.py delete mode 100644 artiq/test/lit/embedding/error_subkernel_annot.py delete mode 100644 artiq/test/lit/embedding/error_subkernel_annot_return.py delete mode 100644 artiq/test/lit/embedding/error_tuple_index_assign.py delete mode 100644 artiq/test/lit/embedding/index_tuple.py delete mode 100644 artiq/test/lit/embedding/mixed_tuple.py delete mode 100644 artiq/test/lit/embedding/subkernel_message_recv.py delete mode 100644 artiq/test/lit/embedding/subkernel_message_send.py delete mode 100644 artiq/test/lit/embedding/subkernel_no_arg.py delete mode 100644 artiq/test/lit/embedding/subkernel_return.py delete mode 100644 artiq/test/lit/embedding/subkernel_return_none.py delete mode 100644 artiq/test/lit/embedding/subkernel_self.py delete mode 100644 artiq/test/lit/embedding/subkernel_self_args.py delete mode 100644 artiq/test/lit/embedding/subkernel_with_arg.py delete mode 100644 artiq/test/lit/embedding/subkernel_with_opt_arg.py delete mode 100644 artiq/test/lit/escape/error_numpy_array.py delete mode 100644 artiq/test/lit/escape/error_numpy_full.py delete mode 100644 artiq/test/lit/escape/error_numpy_transpose.py delete mode 100644 artiq/test/lit/inferencer/error_tuple_index.py delete mode 100644 artiq/test/lit/integration/tuple_index.py diff --git a/artiq/test/lit/embedding/annotation_py.py b/artiq/test/lit/embedding/annotation_py.py deleted file mode 100644 index c790b6914..000000000 --- a/artiq/test/lit/embedding/annotation_py.py +++ /dev/null @@ -1,34 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from typing import List, Tuple - -import numpy as np - -from artiq.language.core import * -from artiq.language.types import * - -# CHECK-L: i64 @_Z13testbench.foozz(i64 %ARG.x, { i1, i32 } %ARG.y) - -@kernel -def foo(x: np.int64, y: np.int32 = 1) -> np.int64: - print(x + y) - return x + y - -# CHECK-L: void @_Z13testbench.barzz() -@kernel -def bar(x: np.int32) -> None: - print(x) - -# CHECK-L: @_Z21testbench.unpack_listzz({ i1, i64 }* nocapture writeonly sret({ i1, i64 }) %.1, { i64*, i32 }* %ARG.xs) -@kernel -def unpack_list(xs: List[np.int64]) -> Tuple[bool, np.int64]: - print(xs) - return (len(xs) == 1, xs[0]) - -@kernel -def entrypoint(): - print(foo(0, 2)) - print(foo(1, 3)) - bar(3) - print(unpack_list([1, 2, 3])) diff --git a/artiq/test/lit/embedding/class_same_name.py b/artiq/test/lit/embedding/class_same_name.py deleted file mode 100644 index 46cf7c16d..000000000 --- a/artiq/test/lit/embedding/class_same_name.py +++ /dev/null @@ -1,51 +0,0 @@ -# RUN: %python -m artiq.compiler.testbench.embedding %s - -from artiq.language.core import * - - -class InnerA: - def __init__(self, val): - self.val = val - - @kernel - def run_once(self): - return self.val - - -class InnerB: - def __init__(self, val): - self.val = val - - @kernel - def run_once(self): - return self.val - - -def make_runner(InnerCls, val): - class Runner: - def __init__(self): - self.inner = InnerCls(val) - - @kernel - def run_once(self): - return self.inner.run_once() - - return Runner() - - -class Parent: - def __init__(self): - self.a = make_runner(InnerA, 1) - self.b = make_runner(InnerB, 42.0) - - @kernel - def run_once(self): - return self.a.run_once() + self.b.run_once() - - -parent = Parent() - - -@kernel -def entrypoint(): - parent.run_once() diff --git a/artiq/test/lit/embedding/error_subkernel_annot.py b/artiq/test/lit/embedding/error_subkernel_annot.py deleted file mode 100644 index 3f4bc1c5c..000000000 --- a/artiq/test/lit/embedding/error_subkernel_annot.py +++ /dev/null @@ -1,15 +0,0 @@ -# RUN: %python -m artiq.compiler.testbench.embedding +diag %s 2>%t -# RUN: OutputCheck %s --file-to-check=%t - -from artiq.language.core import * -from artiq.language.types import * - -# CHECK-L: ${LINE:+2}: error: type annotation for argument 'x', '1', is not an ARTIQ type -@subkernel(destination=1) -def foo(x: 1) -> TNone: - pass - -@kernel -def entrypoint(): - # CHECK-L: ${LINE:+1}: note: in subkernel call here - foo() diff --git a/artiq/test/lit/embedding/error_subkernel_annot_return.py b/artiq/test/lit/embedding/error_subkernel_annot_return.py deleted file mode 100644 index 51977ae00..000000000 --- a/artiq/test/lit/embedding/error_subkernel_annot_return.py +++ /dev/null @@ -1,15 +0,0 @@ -# RUN: %python -m artiq.compiler.testbench.embedding +diag %s 2>%t -# RUN: OutputCheck %s --file-to-check=%t - -from artiq.language.core import * -from artiq.language.types import * - -# CHECK-L: ${LINE:+2}: error: type annotation for return type, '1', is not an ARTIQ type -@subkernel(destination=1) -def foo() -> 1: - pass - -@kernel -def entrypoint(): - # CHECK-L: ${LINE:+1}: note: in subkernel call here - foo() diff --git a/artiq/test/lit/embedding/error_tuple_index_assign.py b/artiq/test/lit/embedding/error_tuple_index_assign.py deleted file mode 100644 index ffa68a6b6..000000000 --- a/artiq/test/lit/embedding/error_tuple_index_assign.py +++ /dev/null @@ -1,15 +0,0 @@ -# RUN: %python -m artiq.compiler.testbench.embedding +diag %s 2>%t -# RUN: OutputCheck %s --file-to-check=%t - -from artiq.language.core import * -from artiq.language.types import * - -@kernel -def modify(x): - # CHECK-L: ${LINE:+1}: error: cannot assign to a tuple element - x[0] = 2 - -@kernel -def entrypoint(): - modify((1, "foo", True)) - modify((2, "bar", False)) diff --git a/artiq/test/lit/embedding/index_tuple.py b/artiq/test/lit/embedding/index_tuple.py deleted file mode 100644 index fced90201..000000000 --- a/artiq/test/lit/embedding/index_tuple.py +++ /dev/null @@ -1,16 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from artiq.language.core import * -from artiq.language.types import * - -# CHECK-L: void @_Z16testbench.unpackzz({ i32, { i8*, i32 }, i1 } %ARG.x) - -@kernel -def unpack(x): - print(x[0]) - -@kernel -def entrypoint(): - unpack((1, "foo", True)) - unpack((2, "bar", False)) diff --git a/artiq/test/lit/embedding/mixed_tuple.py b/artiq/test/lit/embedding/mixed_tuple.py deleted file mode 100644 index aaf947149..000000000 --- a/artiq/test/lit/embedding/mixed_tuple.py +++ /dev/null @@ -1,16 +0,0 @@ -# RUN: %python -m artiq.compiler.testbench.embedding %s - -from artiq.language.core import * -from artiq.language.types import * - -@kernel -def consume_tuple(x: TTuple([TInt32, TBool])): - print(x) - -@kernel -def return_tuple() -> TTuple([TInt32, TBool]): - return (123, False) - -@kernel -def entrypoint(): - consume_tuple(return_tuple()) diff --git a/artiq/test/lit/embedding/subkernel_message_recv.py b/artiq/test/lit/embedding/subkernel_message_recv.py deleted file mode 100644 index 35e094aa6..000000000 --- a/artiq/test/lit/embedding/subkernel_message_recv.py +++ /dev/null @@ -1,22 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from artiq.language.core import * -from artiq.language.types import * - -@kernel -def entrypoint(): - # CHECK: call void @subkernel_load_run\(i32 1, i8 1, i1 true\), !dbg !. - message_pass() - # CHECK-NOT: call void @subkernel_send_message\(i32 ., i1 false, i8 1, i8 1, .*\), !dbg !. - # CHECK: call i8 @subkernel_await_message\(i32 2, i64 -1, { i8\*, i32 }\* nonnull .*, i8 1, i8 1\), !dbg !. - subkernel_recv("message", TInt32) - - -# CHECK-L: declare void @subkernel_load_run(i32, i8, i1) local_unnamed_addr -# CHECK-NOT-L: declare void @subkernel_send_message(i32, i1, i8, i8, { i8*, i32 }*, i8**) local_unnamed_addr -# CHECK-L: declare i8 @subkernel_await_message(i32, i64, { i8*, i32 }*, i8, i8) local_unnamed_addr -# CHECK-NOT-L: declare void @subkernel_await_finish(i32, i64) local_unnamed_addr -@subkernel(destination=1) -def message_pass() -> TNone: - subkernel_send(0, "message", 15) diff --git a/artiq/test/lit/embedding/subkernel_message_send.py b/artiq/test/lit/embedding/subkernel_message_send.py deleted file mode 100644 index 3f0f77e35..000000000 --- a/artiq/test/lit/embedding/subkernel_message_send.py +++ /dev/null @@ -1,20 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from artiq.language.core import * -from artiq.language.types import * - -@kernel -def entrypoint(): - # CHECK: call void @subkernel_load_run\(i32 1, i8 1, i1 true\), !dbg !. - message_pass() - # CHECK: call void @subkernel_send_message\(i32 2, i1 false, i8 1, i8 1, .*\), !dbg !. - # CHECK-NOT: call i8 @subkernel_await_message\(i32 1, i64 10000, { i8\*, i32 }\* nonnull .*, i8 1, i8 1\), !dbg !. - subkernel_send(1, "message", 15) - - -# CHECK-L: declare void @subkernel_load_run(i32, i8, i1) local_unnamed_addr -# CHECK-L: declare void @subkernel_send_message(i32, i1, i8, i8, { i8*, i32 }*, i8**) local_unnamed_addr -@subkernel(destination=1) -def message_pass() -> TNone: - subkernel_recv("message", TInt32) diff --git a/artiq/test/lit/embedding/subkernel_no_arg.py b/artiq/test/lit/embedding/subkernel_no_arg.py deleted file mode 100644 index 605fbbfaa..000000000 --- a/artiq/test/lit/embedding/subkernel_no_arg.py +++ /dev/null @@ -1,18 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from artiq.language.core import * -from artiq.language.types import * - -@kernel -def entrypoint(): - # CHECK: call void @subkernel_load_run\(i32 1, i8 1, i1 true\), !dbg !. - # CHECK-NOT: call void @subkernel_send_message\(.*\), !dbg !. - no_arg() - - -# CHECK-L: declare void @subkernel_load_run(i32, i8, i1) local_unnamed_addr -# CHECK-NOT-L: declare void @subkernel_send_message(i32, i1, i8, { i8*, i32 }*, i8**) local_unnamed_addr -@subkernel(destination=1) -def no_arg() -> TStr: - pass diff --git a/artiq/test/lit/embedding/subkernel_return.py b/artiq/test/lit/embedding/subkernel_return.py deleted file mode 100644 index 3c9d1169a..000000000 --- a/artiq/test/lit/embedding/subkernel_return.py +++ /dev/null @@ -1,22 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from artiq.language.core import * -from artiq.language.types import * - -@kernel -def entrypoint(): - # CHECK: call void @subkernel_load_run\(i32 1, i8 1, i1 true\), !dbg !. - # CHECK-NOT: call void @subkernel_send_message\(.*\), !dbg !. - returning() - # CHECK: call i8 @subkernel_await_message\(i32 1, i64 -1, { i8\*, i32 }\* nonnull .*, i8 1, i8 1\), !dbg !. - # CHECK: call void @subkernel_await_finish\(i32 1, i64 -1\), !dbg !. - subkernel_await(returning) - -# CHECK-L: declare void @subkernel_load_run(i32, i8, i1) local_unnamed_addr -# CHECK-NOT-L: declare void @subkernel_send_message(i32, i1, i8, i8, { i8*, i32 }*, i8**) local_unnamed_addr -# CHECK-L: declare i8 @subkernel_await_message(i32, i64, { i8*, i32 }*, i8, i8) local_unnamed_addr -# CHECK-L: declare void @subkernel_await_finish(i32, i64) local_unnamed_addr -@subkernel(destination=1) -def returning() -> TInt32: - return 1 diff --git a/artiq/test/lit/embedding/subkernel_return_none.py b/artiq/test/lit/embedding/subkernel_return_none.py deleted file mode 100644 index a7795f785..000000000 --- a/artiq/test/lit/embedding/subkernel_return_none.py +++ /dev/null @@ -1,22 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from artiq.language.core import * -from artiq.language.types import * - -@kernel -def entrypoint(): - # CHECK: call void @subkernel_load_run\(i32 1, i8 1, i1 true\), !dbg !. - # CHECK-NOT: call void @subkernel_send_message\(.*\), !dbg !. - returning_none() - # CHECK: call void @subkernel_await_finish\(i32 1, i64 -1\), !dbg !. - # CHECK-NOT: call i8 @subkernel_await_message\(i32 1, i64 -1\, .*\), !dbg !. - subkernel_await(returning_none) - -# CHECK-L: declare void @subkernel_load_run(i32, i8, i1) local_unnamed_addr -# CHECK-NOT-L: declare void @subkernel_send_message(i32, i1, i8, { i8*, i32 }*, i8**) local_unnamed_addr -# CHECK-L: declare void @subkernel_await_finish(i32, i64) local_unnamed_addr -# CHECK-NOT-L: declare i8 @subkernel_await_message(i32, i64, { i8*, i32 }*, i8, i8) local_unnamed_addr -@subkernel(destination=1) -def returning_none() -> TNone: - pass diff --git a/artiq/test/lit/embedding/subkernel_self.py b/artiq/test/lit/embedding/subkernel_self.py deleted file mode 100644 index 7bf9cbafd..000000000 --- a/artiq/test/lit/embedding/subkernel_self.py +++ /dev/null @@ -1,25 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from artiq.language.core import * -from artiq.language.types import * - -class A: - @subkernel(destination=1) - def sk(self): - pass - - @kernel - def kernel_entrypoint(self): - # CHECK: call void @subkernel_load_run\(i32 1, i8 1, i1 true\), !dbg !. - # CHECK-NOT: call void @subkernel_send_message\(.*\), !dbg !. - self.sk() - -a = A() - -@kernel -def entrypoint(): - a.kernel_entrypoint() - -# CHECK-L: declare void @subkernel_load_run(i32, i8, i1) local_unnamed_addr -# CHECK-NOT-L: declare void @subkernel_send_message(i32, i1, i8, i8, { i8*, i32 }*, i8**) local_unnamed_addr diff --git a/artiq/test/lit/embedding/subkernel_self_args.py b/artiq/test/lit/embedding/subkernel_self_args.py deleted file mode 100644 index 5aebed2e9..000000000 --- a/artiq/test/lit/embedding/subkernel_self_args.py +++ /dev/null @@ -1,25 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from artiq.language.core import * -from artiq.language.types import * - -class A: - @subkernel(destination=1) - def sk(self, a): - pass - - @kernel - def kernel_entrypoint(self): - # CHECK: call void @subkernel_load_run\(i32 1, i8 1, i1 true\), !dbg !. - # CHECK: call void @subkernel_send_message\(i32 1, i1 false, i8 1, i8 1, .*\), !dbg !. - self.sk(1) - -a = A() - -@kernel -def entrypoint(): - a.kernel_entrypoint() - -# CHECK-L: declare void @subkernel_load_run(i32, i8, i1) local_unnamed_addr -# CHECK-L: declare void @subkernel_send_message(i32, i1, i8, i8, { i8*, i32 }*, i8**) local_unnamed_addr diff --git a/artiq/test/lit/embedding/subkernel_with_arg.py b/artiq/test/lit/embedding/subkernel_with_arg.py deleted file mode 100644 index 114516586..000000000 --- a/artiq/test/lit/embedding/subkernel_with_arg.py +++ /dev/null @@ -1,18 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from artiq.language.core import * -from artiq.language.types import * - -@kernel -def entrypoint(): - # CHECK: call void @subkernel_load_run\(i32 1, i8 1, i1 true\), !dbg !. - # CHECK: call void @subkernel_send_message\(i32 ., i1 false, i8 1, i8 1, .*\), !dbg !. - accept_arg(1) - - -# CHECK-L: declare void @subkernel_load_run(i32, i8, i1) local_unnamed_addr -# CHECK-L: declare void @subkernel_send_message(i32, i1, i8, i8, { i8*, i32 }*, i8**) local_unnamed_addr -@subkernel(destination=1) -def accept_arg(arg: TInt32) -> TNone: - pass diff --git a/artiq/test/lit/embedding/subkernel_with_opt_arg.py b/artiq/test/lit/embedding/subkernel_with_opt_arg.py deleted file mode 100644 index fb5cc3df1..000000000 --- a/artiq/test/lit/embedding/subkernel_with_opt_arg.py +++ /dev/null @@ -1,21 +0,0 @@ -# RUN: env ARTIQ_DUMP_LLVM=%t %python -m artiq.compiler.testbench.embedding +compile %s -# RUN: OutputCheck %s --file-to-check=%t.ll - -from artiq.language.core import * -from artiq.language.types import * - -@kernel -def entrypoint(): - # CHECK: call void @subkernel_load_run\(i32 1, i8 1, i1 true\), !dbg !. - # CHECK: call void @subkernel_send_message\(i32 ., i1 false, i8 1, i8 1, .*\), !dbg !. - accept_arg(1) - # CHECK: call void @subkernel_load_run\(i32 1, i8 1, i1 true\), !dbg !. - # CHECK: call void @subkernel_send_message\(i32 ., i1 false, i8 1, i8 2, .*\), !dbg !. - accept_arg(1, 2) - - -# CHECK-L: declare void @subkernel_load_run(i32, i8, i1) local_unnamed_addr -# CHECK-L: declare void @subkernel_send_message(i32, i1, i8, i8, { i8*, i32 }*, i8**) local_unnamed_addr -@subkernel(destination=1) -def accept_arg(arg_a, arg_b=5) -> TNone: - pass diff --git a/artiq/test/lit/escape/error_numpy_array.py b/artiq/test/lit/escape/error_numpy_array.py deleted file mode 100644 index 1ebdeda81..000000000 --- a/artiq/test/lit/escape/error_numpy_array.py +++ /dev/null @@ -1,15 +0,0 @@ -# RUN: %python -m artiq.compiler.testbench.embedding +diag %s 2>%t -# RUN: OutputCheck %s --file-to-check=%t - -from artiq.experiment import * -import numpy as np - -@kernel -def a(): - # CHECK-L: ${LINE:+2}: error: cannot return an allocated value that does not live forever - # CHECK-L: ${LINE:+1}: note: ... to this point - return np.array([0, 1]) - -@kernel -def entrypoint(): - a() diff --git a/artiq/test/lit/escape/error_numpy_full.py b/artiq/test/lit/escape/error_numpy_full.py deleted file mode 100644 index 66158d8ca..000000000 --- a/artiq/test/lit/escape/error_numpy_full.py +++ /dev/null @@ -1,16 +0,0 @@ -# RUN: %python -m artiq.compiler.testbench.embedding +diag %s 2>%t -# RUN: OutputCheck %s --file-to-check=%t - -from artiq.experiment import * -import numpy as np - -@kernel -def a(): - # CHECK-L: ${LINE:+2}: error: cannot return an allocated value that does not live forever - # CHECK-L: ${LINE:+1}: note: ... to this point - return np.full(10, 42.0) - - -@kernel -def entrypoint(): - a() diff --git a/artiq/test/lit/escape/error_numpy_transpose.py b/artiq/test/lit/escape/error_numpy_transpose.py deleted file mode 100644 index e1dc32d51..000000000 --- a/artiq/test/lit/escape/error_numpy_transpose.py +++ /dev/null @@ -1,17 +0,0 @@ -# RUN: %python -m artiq.compiler.testbench.embedding +diag %s 2>%t -# RUN: OutputCheck %s --file-to-check=%t - -from artiq.experiment import * -import numpy as np - -data = np.array([[0, 1], [2, 3]]) - -@kernel -def a(): - # CHECK-L: ${LINE:+2}: error: cannot return an allocated value that does not live forever - # CHECK-L: ${LINE:+1}: note: ... to this point - return np.transpose(data) - -@kernel -def entrypoint(): - a() diff --git a/artiq/test/lit/inferencer/error_tuple_index.py b/artiq/test/lit/inferencer/error_tuple_index.py deleted file mode 100644 index dd6f2dca9..000000000 --- a/artiq/test/lit/inferencer/error_tuple_index.py +++ /dev/null @@ -1,14 +0,0 @@ -# RUN: %python -m artiq.compiler.testbench.inferencer +diag %s >%t -# RUN: OutputCheck %s --file-to-check=%t - -i = 0 -x = (1, "foo", True) - -# CHECK-L: ${LINE:+1}: error: tuples can only be indexed by a constant -x[i] - -# CHECK-L: ${LINE:+1}: error: tuples can only be indexed by a constant -x[0:2] - -# CHECK-L: ${LINE:+1}: error: index 3 is out of range for tuple of size 3 -x[3] diff --git a/artiq/test/lit/integration/tuple_index.py b/artiq/test/lit/integration/tuple_index.py deleted file mode 100644 index 46ebb1428..000000000 --- a/artiq/test/lit/integration/tuple_index.py +++ /dev/null @@ -1,22 +0,0 @@ -# RUN: %python -m artiq.compiler.testbench.jit %s -# RUN: %python %s - -# Basic indexing -a = (1, "xyz", True) - -assert a[0] == 1 -assert a[1] == "xyz" -assert a[2] == True - -# Nested indexing -b = (a, 2, (3, "abc", a)) - -assert b[0][0] == 1 -assert b[1] == 2 -assert b[2][2][0] == 1 - -# Usage on the LHS of an assignment -c = (1, 2, [1, 2, 3]) - -c[2][0] = 456 -assert c[2][0] == 456