From bf4053fdf98c906f1e079ae0332cfaee35b8d071 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 30 Jan 2023 21:36:20 +0100
Subject: Align on halfwords instead of double words; use data/text boundary to
 distinguish hnfs and thunks

---
 snug-clean/src/MIPS/MIPS32.dcl | 1 +
 snug-clean/src/MIPS/MIPS32.icl | 1 +
 2 files changed, 2 insertions(+)

(limited to 'snug-clean/src/MIPS')

diff --git a/snug-clean/src/MIPS/MIPS32.dcl b/snug-clean/src/MIPS/MIPS32.dcl
index 4789507..a2c85dc 100644
--- a/snug-clean/src/MIPS/MIPS32.dcl
+++ b/snug-clean/src/MIPS/MIPS32.dcl
@@ -7,6 +7,7 @@ from StdOverloaded import class toString
 	| Align !Int
 	| Label !Label
 	| Instr !Instruction
+	| RawByte !Int
 	| RawWord !Int
 	| RawAscii !String
 
diff --git a/snug-clean/src/MIPS/MIPS32.icl b/snug-clean/src/MIPS/MIPS32.icl
index a124007..6e602be 100644
--- a/snug-clean/src/MIPS/MIPS32.icl
+++ b/snug-clean/src/MIPS/MIPS32.icl
@@ -10,6 +10,7 @@ where
 	toString (Align i) = "\t.align\t" +++ toString i
 	toString (Label l) = l +++ ":"
 	toString (Instr i) = "\t" +++ toString i
+	toString (RawByte i) = "\t.byte\t" +++ toString i
 	toString (RawWord i) = "\t.word\t" +++ toString i
 	toString (RawAscii s) = concat3 "\t.ascii\t\"" s "\"" // TODO: escaping
 
-- 
cgit v1.2.3