tests/boolean/bsection/R6

   1 puts " BUC60068 "
   2 puts "If scales by 1000, time to compute is 10 times greater "
   3 ##
   4 ## mod pkv from
   5 restore [locate_data_file buc60068a.rle] a
   6 restore [locate_data_file buc60068b.rle] b
   7 restore [locate_data_file buc60068a.rle] c
   8 restore [locate_data_file buc60068b.rle] d
   9 restore [locate_data_file buc60068a.rle] e
  10 restore [locate_data_file buc60068b.rle] f
  11 restore [locate_data_file buc60068a.rle] g
  12 restore [locate_data_file buc60068b.rle] h
  13 ## mod pkv from
  14 ##
  15
  16 ## section
  17 dchrono j start
  18 bsection resab a b
  19 dchrono j stop
  20
  21 tscale  c 0 0 0 100
  22 tscale  d 0 0 0 100
  23 dchrono k start
  24 bsection rescd c d
  25 dchrono k stop
  26
  27 tscale  e 0 0 0 1000
  28 tscale  f 0 0 0 1000
  29 dchrono l start
  30 bsection resef e f
  31 dchrono l stop
  32
  33 tscale  g 0 0 0 10000
  34 tscale  h 0 0 0 10000
  35 dchrono m start
  36 bsection resgh g h
  37 dchrono m stop
  38
  39 regexp {CPU user time: ([0-9|.]+) seconds} [dchrono j show] full Jseconds
  40 regexp {CPU user time: ([0-9|.]+) seconds} [dchrono k show] full Kseconds
  41 regexp {CPU user time: ([0-9|.]+) seconds} [dchrono l show] full Lseconds
  42 regexp {CPU user time: ([0-9|.]+) seconds} [dchrono m show] full Mseconds
  43
  44 set Jtime [expr $Jseconds * 1.1]
  45 set Ktime $Kseconds
  46 set Ltime $Lseconds
  47 set Mtime $Mseconds
  48
  49 if { $Jtime < $Ktime || $Jtime < $Ltime || $Jtime < $Mtime} {
  50    puts "Error: incorrect performance of bsection operation:"
  51    puts "SCALE=1     : $Jtime seconds."
  52    puts "SCALE=100   : $Ktime seconds."
  53    puts "SCALE=1000  : $Ltime seconds."
  54    puts "SCALE=10000 : $Mtime seconds."
  55 }
  56
  57 compound resab rescd resef resgh result
  58
  59 set length 1.41538e+07