diff options
-rw-r--r-- | memops.c | 11 | ||||
-rw-r--r-- | validation/memops/type-punning-flt2int.c | 1 | ||||
-rw-r--r-- | validation/memops/type-punning-int2flt.c | 1 |
3 files changed, 11 insertions, 2 deletions
@@ -82,6 +82,15 @@ static int local_pseudo(pseudo_t pseudo) && !address_taken(pseudo); } +static bool compatible_loads(struct instruction *a, struct instruction *b) +{ + if (is_integral_type(a->type) && is_float_type(b->type)) + return false; + if (is_float_type(a->type) && is_integral_type(b->type)) + return false; + return true; +} + static void simplify_loads(struct basic_block *bb) { struct instruction *insn; @@ -114,6 +123,8 @@ static void simplify_loads(struct basic_block *bb) continue; goto next_load; } + if (!compatible_loads(insn, dom)) + goto next_load; /* Yeehaa! Found one! */ convert_load_instruction(insn, dom->target); goto next_load; diff --git a/validation/memops/type-punning-flt2int.c b/validation/memops/type-punning-flt2int.c index a76c6c1d..fadaf687 100644 --- a/validation/memops/type-punning-flt2int.c +++ b/validation/memops/type-punning-flt2int.c @@ -13,7 +13,6 @@ static int foo(void) * check-name: type-punning-float-to-int * check description: must not infer the int value from the float * check-command: test-linearize $file - * check-known-to-fail * * check-output-ignore * check-output-contains: load\\. diff --git a/validation/memops/type-punning-int2flt.c b/validation/memops/type-punning-int2flt.c index c05ce252..061b7423 100644 --- a/validation/memops/type-punning-int2flt.c +++ b/validation/memops/type-punning-int2flt.c @@ -13,7 +13,6 @@ static float foo(void) * check-name: type-punning-int-to-float * check description: must not infer the float value from the int * check-command: test-linearize $file - * check-known-to-fail * * check-output-ignore * check-output-contains: load\\. |