From 90d17ab8980674c6a59f47a062adccb37f99b88a Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Thu, 16 Apr 2020 17:38:36 +0200 Subject: prog: introduce call attributes Add common infrastructure for syscall attributes. Add few attributes we want, but they are not implemented for now (don't affect behavior, this will follow). --- pkg/compiler/testdata/all.txt | 3 +++ pkg/compiler/testdata/errors.txt | 3 +++ 2 files changed, 6 insertions(+) (limited to 'pkg/compiler/testdata') diff --git a/pkg/compiler/testdata/all.txt b/pkg/compiler/testdata/all.txt index 455ccbe60..f5f3f1070 100644 --- a/pkg/compiler/testdata/all.txt +++ b/pkg/compiler/testdata/all.txt @@ -14,6 +14,9 @@ foo_9(a ptr[out, ptr[in, string]]) foo_10(a ptr[out, buffer[in]]) foo_11(a int64[1:100, 2]) foo_12(a int64[0:-1, 0x1000]) +foo_13() (disabled) +foo_14() r0 (timeout[100]) +foo_15() r0 (disabled, timeout[C1], prog_timeout[C2]) resource r0[intptr] diff --git a/pkg/compiler/testdata/errors.txt b/pkg/compiler/testdata/errors.txt index 3b77ed4b9..5c7f923d6 100644 --- a/pkg/compiler/testdata/errors.txt +++ b/pkg/compiler/testdata/errors.txt @@ -125,6 +125,9 @@ foo$65(a int32, b len[1]) ### unexpected int 1 for len target argument of len ty foo$66(a int32, b len[a:1]) ### unexpected int 1 after colon, expect identifier foo$67(x int32[1:2:3, opt]) ### unexpected ':' foo$68(a int32[15, 2]) ### first argument of int32 needs to be a range +foo$69() (foo) ### unknown syscall foo$69 attribute foo +foo$70() ("foo") ### unexpected string "foo", expect attribute +foo$71() (42) ### unexpected int 42, expect attribute opt { ### struct uses reserved name opt f1 int32 -- cgit mrf-deployment