From 114623a84c8165d7bf2acc4ac1e912c2f69e2a7c Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Fri, 5 Jul 2019 23:19:34 -0700
Subject: qbe: Handle K&R function definition argument promotion

Parameters for K&R function definitions that are affected by default
argument promotion are passed as their promoted type, so need to be
converted back before storing into memory allocated for the parameter.
---
 test/kr-function-argument-promotion.c   | 10 ++++++++++
 test/kr-function-argument-promotion.qbe | 18 ++++++++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 test/kr-function-argument-promotion.c
 create mode 100644 test/kr-function-argument-promotion.qbe

(limited to 'test')

diff --git a/test/kr-function-argument-promotion.c b/test/kr-function-argument-promotion.c
new file mode 100644
index 0000000..7592da1
--- /dev/null
+++ b/test/kr-function-argument-promotion.c
@@ -0,0 +1,10 @@
+int f(c)
+	unsigned char c;
+{
+	return c;
+}
+
+int main(void)
+{
+	return f(0x100);
+}
diff --git a/test/kr-function-argument-promotion.qbe b/test/kr-function-argument-promotion.qbe
new file mode 100644
index 0000000..6d2f2b8
--- /dev/null
+++ b/test/kr-function-argument-promotion.qbe
@@ -0,0 +1,18 @@
+export
+function w $f(w %.1) {
+@start.1
+	%.2 =w extub %.1
+	%.3 =l alloc4 1
+	storeb %.2, %.3
+@body.2
+	%.4 =w loadub %.3
+	%.5 =w extub %.4
+	ret %.5
+}
+export
+function w $main() {
+@start.3
+@body.4
+	%.1 =w call $f(w 256)
+	ret %.1
+}
-- 
cgit v1.2.3