diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-16 03:58:31 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-16 23:00:06 +0800 |
| commit | fbbfc73099d16057cfad98668dafb50ce3844719 (patch) | |
| tree | 225f6a90f3e7fb7dd4b05f453a900e9d6dd32528 /validation/optim/fpcast-nop.c | |
| parent | 11b1a83b196741f0544dd5938b187bc32540c931 (diff) | |
| download | sparse-dev-fbbfc73099d16057cfad98668dafb50ce3844719.tar.gz | |
simplify float-to-float casts that doesn't change size
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'validation/optim/fpcast-nop.c')
| -rw-r--r-- | validation/optim/fpcast-nop.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/validation/optim/fpcast-nop.c b/validation/optim/fpcast-nop.c new file mode 100644 index 00000000..c2e7ba87 --- /dev/null +++ b/validation/optim/fpcast-nop.c @@ -0,0 +1,15 @@ +static float foof( float a) { return ( float) a; } +static double food(double a) { return (double) a; } +static long double fool(long double a) { return (long double) a; } + +/* + * check-name: fpcast-nop + * check-description: + * Verify that unneeded casts between same-type + * floats are also optimized away. + * + * check-command: test-linearize $file + * check-output-ignore + * + * check-output-excludes: fpcast\\. + */ |