blob: df1260b455041232412afe16b39cc96eac503eab [file] [log] [blame]
David Tolnay415f2322021-02-17 15:48:13 -08001// Mangled symbol arrangements:
2//
3// (a) One-off internal symbol.
4// pattern: {CXXBRIDGE} $ {NAME}
5// examples:
6// - cxxbridge1$exception
7// defining characteristics:
8// - 2 segments
9// - starts with cxxbridge
10//
11// (b) Behavior on a builtin binding without generic parameter.
12// pattern: {CXXBRIDGE} $ {TYPE} $ {NAME}
13// examples:
14// - cxxbridge1$string$len
15// defining characteristics:
16// - 3 segments
17// - starts with cxxbridge
18//
19// (c) Behavior on a builtin binding with generic parameter.
20// pattern: {CXXBRIDGE} $ {TYPE} $ {PARAM...} $ {NAME}
21// examples:
22// - cxxbridge1$box$org$rust$Struct$alloc
23// - cxxbridge1$unique_ptr$std$vector$u8$drop
24// defining characteristics:
25// - 4+ segments
26// - starts with cxxbridge
27//
28// (d) User-defined extern function.
29// pattern: {NAMESPACE...} $ {CXXBRIDGE} $ {NAME}
30// examples:
31// - cxxbridge1$new_client
32// - org$rust$cxxbridge1$new_client
33// defining characteristics:
34// - cxxbridge is second from end
35// FIXME: conflict with (a) if they collide with one of our one-off symbol names in the global namespace
36//
37// (e) User-defined extern member function.
38// pattern: {NAMESPACE...} $ {CXXBRIDGE} $ {TYPE} $ {NAME}
39// examples:
40// - org$cxxbridge1$Struct$get
41// defining characteristics:
42// - cxxbridge is third from end
43// FIXME: conflict with (b) if e.g. user binds a type in global namespace that collides with our builtin type names
44//
45// (f) Operator overload.
46// pattern: {NAMESPACE...} $ {CXXBRIDGE} $ {TYPE} $ operator $ {NAME}
47// examples:
48// - org$rust$cxxbridge1$Struct$operator$eq
49// defining characteristics:
50// - second segment from end is `operator` (not possible in type or namespace names)
51//
52// (g) Closure trampoline.
53// pattern: {NAMESPACE...} $ {CXXBRIDGE} $ {TYPE?} $ {NAME} $ {ARGUMENT} $ {DIRECTION}
54// examples:
55// - org$rust$cxxbridge1$Struct$invoke$f$0
56// defining characteristics:
57// - last symbol is `0` (C half) or `1` (Rust half) which are not legal identifiers on their own
58
David Tolnay891061b2020-04-19 22:42:33 -070059use crate::syntax::symbol::{self, Symbol};
David Tolnayb960ed22020-11-27 14:34:30 -080060use crate::syntax::{ExternFn, Pair, Types};
David Tolnay5ea922a2020-04-19 21:58:06 -070061
David Tolnay0f0162f2020-11-16 23:43:37 -080062const CXXBRIDGE: &str = "cxxbridge1";
David Tolnay5ea922a2020-04-19 21:58:06 -070063
64macro_rules! join {
David Tolnayad3db802020-11-27 14:45:49 -080065 ($($segment:expr),+ $(,)?) => {
66 symbol::join(&[$(&$segment),+])
David Tolnay5ea922a2020-04-19 21:58:06 -070067 };
68}
David Tolnay3caa50a2020-04-19 21:25:34 -070069
Adrian Taylorc8713432020-10-21 18:20:55 -070070pub fn extern_fn(efn: &ExternFn, types: &Types) -> Symbol {
David Tolnay5ea922a2020-04-19 21:58:06 -070071 match &efn.receiver {
Adrian Taylorc8713432020-10-21 18:20:55 -070072 Some(receiver) => {
73 let receiver_ident = types.resolve(&receiver.ty);
74 join!(
David Tolnay17a934c2020-11-02 00:40:04 -080075 efn.name.namespace,
Adrian Taylorc8713432020-10-21 18:20:55 -070076 CXXBRIDGE,
David Tolnay1e5fe232021-01-01 18:11:40 -080077 receiver_ident.name.cxx,
David Tolnayad3db802020-11-27 14:45:49 -080078 efn.name.rust,
Adrian Taylorc8713432020-10-21 18:20:55 -070079 )
80 }
David Tolnay17a934c2020-11-02 00:40:04 -080081 None => join!(efn.name.namespace, CXXBRIDGE, efn.name.rust),
David Tolnay5ea922a2020-04-19 21:58:06 -070082 }
David Tolnay891061b2020-04-19 22:42:33 -070083}
84
David Tolnayb960ed22020-11-27 14:34:30 -080085pub fn operator(receiver: &Pair, operator: &'static str) -> Symbol {
David Tolnay7da38202020-11-27 17:36:16 -080086 join!(
87 receiver.namespace,
88 CXXBRIDGE,
89 receiver.cxx,
90 "operator",
91 operator,
92 )
David Tolnayb960ed22020-11-27 14:34:30 -080093}
94
David Tolnay891061b2020-04-19 22:42:33 -070095// The C half of a function pointer trampoline.
David Tolnay84ed6ad2021-01-01 15:30:14 -080096pub fn c_trampoline(efn: &ExternFn, var: &Pair, types: &Types) -> Symbol {
97 join!(extern_fn(efn, types), var.rust, 0)
David Tolnay891061b2020-04-19 22:42:33 -070098}
99
100// The Rust half of a function pointer trampoline.
David Tolnay84ed6ad2021-01-01 15:30:14 -0800101pub fn r_trampoline(efn: &ExternFn, var: &Pair, types: &Types) -> Symbol {
102 join!(extern_fn(efn, types), var.rust, 1)
David Tolnay3caa50a2020-04-19 21:25:34 -0700103}