#! /usr/bin/python3
import os
import sys
-from generator_utils import *
+import generator_utils as gen
template = """// @{generatedby}@
/* ///////////////////////// The MPI Bugs Initiative ////////////////////////
# Generate code with color mismatch in MPI_Comm_split
#####################################################
-for c in tcoll4color:
+for c in gen.tcoll4color:
patterns = {}
patterns = {'c': c}
patterns['generatedby'] = f'DO NOT EDIT: this file was generated by {os.path.basename(sys.argv[0])}. DO NOT EDIT.'
patterns['collfeature'] = 'Lacking'
patterns['icollfeature'] = 'Lacking'
- patterns['toolfeature'] = 'Yes' if c in tcoll4color else 'Lacking'
+ patterns['toolfeature'] = 'Yes' if c in gen.tcoll4color else 'Lacking'
patterns['c'] = c
- patterns['init'] = init[c]("1")
- patterns['start'] = start[c]("1")
- patterns['operation'] = operation[c]("1")
- patterns['fini'] = fini[c]("1")
- patterns['free'] = free[c]("1")
+ patterns['init'] = gen.init[c]("1")
+ patterns['start'] = gen.start[c]("1")
+ patterns['operation'] = gen.operation[c]("1")
+ patterns['fini'] = gen.fini[c]("1")
+ patterns['free'] = gen.free[c]("1")
patterns['change_arg'] = ''
# Generate the code with invalid color
replace['outcome'] = 'ERROR: InvalidOtherArg'
replace['errormsg'] = 'Invalid Argument in collective. @{c}@ at line @{line:MBIERROR2}@ has an invalid color'
replace['change_arg'] = 'color=-10; /* MBIERROR1*/'
- make_file(template, f'InvalidParam_OtherArg_{c}_nok.c', replace)
+ gen.make_file(template, f'InvalidParam_OtherArg_{c}_nok.c', replace)
##################################
# Generate code with root mismatch
##################################
-for c in coll4root + icoll4root:
+for c in gen.coll4root + gen.icoll4root:
patterns = {}
patterns = {'c': c}
patterns['generatedby'] = f'DO NOT EDIT: this file was generated by {os.path.basename(sys.argv[0])}. DO NOT EDIT.'
- patterns['collfeature'] = 'Yes' if c in coll4root else 'Lacking'
- patterns['icollfeature'] = 'Yes' if c in icoll4root else 'Lacking'
+ patterns['collfeature'] = 'Yes' if c in gen.coll4root else 'Lacking'
+ patterns['icollfeature'] = 'Yes' if c in gen.icoll4root else 'Lacking'
patterns['toolfeature'] = 'Lacking'
patterns['c'] = c
- patterns['init'] = init[c]("1")
- patterns['start'] = start[c]("1")
- patterns['fini'] = fini[c]("1")
- patterns['free'] = free[c]("1")
- patterns['operation'] = operation[c]("1")
+ patterns['init'] = gen.init[c]("1")
+ patterns['start'] = gen.start[c]("1")
+ patterns['fini'] = gen.fini[c]("1")
+ patterns['free'] = gen.free[c]("1")
+ patterns['operation'] = gen.operation[c]("1")
patterns['change_arg'] = ''
# Generate an incorrect root matching (root mismatch)
replace['outcome'] = 'ERROR: RootMatching'
replace['errormsg'] = 'Collective root mistmatch. @{c}@ at @{filename}@:@{line:MBIERROR2}@ has 0 or 1 as a root.'
replace['change_arg'] = 'if (rank % 2)\n root = 1; /* MBIERROR1 */'
- make_file(template, f'ParamMatching_Root_{c}_nok.c', replace)
+ gen.make_file(template, f'ParamMatching_Root_{c}_nok.c', replace)
# Generate the call with root=-1 (invalid root)
replace = patterns
replace['outcome'] = 'ERROR: InvalidRoot'
replace['errormsg'] = 'Invalid collective root. @{c}@ at @{filename}@:@{line:MBIERROR2}@ has -1 as a root while communicator MPI_COMM_WORLD requires ranks in range 0 to 1.'
replace['change_arg'] = 'root = -1; /* MBIERROR1 */'
- make_file(template, f'InvalidParam_RootNeg_{c}_nok.c', replace)
+ gen.make_file(template, f'InvalidParam_RootNeg_{c}_nok.c', replace)
# Generate the call with root=2 (root not in communicator)
replace = patterns
replace['outcome'] = 'ERROR: InvalidRoot'
replace['errormsg'] = 'Invalid collective root. @{c}@ at @{filename}@:@{line:MBIERROR2}@ has 2 as a root while communicator MPI_COMM_WORLD requires ranks in range 0 to 1.'
replace['change_arg'] = 'root = nprocs; /* MBIERROR1 */'
- make_file(template, f'InvalidParam_RootTooLarge_{c}_nok.c', replace)
+ gen.make_file(template, f'InvalidParam_RootTooLarge_{c}_nok.c', replace)
##################################
# Generate code with type mismatch
##################################
-for c in coll + icoll:
+for c in gen.coll + gen.icoll:
if c != 'MPI_Barrier': # Barrier has no Data to mismatch or to nullify
patterns = {}
patterns = {'c': c}
patterns['generatedby'] = f'DO NOT EDIT: this file was generated by {os.path.basename(sys.argv[0])}. DO NOT EDIT.'
- patterns['collfeature'] = 'Yes' if c in coll else 'Lacking'
- patterns['icollfeature'] = 'Yes' if c in icoll + ibarrier else 'Lacking'
+ patterns['collfeature'] = 'Yes' if c in gen.coll else 'Lacking'
+ patterns['icollfeature'] = 'Yes' if c in gen.icoll + gen.ibarrier else 'Lacking'
patterns['toolfeature'] = 'Lacking'
patterns['c'] = c
- patterns['init'] = init[c]("1")
- patterns['start'] = start[c]("1")
- patterns['fini'] = fini[c]("1")
- patterns['operation'] = operation[c]("1")
- patterns['free'] = free[c]("1")
+ patterns['init'] = gen.init[c]("1")
+ patterns['start'] = gen.start[c]("1")
+ patterns['fini'] = gen.fini[c]("1")
+ patterns['operation'] = gen.operation[c]("1")
+ patterns['free'] = gen.free[c]("1")
patterns['change_arg'] = ''
# Generate the incorrect matching (datatype Mmismatch)
replace['outcome'] = 'ERROR: DatatypeMatching'
replace['errormsg'] = 'Collective datatype mistmatch. @{c}@ at @{filename}@:@{line:MBIERROR2}@ has MPI_INT or MPI_FLOAT as a datatype.'
replace['change_arg'] = 'if (rank % 2)\n type = MPI_FLOAT; /* MBIERROR1 */'
- make_file(template, f'ParamMatching_Data_{c}_nok.c', replace)
+ gen.make_file(template, f'ParamMatching_Data_{c}_nok.c', replace)
# Generate the call with null type (invalid datatype)
replace = patterns
replace['outcome'] = 'ERROR: InvalidDatatype'
replace['errormsg'] = 'Invalid Datatype. @{c}@ at @{filename}@:@{line:MBIERROR2}@ has an invalid datatype.'
replace['change_arg'] = 'type=MPI_DATATYPE_NULL; /* MBIERROR1 */'
- make_file(template, f'InvalidParam_DataNull_{c}_nok.c', replace)
+ gen.make_file(template, f'InvalidParam_DataNull_{c}_nok.c', replace)
##################################
# Generate code with Op mismatch
##################################
-for c in coll4op + icoll4op:
+for c in gen.coll4op + gen.icoll4op:
patterns = {}
patterns = {'c': c}
patterns['generatedby'] = f'DO NOT EDIT: this file was generated by {os.path.basename(sys.argv[0])}. DO NOT EDIT.'
- patterns['collfeature'] = 'Yes' if c in coll4op else 'Lacking'
- patterns['icollfeature'] = 'Yes' if c in icoll4op else 'Lacking'
+ patterns['collfeature'] = 'Yes' if c in gen.coll4op else 'Lacking'
+ patterns['icollfeature'] = 'Yes' if c in gen.icoll4op else 'Lacking'
patterns['toolfeature'] = 'Lacking'
patterns['c'] = c
- patterns['init'] = init[c]("1")
- patterns['start'] = start[c]("1")
- patterns['fini'] = fini[c]("1")
- patterns['operation'] = operation[c]("1")
- patterns['free'] = free[c]("1")
+ patterns['init'] = gen.init[c]("1")
+ patterns['start'] = gen.start[c]("1")
+ patterns['fini'] = gen.fini[c]("1")
+ patterns['operation'] = gen.operation[c]("1")
+ patterns['free'] = gen.free[c]("1")
patterns['change_arg'] = ''
# Generate the incorrect matching (op mismatch)
replace['outcome'] = 'ERROR: OperatorMatching'
replace['errormsg'] = 'Collective operator mistmatch. @{c}@ at @{filename}@:@{line:MBIERROR2}@ has MPI_MAX or MPI_SUM as an operator.'
replace['change_arg'] = 'if (rank % 2)\n op = MPI_MAX; /* MBIERROR1 */'
- make_file(template, f'ParamMatching_Op_{c}_nok.c', replace)
+ gen.make_file(template, f'ParamMatching_Op_{c}_nok.c', replace)
# Generate the call with Op=MPI_OP_NULL (invalid op)
replace = patterns
replace['outcome'] = 'ERROR: InvalidOperator'
replace['errormsg'] = 'Invalid Operator. @{c}@ at @{filename}@:@{line:MBIERROR2}@ has MPI_OP_NULL as an operator.'
replace['change_arg'] = 'op = MPI_OP_NULL; /* MBIERROR1 */'
- make_file(template, f'InvalidParam_OpNull_{c}_nok.c', replace)
+ gen.make_file(template, f'InvalidParam_OpNull_{c}_nok.c', replace)