From 45cf4cdcf4ce0dabf4d2c2d8d6cf8a9021b02891 Mon Sep 17 00:00:00 2001 From: sewardj Date: Thu, 13 Dec 2001 10:47:28 +0000 Subject: [PATCH] [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. --- ghc/compiler/prelude/primops.txt.pp | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) 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# -- 1.7.10.4