| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | pkg/compiler: add builtin bool type aliases | Dmitry Vyukov | 2018-01-08 | 4 | -10/+35 |
| | | | | | | | | | | | | | | | | | This adds builtin: type bool8 int8[0:1] type bool16 int16[0:1] type bool32 int32[0:1] type bool64 int64[0:1] type boolptr intptr[0:1] We used to use just int's for bools. But bool types provide several advantages: - make true/false probability equal - improve description expressiveness - reduce search space (we will take advantage of this later) | ||||
| * | pkg/compiler: make signalno a type alias | Dmitry Vyukov | 2018-01-08 | 1 | -19/+0 |
| | | | | | | | | We don't need compiler support for such things anymore, now we simply can do: type signalno int32[0:65] | ||||
| * | sys: support type aliases (aka typedefs) | Dmitry Vyukov | 2018-01-08 | 6 | -52/+195 |
| | | | | | | | | | | | | | | | | | | | | | | | Complex types that are often repeated can be given short type aliases using the following syntax: ``` type identifier underlying_type ``` For example: ``` type signalno int32[0:65] type net_port proc[20000, 4, int16be] ``` Then, type alias can be used instead of the underlying type in any contexts. Underlying type needs to be described as if it's a struct field, that is, with the base type if it's required. However, type alias can be used as syscall arguments as well. Underlying types are currently restricted to integer types, `ptr`, `ptr64`, `const`, `flags` and `proc` types. | ||||
| * | prog: support opt for proc types | Dmitry Vyukov | 2018-01-06 | 2 | -5/+5 |
| | | |||||
| * | pkg/compiler: add bitsize type | Dmitry Vyukov | 2018-01-06 | 2 | -5/+9 |
| | | | | | This is need for few crypto/xfrm descriptions. | ||||
| * | sys/linux: fix some copy-paste errors | Dmitry Vyukov | 2017-12-28 | 1 | -0/+59 |
| | | |||||
| * | pkg/compiler: add check that len does not refer to array with varlen elements | Dmitry Vyukov | 2017-11-28 | 2 | -0/+17 |
| | | | | | | This [almost] always means a bug in descriptions. Fix all bugs identified by the check. | ||||
| * | pkg/csource: support akaros | Dmitry Vyukov | 2017-10-16 | 1 | -7/+4 |
| | | |||||
| * | all: basic freebsd support | Dmitry Vyukov | 2017-10-02 | 1 | -2/+4 |
| | | | | | For now we just make Go part build for freebsd. | ||||
| * | sys/syz-extract: support fuchsia | Dmitry Vyukov | 2017-09-25 | 3 | -6/+11 |
| | | |||||
| * | all: more assorted fuchsia support | Dmitry Vyukov | 2017-09-22 | 3 | -6/+15 |
| | | |||||
| * | pkg/compiler: don't genererate missing syscalls | Dmitry Vyukov | 2017-09-15 | 5 | -27/+70 |
| | | | | | | | | | We used to generate them only because manager had no idea what arch it is testing. So syscalls numbers had to match between all arches. This is not needed anymore. Also don't generate unreferenced structs/resources. | ||||
| * | sys: move linux descriptions to sys/linux | Dmitry Vyukov | 2017-09-15 | 1 | -2/+2 |
| | | |||||
| * | prog, sys: move types to prog | Dmitry Vyukov | 2017-09-05 | 4 | -166/+166 |
| | | | | | | | | | | | | Large overhaul moves syscalls and arg types from sys to prog. Sys package now depends on prog and contains only generated descriptions of syscalls. Introduce prog.Target type that encapsulates all targer properties, like syscall list, ptr/page size, etc. Also moves OS-dependent pieces like mmap call generation from prog to sys. Update #191 | ||||
| * | sys: rename Call to Syscall | Dmitry Vyukov | 2017-09-05 | 2 | -6/+6 |
| | | | | | | In preparation for moving sys types to prog to avoid confusion between sys.Call and prog.Call. | ||||
| * | pkg/compiler: assign Call.ID statically | Dmitry Vyukov | 2017-09-04 | 1 | -0/+3 |
| | | |||||
| * | pkg/compiler: fix alignment calculation bug | Dmitry Vyukov | 2017-09-04 | 1 | -3/+4 |
| | | |||||
| * | sys: change BitfieldLast to BitfieldMiddle | Dmitry Vyukov | 2017-09-04 | 1 | -12/+12 |
| | | | | | | | | | That's the condition we always want. Currently we always check: t.BitfieldOffset() == 0 || t.BitfieldLast() now can check just: !t.BitfieldMiddle() | ||||
| * | sys: remove IntSignalno | Dmitry Vyukov | 2017-09-04 | 1 | -4/+6 |
| | | |||||
| * | sys, pkg/compiler: move padding computation to compiler | Dmitry Vyukov | 2017-09-04 | 6 | -88/+495 |
| | | | | | This makes types constant during execution, everything is precomputed. | ||||
| * | pkg/compiler: prohibit arrays of size 0 | Dmitry Vyukov | 2017-09-04 | 2 | -0/+9 |
| | | | | | This is pointless and the only case that can yield 0 static type size. | ||||
| * | pkg/compiler: prohibit bitfields of size 0 | Dmitry Vyukov | 2017-09-04 | 2 | -5/+14 |
| | | | | | | They don't work the way C bitfields work. So this will lead to confusion at least. | ||||
| * | pkg/compiler: don't allow bitfields in unions, args and anon types | Dmitry Vyukov | 2017-09-04 | 2 | -11/+23 |
| | | |||||
| * | pkg/compiler: move bitfield marking from sys | Dmitry Vyukov | 2017-09-04 | 1 | -1/+49 |
| | | |||||
| * | pkg/compiler: prohibit bitfields in syscall args | Dmitry Vyukov | 2017-09-04 | 3 | -2/+3 |
| | | |||||
| * | pkg/compiler: reserve in/out/inout/opt names | Dmitry Vyukov | 2017-09-04 | 3 | -1/+38 |
| | | |||||
| * | sys: don't assume vma size is 8 | Dmitry Vyukov | 2017-09-04 | 1 | -0/+1 |
| | | | | | | Use explicit size for vma. This is the last use of hardcoded ptrSize in sys package. | ||||
| * | pkg/compiler: use correct arch ptr size | Dmitry Vyukov | 2017-09-04 | 2 | -5/+5 |
| | | |||||
| * | pkg/compiler: detect resources without ctors | Dmitry Vyukov | 2017-09-04 | 5 | -63/+162 |
| | | | | | Fixes #217 | ||||
| * | pkg/compiler: verify validity of len targets | Dmitry Vyukov | 2017-09-04 | 6 | -65/+167 |
| | | | | | Update #217 | ||||
| * | pkg/compiler: move checking code to a separate file | Dmitry Vyukov | 2017-09-04 | 2 | -390/+403 |
| | | |||||
| * | pkg/compiler: detect recursive struct declarations | Dmitry Vyukov | 2017-09-04 | 2 | -22/+126 |
| | | | | | Update #217 | ||||
| * | sys: allow custom size for PtrType | Dmitry Vyukov | 2017-09-02 | 1 | -2/+4 |
| | | | | | This is required to support ptr64 type. | ||||
| * | sys: support ptr64 type | Dmitry Vyukov | 2017-09-02 | 2 | -1/+9 |
| | | | | | | | ptr64 is like ptr, but always takes 8 bytes of space. Needed for some APIs. Unfortunately, most of these APIs use buffer type, so we can't use ptr64 immidiately. | ||||
| * | pkg/compiler: restore generation of unsupported syscalls | Dmitry Vyukov | 2017-09-02 | 1 | -1/+14 |
| | | | | | | | Unfortunately this is sitll needed, see the added comment. Update #191 | ||||
| * | pkg/compiler: check and generate types | Dmitry Vyukov | 2017-09-02 | 7 | -300/+1383 |
| | | | | | | | Move most of the logic from sysgen to pkg/compiler. Update #217 | ||||
| * | pkg/compiler: actually tolerate unsupported consts | Dmitry Vyukov | 2017-08-28 | 1 | -0/+5 |
| | | | | | | The previous commit removes errors on unsupported structs/resources, but their usages still error. Fix that. | ||||
| * | pkg/compiler: tolerate unsupported consts everywhere | Dmitry Vyukov | 2017-08-28 | 1 | -8/+3 |
| | | | | | | | Currently unsupported consts in structs and resources break build. However, that can well happen for arch-specific devices (e.g. Android). Make this non-fatal as it used to be. | ||||
| * | pkg/compiler: more static error checking | Dmitry Vyukov | 2017-08-27 | 7 | -107/+485 |
| | | | | | Update #217 | ||||
| * | pkg/compiler: move more const-processing code to compiler | Dmitry Vyukov | 2017-08-27 | 3 | -70/+271 |
| | | |||||
| * | pkg/compiler, sys/syz-sysgen: move const handling to pkg/compiler | Dmitry Vyukov | 2017-08-27 | 2 | -12/+186 |
| | | | | | Now pkg/compiler deals with consts. | ||||
| * | sys/syz-extract: switch to the new parser | Dmitry Vyukov | 2017-08-18 | 2 | -0/+124 |
 |
index : syz | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiffstats |