aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/kill-casts.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-08-14 15:05:24 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-06-23 07:46:40 +0200
commit52856c815a191b73530557133bd44ec478f3fece (patch)
tree453cf39d9723ab4435b4d7b871317b502d4e8058 /validation/optim/kill-casts.c
parent55cac5336b14524ebc371bcee006e2b497d84c5f (diff)
downloadsparse-dev-52856c815a191b73530557133bd44ec478f3fece.tar.gz
cast: specialize floats to integer conversion
Currently, casts from floats to integers are processed like integers (or any other type) to integers. This is simple but rather unconvenient as it correspond to different operations that obeys to different rules and which later need extra checks. Change this by directly using specific instructions: - FCVTU for floats to unsigned integers - FCVTS for floats to signed integers Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/kill-casts.c')
-rw-r--r--validation/optim/kill-casts.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/validation/optim/kill-casts.c b/validation/optim/kill-casts.c
index cf52f246..b79335ab 100644
--- a/validation/optim/kill-casts.c
+++ b/validation/optim/kill-casts.c
@@ -19,4 +19,5 @@ void foo(struct s *x)
*
* check-output-ignore
* check-output-excludes: cast\\.
+ * check-output-excludes: fcvt[us]\\.
*/