From a9d3e06a57b4a77012efd6e38d67063c914b71b4 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin@c9x.me>
Date: Sun, 2 Apr 2023 14:47:42 +0200
Subject: amd64_sysv: thread-local support in Oaddr

Thanks to Lassi Pulkkinen for
flagging the issue and pointing
me to Ulrich Drepper's extensive
doc [1].

[1] https://people.redhat.com/drepper/tls.pdf
---
 amd64/emit.c | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'amd64')

diff --git a/amd64/emit.c b/amd64/emit.c
index 9b8bb5d..7b2681e 100644
--- a/amd64/emit.c
+++ b/amd64/emit.c
@@ -372,6 +372,7 @@ emitins(Ins i, Fn *fn, FILE *f)
 	int64_t val;
 	int o, t0;
 	Ins ineg;
+	char *sym;
 
 	switch (i.op) {
 	default:
@@ -490,6 +491,22 @@ emitins(Ins i, Fn *fn, FILE *f)
 		 * should use movabsq when reading movq */
 		emitf("mov%k %0, %=", &i, fn, f);
 		break;
+	case Oaddr:
+		if (!T.apple
+		&& rtype(i.arg[0]) == RCon
+		&& fn->con[i.arg[0].val].sym.type == SThr) {
+			/* derive the symbol address from the TCB
+			 * address at offset 0 of %fs */
+			assert(isreg(i.to));
+			sym = str(fn->con[i.arg[0].val].sym.id);
+			emitf("movq %%fs:0, %=", &i, fn, f);
+			fprintf(f, "\tleaq %s%s@tpoff(%%%s), %%%s\n",
+				sym[0] == '"' ? "" : T.assym, sym,
+				regtoa(i.to.val, SLong),
+				regtoa(i.to.val, SLong));
+			break;
+		}
+		goto Table;
 	case Ocall:
 		/* calls simply have a weird syntax in AT&T
 		 * assembly... */
-- 
cgit 1.4.1