aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/regalloc
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-02 21:15:10 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-05-02 21:15:10 +0200
commite967c0669d17f9a04a301d2f600c4b55a0618fc7 (patch)
treec0667bb816a59ad4f1bc5a91fe1076612855916f /test/monniaux/regalloc
parentec84544fb9f842caf98ca61669a8fb3024504ae2 (diff)
downloadcompcert-kvx-e967c0669d17f9a04a301d2f600c4b55a0618fc7.tar.gz
compcert-kvx-e967c0669d17f9a04a301d2f600c4b55a0618fc7.zip
example of spill peephole
Diffstat (limited to 'test/monniaux/regalloc')
-rw-r--r--test/monniaux/regalloc/bigspill.c21
1 files changed, 21 insertions, 0 deletions
diff --git a/test/monniaux/regalloc/bigspill.c b/test/monniaux/regalloc/bigspill.c
new file mode 100644
index 00000000..6191e018
--- /dev/null
+++ b/test/monniaux/regalloc/bigspill.c
@@ -0,0 +1,21 @@
+extern void callee(void);
+
+void bigspill(int *t) {
+ int t0 = t[0];
+ int t1 = t[1];
+ int t2 = t[2];
+ int t3 = t[3];
+ int t4 = t[4];
+ int t5 = t[5];
+ int t6 = t[6];
+ int t7 = t[7];
+ callee();
+ t[0] = t0;
+ t[1] = t1;
+ t[2] = t2;
+ t[3] = t3;
+ t[4] = t4;
+ t[5] = t5;
+ t[6] = t6;
+ t[7] = t7;
+}