aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLéo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>2022-02-28 17:20:04 +0100
committerLéo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>2022-02-28 17:20:04 +0100
commit916f120316108f1db9537eccb5151e7b59f82a1f (patch)
treef82ef5994c539de30a88f71694af347c1154e93e
parent2867dee21f6fb696db554679d8535306c7a9d4ea (diff)
downloadcompcert-kvx-916f120316108f1db9537eccb5151e7b59f82a1f.tar.gz
compcert-kvx-916f120316108f1db9537eccb5151e7b59f82a1f.zip
new expansion example
-rw-r--r--test/gourdinl/postpass_exp.c12
1 files changed, 9 insertions, 3 deletions
diff --git a/test/gourdinl/postpass_exp.c b/test/gourdinl/postpass_exp.c
index 522ac2a6..bc234091 100644
--- a/test/gourdinl/postpass_exp.c
+++ b/test/gourdinl/postpass_exp.c
@@ -1,5 +1,11 @@
-int main(int x, int y) {
- int z = x << 32;
+long foo(int x, char y, long *t) {
+ int z = x / 4096;
+ y = x / 256;
+ t[0] = t[1] * t[2];
+ if (x + z < 7) {
+ if (y < 7)
+ return 421 + t[0];
+ }
y = y - z;
- return x + y;
+ return x + y - t[0];
}