summary refs log tree commit diff
path: root/amd64
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin@c9x.me>2022-01-28 11:10:16 +0100
committerQuentin Carbonneaux <quentin@c9x.me>2022-01-28 11:10:34 +0100
commitf913cb0fb7f642d2c2636b3b7b9a47aafee71ef7 (patch)
tree3c0dc1e6f2c1c8ab2f8418f56affd05482304485 /amd64
parent8403dcb709fc013197a9f4af72e67d9ae0c99a03 (diff)
downloadroux-f913cb0fb7f642d2c2636b3b7b9a47aafee71ef7.tar.gz
amd64/isel: nits
Diffstat (limited to 'amd64')
-rw-r--r--amd64/isel.c52
1 files changed, 25 insertions, 27 deletions
diff --git a/amd64/isel.c b/amd64/isel.c
index 570bff6..4181e26 100644
--- a/amd64/isel.c
+++ b/amd64/isel.c
@@ -202,7 +202,7 @@ static void
 sel(Ins i, ANum *an, Fn *fn)
 {
 	Ref r0, r1, tmp[7];
-	int x, j, k, kc, swap;
+	int x, j, k, kc, sh, swap;
 	int64_t sz;
 	Ins *i0, *i1;
 
@@ -273,35 +273,33 @@ sel(Ins i, ANum *an, Fn *fn)
 		fixarg(&curi->arg[0], k, curi, fn);
 		break;
 	case Oultof:
-		/*
-		%mask =l and %arg.0, 1
-		%isbig =l shr %arg.0, 63
-		%divided =l shr %arg.0, %isbig
-		%or =l or %mask, %divided
-		%float =d sltof %or
-		%cast =l cast %float
-		%addend =l shl %isbig, 52
-		%sum =l add %cast, %addend
-		%result =d cast %sum
+		/* %mask =l and %arg.0, 1
+		   %isbig =l shr %arg.0, 63
+		   %divided =l shr %arg.0, %isbig
+		   %or =l or %mask, %divided
+		   %float =d sltof %or
+		   %cast =l cast %float
+		   %addend =l shl %isbig, 52
+		   %sum =l add %cast, %addend
+		   %result =d cast %sum
 		*/
 		r0 = newtmp("utof", k, fn);
 		if (k == Ks)
-			kc = Kw;
+			kc = Kw, sh = 23;
 		else
-			kc = Kl;
+			kc = Kl, sh = 52;
 		for (j=0; j<4; j++)
 			tmp[j] = newtmp("utof", Kl, fn);
 		for (; j<7; j++)
 			tmp[j] = newtmp("utof", kc, fn);
 		emit(Ocast, k, i.to, tmp[6], R);
 		emit(Oadd, kc, tmp[6], tmp[4], tmp[5]);
-		emit(Oshl, kc, tmp[5], tmp[1], getcon(k == Ks ? 23 : 52, fn));
+		emit(Oshl, kc, tmp[5], tmp[1], getcon(sh, fn));
 		emit(Ocast, kc, tmp[4], r0, R);
-
 		emit(Osltof, k, r0, tmp[3], R);
 		emit(Oor, Kl, tmp[3], tmp[0], tmp[2]);
 		emit(Oshr, Kl, tmp[2], i.arg[0], tmp[1]);
-		sel(*curi++, an, fn);
+		sel(*curi++, 0, fn);
 		emit(Oshr, Kl, tmp[1], i.arg[0], getcon(63, fn));
 		fixarg(&curi->arg[0], Kl, curi, fn);
 		emit(Oand, Kl, tmp[0], i.arg[0], getcon(1, fn));
@@ -309,30 +307,30 @@ sel(Ins i, ANum *an, Fn *fn)
 		break;
 	case Ostoui:
 		i.op = Ostosi;
-		r0 = newtmp("ftou", Ks, fn);
+		kc = Ks;
+		tmp[4] = getcon(0xdf000000, fn);
 		goto Oftoui;
 	case Odtoui:
 		i.op = Odtosi;
-		r0 = newtmp("ftou", Kd, fn);
+		kc = Kd;
+		tmp[4] = getcon(0xc3e0000000000000, fn);
 	Oftoui:
-		if (k == Kw) {
+		if (k == Kw)
 			goto Emit;
-		}
+		r0 = newtmp("ftou", kc, fn);
 		for (j=0; j<4; j++)
 			tmp[j] = newtmp("ftou", Kl, fn);
 		emit(Oor, Kl, i.to, tmp[0], tmp[3]);
 		emit(Oand, Kl, tmp[3], tmp[2], tmp[1]);
 		emit(i.op, Kl, tmp[2], r0, R);
-		if (i.op == Ostosi)
-			emit(Oadd, Ks, r0, getcon(0xdf000000, fn), i.arg[0]);
-		else
-			emit(Oadd, Kd, r0, getcon(0xc3e0000000000000, fn), i.arg[0]);
-		i1 = curi;
-		fixarg(&i1->arg[0], i.op == Ostosi ? Ks : Kd, i1, fn);
-		fixarg(&i1->arg[1], i.op == Ostosi ? Ks : Kd, i1, fn);
+		emit(Oadd, kc, r0, tmp[4], i.arg[0]);
+		i1 = curi; /* fixarg() can change curi */
+		fixarg(&i1->arg[0], kc, i1, fn);
+		fixarg(&i1->arg[1], kc, i1, fn);
 		emit(Osar, Kl, tmp[1], tmp[0], getcon(63, fn));
 		emit(i.op, Kl, tmp[0], i.arg[0], R);
 		fixarg(&curi->arg[0], Kl, curi, fn);
+		break;
 	case Onop:
 		break;
 	case Ostored: