aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMagnus Lång <[email protected]>2016-06-10 15:02:41 +0200
committerMagnus Lång <[email protected]>2016-09-02 15:59:16 +0200
commit228b87812c99d03ed6a5d414f3ffd3d9fc4dc6c6 (patch)
treea63ced3ac5bb62e674db150f4896ff8ca1507998
parent2ab941a282f56431e1ebc3713a8853c0db495c29 (diff)
downloadotp-228b87812c99d03ed6a5d414f3ffd3d9fc4dc6c6.tar.gz
otp-228b87812c99d03ed6a5d414f3ffd3d9fc4dc6c6.tar.bz2
otp-228b87812c99d03ed6a5d414f3ffd3d9fc4dc6c6.zip
hipe_x86: Extra sanity assertions
-rw-r--r--lib/hipe/x86/hipe_x86_ra_postconditions.erl10
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/hipe/x86/hipe_x86_ra_postconditions.erl b/lib/hipe/x86/hipe_x86_ra_postconditions.erl
index c73d029b9b..c245fb86b6 100644
--- a/lib/hipe/x86/hipe_x86_ra_postconditions.erl
+++ b/lib/hipe/x86/hipe_x86_ra_postconditions.erl
@@ -441,14 +441,14 @@ clone(Dst, Strategy) ->
end,
spill_temp(Type, Strategy).
-spill_temp0(Type, 'normal') ->
+spill_temp0(Type, 'normal') when Type =/= double ->
hipe_x86:mk_new_temp(Type);
-spill_temp0(Type, 'linearscan') ->
+spill_temp0(Type, 'linearscan') when Type =/= double ->
hipe_x86:mk_temp(?HIPE_X86_REGISTERS:temp0(), Type).
-spill_temp(Type, 'normal') ->
+spill_temp(Type, 'normal') when Type =/= double ->
hipe_x86:mk_new_temp(Type);
-spill_temp(Type, 'linearscan') ->
+spill_temp(Type, 'linearscan') when Type =/= double ->
hipe_x86:mk_temp(?HIPE_X86_REGISTERS:temp1(), Type).
%%% Make a certain reg into a clone of Dst
@@ -460,6 +460,6 @@ clone2(Dst, RegOpt) ->
#x86_temp{} -> hipe_x86:temp_type(Dst)
end,
case RegOpt of
- [] -> hipe_x86:mk_new_temp(Type);
+ [] when Type =/= double -> hipe_x86:mk_new_temp(Type);
Reg -> hipe_x86:mk_temp(Reg, Type)
end.