Pack (mostly) stack TNs according to lexical scope information
[sbcl.git] / src / compiler / sparc / pred.lisp
1 ;;;; the VM definition of predicate VOPs for the Sparc
2
3 ;;;; This software is part of the SBCL system. See the README file for
4 ;;;; more information.
5 ;;;;
6 ;;;; This software is derived from the CMU CL system, which was
7 ;;;; written at Carnegie Mellon University and released into the
8 ;;;; public domain. The software is in the public domain and is
9 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
10 ;;;; files for more information.
11
12 (in-package "SB!VM")
13 \f
14 ;;;; the Branch VOP.
15
16 ;;; The unconditional branch, emitted when we can't drop through to
17 ;;; the desired destination.  Dest is the continuation we transfer
18 ;;; control to.
19 (define-vop (branch)
20   (:info dest)
21   (:generator 5
22     (inst b dest)
23     (inst nop)))
24
25 \f
26 ;;;; Generic conditional VOPs
27
28 ;;; The generic conditional branch, emitted immediately after test
29 ;;; VOPs that only set flags.
30
31 (define-vop (branch-if)
32   (:info dest flags not-p)
33   (:ignore dest flags not-p)
34   (:generator 0
35      (error "BRANCH-IF not yet implemented")))
36
37 (defun convert-conditional-move-p (node dst-tn x-tn y-tn)
38   (declare (ignore node dst-tn x-tn y-tn))
39   nil)
40
41 \f
42 ;;;; conditional VOPs:
43
44 (define-vop (if-eq)
45   (:args (x :scs (any-reg descriptor-reg zero null))
46          (y :scs (any-reg descriptor-reg zero null)))
47   (:conditional)
48   (:info target not-p)
49   (:policy :fast-safe)
50   (:translate eq)
51   (:generator 3
52     (inst cmp x y)
53     (inst b (if not-p :ne :eq) target)
54     (inst nop)))
55