benchmarks/checkfence/seqlock/bench.sh

   1 #!/bin/bash
   2 source ../paths.sh
   3 for i in 1 2 3 4 5 6 7 8 9 10 15 20 25 30 35 40
   4 do
   5 echo size=$i
   6 cat seqlock.c.in | sed s/PROBLEMSIZE/$i/ > seqlock.c
   7 c2lsl.exe seqlock.c seqlock.lsl
   8 time checkfence -i -a memmodel=sc seqlock.lsl seqtests.lsl >> runlog
   9 echo Hard coded loop bound
  10 time checkfence -a memmodel=sc seqlock.lsl seqtests.lsl T0.prn >> runlog
  11 done