From: sewardj <unknown>
Date: Thu, 13 Dec 2001 10:47:28 +0000 (+0000)
Subject: [project @ 2001-12-13 10:47:28 by sewardj]
X-Git-Tag: Approximately_9120_patches~392
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=45cf4cdcf4ce0dabf4d2c2d8d6cf8a9021b02891;p=ghc-hetmet.git

[project @ 2001-12-13 10:47:28 by sewardj]
Documentation-only change: say that shift ops have undefined results
for shift amounts outside the range 0 to word size - 1 inclusive.
---

diff --git a/ghc/compiler/prelude/primops.txt.pp b/ghc/compiler/prelude/primops.txt.pp
index 8228ebb..2bdd64c 100644
--- a/ghc/compiler/prelude/primops.txt.pp
+++ b/ghc/compiler/prelude/primops.txt.pp
@@ -1,5 +1,5 @@
 -----------------------------------------------------------------------
--- $Id: primops.txt.pp,v 1.12 2001/12/10 14:07:30 simonmar Exp $
+-- $Id: primops.txt.pp,v 1.13 2001/12/13 10:47:28 sewardj Exp $
 --
 -- Primitive Operations
 --
@@ -227,14 +227,14 @@ primop   Int2IntegerOp    "int2Integer#"
    with out_of_line = True
 
 primop   ISllOp   "uncheckedIShiftL#" GenPrimOp  Int# -> Int# -> Int#
-	 {Shift left.  Result undefined if shift amount equals 
-          or exceeds word size.} 
+	 {Shift left.  Result undefined if shift amount is not
+          in the range 0 to word size - 1 inclusive.}
 primop   ISraOp   "uncheckedIShiftRA#" GenPrimOp Int# -> Int# -> Int#
-	 {Shift right arithmetic.  Result undefined if shift amount equals 
-          or exceeds word size.} 
+	 {Shift right arithmetic.  Result undefined if shift amount is not
+          in the range 0 to word size - 1 inclusive.}
 primop   ISrlOp   "uncheckedIShiftRL#" GenPrimOp Int# -> Int# -> Int#
-	 {Shift right logical.  Result undefined if shift amount equals 
-          or exceeds word size.} 
+	 {Shift right logical.  Result undefined if shift amount is not
+          in the range 0 to word size - 1 inclusive.}
 
 ------------------------------------------------------------------------
 section "Word#"
@@ -267,11 +267,11 @@ primop   XorOp   "xor#"   Dyadic   Word# -> Word# -> Word#
 primop   NotOp   "not#"   Monadic   Word# -> Word#
 
 primop   SllOp   "uncheckedShiftL#"   GenPrimOp   Word# -> Int# -> Word#
-	 {Shift left logical.   Result undefined if shift amount equals 
-          or exceeds word size.}
+	 {Shift left logical.   Result undefined if shift amount is not
+          in the range 0 to word size - 1 inclusive.}
 primop   SrlOp   "uncheckedShiftRL#"   GenPrimOp   Word# -> Int# -> Word#
-	 {Shift right logical.   Result undefined if shift amount equals 
-          or exceeds word size.}
+	 {Shift right logical.   Result undefined if shift  amount is not
+          in the range 0 to word size - 1 inclusive.}
 
 primop   Word2IntOp   "word2Int#"   GenPrimOp   Word# -> Int#