{-# LANGUAGE CPP #-}
{-# LANGUAGE BangPatterns, MagicHash, UnboxedTuples, MultiWayIf #-}
{-# OPTIONS_GHC -O2 -fno-warn-name-shadowing #-}
-- We always optimise this, otherwise performance of a non-optimised
-- compiler is severely affected. This module used to live in the `ghc`
-- package but has been moved to `ghc-boot` because the definition
-- of the package database (needed in both ghc and in ghc-pkg) lives in
-- `ghc-boot` and uses ShortText, which in turn depends on this module.

-- -----------------------------------------------------------------------------
--
-- (c) The University of Glasgow, 1997-2006
--
-- Character encodings
--
-- -----------------------------------------------------------------------------

module GHC.Utils.Encoding (
        -- * UTF-8
        module GHC.Utils.Encoding.UTF8,

        -- * Z-encoding
        UserString,
        EncodedString,
        zEncodeString,
        zDecodeString,

        -- * Base62-encoding
        toBase62,
        toBase62Padded
  ) where

import Prelude

import Foreign
import Data.Char
import qualified Data.Char as Char
import Numeric

import GHC.Utils.Encoding.UTF8

-- -----------------------------------------------------------------------------
-- Note [Z-Encoding]
-- ~~~~~~~~~~~~~~~~~

{-
This is the main name-encoding and decoding function.  It encodes any
string into a string that is acceptable as a C name.  This is done
right before we emit a symbol name into the compiled C or asm code.
Z-encoding of strings is cached in the FastString interface, so we
never encode the same string more than once.

The basic encoding scheme is this.

* Tuples (,,,) are coded as Z3T

* Alphabetic characters (upper and lower) and digits
        all translate to themselves;
        except 'Z', which translates to 'ZZ'
        and    'z', which translates to 'zz'
  We need both so that we can preserve the variable/tycon distinction

* Most other printable characters translate to 'zx' or 'Zx' for some
        alphabetic character x

* The others translate as 'znnnU' where 'nnn' is the decimal number
        of the character

        Before          After
        --------------------------
        Trak            Trak
        foo_wib         foozuwib
        >               zg
        >1              zg1
        foo#            foozh
        foo##           foozhzh
        foo##1          foozhzh1
        fooZ            fooZZ
        :+              ZCzp
        ()              Z0T     0-tuple
        (,,,,)          Z5T     5-tuple
        (# #)           Z1H     unboxed 1-tuple (note the space)
        (#,,,,#)        Z5H     unboxed 5-tuple
-}

type UserString = String        -- As the user typed it
type EncodedString = String     -- Encoded form


zEncodeString :: UserString -> EncodedString
zEncodeString :: UserString -> UserString
zEncodeString UserString
cs = case UserString -> Maybe UserString
maybe_tuple UserString
cs of
                Just UserString
n  -> UserString
n            -- Tuples go to Z2T etc
                Maybe UserString
Nothing -> UserString -> UserString
go UserString
cs
          where
                go :: UserString -> UserString
go []     = []
                go (Char
c:UserString
cs) = Char -> UserString
encode_digit_ch Char
c UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ UserString -> UserString
go' UserString
cs
                go' :: UserString -> UserString
go' []     = []
                go' (Char
c:UserString
cs) = Char -> UserString
encode_ch Char
c UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ UserString -> UserString
go' UserString
cs

unencodedChar :: Char -> Bool   -- True for chars that don't need encoding
unencodedChar :: Char -> Bool
unencodedChar Char
'Z' = Bool
False
unencodedChar Char
'z' = Bool
False
unencodedChar Char
c   =  Char
c Char -> Char -> Bool
forall a. Ord a => a -> a -> Bool
>= Char
'a' Bool -> Bool -> Bool
&& Char
c Char -> Char -> Bool
forall a. Ord a => a -> a -> Bool
<= Char
'z'
                  Bool -> Bool -> Bool
|| Char
c Char -> Char -> Bool
forall a. Ord a => a -> a -> Bool
>= Char
'A' Bool -> Bool -> Bool
&& Char
c Char -> Char -> Bool
forall a. Ord a => a -> a -> Bool
<= Char
'Z'
                  Bool -> Bool -> Bool
|| Char
c Char -> Char -> Bool
forall a. Ord a => a -> a -> Bool
>= Char
'0' Bool -> Bool -> Bool
&& Char
c Char -> Char -> Bool
forall a. Ord a => a -> a -> Bool
<= Char
'9'

-- If a digit is at the start of a symbol then we need to encode it.
-- Otherwise package names like 9pH-0.1 give linker errors.
encode_digit_ch :: Char -> EncodedString
encode_digit_ch :: Char -> UserString
encode_digit_ch Char
c | Char
c Char -> Char -> Bool
forall a. Ord a => a -> a -> Bool
>= Char
'0' Bool -> Bool -> Bool
&& Char
c Char -> Char -> Bool
forall a. Ord a => a -> a -> Bool
<= Char
'9' = Char -> UserString
encode_as_unicode_char Char
c
encode_digit_ch Char
c | Bool
otherwise            = Char -> UserString
encode_ch Char
c

encode_ch :: Char -> EncodedString
encode_ch :: Char -> UserString
encode_ch Char
c | Char -> Bool
unencodedChar Char
c = [Char
c]     -- Common case first

-- Constructors
encode_ch Char
'('  = UserString
"ZL"   -- Needed for things like (,), and (->)
encode_ch Char
')'  = UserString
"ZR"   -- For symmetry with (
encode_ch Char
'['  = UserString
"ZM"
encode_ch Char
']'  = UserString
"ZN"
encode_ch Char
':'  = UserString
"ZC"
encode_ch Char
'Z'  = UserString
"ZZ"

-- Variables
encode_ch Char
'z'  = UserString
"zz"
encode_ch Char
'&'  = UserString
"za"
encode_ch Char
'|'  = UserString
"zb"
encode_ch Char
'^'  = UserString
"zc"
encode_ch Char
'$'  = UserString
"zd"
encode_ch Char
'='  = UserString
"ze"
encode_ch Char
'>'  = UserString
"zg"
encode_ch Char
'#'  = UserString
"zh"
encode_ch Char
'.'  = UserString
"zi"
encode_ch Char
'<'  = UserString
"zl"
encode_ch Char
'-'  = UserString
"zm"
encode_ch Char
'!'  = UserString
"zn"
encode_ch Char
'+'  = UserString
"zp"
encode_ch Char
'\'' = UserString
"zq"
encode_ch Char
'\\' = UserString
"zr"
encode_ch Char
'/'  = UserString
"zs"
encode_ch Char
'*'  = UserString
"zt"
encode_ch Char
'_'  = UserString
"zu"
encode_ch Char
'%'  = UserString
"zv"
encode_ch Char
c    = Char -> UserString
encode_as_unicode_char Char
c

encode_as_unicode_char :: Char -> EncodedString
encode_as_unicode_char :: Char -> UserString
encode_as_unicode_char Char
c = Char
'z' Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: case UserString
hex_str of
  Char
hd : UserString
_
    | Char -> Bool
isDigit Char
hd -> UserString
hex_str
  UserString
_ -> Char
'0' Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: UserString
hex_str
  where hex_str :: UserString
hex_str = Int -> UserString -> UserString
forall a. Integral a => a -> UserString -> UserString
showHex (Char -> Int
ord Char
c) UserString
"U"
  -- ToDo: we could improve the encoding here in various ways.
  -- eg. strings of unicode characters come out as 'z1234Uz5678U', we
  -- could remove the 'U' in the middle (the 'z' works as a separator).

zDecodeString :: EncodedString -> UserString
zDecodeString :: UserString -> UserString
zDecodeString [] = []
zDecodeString (Char
'Z' : Char
d : UserString
rest)
  | Char -> Bool
isDigit Char
d = Char -> UserString -> UserString
decode_tuple   Char
d UserString
rest
  | Bool
otherwise = Char -> Char
decode_upper   Char
d Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: UserString -> UserString
zDecodeString UserString
rest
zDecodeString (Char
'z' : Char
d : UserString
rest)
  | Char -> Bool
isDigit Char
d = Char -> UserString -> UserString
decode_num_esc Char
d UserString
rest
  | Bool
otherwise = Char -> Char
decode_lower   Char
d Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: UserString -> UserString
zDecodeString UserString
rest
zDecodeString (Char
c   : UserString
rest) = Char
c Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: UserString -> UserString
zDecodeString UserString
rest

decode_upper, decode_lower :: Char -> Char

decode_upper :: Char -> Char
decode_upper Char
'L' = Char
'('
decode_upper Char
'R' = Char
')'
decode_upper Char
'M' = Char
'['
decode_upper Char
'N' = Char
']'
decode_upper Char
'C' = Char
':'
decode_upper Char
'Z' = Char
'Z'
decode_upper Char
ch  = {-pprTrace "decode_upper" (char ch)-} Char
ch

decode_lower :: Char -> Char
decode_lower Char
'z' = Char
'z'
decode_lower Char
'a' = Char
'&'
decode_lower Char
'b' = Char
'|'
decode_lower Char
'c' = Char
'^'
decode_lower Char
'd' = Char
'$'
decode_lower Char
'e' = Char
'='
decode_lower Char
'g' = Char
'>'
decode_lower Char
'h' = Char
'#'
decode_lower Char
'i' = Char
'.'
decode_lower Char
'l' = Char
'<'
decode_lower Char
'm' = Char
'-'
decode_lower Char
'n' = Char
'!'
decode_lower Char
'p' = Char
'+'
decode_lower Char
'q' = Char
'\''
decode_lower Char
'r' = Char
'\\'
decode_lower Char
's' = Char
'/'
decode_lower Char
't' = Char
'*'
decode_lower Char
'u' = Char
'_'
decode_lower Char
'v' = Char
'%'
decode_lower Char
ch  = {-pprTrace "decode_lower" (char ch)-} Char
ch

-- Characters not having a specific code are coded as z224U (in hex)
decode_num_esc :: Char -> EncodedString -> UserString
decode_num_esc :: Char -> UserString -> UserString
decode_num_esc Char
d UserString
rest
  = Int -> UserString -> UserString
go (Char -> Int
digitToInt Char
d) UserString
rest
  where
    go :: Int -> UserString -> UserString
go Int
n (Char
c : UserString
rest) | Char -> Bool
isHexDigit Char
c = Int -> UserString -> UserString
go (Int
16Int -> Int -> Int
forall a. Num a => a -> a -> a
*Int
n Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Char -> Int
digitToInt Char
c) UserString
rest
    go Int
n (Char
'U' : UserString
rest)           = Int -> Char
chr Int
n Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: UserString -> UserString
zDecodeString UserString
rest
    go Int
n UserString
other = UserString -> UserString
forall a. HasCallStack => UserString -> a
error (UserString
"decode_num_esc: " UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ Int -> UserString
forall a. Show a => a -> UserString
show Int
n UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++  Char
' 'Char -> UserString -> UserString
forall a. a -> [a] -> [a]
:UserString
other)

decode_tuple :: Char -> EncodedString -> UserString
decode_tuple :: Char -> UserString -> UserString
decode_tuple Char
d UserString
rest
  = Int -> UserString -> UserString
go (Char -> Int
digitToInt Char
d) UserString
rest
  where
        -- NB. recurse back to zDecodeString after decoding the tuple, because
        -- the tuple might be embedded in a longer name.
    go :: Int -> UserString -> UserString
go Int
n (Char
c : UserString
rest) | Char -> Bool
isDigit Char
c = Int -> UserString -> UserString
go (Int
10Int -> Int -> Int
forall a. Num a => a -> a -> a
*Int
n Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Char -> Int
digitToInt Char
c) UserString
rest
    go Int
0 (Char
'T':UserString
rest)     = UserString
"()" UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ UserString -> UserString
zDecodeString UserString
rest
    go Int
n (Char
'T':UserString
rest)     = Char
'(' Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: Int -> Char -> UserString
forall a. Int -> a -> [a]
replicate (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-Int
1) Char
',' UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ UserString
")" UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ UserString -> UserString
zDecodeString UserString
rest
    go Int
1 (Char
'H':UserString
rest)     = UserString
"(# #)" UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ UserString -> UserString
zDecodeString UserString
rest
    go Int
n (Char
'H':UserString
rest)     = Char
'(' Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: Char
'#' Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: Int -> Char -> UserString
forall a. Int -> a -> [a]
replicate (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
-Int
1) Char
',' UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ UserString
"#)" UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ UserString -> UserString
zDecodeString UserString
rest
    go Int
n UserString
other = UserString -> UserString
forall a. HasCallStack => UserString -> a
error (UserString
"decode_tuple: " UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ Int -> UserString
forall a. Show a => a -> UserString
show Int
n UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ Char
' 'Char -> UserString -> UserString
forall a. a -> [a] -> [a]
:UserString
other)

{-
Tuples are encoded as
        Z3T or Z3H
for 3-tuples or unboxed 3-tuples respectively.  No other encoding starts
        Z<digit>

* "(##)" is the tycon for an unboxed 0-tuple
* "(# #)" is the tycon for an unboxed 1-tuple

* "()" is the tycon for a boxed 0-tuple.
-}

maybe_tuple :: UserString -> Maybe EncodedString

maybe_tuple :: UserString -> Maybe UserString
maybe_tuple UserString
"(##)" = UserString -> Maybe UserString
forall a. a -> Maybe a
Just(UserString
"Z0H")
maybe_tuple UserString
"(# #)" = UserString -> Maybe UserString
forall a. a -> Maybe a
Just(UserString
"Z1H")
maybe_tuple (Char
'(' : Char
'#' : UserString
cs) = case Int -> UserString -> (Int, UserString)
count_commas (Int
0::Int) UserString
cs of
                                 (Int
n, Char
'#' : Char
')' : UserString
_) -> UserString -> Maybe UserString
forall a. a -> Maybe a
Just (Char
'Z' Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: Int -> UserString -> UserString
forall a. Show a => a -> UserString -> UserString
shows (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) UserString
"H")
                                 (Int, UserString)
_                  -> Maybe UserString
forall a. Maybe a
Nothing
maybe_tuple UserString
"()" = UserString -> Maybe UserString
forall a. a -> Maybe a
Just(UserString
"Z0T")
maybe_tuple UserString
"MkSolo" = UserString -> Maybe UserString
forall a. a -> Maybe a
Just(UserString
"Z1T")
maybe_tuple (Char
'(' : UserString
cs)       = case Int -> UserString -> (Int, UserString)
count_commas (Int
0::Int) UserString
cs of
                                 (Int
n, Char
')' : UserString
_) -> UserString -> Maybe UserString
forall a. a -> Maybe a
Just (Char
'Z' Char -> UserString -> UserString
forall a. a -> [a] -> [a]
: Int -> UserString -> UserString
forall a. Show a => a -> UserString -> UserString
shows (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) UserString
"T")
                                 (Int, UserString)
_            -> Maybe UserString
forall a. Maybe a
Nothing
maybe_tuple UserString
_                = Maybe UserString
forall a. Maybe a
Nothing

count_commas :: Int -> String -> (Int, String)
count_commas :: Int -> UserString -> (Int, UserString)
count_commas Int
n (Char
',' : UserString
cs) = Int -> UserString -> (Int, UserString)
count_commas (Int
nInt -> Int -> Int
forall a. Num a => a -> a -> a
+Int
1) UserString
cs
count_commas Int
n UserString
cs         = (Int
n,UserString
cs)


{-
************************************************************************
*                                                                      *
                        Base 62
*                                                                      *
************************************************************************

Note [Base 62 encoding 128-bit integers]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Instead of base-62 encoding a single 128-bit integer
(ceil(21.49) characters), we'll base-62 a pair of 64-bit integers
(2 * ceil(10.75) characters).  Luckily for us, it's the same number of
characters!
-}

--------------------------------------------------------------------------
-- Base 62

-- The base-62 code is based off of 'locators'
-- ((c) Operational Dynamics Consulting, BSD3 licensed)

-- | Size of a 64-bit word when written as a base-62 string
word64Base62Len :: Int
word64Base62Len :: Int
word64Base62Len = Int
11

-- | Converts a 64-bit word into a base-62 string
toBase62Padded :: Word64 -> String
toBase62Padded :: Word64 -> UserString
toBase62Padded Word64
w = UserString
pad UserString -> UserString -> UserString
forall a. [a] -> [a] -> [a]
++ UserString
str
  where
    pad :: UserString
pad = Int -> Char -> UserString
forall a. Int -> a -> [a]
replicate Int
len Char
'0'
    len :: Int
len = Int
word64Base62Len Int -> Int -> Int
forall a. Num a => a -> a -> a
- UserString -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length UserString
str -- 11 == ceil(64 / lg 62)
    str :: UserString
str = Word64 -> UserString
toBase62 Word64
w

toBase62 :: Word64 -> String
toBase62 :: Word64 -> UserString
toBase62 Word64
w = Word64 -> (Int -> Char) -> Word64 -> UserString -> UserString
forall a.
Integral a =>
a -> (Int -> Char) -> a -> UserString -> UserString
showIntAtBase Word64
62 Int -> Char
represent Word64
w UserString
""
  where
    represent :: Int -> Char
    represent :: Int -> Char
represent Int
x
        | Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
< Int
10 = Int -> Char
Char.chr (Int
48 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
x)
        | Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
< Int
36 = Int -> Char
Char.chr (Int
65 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
x Int -> Int -> Int
forall a. Num a => a -> a -> a
- Int
10)
        | Int
x Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
< Int
62 = Int -> Char
Char.chr (Int
97 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
x Int -> Int -> Int
forall a. Num a => a -> a -> a
- Int
36)
        | Bool
otherwise = UserString -> Char
forall a. HasCallStack => UserString -> a
error UserString
"represent (base 62): impossible!"