tinygo

Commit Graph

Author	SHA1	Message	Date
Ayke van Laethem	ecf6ffa62e	all: add bare-bones Cgo support	6 years ago
Ayke van Laethem	dea660b21c	main: compile C source files in packages TODO: C++ etc. files	6 years ago
Ayke van Laethem	e10d05c74f	loader: switch to custom program loader	6 years ago
Ayke van Laethem	564b1b3312	compiler: always use fat function pointers with context This reduces complexity in the compiler without affecting binary sizes too much. Cortex-M0: no changes Linux x64: no changes WebAssembly: some testcases (calls, coroutines, map) are slightly bigger	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	f107a24b72	all: use LLVM library provided by the system	6 years ago
Ayke van Laethem	318567f398	ir: fix nil pointer dereference in IsVolatile	6 years ago
Ayke van Laethem	8d170d3bd2	all: change special type __volatile to pragma //go:volatile This is one step towards removing unnecessary special casts in most cases. It is also part of removing as much magic as possible from the compiler (the pragma is explicit, the special name is not).	6 years ago
Ayke van Laethem	13cb7d6503	avr: add interrupt support Interrupts are supported using a special //go:interrupt pragma. For example: //go:interrupt INT0_vect func handleINT0() { // do something here }	6 years ago
Ayke van Laethem	1b229a8f8b	compiler: support compiling individual .go files For example: tinygo run ./src/examples/test/test.go	6 years ago
Ayke van Laethem	a561e9a9ac	ir: move adding packages from the compiler	6 years ago
Ayke van Laethem	453450f40d	ir: sort function pragmas	6 years ago
Ayke van Laethem	b75a02e66d	compiler: refactor IR parts into separate package	6 years ago
Ayke van Laethem	3c22f5731c	all: replace _extern_* workaround with //go:extern pragma	6 years ago
Ayke van Laethem	2ca2220e44	compiler: move SSA construction to ir.go	6 years ago
Ayke van Laethem	1f2af7d848	compiler: do not remove dead globals These were not removed when they contain data, and will be removed by LLVM anyway.	6 years ago
Ayke van Laethem	43b8c24226	compiler: implement interface assertions This is a lot harder than 'regular' type assertions as the actual methods need to be checked.	6 years ago
Ayke van Laethem	83ad0b6137	all: move bootstrapping IR to Go runtime This has the benefit of not requiring a 'runtime' IR file, so that complete relocatable files can be built without requiring input IR. This makes the compiler a lot easier to use without the Makefile. Code size is not affected.	6 years ago
Ayke van Laethem	bfff0c33e4	Fix external globals This broke the allocator on ARM, and with that the blinky example.	6 years ago
Ayke van Laethem	88b6b2e7f5	Optimize/eliminate bounds checking TODO: do better at it by tracking min/max values of integers. The following straightforward code doesn't have its bounds checks removed: for _, n := range slice { println(n) }	6 years ago
Ayke van Laethem	58c87329d4	Implement closures and bound methods	6 years ago
Ayke van Laethem	b13cfc5255	Be able to deal with anonymous functions	6 years ago
Ayke van Laethem	74bd378c29	Replace _llvm_* workaround in the scheduler with //go:linkname This also removes the need for the _llvm_ special case in the compiler. And it makes the scheduler code a whole lot nicer!	6 years ago
Ayke van Laethem	771f23e320	Implement //go:linkname pragma	6 years ago
Ayke van Laethem	6e0c60a7a1	Some extra header docs	6 years ago
Ayke van Laethem	309de00fd6	Simplify function names by removing $async suffix	6 years ago
Ayke van Laethem	c25b448758	Rewrite init() interpretation to a real interpreter Instead of mostly heuristics, actually execute the init() instruction in an interpreter to calculate initializers for globals. This is far more flexible and extensible, and gives the option of extending the interpreter to other code and make it a partial evaluator.	6 years ago
Ayke van Laethem	7460e10894	Add dead code elimination (DCE) pass This should make it much easier (in the future) to use the standard library when unused functions contain unimplemented features. But more importantly, it makes later passes better and makes compiling faster by not having to scan dead code.	6 years ago
Ayke van Laethem	bce33bbf41	Rename {Function,Global}.Name -> LinkName	6 years ago
Ayke van Laethem	3146cc86d4	Move Compiler.program to Program.program	6 years ago
Ayke van Laethem	ad9a62f260	Make sure we handle all package members	6 years ago
Ayke van Laethem	a475233f36	Support recursive types	6 years ago
Ayke van Laethem	574c7ec047	Refactor: Use our own types as much as possible from the analysis Previously, mostly the types from the ssa package were used directly with the types from analysis.go as an overlay. This commit uses these types everywhere and renames a few things here and there to make things clearer.	6 years ago

13 Commits (072ef603fe15088b1d1fd9b4b6c43aa80746d927)