1.0.19.16: derive the type of (AREF (THE STRING X) Y) as CHARACTER
[sbcl.git] / src / compiler / hppa / pred.lisp
1 (in-package "SB!VM")
2
3 \f
4 ;;;; The Branch VOP.
5
6 ;;; The unconditional branch, emitted when we can't drop through to the desired
7 ;;; destination.  Dest is the continuation we transfer control to.
8 ;;;
9 (define-vop (branch)
10   (:info dest)
11   (:generator 5
12     (inst b dest :nullify t)))
13
14 \f
15 ;;;; Conditional VOPs:
16
17 (define-vop (if-eq)
18   (:args (x :scs (any-reg descriptor-reg zero null))
19          (y :scs (any-reg descriptor-reg zero null)))
20   (:conditional)
21   (:info target not-p)
22   (:policy :fast-safe)
23   (:translate eq)
24   (:generator 3
25     (inst bc := not-p x y target)))