#!/bin/sh #cd $(dirname $0) name=$(basename $1) ./clang -c $1 -emit-llvm -o $2/$name.bc ./llvm2kittel $2/$name.bc -complexity-tuples -division-constraint exact | ./koat2cfg_static stdin | ./cfg2ces_static stdin loop_cost_model slice -o $2/$name.ces > /dev/null ./cofloco_static -i $2/$name.ces -competition -n_candidates 2 -compress_chains 1
back to CoFloCo 2018
