From 76c0d34858aa418f8fa814805cbfdcaa79cdbf2f Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Sat, 28 Nov 2015 00:20:29 -0500
Subject: start a plan for floating points

---
 lisc/fpintro.txt | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 lisc/fpintro.txt

(limited to 'lisc/fpintro.txt')

diff --git a/lisc/fpintro.txt b/lisc/fpintro.txt
new file mode 100644
index 0000000..b889136
--- /dev/null
+++ b/lisc/fpintro.txt
@@ -0,0 +1,17 @@
+Instructions classification:
+FP    : add, sub, mul, copy, par, arg
+Maybe : and, or, xor, cmp(6)
+Non FP: sdiv, udiv, srem, urem, store(4),
+        load(7), ext(7), alloc(5), parc, argc, call
+
+15 bits for operations  32768
+-1 bit for s,d          16384
+
+New conversion instructions:
+ - Bitcast conversion between fp and ints. cast
+ - Convert fp to/from int. convf convi (only signed at first, truncation)
+ - Convert single to/from double convs convd
+
+Summary:
+	Add bitcast, convf convi, convs convd
+	Add a 'floating point' bit to instructions
-- 
cgit 1.4.1