projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.8.8.10:
[sbcl.git]
/
src
/
compiler
/
sparc
/
float.lisp
diff --git
a/src/compiler/sparc/float.lisp
b/src/compiler/sparc/float.lisp
index
5ae9ef2
..
b96cecc
100644
(file)
--- a/
src/compiler/sparc/float.lisp
+++ b/
src/compiler/sparc/float.lisp
@@
-2396,14
+2396,14
@@
(defun %%min (x y)
(declare (type (or (unsigned-byte 32) (signed-byte 32)
single-float double-float) x y))
(defun %%min (x y)
(declare (type (or (unsigned-byte 32) (signed-byte 32)
single-float double-float) x y))
- (if (< x y)
+ (if (<= x y)
x y))
#+nil
(defun %%max (x y)
(declare (type (or (unsigned-byte 32) (signed-byte 32)
single-float double-float) x y))
x y))
#+nil
(defun %%max (x y)
(declare (type (or (unsigned-byte 32) (signed-byte 32)
single-float double-float) x y))
- (if (> x y)
+ (if (>= x y)
x y))
#+nil
(macrolet
x y))
#+nil
(macrolet
@@
-2538,11
+2538,11
@@
(lvar-type y)))))))
(defoptimizer (min derive-type) ((x y))
(lvar-type y)))))))
(defoptimizer (min derive-type) ((x y))
- (multiple-value-bind (definitely-< definitely->=)
- (ir1-transform-<-helper x y)
- (cond (definitely-<
+ (multiple-value-bind (definitely-> definitely-<=)
+ (ir1-transform-<-helper y x)
+ (cond (definitely-<=
(lvar-type x))
(lvar-type x))
- (definitely->=
+ (definitely->
(lvar-type y))
(t
(make-canonical-union-type (list (lvar-type x)
(lvar-type y))
(t
(make-canonical-union-type (list (lvar-type x)
@@
-2575,7
+2575,7
@@
(arg2 (gensym)))
`(let ((,arg1 x)
(,arg2 y))
(arg2 (gensym)))
`(let ((,arg1 x)
(,arg2 y))
- (if (> ,arg1 ,arg2)
+ (if (>= ,arg1 ,arg2)
,arg1 ,arg2)))))))
(deftransform min ((x y) (real real) *)
,arg1 ,arg2)))))))
(deftransform min ((x y) (real real) *)
@@
-2602,7
+2602,7
@@
(arg2 (gensym)))
`(let ((,arg1 x)
(,arg2 y))
(arg2 (gensym)))
`(let ((,arg1 x)
(,arg2 y))
- (if (< ,arg1 ,arg2)
+ (if (<= ,arg1 ,arg2)
,arg1 ,arg2)))))))
) ; PROGN
,arg1 ,arg2)))))))
) ; PROGN