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_arith.inc | |
| 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_arith.inc')
| -rw-r--r-- | lib/hipe/rtl/hipe_rtl_arith.inc | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/hipe/rtl/hipe_rtl_arith.inc b/lib/hipe/rtl/hipe_rtl_arith.inc index 31fedd927e..9e80fa5e13 100644 --- a/lib/hipe/rtl/hipe_rtl_arith.inc +++ b/lib/hipe/rtl/hipe_rtl_arith.inc @@ -119,7 +119,8 @@ eval_alu(Op, Arg1, Arg2) -> %% there are cases where we can evaluate a subset of the bits, but can %% not do a full eval-alub call (eg. a + 0 gives no carry) %% --spec eval_cond_bits(atom(), boolean(), boolean(), boolean(), boolean()) -> boolean(). +-spec eval_cond_bits(hipe_rtl:alub_cond(), boolean(), + boolean(), boolean(), boolean()) -> boolean(). eval_cond_bits(Cond, N, Z, V, C) -> case Cond of @@ -146,9 +147,7 @@ eval_cond_bits(Cond, N, Z, V, C) -> 'overflow' -> V; 'not_overflow' -> - not V; - _ -> - ?EXIT({'condition code not handled',Cond}) + not V end. eval_alub(Op, Cond, Arg1, Arg2) -> |