mirror of
https://github.com/tinygo-org/tinygo.git
synced 2026-07-26 06:38:42 +00:00
Ayke van Laethem
fd625f7265
This only works on declarations, not definitions. This is intentional: it follows the upstream Go implemetation. However, we might want to loosen this requirement at some point: TinyGo sometimes stores pointers in memory mapped I/O knowing they won't actually escape, but the compiler doesn't know about this.
118 lines
2.4 KiB
Go
118 lines
2.4 KiB
Go
package main
|
|
|
|
import _ "unsafe"
|
|
|
|
// Creates an external global with name extern_global.
|
|
//
|
|
//go:extern extern_global
|
|
var externGlobal [0]byte
|
|
|
|
// Creates a
|
|
//
|
|
//go:align 32
|
|
var alignedGlobal [4]uint32
|
|
|
|
// Test conflicting pragmas (the last one counts).
|
|
//
|
|
//go:align 64
|
|
//go:align 16
|
|
var alignedGlobal16 [4]uint32
|
|
|
|
// Test exported functions.
|
|
//
|
|
//export extern_func
|
|
func externFunc() {
|
|
}
|
|
|
|
// Define a function in a different package using go:linkname.
|
|
//
|
|
//go:linkname withLinkageName1 somepkg.someFunction1
|
|
func withLinkageName1() {
|
|
}
|
|
|
|
// Import a function from a different package using go:linkname.
|
|
//
|
|
//go:linkname withLinkageName2 somepkg.someFunction2
|
|
func withLinkageName2()
|
|
|
|
// Function has an 'inline hint', similar to the inline keyword in C.
|
|
//
|
|
//go:inline
|
|
func inlineFunc() {
|
|
}
|
|
|
|
// Function should never be inlined, equivalent to GCC
|
|
// __attribute__((noinline)).
|
|
//
|
|
//go:noinline
|
|
func noinlineFunc() {
|
|
}
|
|
|
|
type Int interface {
|
|
int8 | int16
|
|
}
|
|
|
|
// Same for generic functions (but the compiler may miss the pragma due to it
|
|
// being generic).
|
|
//
|
|
//go:noinline
|
|
func noinlineGenericFunc[T Int]() {
|
|
}
|
|
|
|
func useGeneric() {
|
|
// Make sure the generic function above is instantiated.
|
|
noinlineGenericFunc[int8]()
|
|
}
|
|
|
|
// This function should have the specified section.
|
|
//
|
|
//go:section .special_function_section
|
|
func functionInSection() {
|
|
}
|
|
|
|
//export exportedFunctionInSection
|
|
//go:section .special_function_section
|
|
func exportedFunctionInSection() {
|
|
}
|
|
|
|
//go:wasmimport modulename import1
|
|
func declaredImport()
|
|
|
|
// Legacy way of importing a function.
|
|
//
|
|
//go:wasm-module foobar
|
|
//export imported
|
|
func foobarImport()
|
|
|
|
// The wasm-module pragma is not functional here, but it should be safe.
|
|
//
|
|
//go:wasm-module foobar
|
|
//export exported
|
|
func foobarExportModule() {
|
|
}
|
|
|
|
// This function should not: it's only a declaration and not a definition.
|
|
//
|
|
//go:section .special_function_section
|
|
func undefinedFunctionNotInSection()
|
|
|
|
//go:section .special_global_section
|
|
var globalInSection uint32
|
|
|
|
//go:section .special_global_section
|
|
//go:extern undefinedGlobalNotInSection
|
|
var undefinedGlobalNotInSection uint32
|
|
|
|
//go:align 1024
|
|
//go:section .global_section
|
|
var multipleGlobalPragmas uint32
|
|
|
|
//go:noescape
|
|
func doesNotEscapeParam(a *int, b []int, c chan int, d *[0]byte)
|
|
|
|
// The //go:noescape pragma only works on declarations, not definitions.
|
|
//
|
|
//go:noescape
|
|
func stillEscapes(a *int, b []int, c chan int, d *[0]byte) {
|
|
}
|