ghc 5.23 KB
Newer Older
1 2 3
import os
import re

4 5 6 7 8 9
# Testsuite configuration setup for GHC
#
# This file is Python source
#
config.compiler_type         = 'ghc'
config.compiler              = 'ghc'
10
config.compiler_always_flags = ['-fforce-recomp', '-dcore-lint', '-dcmm-lint', '-dno-debug-output', '-no-user-package-conf', '-rtsopts']
11

dterei's avatar
dterei committed
12 13 14
config.hp2ps                 = 'hp2ps'
config.hpc                   = 'hpc'
config.gs                    = 'gs'
15 16
config.confdir               = '.'

andy@galois.com's avatar
andy@galois.com committed
17
# By default, we test the 'normal', 'opt' and 'hpc' ways.
18 19
# 'optasm' is added by mk/test.mk if the compiler has a native code gen,
# 'prof'   is added by mk/test.mk if the profiling way is enabled.
dterei's avatar
dterei committed
20 21
config.compile_ways       = ['normal', 'hpc']
config.run_ways           = ['normal', 'hpc']
22

krc's avatar
krc committed
23
# ways that are not enabled by default, but can always be invoked explicitly
dterei's avatar
dterei committed
24
config.other_ways         = ['extcore','optextcore',
25
                             'prof',
dterei's avatar
dterei committed
26 27 28 29
                             'prof_hc_hb','prof_hb',
                             'prof_hd','prof_hy','prof_hr',
                             'threaded1_ls', 'threaded2_hT',
                             'llvm', 'debugllvm']
krc's avatar
krc committed
30

31
if (ghc_with_native_codegen == 1):
dterei's avatar
dterei committed
32 33
    config.compile_ways.append('optasm')
    config.run_ways.append('optasm')
34 35

if (ghc_with_profiling == 1):
dterei's avatar
dterei committed
36
    config.have_profiling = True
37 38
    config.compile_ways.append('profasm')
    config.run_ways.append('profasm')
39

40
if (ghc_with_interpreter == 1):
dterei's avatar
dterei committed
41 42
    config.have_interp = True
    config.run_ways.append('ghci')
43

44 45
config.unregisterised = (ghc_unregisterised == 1)

46
if (ghc_with_threaded_rts == 1):
dterei's avatar
dterei committed
47 48 49
    config.run_ways.append('threaded1')
    if (ghc_with_smp == 1):
        config.run_ways.append('threaded2')
50

51
if (ghc_with_dynamic_rts == 1):
dterei's avatar
dterei committed
52 53
    config.have_shared_libs = True
    config.run_ways.append('dyn')
54

55
if (ghc_with_profiling == 1 and ghc_with_threaded_rts == 1):
dterei's avatar
dterei committed
56
    config.run_ways.append('profthreaded')
57

58
if (ghc_with_llvm == 1):
dterei's avatar
dterei committed
59
    config.run_ways.append('optllvm')
60

61
config.in_tree_compiler = in_tree_compiler
62
config.clean_only       = clean_only
63

64
config.way_flags = {
dterei's avatar
dterei committed
65 66 67 68 69 70
    'normal'       : [],
    'g1'           : [],
    'optasm'       : ['-O -fasm'],
    'llvm'         : ['-fllvm'],
    'optllvm'      : ['-O -fllvm'],
    'debugllvm'    : ['-fllvm -keep-llvm-files'],
71 72 73
    'prof'         : ['-prof -auto-all -fasm'],
    'profasm'      : ['-O -prof -auto-all'],
    'profthreaded' : ['-O -prof -auto-all -threaded'],
dterei's avatar
dterei committed
74 75 76 77 78 79 80 81 82 83 84 85 86 87 88
    'ghci'         : ['--interactive', '-v0', '-ignore-dot-ghci', '+RTS', '-I0.1', '-RTS'],
    'extcore'      : ['-fext-core'],
    'optextcore'   : ['-O -fext-core'],
    'threaded1'    : ['-threaded', '-debug'],
    'threaded1_ls' : ['-threaded', '-debug'],
    'threaded2'    : ['-O', '-threaded', '-eventlog'],
    'threaded2_hT' : ['-O', '-threaded'],
    'hpc'          : ['-O', '-fhpc' ],
    'prof_hc_hb'   : ['-O -prof -auto-all'],
    'prof_hb'      : ['-O -prof -auto-all'],
    'prof_hd'      : ['-O -prof -auto-all'],
    'prof_hy'      : ['-O -prof -auto-all'],
    'prof_hr'      : ['-O -prof -auto-all'],
    'dyn'          : ['-O -dynamic']
   }
