Lines Matching defs:join
356 ;; join upper and lower half of a double word, yielding a 128 bit number
357 (defun join (hi lo)
423 (mod (join hi lo) (p1))))
434 (mod (join hi lo) (p2))))
445 (mod (join hi lo) (p3))))
471 (< (join hi lo) (expt 2 96))
489 (< (join hi lo) (expt 2 98))
498 (< (join hi lo) (expt 2 69))
516 (< (join hi lo) (expt 2 104))
525 (< (join hi lo) (expt 2 81))