diff options
| author | Magnus Lång <[email protected]> | 2017-04-09 13:27:51 +0200 |
|---|---|---|
| committer | Magnus Lång <[email protected]> | 2017-11-05 19:07:07 +0100 |
| commit | 354f6d1c29ecaabab8a5aa3f1c95a4188a0aa542 (patch) | |
| tree | 6e193c79976cb6e2c4e7121e39f790a0e234b7b1 /lib/hipe/rtl | |
| parent | d71a2715c181f4659251723575eea79ee531729a (diff) | |
| download | otp-354f6d1c29ecaabab8a5aa3f1c95a4188a0aa542.tar.gz otp-354f6d1c29ecaabab8a5aa3f1c95a4188a0aa542.tar.bz2 otp-354f6d1c29ecaabab8a5aa3f1c95a4188a0aa542.zip | |
HiPE: Make is_divisible a primop
Since gcunsafe values are live over is_divisible calls (although only
the happy path, which never GCd), it should be a primop so there cannot
be any GCs.
Diffstat (limited to 'lib/hipe/rtl')
| -rw-r--r-- | lib/hipe/rtl/hipe_rtl_binary_construct.erl | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/lib/hipe/rtl/hipe_rtl_binary_construct.erl b/lib/hipe/rtl/hipe_rtl_binary_construct.erl index bc215e3abe..bc29e1d081 100644 --- a/lib/hipe/rtl/hipe_rtl_binary_construct.erl +++ b/lib/hipe/rtl/hipe_rtl_binary_construct.erl @@ -1210,6 +1210,12 @@ is_divisible(Dividend, Divisor, SuccLbl, FailLbl) -> [hipe_rtl:mk_branch(Dividend, 'and', Mask, eq, SuccLbl, FailLbl, 0.99)]; false -> %% We need division, fall back to a primop - [hipe_rtl:mk_call([], is_divisible, [Dividend, hipe_rtl:mk_imm(Divisor)], - SuccLbl, FailLbl, not_remote)] + [Tmp] = create_regs(1), + RetLbl = hipe_rtl:mk_new_label(), + [hipe_rtl:mk_call([Tmp], is_divisible, + [Dividend, hipe_rtl:mk_imm(Divisor)], + hipe_rtl:label_name(RetLbl), [], not_remote), + RetLbl, + hipe_rtl:mk_branch(Tmp, ne, hipe_rtl:mk_imm(0), + SuccLbl, FailLbl, 0.99)] end. |