89 90

config.way_rts_flags = { 
dterei's avatar
dterei committed
91 92 93 94 95 96
    'normal'       : [],
    'g1'           : ['-G1'],
    'optasm'       : [],
    'llvm'         : [],
    'optllvm'      : [],
    'debugllvm'    : [],
97 98
    'prof'         : ['-p'],
    'profasm'      : ['-hc', '-p'], # test heap profiling too
dterei's avatar
dterei committed
99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114
    'profthreaded' : ['-p'],
    'ghci'         : [],
    'extcore'      : [],
    'optextcore'   : [],
    'threaded1'    : [],
    'threaded1_ls' : ['-ls'],
    'threaded2'    : ['-N2 -ls'],
    'threaded2_hT' : ['-N2', '-hT'],
    'hpc'          : [],
    'prof_hc_hb'   : ['-hc -hbvoid'],
    'prof_hb'      : ['-hb'],
    'prof_hd'      : ['-hd'],
    'prof_hy'      : ['-hy'],
    'prof_hr'      : ['-hr'],
    'dyn'          : []
   }
115

116 117 118
# Useful classes of ways:

prof_ways = filter(lambda x: x in config.run_ways, 
119
                   ['prof', 'profasm','profthreaded'])
120 121 122 123

threaded_ways = filter(lambda x: x in config.run_ways, 
                       ['threaded1','threaded2','ghci','profthreaded'])

124
def get_compiler_info():
dterei's avatar
dterei committed
125
# This should really not go through the shell
126 127
    h = os.popen('"' + config.compiler + '" --info', 'r')
    s = h.read()
128
    s = re.sub('[\r\n]', '', s)
129
    h.close()
130 131 132
    compilerInfoDict = dict(eval(s))
    h = os.popen('"' + config.compiler + '" +RTS --info', 'r')
    s = h.read()
133
    s = re.sub('[\r\n]', '', s)
134 135 136
    h.close()
    rtsInfoDict = dict(eval(s))

137 138 139
    # We use a '/'-separated path for libdir, even on Windows
    config.libdir = re.sub('\\\\','/',compilerInfoDict['LibDir'])

140
    v = compilerInfoDict["Project version"].split('-')
141
    config.compiler_version = v[0]
142
    config.compiler_maj_version = re.sub('^([0-9]+\.[0-9]+).*',r'\1', v[0])
143
    config.compiler_tags = v[1:]
144

145 146 147 148 149
    # -fno-ghci-history was added in 7.3
    if version_ge(config.compiler_version, '7.3'):
       config.compiler_always_flags = \
          config.compiler_always_flags + ['-fno-ghci-history']

150 151
    if re.match(".*_p(_.*|$)", rtsInfoDict["RTS way"]):
        config.compiler_profiled = True
152
        config.run_ways = filter(lambda x: x != 'ghci', config.run_ways)
153 154 155
    else:
        config.compiler_profiled = False

156
    try:
dterei's avatar
dterei committed
157
        config.package_conf_cache_file = compilerInfoDict["Global Package DB"] + '/package.cache'
158
    except:
dterei's avatar
dterei committed
159
        config.package_conf_cache_file = ''