From 2adf0532a4d3ca144ea454dc5bbbfbfaf85c1145 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 1 Dec 2016 22:45:29 +0100
Subject: load-offsets log

---
 log.md | 20 ++++++++++++++++----
 1 file changed, 16 insertions(+), 4 deletions(-)

diff --git a/log.md b/log.md
index 2a65199..a8de4f3 100644
--- a/log.md
+++ b/log.md
@@ -588,16 +588,28 @@ Ideally, we would just rewrite these bits from
 
 ```armasm
 	cmp	r12,r14
-	bne	selector_m_error
+	bne	selector__m__error
 ```
 
 to
 
 ```armasm
-	cmp r12,r14
+	cmp	r12,r14
 	beq	a_bit_further
-	b	selector_m_error
+	b	selector__m__error @ not conditional, so no problem
 a_bit_further:
 ```
 
-Should check with John.
+Should check with John about this. For now, the generated code is (cg
+`306d8d6`):
+
+```armasm
+	cmp	r12,r14
+	mov	r12,=selector__m__error
+	it	ne
+	bxne	selector__m__error
+```
+
+After all this, the compiler uses 9979032 bytes, or 5026236 after `strip
+--strip-all`.  For ARM, this is 5345608 (after `strip --strip-all`). Now we
+need to look at register optimisations.
-- 
cgit v1.2.3