| ... |
... |
@@ -674,6 +674,18 @@ |
|
674
|
674
|
(kernel:double-double-hi b)
|
|
675
|
675
|
(kernel:double-double-lo b)))
|
|
676
|
676
|
|
|
|
677
|
+(deftransform = ((a b) (vm::double-double-float double-float) *)
|
|
|
678
|
+ `(dd= (kernel:double-double-hi a)
|
|
|
679
|
+ (kernel:double-double-lo a)
|
|
|
680
|
+ b
|
|
|
681
|
+ 0d0))
|
|
|
682
|
+
|
|
|
683
|
+(deftransform = ((a b) (double-float vm::double-double-float) *)
|
|
|
684
|
+ `(dd= a
|
|
|
685
|
+ 0d0
|
|
|
686
|
+ (kernel:double-double-hi b)
|
|
|
687
|
+ (kernel:double-double-lo b)))
|
|
|
688
|
+
|
|
677
|
689
|
|
|
678
|
690
|
(deftransform < ((a b) (vm::double-double-float vm::double-double-float) *)
|
|
679
|
691
|
`(dd< (kernel:double-double-hi a)
|
| ... |
... |
@@ -681,10 +693,34 @@ |
|
681
|
693
|
(kernel:double-double-hi b)
|
|
682
|
694
|
(kernel:double-double-lo b)))
|
|
683
|
695
|
|
|
|
696
|
+(deftransform < ((a b) (vm::double-double-float double-float) *)
|
|
|
697
|
+ `(dd< (kernel:double-double-hi a)
|
|
|
698
|
+ (kernel:double-double-lo a)
|
|
|
699
|
+ b
|
|
|
700
|
+ 0d0))
|
|
|
701
|
+
|
|
|
702
|
+(deftransform < ((a b) (double-float vm::double-double-float) *)
|
|
|
703
|
+ `(dd< a
|
|
|
704
|
+ 0d0
|
|
|
705
|
+ (kernel:double-double-hi b)
|
|
|
706
|
+ (kernel:double-double-lo b)))
|
|
|
707
|
+
|
|
684
|
708
|
|
|
685
|
709
|
(deftransform > ((a b) (vm::double-double-float vm::double-double-float) *)
|
|
686
|
710
|
`(dd> (kernel:double-double-hi a)
|
|
687
|
711
|
(kernel:double-double-lo a)
|
|
688
|
712
|
(kernel:double-double-hi b)
|
|
689
|
713
|
(kernel:double-double-lo b)))
|
|
|
714
|
+
|
|
|
715
|
+(deftransform > ((a b) (vm::double-double-float double-float) *)
|
|
|
716
|
+ `(dd> (kernel:double-double-hi a)
|
|
|
717
|
+ (kernel:double-double-lo a)
|
|
|
718
|
+ b
|
|
|
719
|
+ 0d0))
|
|
|
720
|
+
|
|
|
721
|
+(deftransform > ((a b) (double-float vm::double-double-float) *)
|
|
|
722
|
+ `(dd> a
|
|
|
723
|
+ 0d0
|
|
|
724
|
+ (kernel:double-double-hi b)
|
|
|
725
|
+ (kernel:double-double-lo b)))
|
|
690
|
726
|
) ; end progn |