search

uwplse / stng

compiler for fortran stencils using verified lifting,
http://stng.uwplse.org
MIT License
17 stars 4 forks source link

Some sketches in cloverleaf cannot be resolved #11

Open sdorkenw opened 7 years ago

sdorkenw commented 7 years ago

I tried the End-to-End Example with different cloverleaf stencils. While advec_mom_kernel_loop97 for instance works fine, update_halo_kernel_loop{17,18,19} for instance fail in the step generating the .sk.out file. 

    [1482279410.6550 - DEBUG] Running stage 'parse' -- Parse the program from a file
    [1482279410.9640 - DEBUG] Running stage 'preproc' -- Preprocessing (used for all further transformations)
    [1482279411.5810 - DEBUG] Running stage SpmdLowLevelCStage
    [1482279411.5850 - DEBUG]    Running visitor FlattenStmtBlocks2
    [1482279411.5870 - DEBUG]    Running visitor SplitAssignFromVarDef
    [1482279411.5910 - DEBUG]    Running visitor EliminateComplexForLoops
    [1482279411.5970 - DEBUG] Running stage 'lowering' -- Lower for SKETCH backend
    [1482279411.6250 - DEBUG] Running stage 'sten' -- Stencil transformations
    [1482279412.3360 - DEBUG] executing /sketch/sketch-backend/src/SketchSolver/cegis -simplifycex NOSIM --bnd-inbits 2 --boundmode CALLNAME --verbosity 11 --print-version -simiters 4 --print-cex --assumebcheck --bnd-inline-amnt 15 -angelictupledepth 1 -srctupledepth 2 -sprandbias 1 -o /root/.sketch/tmp/update_halo_kernel_loop19.sk/solution0-0 /root/.sketch/tmp/update_halo_kernel_loop19.sk/input0.tmp
starting command line: [/sketch/sketch-backend/src/SketchSolver/cegis, -simplifycex, NOSIM, --bnd-inbits, 2, --boundmode, CALLNAME, --verbosity, 11, --print-version, -simiters, 4, --print-cex, --assumebcheck, --bnd-inline-amnt, 15, -angelictupledepth, 1, -srctupledepth, 2, -sprandbias, 1, -o, /root/.sketch/tmp/update_halo_kernel_loop19.sk/solution0-0, /root/.sketch/tmp/update_halo_kernel_loop19.sk/input0.tmp]

*** Rejected
    [1482279415.9220 - ERROR] [SKETCH] Sketch Not Resolved Error: 
*** Rejected
The sketch could not be resolved.
    [1482279415.9230 - DEBUG] [SKETCH] stack trace written to file: /root/.sketch/tmp/stacktrace.txt
    [1482279415.9240 - DEBUG] Backend solver input file at /root/.sketch/tmp/update_halo_kernel_loop19.sk/input0.tmp

I guess that a different parameter set is needed, but I do not have a good intuition for how to do that yet.

akcheung commented 7 years ago

@sdorkenw does this work now or are you still stuck with the cloverleaf kernels? Are you able to run the example stencil end-to-end?

sdorkenw commented 7 years ago

@akcheung yes, the example end-to-end is working and also many others. I just wanted to note that there are still kernels left that are not working.