diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2022-02-28 17:20:04 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2022-02-28 17:20:04 +0100 |
commit | 916f120316108f1db9537eccb5151e7b59f82a1f (patch) | |
tree | f82ef5994c539de30a88f71694af347c1154e93e | |
parent | 2867dee21f6fb696db554679d8535306c7a9d4ea (diff) | |
download | compcert-kvx-916f120316108f1db9537eccb5151e7b59f82a1f.tar.gz compcert-kvx-916f120316108f1db9537eccb5151e7b59f82a1f.zip |
new expansion example
-rw-r--r-- | test/gourdinl/postpass_exp.c | 12 |
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]; } |