benchmarks/nidhugg/dekker/benchtso.sh

   1 #!/bin/bash
   2
   3 # 4 doesn't work because it takes too long
   4 source ../path.sh
   5 export PATH=$PATH:$NIDHUGG/bin/
   6 for i in 1 2 3 4 5 6
   7 do
   8 echo size= $i
   9 java -cp .. transform $i dekker-fences.cc.in dekker-fences.cc
  10 time nidhuggc -O3 -std=c++11 -- -tso ./dekker-fences.cc
  11 done