diff options
| author | Magnus Lång <[email protected]> | 2016-06-10 15:02:41 +0200 |
|---|---|---|
| committer | Magnus Lång <[email protected]> | 2016-09-02 15:59:16 +0200 |
| commit | 228b87812c99d03ed6a5d414f3ffd3d9fc4dc6c6 (patch) | |
| tree | a63ced3ac5bb62e674db150f4896ff8ca1507998 /lib/hipe | |
| parent | 2ab941a282f56431e1ebc3713a8853c0db495c29 (diff) | |
| download | otp-228b87812c99d03ed6a5d414f3ffd3d9fc4dc6c6.tar.gz otp-228b87812c99d03ed6a5d414f3ffd3d9fc4dc6c6.tar.bz2 otp-228b87812c99d03ed6a5d414f3ffd3d9fc4dc6c6.zip | |
hipe_x86: Extra sanity assertions
Diffstat (limited to 'lib/hipe')
| -rw-r--r-- | lib/hipe/x86/hipe_x86_ra_postconditions.erl | 10 |
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. |