66d9169e59
example/1227 exposes the sx fn `sx_triple` to C under the symbol `triple_c` via `export "triple_c"`; the companion C calls `triple_c` by that name. RED: the define path emits the fn under its sx name (`sx_triple`) and ignores the parsed `extern_name`, so the C reference to `triple_c` is undefined at AOT link. The next commit consumes the rename on the define path (gap iii) and greens it.
24 lines
801 B
Plaintext
24 lines
801 B
Plaintext
// export with a "csym" rename (FFI-linkage stream, Phase 2.2): the sx name
|
|
// `sx_triple` is exposed to C under the symbol `triple_c` via the optional
|
|
// symbol-name override after `export` — the define-direction mirror of
|
|
// `extern "csym"` (1224). The companion C calls `triple_c` by that name; sx
|
|
// `main` drives it via `call_triple`. Runs in AOT mode (see the `.aot`
|
|
// marker) because a C->sx-by-name call cannot link against a JIT-resident
|
|
// symbol.
|
|
#import "modules/std.sx";
|
|
|
|
#import c {
|
|
#include "1227-ffi-export-fn-rename.h";
|
|
#source "1227-ffi-export-fn-rename.c";
|
|
};
|
|
|
|
// sx-defined, exported to C under the C symbol `triple_c`.
|
|
sx_triple :: (n: i32) -> i32 export "triple_c" {
|
|
return n * 3;
|
|
}
|
|
|
|
main :: () -> i32 {
|
|
print("call_triple(7) = {}\n", call_triple(7));
|
|
0
|
|
}
|