tinygo

Commit Graph

Author	SHA1	Message	Date
Ayke van Laethem	38c3d0852e	compiler: implement casting named structs and pointers to them	6 years ago
Ayke van Laethem	ad7297a539	all: implement trivial select statements Implement two trivial uses of the select statement. Always blocking: select {} No-op: select { default: } Go 1.12 added a `select {}` instruction to syscall/js, so this is needed for Go 1.12 support. More complete support for select will be added in the future.	6 years ago
Ayke van Laethem	b837c94366	compiler: calculate max number of entries in slice at compile time This avoids difficult multiply-with-overflow code and avoids a multiply at runtime.	6 years ago
Ayke van Laethem	da345e8723	cgo: implement bool/float/complex types	6 years ago
Ayke van Laethem	95d895646a	loader/cgo: add support for function pointers	6 years ago
Ayke van Laethem	35fb594f8f	loader/cgo: add support for pointer types	6 years ago
Ayke	01f6aff422	loader: support global variables in CGo (#173 ) Global variables (like functions) must be declared in the import "C" preamble and can then be used from Go.	6 years ago
Ayke van Laethem	6360e318a7	runtime: add support for math package The math package uses routines written in Go assembly language which LLVM/Clang cannot parse. Additionally, not all instruction sets are supported. Redirect all math functions written in assembly to their Go equivalent. This is not the fastest option, but it gets packages requiring math functions to work.	6 years ago
Ayke van Laethem	709a296150	os: add basic OS functionality	6 years ago
Ayke van Laethem	003211b4ff	reflect: implement Value.Set*() for basic types	6 years ago
Ayke van Laethem	e6720d7ddc	compiler: add support for comparing complex numbers	6 years ago
Ayke van Laethem	dfef168139	reflect: add limited support for all type kinds This commit makes sure all Go types can be encoded in the interface type code, so that Type.Kind() always returns a proper type kind for any non-nil interface.	6 years ago
Ayke van Laethem	63f2a3dfe9	reflect: support slices and indexing of strings and slices	6 years ago
Ayke van Laethem	fb23e9c212	reflect: add support for non-named basic types	6 years ago
Ayke van Laethem	f0904779a5	reflect: add reflect.TypeOf This is the beginning of true reflection support in TinyGo.	6 years ago
Ayke van Laethem	914d383a96	all: update import paths to github.com/tinygo-org/tinygo	6 years ago
Konstantin Yegupov	504c82a0e7	compiler: support for byte arrays as keys in maps	6 years ago
Konstantin Yegupov	f8a1e5f449	interp: support map literals with integer keys	6 years ago
Michael Teichgraeber	7461c298dd	runtime: make stringNext use byteindex only, fix index offset Use stringIterator.byteindex as the loop index, and remove stringIterator.rangeindex, as "the index of the loop is the starting position of the current rune, measured in bytes". This patch also fixes the current loop index returned by stringNext, using `it.byteindex' before - not after - `length' is added.	6 years ago
Ayke van Laethem	2e4dd09bbc	compiler: add support for channel operations Support for channels is not complete. The following pieces are missing: * Channels with values bigger than int. An int in TinyGo can always contain at least a pointer, so pointers are okay to send. * Buffered channels. * The select statement.	6 years ago
Ayke van Laethem	602c264749	all: rewrite goroutine lowering Before this commit, goroutine support was spread through the compiler. This commit changes this support, so that the compiler itself only generates simple intrinsics and leaves the real support to a compiler pass that runs as one of the TinyGo-specific optimization passes. The biggest change, that was done together with the rewrite, was support for goroutines in WebAssembly for JavaScript. The challenge in JavaScript is that in general no blocking operations are allowed, which means that programs that call time.Sleep() but do not start goroutines also have to be scheduled by the scheduler.	6 years ago
Konstantin Yegupov	f44dff6f59	compiler: allow slicing arrays of a named type	6 years ago
Ayke van Laethem	6cacafb8dc	cgo: add package directory to header include paths	6 years ago
Ayke van Laethem	c6069476a7	cgo: do not rely on stdint.h to be available	6 years ago
Ayke van Laethem	0af7da9bff	cgo: add support for C.int, c.uint, etc	6 years ago
Ayke van Laethem	e8c1b5ab6e	cgo: add support for C typedefs	6 years ago
Ayke van Laethem	ecf6ffa62e	all: add bare-bones Cgo support	6 years ago
Ayke van Laethem	b4c90f3677	compiler: lower interfaces in a separate pass This commit changes many things: * Most interface-related operations are moved into an optimization pass for more modularity. IR construction creates pseudo-calls which are lowered in this pass. * Type codes are assigned in this interface lowering pass, after DCE. * Type codes are sorted by usage: types more often used in type asserts are assigned lower numbers to ease jump table construction during machine code generation. * Interface assertions are optimized: they are replaced by constant false, comparison against a constant, or a typeswitch with only concrete types in the general case. * Interface calls are replaced with unreachable, direct calls, or a concrete type switch with direct calls depending on the number of implementing types. This hopefully makes some interface patterns zero-cost. These changes lead to a ~0.5K reduction in code size on Cortex-M for testdata/interface.go. It appears that a major cause for this is the replacement of function pointers with direct calls, which are far more susceptible to optimization. Also, not having a fixed global array of function pointers greatly helps dead code elimination. This change also makes future optimizations easier, like optimizations on interface value comparisons.	6 years ago
Ayke van Laethem	f0fb1bd41a	compiler: fix binops on named types in struct fields	6 years ago
Ayke van Laethem	8402e84b6d	runtime: implement a simple mark/sweep garbage collector	6 years ago
Ayke van Laethem	8cb7b583d8	compiler: support creating slices with uncommon initial len/cap types	6 years ago
Ayke van Laethem	668c1741c3	compiler: implement array equality Implement binops == and != on array types.	6 years ago
Ayke van Laethem	9bddaae04a	compiler: support any int type in slice indexes Make sure the compiler will correctly compile indexes of type uint64, for example.	6 years ago
Marc-Antoine Ruel	b1cf69a523	compiler: implement binop string: <, <=, >, >= Include unit tests.	6 years ago
Ayke van Laethem	bb3d05169d	interp: add new compile-time package initialization interpreter This interpreter currently complements the Go SSA level interpreter. It may stay complementary or may be the only interpreter in the future. This interpreter is experimental and not yet finished (there are known bugs!) so it is disabled by default. It can be enabled by passing the -initinterp flag. The goal is to be able to run all initializations at compile time except for the ones having side effects. This mostly works except perhaps for a few edge cases. In the future, this interpeter may be used to actually run regular Go code, perhaps in a shell.	6 years ago
Ayke van Laethem	a531caa2e9	compiler: implement deferring of interface calls	6 years ago
Ayke van Laethem	e66d457c42	compiler: fix float <-> int conversions	6 years ago
Ayke van Laethem	1b283c11c1	ir: do not throw an error on unknown conversions	6 years ago
Ayke van Laethem	436901dc49	compiler: implement operations on nil hashmaps * comparing a map against nil * getting the length of a nil map	6 years ago
Marc-Antoine Ruel	7f30ef7e4d	testdata: add more test cases in testdata Specifically test for one or multiple init functions.	6 years ago
Ayke van Laethem	6c6a43310a	compiler: fix invalid incoming block in complex typeassert flow A single ssa.BasicBlock may be split in multiple LLVM basic blocks due to typeassert instructions. This means the incoming block and outgoing block are different. PHI nodes need to get the result from the outgoing block, which was fixed before, but incoming branches need to branch to the incoming block, not the outgoing block. Branching to the outgoing block led to a LLVM verification error when compiling the fmt package. Originally found in (fmt.pp).handleMethods.	6 years ago
Ayke van Laethem	e2f6aedd9d	compiler: implement comparing structs directly	6 years ago
Ayke van Laethem	cbd7d401fe	testdata: go fmt	6 years ago
Ayke van Laethem	82be43f4e6	compiler: implement deferring of immediately-applied closures This is a common operation: freevar := ... defer func() { println("I am deferred:", freevar) }() The function is thus an immediately applied closure. Only this form is currently supported, support for regular (fat) function pointers should be trivial to add but is not currently implemented as it wasn't necessary to get fmt to compile.	6 years ago
Ayke van Laethem	9b9b66a09d	compiler: add complex manipulation * builtins: real, imag, complex * printing of complex numbers No support for complex arithmetic yet.	6 years ago
Ayke van Laethem	7c2a6169b0	compiler: support comma-ok in map lookup	6 years ago
Ayke van Laethem	da89464a63	compiler: compare slice against nil	6 years ago
Ayke van Laethem	c0c1ccb381	compiler, runtime: implement delete builtin	6 years ago
Ayke van Laethem	963ba16d7b	compiler: add support for the append builtin	6 years ago
Ayke van Laethem	f9edf7cc5c	test: add slice tests	6 years ago

... 2 3 4 5 6

259 Commits (66d3c4edb8a8cc69441b1bd3852c9b30276906a3)