X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Falpha%2Fpred.lisp;h=d08b417a78c5bfcd82f7d37c92cdd019356a6a14;hb=5745b5a5b2e3b967bf3876b4306f31b3c78495fa;hp=1b1528164a2989e460b036c0edead4c7f1156715;hpb=dfa55a883f94470267b626dae77ce7e7dfac3df6;p=sbcl.git diff --git a/src/compiler/alpha/pred.lisp b/src/compiler/alpha/pred.lisp index 1b15281..d08b417 100644 --- a/src/compiler/alpha/pred.lisp +++ b/src/compiler/alpha/pred.lisp @@ -1,40 +1,49 @@ -;;; -*- Package: ALPHA -*- -;;; -;;; ********************************************************************** -;;; This code was written as part of the CMU Common Lisp project at -;;; Carnegie Mellon University, and has been placed in the public domain. -;;; - -;;; -;;; ********************************************************************** -;;; -;;; This file contains the VM definition of predicate VOPs for the Alpha. -;;; -;;; Written by Rob MacLachlan -;;; -;;; Converted by Sean Hallgren. -;;; - -(in-package "SB!VM") +;;;; the VM definition of predicate VOPs for the Alpha +;;;; This software is part of the SBCL system. See the README file for +;;;; more information. +;;;; +;;;; This software is derived from the CMU CL system, which was +;;;; written at Carnegie Mellon University and released into the +;;;; public domain. The software is in the public domain and is +;;;; provided with absolutely no warranty. See the COPYING and CREDITS +;;;; files for more information. +(in-package "SB!VM") -;;;; The Branch VOP. +;;;; the Branch VOP -;;; The unconditional branch, emitted when we can't drop through to the desired -;;; destination. Dest is the continuation we transfer control to. -;;; +;;; The unconditional branch, emitted when we can't drop through to +;;; the desired destination. Dest is the continuation we transfer +;;; control to. (define-vop (branch) (:info dest) (:generator 5 (inst br zero-tn dest))) -;;;; Conditional VOPs: +;;;; Generic conditional VOPs + +;;; The generic conditional branch, emitted immediately after test +;;; VOPs that only set flags. + +(define-vop (branch-if) + (:info dest flags not-p) + (:ignore dest flags not-p) + (:generator 0 + (error "BRANCH-IF not yet implemented"))) + +(!def-vm-support-routine + convert-conditional-move-p (node dst-tn x-tn y-tn) + (declare (ignore node dst-tn x-tn y-tn)) + nil) + + +;;;; conditional VOPs (define-vop (if-eq) (:args (x :scs (any-reg descriptor-reg zero null)) - (y :scs (any-reg descriptor-reg zero null))) + (y :scs (any-reg descriptor-reg zero null))) (:conditional) (:temporary (:scs (non-descriptor-reg)) temp) (:info target not-p) @@ -43,5 +52,5 @@ (:generator 3 (inst cmpeq x y temp) (if not-p - (inst beq temp target) - (inst bne temp target)))) + (inst beq temp target) + (inst bne temp target))))