diff options
| author | Kostis Sagonas <[email protected]> | 2010-11-09 14:47:30 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2010-11-22 12:01:26 +0100 |
| commit | 6083a1a9e553eac8a0b33697964fadfd17d302ca (patch) | |
| tree | aa8ba675e51982c4328c9605d25aaa65fe08bbb6 /lib/hipe/rtl/hipe_rtl.erl | |
| parent | 76378bb4a1a89d08b41d6f3df0edc6c26160bef7 (diff) | |
| download | otp-6083a1a9e553eac8a0b33697964fadfd17d302ca.tar.gz otp-6083a1a9e553eac8a0b33697964fadfd17d302ca.tar.bz2 otp-6083a1a9e553eac8a0b33697964fadfd17d302ca.zip | |
hipe: Update types and specs
Diffstat (limited to 'lib/hipe/rtl/hipe_rtl.erl')
| -rw-r--r-- | lib/hipe/rtl/hipe_rtl.erl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/hipe/rtl/hipe_rtl.erl b/lib/hipe/rtl/hipe_rtl.erl index ef06b2abf8..d93f423f0c 100644 --- a/lib/hipe/rtl/hipe_rtl.erl +++ b/lib/hipe/rtl/hipe_rtl.erl @@ -354,6 +354,8 @@ phi_arglist_update/2, phi_redirect_pred/3]). +-export_type([alub_cond/0]). + %% %% RTL %% @@ -590,6 +592,9 @@ branch_pred(#branch{p=P}) -> P. %% alub %% +-type alub_cond() :: 'eq' | 'ne' | 'ge' | 'geu' | 'gt' | 'gtu' | 'le' + | 'leu' | 'lt' | 'ltu' | 'overflow' | 'not_overflow'. + mk_alub(Dst, Src1, Op, Src2, Cond, True, False) -> mk_alub(Dst, Src1, Op, Src2, Cond, True, False, 0.5). mk_alub(Dst, Src1, Op, Src2, Cond, True, False, P) -> |