about summary refs log blame commit diff stats
path: root/build3
blob: db2510873f4f31ef527f70b93324259d626dbc8d (plain) (tree)
1
2
3
4
5
6
7
8
9







                                                                            
                        

                             
                                        




































































































                                                                                            

                                                                     



                                                                         
                                                                      
                                                                            
                                   
                                                                                      
                                   
                                                                        
                          
                                                                                                      
                                                                                                     

                                                       
                                  
                 









                                                                             
                                                



               



                                                                                  
                                                                                                     
                                    
                                                                                             
                                                                                                    





                                                           
                                                                                        




































                                                                                                                                                          
                                                         
#!/bin/sh
# Alternative to build2 that can stop after any step. For example:
#   $ ./build3 mu.cc

set -e  # stop immediately on error

# Some environment variables that can be passed in. For example, to turn off
# optimization:
#   $ CFLAGS=-g ./build3
test "$CXX" || export CXX=c++
test "$CC" || export CC=cc
test "$CFLAGS" || export CFLAGS="-g -O2"
export CFLAGS="$CFLAGS -Wall -Wextra -ftrapv -fno-strict-aliasing"

# Outline:
# [0-9]*.cc -> mu.cc -> .build/*.cc -> .build/*.o -> .build/mu_bin
# (layers)   |        |              |             |
#          tangle  cleave          $CXX          $CXX

## arg parsing

# can be called with a target to stop after a partial build
#   $ ./build3 mu.cc
# can also be called with a layer to only build until
#   $ ./build3 --until 050
# scenarios:
#   ./build3              => TARGET=  UNTIL_LAYER=zzz
#   ./build3 x            => TARGET=x UNTIL_LAYER=zzz
#   ./build3 --until      => TARGET=  UNTIL_LAYER=zzz
#   ./build3 --until 050  => TARGET=  UNTIL_LAYER=050
TARGET=
UNTIL_LAYER=zzz
if [ $# -ge 1 ] && [ $1 != "--until" ]
then
  TARGET=$1
fi
if [ $# -ge 2 ] && [ $1 = "--until" ]
then
  UNTIL_LAYER=$2
fi

##

# there's two mechanisms for fast builds here:
# - if a command is quick to run, always run it but update the result only on any change
# - otherwise run it only if the output is 'older_than' the inputs
#
# avoid combining both mechanisms for a single file
# otherwise you'll see spurious messages about files being updated
# risk: a file may unnecessarily update without changes, causing unnecessary work downstream

# return 1 if $1 is older than _any_ of the remaining args
# also exit the entire script if previous invocation was to update $TARGET
older_than() {
  test $TARGET  &&  test "$last_target" = "$TARGET"  &&  exit 0
  local target=$1
  shift
  last_target=$target
  if [ ! -e $target ]
  then
#?     echo "$target doesn't exist"
    echo "updating $target" >&2
    return 0  # success
  fi
  local f
  for f in $*
  do
    if [ $f -nt $target ]
    then
      echo "updating $target" >&2
      return 0  # success
    fi
  done
  return 1  # failure
}

# redirect to $1, unless it's already identical
# no point checking for an early exit, because this usually runs in a pipeline/subshell
update() {
  if [ ! -e $1 ]
  then
    cat > $1
  else
    cat > $1.tmp
    diff -q $1 $1.tmp >/dev/null  &&  rm $1.tmp  ||  mv $1.tmp $1
  fi
}

# cp file $1 to directory $2, unless it's already identical
# also exit the entire script if previous invocation was to update $TARGET
update_cp() {
  test $TARGET  &&  test "$last_target" = "$TARGET"  &&  exit 0
  last_target=$2/$1
  if [ ! -e $2/$1 ]
  then
    cp $1 $2
  elif [ $1 -nt $2/$1 ]
  then
    cp $1 $2
  fi
}

noisy_cd() {
  cd $1
  echo "-- `pwd`" >&2
}

older_than enumerate/enumerate enumerate/enumerate.cc && {
  $CXX $CFLAGS enumerate/enumerate.cc -o enumerate/enumerate
}

older_than tangle/tangle tangle/*.cc && {
  noisy_cd tangle
    # auto-generate various lists (ending in '_list' by convention) {
    # list of types
    {
      grep -h "^struct .* {" [0-9]*.cc  |sed 's/\(struct *[^ ]*\).*/\1;/'
      grep -h "^typedef " [0-9]*.cc
    }  |update type_list
    # list of function declarations, so I can define them in any order
    grep -h "^[^ #].*) {" [0-9]*.cc  |sed 's/ {.*/;/'  |update function_list
    # list of code files to compile
    ls [0-9]*.cc  |grep -v "\.test\.cc$"  |sed 's/.*/#include "&"/'  |update file_list
    # list of test files to compile
    ls [0-9]*.test.cc  |sed 's/.*/#include "&"/'  |update test_file_list
    # list of tests to run
    grep -h "^[[:space:]]*void test_" [0-9]*.cc  |sed 's/^\s*void \(.*\)() {$/\1,/'  |update test_list
    grep -h "^\s*void test_" [0-9]*.cc  |sed 's/^\s*void \(.*\)() {.*/"\1",/'  |update test_name_list
    # }
    # Now that we have all the _lists, compile 'tangle'
    $CXX $CFLAGS boot.cc -o tangle
    ./tangle test
  noisy_cd ..  # no effect; just to show us returning to the parent directory
}

LAYERS=$(./enumerate/enumerate --until $UNTIL_LAYER  |grep '\.cc$')
older_than mu.cc $LAYERS enumerate/enumerate tangle/tangle && {
  # no update here; rely on 'update' calls downstream
  ./tangle/tangle $LAYERS  > mu.cc
}

older_than cleave/cleave cleave/cleave.cc && {
  $CXX $CFLAGS cleave/cleave.cc -o cleave/cleave
  rm -rf .build
}

mkdir -p .build
# auto-generate function declarations, so I can define them in any order
# functions start out unindented, have all args on the same line, and end in ') {'
#
#                                      \/ ignore methods
grep -h "^[^[:space:]#].*) {$" mu.cc  |grep -v ":.*("  |sed 's/ {.*/;/'  |update .build/function_list
# auto-generate list of tests to run
grep -h "^\s*void test_" mu.cc  |sed 's/^\s*void \(.*\)() {.*/\1,/'  |update .build/test_list
grep -h "^\s*void test_" mu.cc  |sed 's/^\s*void \(.*\)() {.*/"\1",/'  |update .build/test_name_list
mkdir -p .build/termbox
update_cp termbox/termbox.h .build/termbox

older_than mu_bin mu.cc *_list cleave/cleave termbox/* && {
  ./cleave/cleave mu.cc .build
  noisy_cd .build
    # create the list of global variable declarations from the corresponding definitions
    grep ';' global_definitions_list  |sed 's/[=(].*/;/'  |sed 's/^[^\/# ]/extern &/'  |sed 's/^extern extern /extern /'  |update global_declarations_list
    for f in mu_*.cc
    do
      older_than `echo $f  |sed 's/\.cc$/.o/'` $f header global_declarations_list function_list test_list && {
        $CXX $CFLAGS -c $f
      }
    done
  noisy_cd ../termbox
    older_than utf8.o utf8.c && {
      $CC $CFLAGS -c utf8.c
    }
    older_than termbox.o termbox.c termbox.h input.inl output.inl bytebuffer.inl && {
      $CC $CFLAGS -c termbox.c
    }
    older_than libtermbox.a *.o && {
      ar rcs libtermbox.a *.o
    }
  noisy_cd ..
  $CXX $CFLAGS .build/*.o termbox/libtermbox.a -o .build/mu_bin
  cp .build/mu_bin .
}

## [0-9]*.mu -> core.mu

MU_LAYERS=$(./enumerate/enumerate --until $UNTIL_LAYER  |grep '\.mu$') || exit 0  # ok if no .mu files
cat $MU_LAYERS  |update core.mu

exit 0

# scenarios considered:
#   0 status when nothing needs updating
#   no output when nothing needs updating
#     no output for mu.cc when .mu files modified
#     touch mu.cc but don't modify it; no output on second build
#     touch a .cc layer but don't modify it; no output on second build
#   only a single layer is recompiled when changing a C++ function
#   stop immediately after failure in tangle
#   stop immediately after target provided at commandline
n> To load all files with a numeric prefix in a directory:\n&quot;</span> <span id="L34" class="LineNr"> 34 </span> &lt;&lt; <span class="Constant">&quot; mu directory1 directory2 ...\n&quot;</span> <span id="L35" class="LineNr"> 35 </span> &lt;&lt; <span class="Constant">&quot; You can test directories just like files.\n&quot;</span> <span id="L36" class="LineNr"> 36 </span> &lt;&lt; <span class="Constant">&quot; mu test directory1 directory2 ...\n&quot;</span> <span id="L37" class="LineNr"> 37 </span> &lt;&lt; <span class="Constant">&quot; To pass ingredients to a mu program, provide them after '--':\n&quot;</span> <span id="L38" class="LineNr"> 38 </span> &lt;&lt; <span class="Constant">&quot; mu file_or_dir1 file_or_dir2 ... -- ingredient1 ingredient2 ...\n&quot;</span> <span id="L39" class="LineNr"> 39 </span> &lt;&lt; <span class="Constant">&quot; To see where a mu program is spending its time:\n&quot;</span> <span id="L40" class="LineNr"> 40 </span> &lt;&lt; <span class="Constant">&quot; mu --profile file_or_dir1 file_or_dir2 ...\n&quot;</span> <span id="L41" class="LineNr"> 41 </span> &lt;&lt; <span class="Constant">&quot; this slices and dices time spent in various profile.* output files\n&quot;</span> <span id="L42" class="LineNr"> 42 </span> &lt;&lt; <span class="Constant">&quot;\n&quot;</span> <span id="L43" class="LineNr"> 43 </span> &lt;&lt; <span class="Constant">&quot; To browse a <a href='003trace.cc.html#L189'>trace</a> generated by a previous run:\n&quot;</span> <span id="L44" class="LineNr"> 44 </span> &lt;&lt; <span class="Constant">&quot; mu browse-trace file\n&quot;</span> <span id="L45" class="LineNr"> 45 </span> <span class="Delimiter">;</span> <span id="L46" class="LineNr"> 46 </span> <span class="Identifier">return</span> <span class="Constant">0</span><span class="Delimiter">;</span> <span id="L47" class="LineNr"> 47 </span><span class="Delimiter">}</span> <span id="L48" class="LineNr"> 48 </span> <span id="L49" class="LineNr"> 49 </span><span class="Comment">//: Support for option parsing.</span> <span id="L50" class="LineNr"> 50 </span><span class="Comment">//: Options always begin with '--' and are always the first arguments. An</span> <span id="L51" class="LineNr"> 51 </span><span class="Comment">//: option will never follow a non-option.</span> <span id="L52" class="LineNr"> 52 </span><span class="Delimiter">:(before &quot;End Commandline Parsing&quot;)</span> <span id="L53" class="LineNr"> 53 </span><span class="Normal">char</span>** arg = &amp;argv[<span class="Constant">1</span>]<span class="Delimiter">;</span> <span id="L54" class="LineNr"> 54 </span><span class="Normal">while</span> <span class="Delimiter">(</span>argc &gt; <span class="Constant">1</span> &amp;&amp; <a href='001help.cc.html#L77'>starts_with</a><span class="Delimiter">(</span>*arg<span class="Delimiter">,</span> <span class="Constant">&quot;--&quot;</span><span class="Delimiter">))</span> <span class="Delimiter">{</span> <span id="L55" class="LineNr"> 55 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><span class="Constant">false</span><span class="Delimiter">)</span> <span id="L56" class="LineNr"> 56 </span> <span class="Delimiter">;</span> <span class="Comment">// no-op branch just so any further additions can consistently always start with 'else'</span> <span id="L57" class="LineNr"> 57 </span> <span class="Comment">// End Commandline Options(*arg)</span> <span id="L58" class="LineNr"> 58 </span> <span class="Normal">else</span> <span id="L59" class="LineNr"> 59 </span> cerr &lt;&lt; <span class="Constant">&quot;skipping unknown option &quot;</span> &lt;&lt; *arg &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span> <span id="L60" class="LineNr"> 60 </span> --argc<span class="Delimiter">;</span> ++argv<span class="Delimiter">;</span> ++arg<span class="Delimiter">;</span> <span id="L61" class="LineNr"> 61 </span><span class="Delimiter">}</span> <span id="L62" class="LineNr"> 62 </span> <span id="L63" class="LineNr"> 63 </span><span class="SalientComment">//:: Helper function used by the above fragment of code (and later layers too,</span> <span id="L64" class="LineNr"> 64 </span><span class="SalientComment">//:: who knows?).</span> <span id="L65" class="LineNr"> 65 </span><span class="Comment">//: The :(code) directive appends function definitions to the end of the</span> <span id="L66" class="LineNr"> 66 </span><span class="Comment">//: project. Regardless of where functions are defined, we can call them</span> <span id="L67" class="LineNr"> 67 </span><span class="Comment">//: anywhere we like as long as we format the function header in a specific</span> <span id="L68" class="LineNr"> 68 </span><span class="Comment">//: way: put it all on a single line without indent, end the line with ') {'</span> <span id="L69" class="LineNr"> 69 </span><span class="Comment">//: and no trailing whitespace. As long as functions uniformly start this</span> <span id="L70" class="LineNr"> 70 </span><span class="Comment">//: way, our 'build*' scripts contain a little command to automatically</span> <span id="L71" class="LineNr"> 71 </span><span class="Comment">//: generate declarations for them.</span> <span id="L72" class="LineNr"> 72 </span><span class="Delimiter">:(code)</span> <span id="L73" class="LineNr"> 73 </span><span class="Normal">bool</span> <a href='001help.cc.html#L73'>is_equal</a><span class="Delimiter">(</span><span class="Normal">char</span>* s<span class="Delimiter">,</span> <span class="Normal">const</span> <span class="Normal">char</span>* lit<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L74" class="LineNr"> 74 </span> <span class="Identifier">return</span> strncmp<span class="Delimiter">(</span>s<span class="Delimiter">,</span> lit<span class="Delimiter">,</span> strlen<span class="Delimiter">(</span>lit<span class="Delimiter">))</span> == <span class="Constant">0</span><span class="Delimiter">;</span> <span id="L75" class="LineNr"> 75 </span><span class="Delimiter">}</span> <span id="L76" class="LineNr"> 76 </span> <span id="L77" class="LineNr"> 77 </span><span class="Normal">bool</span> <a href='001help.cc.html#L77'>starts_with</a><span class="Delimiter">(</span><span class="Normal">const</span> string&amp; s<span class="Delimiter">,</span> <span class="Normal">const</span> string&amp; pat<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L78" class="LineNr"> 78 </span> string::const_iterator a=s<span class="Delimiter">.</span>begin<span class="Delimiter">(),</span> b=pat<span class="Delimiter">.</span>begin<span class="Delimiter">();</span> <span id="L79" class="LineNr"> 79 </span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Comment">/*</span><span class="Comment">nada</span><span class="Comment">*/</span><span class="Delimiter">;</span> a!=s<span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">()</span> &amp;&amp; b!=pat<span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> ++a<span class="Delimiter">,</span> ++b<span class="Delimiter">)</span> <span id="L80" class="LineNr"> 80 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>*a != *b<span class="Delimiter">)</span> <span class="Identifier">return</span><span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L81" class="LineNr"> 81 </span> <span class="Identifier">return</span> b == pat<span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L82" class="LineNr"> 82 </span><span class="Delimiter">}</span> <span id="L83" class="LineNr"> 83 </span> <span id="L84" class="LineNr"> 84 </span><span class="Comment">//: I'll throw some style conventions here for want of a better place for them.</span> <span id="L85" class="LineNr"> 85 </span><span class="Comment">//: As a rule I hate style guides. Do what you want, that's my motto. But since</span> <span id="L86" class="LineNr"> 86 </span><span class="Comment">//: we're dealing with C/C++, the one big thing we want to avoid is undefined</span> <span id="L87" class="LineNr"> 87 </span><span class="Comment">//: behavior. If a compiler ever encounters undefined behavior it can make</span> <span id="L88" class="LineNr"> 88 </span><span class="Comment">//: your program do anything it wants.</span> <span id="L89" class="LineNr"> 89 </span><span class="Comment">//:</span> <span id="L90" class="LineNr"> 90 </span><span class="Comment">//: For reference, my checklist of undefined behaviors to watch out for:</span> <span id="L91" class="LineNr"> 91 </span><span class="Comment">//: out-of-bounds access</span> <span id="L92" class="LineNr"> 92 </span><span class="Comment">//: uninitialized variables</span> <span id="L93" class="LineNr"> 93 </span><span class="Comment">//: use after free</span> <span id="L94" class="LineNr"> 94 </span><span class="Comment">//: dereferencing invalid pointers: null, a new of size 0, others</span> <span id="L95" class="LineNr"> 95 </span><span class="Comment">//:</span> <span id="L96" class="LineNr"> 96 </span><span class="Comment">//: casting a large number to a type too small to hold it</span> <span id="L97" class="LineNr"> 97 </span><span class="Comment">//:</span> <span id="L98" class="LineNr"> 98 </span><span class="Comment">//: integer overflow</span> <span id="L99" class="LineNr"> 99 </span><span class="Comment">//: division by zero and other undefined expressions</span> <span id="L100" class="LineNr">100 </span><span class="Comment">//: left-shift by negative count</span> <span id="L101" class="LineNr">101 </span><span class="Comment">//: shifting values by more than or equal to the number of bits they contain</span> <span id="L102" class="LineNr">102 </span><span class="Comment">//: bitwise operations on signed numbers</span> <span id="L103" class="LineNr">103 </span><span class="Comment">//:</span> <span id="L104" class="LineNr">104 </span><span class="Comment">//: Converting pointers to types of different alignment requirements</span> <span id="L105" class="LineNr">105 </span><span class="Comment">//: T* -&gt; void* -&gt; T*: defined</span> <span id="L106" class="LineNr">106 </span><span class="Comment">//: T* -&gt; U* -&gt; T*: defined if non-function pointers and alignment requirements are same</span> <span id="L107" class="LineNr">107 </span><span class="Comment">//: function pointers may be cast to other function pointers</span> <span id="L108" class="LineNr">108 </span><span class="Comment">//:</span> <span id="L109" class="LineNr">109 </span><span class="Comment">//: Casting a numeric value into a value that can't be represented by the target type (either directly or via static_cast)</span> <span id="L110" class="LineNr">110 </span><span class="Comment">//:</span> <span id="L111" class="LineNr">111 </span><span class="Comment">//: To guard against these, some conventions:</span> <span id="L112" class="LineNr">112 </span><span class="Comment">//:</span> <span id="L113" class="LineNr">113 </span><span class="Comment">//: 0. Initialize all primitive variables in functions and constructors.</span> <span id="L114" class="LineNr">114 </span><span class="Comment">//:</span> <span id="L115" class="LineNr">115 </span><span class="Comment">//: 1. Minimize use of pointers and pointer arithmetic. Avoid 'new' and</span> <span id="L116" class="LineNr">116 </span><span class="Comment">//: 'delete' as far as possible. Rely on STL to perform memory management to</span> <span id="L117" class="LineNr">117 </span><span class="Comment">//: avoid use-after-free issues (and memory leaks).</span> <span id="L118" class="LineNr">118 </span><span class="Comment">//:</span> <span id="L119" class="LineNr">119 </span><span class="Comment">//: 2. Avoid naked arrays to avoid out-of-bounds access. Never use operator[]</span> <span id="L120" class="LineNr">120 </span><span class="Comment">//: except with map. Use at() with STL vectors and so on.</span> <span id="L121" class="LineNr">121 </span><span class="Comment">//:</span> <span id="L122" class="LineNr">122 </span><span class="Comment">//: 3. Valgrind all the things.</span> <span id="L123" class="LineNr">123 </span><span class="Comment">//:</span> <span id="L124" class="LineNr">124 </span><span class="Comment">//: 4. Avoid unsigned numbers. Not strictly an undefined-behavior issue, but</span> <span id="L125" class="LineNr">125 </span><span class="Comment">//: the extra range doesn't matter, and it's one less confusing category of</span> <span id="L126" class="LineNr">126 </span><span class="Comment">//: interaction gotchas to worry about.</span> <span id="L127" class="LineNr">127 </span><span class="Comment">//:</span> <span id="L128" class="LineNr">128 </span><span class="Comment">//: Corollary: don't use the size() method on containers, since it returns an</span> <span id="L129" class="LineNr">129 </span><span class="Comment">//: unsigned and that'll cause warnings about mixing signed and unsigned,</span> <span id="L130" class="LineNr">130 </span><span class="Comment">//: yadda-yadda. Instead use this macro below to perform an unsafe cast to</span> <span id="L131" class="LineNr">131 </span><span class="Comment">//: signed. We'll just give up immediately if a container's ever too large.</span> <span id="L132" class="LineNr">132 </span><span class="Comment">//: Basically, Mu is not concerned about this being a little slower than it</span> <span id="L133" class="LineNr">133 </span><span class="Comment">//: could be. (<a href="https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759de5a7">https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759de5a7</a>)</span> <span id="L134" class="LineNr">134 </span><span class="Comment">//:</span> <span id="L135" class="LineNr">135 </span><span class="Comment">//: Addendum to corollary: We're going to uniformly use int everywhere, to</span> <span id="L136" class="LineNr">136 </span><span class="Comment">//: indicate that we're oblivious to number size, and since Clang on 32-bit</span> <span id="L137" class="LineNr">137 </span><span class="Comment">//: platforms doesn't yet support multiplication over 64-bit integers, and</span> <span id="L138" class="LineNr">138 </span><span class="Comment">//: since multiplying two integers seems like a more common situation to end</span> <span id="L139" class="LineNr">139 </span><span class="Comment">//: up in than integer overflow.</span> <span id="L140" class="LineNr">140 </span><span class="Delimiter">:(before &quot;End Includes&quot;)</span> <span id="L141" class="LineNr">141 </span><span class="Comment">#define SIZE(X) (assert((X).size() &lt; (1LL&lt;&lt;(sizeof(int)*8-2))), static_cast&lt;int&gt;((X).size()))</span> <span id="L142" class="LineNr">142 </span> <span id="L143" class="LineNr">143 </span><span class="Comment">//: 5. Integer overflow is guarded against at runtime using the -ftrapv flag</span> <span id="L144" class="LineNr">144 </span><span class="Comment">//: to the compiler, supported by Clang (GCC version only works sometimes:</span> <span id="L145" class="LineNr">145 </span><span class="Comment">//: <a href="http://stackoverflow.com/questions/20851061/how-to-make-gcc-ftrapv-work">http://stackoverflow.com/questions/20851061/how-to-make-gcc-ftrapv-work</a>).</span> <span id="L146" class="LineNr">146 </span><span class="Delimiter">:(before &quot;atexit(reset)&quot;)</span> <span id="L147" class="LineNr">147 </span><a href='001help.cc.html#L152'>initialize_signal_handlers</a><span class="Delimiter">();</span> <span class="Comment">// not always necessary, but doesn't hurt</span> <span id="L148" class="LineNr">148 </span><span class="CommentedCode">//? cerr &lt;&lt; INT_MAX+1 &lt;&lt; '\n'; // test overflow</span> <span id="L149" class="LineNr">149 </span><span class="CommentedCode">//? assert(false); // test SIGABRT</span> <span id="L150" class="LineNr">150 </span><span class="Delimiter">:(code)</span> <span id="L151" class="LineNr">151 </span><span class="Comment">// based on <a href="https://spin.atomicobject.com/2013/01/13/exceptions-stack-traces-c">https://spin.atomicobject.com/2013/01/13/exceptions-stack-traces-c</a></span> <span id="L152" class="LineNr">152 </span><span class="Normal">void</span> <a href='001help.cc.html#L152'>initialize_signal_handlers</a><span class="Delimiter">()</span> <span class="Delimiter">{</span> <span id="L153" class="LineNr">153 </span> <span class="Normal">struct</span> sigaction action<span class="Delimiter">;</span> <span id="L154" class="LineNr">154 </span> bzero<span class="Delimiter">(</span>&amp;action<span class="Delimiter">,</span> <span class="Normal">sizeof</span><span class="Delimiter">(</span>action<span class="Delimiter">));</span> <span id="L155" class="LineNr">155 </span> action<span class="Delimiter">.</span>sa_sigaction = <a href='001help.cc.html#L160'>dump_and_exit</a><span class="Delimiter">;</span> <span id="L156" class="LineNr">156 </span> sigemptyset<span class="Delimiter">(</span>&amp;action<span class="Delimiter">.</span>sa_mask<span class="Delimiter">);</span> <span id="L157" class="LineNr">157 </span> sigaction<span class="Delimiter">(</span><span class="Constant">SIGABRT</span><span class="Delimiter">,</span> &amp;action<span class="Delimiter">,</span> <span class="Constant">NULL</span><span class="Delimiter">);</span> <span class="Comment">// assert() failure or integer overflow on linux (with -ftrapv)</span> <span id="L158" class="LineNr">158 </span> sigaction<span class="Delimiter">(</span><span class="Constant">SIGILL</span><span class="Delimiter">,</span> &amp;action<span class="Delimiter">,</span> <span class="Constant">NULL</span><span class="Delimiter">);</span> <span class="Comment">// integer overflow on OS X (with -ftrapv)</span> <span id="L159" class="LineNr">159 </span><span class="Delimiter">}</span> <span id="L160" class="LineNr">160 </span><span class="Normal">void</span> <a href='001help.cc.html#L160'>dump_and_exit</a><span class="Delimiter">(</span><span class="Normal">int</span> sig<span class="Delimiter">,</span> siginfo_t* <span class="Comment">/*</span><span class="Comment">unused</span><span class="Comment">*/</span><span class="Delimiter">,</span> <span class="Normal">void</span>* <span class="Comment">/*</span><span class="Comment">unused</span><span class="Comment">*/</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L161" class="LineNr">161 </span> <span class="Normal">switch</span> <span class="Delimiter">(</span>sig<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L162" class="LineNr">162 </span> <span class="Normal">case</span> <span class="Constant">SIGABRT</span>: <span id="L163" class="LineNr">163 </span> <span class="Comment">#ifndef __APPLE__</span> <span id="L164" class="LineNr">164 </span> cerr &lt;&lt; <span class="Constant">&quot;SIGABRT: might be an integer overflow if it wasn't an assert() failure or exception\n&quot;</span><span class="Delimiter">;</span> <span id="L165" class="LineNr">165 </span> _Exit<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">);</span> <span id="L166" class="LineNr">166 </span> <span class="Comment">#endif</span> <span id="L167" class="LineNr">167 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L168" class="LineNr">168 </span> <span class="Normal">case</span> <span class="Constant">SIGILL</span>: <span id="L169" class="LineNr">169 </span> <span class="Comment">#ifdef __APPLE__</span> <span id="L170" class="LineNr">170 </span> cerr &lt;&lt; <span class="Constant">&quot;SIGILL: most likely caused by integer overflow\n&quot;</span><span class="Delimiter">;</span> <span id="L171" class="LineNr">171 </span> _Exit<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">);</span> <span id="L172" class="LineNr">172 </span> <span class="Comment">#endif</span> <span id="L173" class="LineNr">173 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L174" class="LineNr">174 </span> <span class="Normal">default</span>: <span id="L175" class="LineNr">175 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L176" class="LineNr">176 </span> <span class="Delimiter">}</span> <span id="L177" class="LineNr">177 </span><span class="Delimiter">}</span> <span id="L178" class="LineNr">178 </span><span class="Delimiter">:(before &quot;End Includes&quot;)</span> <span id="L179" class="LineNr">179 </span><span class="Comment">#include &lt;signal.h&gt;</span> <span id="L180" class="LineNr">180 </span> <span id="L181" class="LineNr">181 </span><span class="Comment">//: For good measure we'll also enable SIGFPE.</span> <span id="L182" class="LineNr">182 </span><span class="Delimiter">:(before &quot;atexit(reset)&quot;)</span> <span id="L183" class="LineNr">183 </span><a href='001help.cc.html#L196'>feenableexcept</a><span class="Delimiter">(</span>FE_OVERFLOW | FE_UNDERFLOW<span class="Delimiter">);</span> <span id="L184" class="LineNr">184 </span><span class="CommentedCode">//? assert(sizeof(int) == 4 &amp;&amp; sizeof(float) == 4);</span> <span id="L185" class="LineNr">185 </span><span class="CommentedCode">//? // | exp | mantissa</span> <span id="L186" class="LineNr">186 </span><span class="CommentedCode">//? int smallest_subnormal = 0b00000000000000000000000000000001;</span> <span id="L187" class="LineNr">187 </span><span class="CommentedCode">//? float smallest_subnormal_f = *reinterpret_cast&lt;float*&gt;(&amp;smallest_subnormal);</span> <span id="L188" class="LineNr">188 </span><span class="CommentedCode">//? cerr &lt;&lt; &quot;ε: &quot; &lt;&lt; smallest_subnormal_f &lt;&lt; '\n';</span> <span id="L189" class="LineNr">189 </span><span class="CommentedCode">//? cerr &lt;&lt; &quot;ε/2: &quot; &lt;&lt; smallest_subnormal_f/2 &lt;&lt; &quot; (underflow)\n&quot;; // test SIGFPE</span> <span id="L190" class="LineNr">190 </span><span class="Delimiter">:(before &quot;End Includes&quot;)</span> <span id="L191" class="LineNr">191 </span><span class="Comment">#include &lt;fenv.h&gt;</span> <span id="L192" class="LineNr">192 </span><span class="Delimiter">:(code)</span> <span id="L193" class="LineNr">193 </span><span class="Comment">#ifdef __APPLE__</span> <span id="L194" class="LineNr">194 </span><span class="Comment">// Public domain polyfill for feenableexcept on OS X</span> <span id="L195" class="LineNr">195 </span><span class="Comment">// <a href="http://www-personal.umich.edu/~williams/archive/computation/fe-handling-example.c">http://www-personal.umich.edu/~williams/archive/computation/fe-handling-example.c</a></span> <span id="L196" class="LineNr">196 </span><span class="Normal">int</span> <a href='001help.cc.html#L196'>feenableexcept</a><span class="Delimiter">(</span><span class="Normal">unsigned</span> <span class="Normal">int</span> excepts<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L197" class="LineNr">197 </span> <span class="Normal">static</span> fenv_t fenv<span class="Delimiter">;</span> <span id="L198" class="LineNr">198 </span> <span class="Normal">unsigned</span> <span class="Normal">int</span> new_excepts = excepts &amp; FE_ALL_EXCEPT<span class="Delimiter">;</span> <span id="L199" class="LineNr">199 </span> <span class="Normal">unsigned</span> <span class="Normal">int</span> old_excepts<span class="Delimiter">;</span> <span id="L200" class="LineNr">200 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>fegetenv<span class="Delimiter">(</span>&amp;fenv<span class="Delimiter">))</span> <span class="Identifier">return</span> -<span class="Constant">1</span><span class="Delimiter">;</span> <span id="L201" class="LineNr">201 </span> old_excepts = fenv<span class="Delimiter">.</span>__control &amp; FE_ALL_EXCEPT<span class="Delimiter">;</span> <span id="L202" class="LineNr">202 </span> fenv<span class="Delimiter">.</span>__control &amp;= ~new_excepts<span class="Delimiter">;</span> <span id="L203" class="LineNr">203 </span> fenv<span class="Delimiter">.</span>__mxcsr &amp;= ~<span class="Delimiter">(</span>new_excepts &lt;&lt; <span class="Constant">7</span><span class="Delimiter">);</span> <span id="L204" class="LineNr">204 </span> <span class="Identifier">return</span> fesetenv<span class="Delimiter">(</span>&amp;fenv<span class="Delimiter">)</span> ? -<span class="Constant">1</span> : old_excepts<span class="Delimiter">;</span> <span id="L205" class="LineNr">205 </span><span class="Delimiter">}</span> <span id="L206" class="LineNr">206 </span><span class="Comment">#endif</span> <span id="L207" class="LineNr">207 </span> <span id="L208" class="LineNr">208 </span><span class="Comment">//: 6. Map's operator[] being non-const is fucking evil.</span> <span id="L209" class="LineNr">209 </span><span class="Delimiter">:(before &quot;Globals&quot;)</span> <span class="Comment">// can't generate prototypes for these</span> <span id="L210" class="LineNr">210 </span><span class="Comment">// from <a href="http://stackoverflow.com/questions/152643/idiomatic-c-for-reading-from-a-const-map">http://stackoverflow.com/questions/152643/idiomatic-c-for-reading-from-a-const-map</a></span> <span id="L211" class="LineNr">211 </span><span class="Normal">template</span>&lt;<span class="Normal">typename</span> <span class="Special">T</span>&gt; <span class="Normal">typename</span> <span class="Special">T</span>::mapped_type&amp; get<span class="Delimiter">(</span><span class="Special">T</span>&amp; map<span class="Delimiter">,</span> <span class="Normal">typename</span> <span class="Special">T</span>::key_type <span class="Normal">const</span>&amp; key<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L212" class="LineNr">212 </span> <span class="Normal">typename</span> <span class="Special">T</span>::iterator iter<span class="Delimiter">(</span>map<span class="Delimiter">.</span>find<span class="Delimiter">(</span>key<span class="Delimiter">));</span> <span id="L213" class="LineNr">213 </span> assert<span class="Delimiter">(</span>iter != map<span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">());</span> <span id="L214" class="LineNr">214 </span> <span class="Identifier">return</span> iter<span class="Delimiter">-&gt;</span>second<span class="Delimiter">;</span> <span id="L215" class="LineNr">215 </span><span class="Delimiter">}</span> <span id="L216" class="LineNr">216 </span><span class="Normal">template</span>&lt;<span class="Normal">typename</span> <span class="Special">T</span>&gt; <span class="Normal">typename</span> <span class="Special">T</span>::mapped_type <span class="Normal">const</span>&amp; get<span class="Delimiter">(</span><span class="Normal">const</span> <span class="Special">T</span>&amp; map<span class="Delimiter">,</span> <span class="Normal">typename</span> <span class="Special">T</span>::key_type <span class="Normal">const</span>&amp; key<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L217" class="LineNr">217 </span> <span class="Normal">typename</span> <span class="Special">T</span>::const_iterator iter<span class="Delimiter">(</span>map<span class="Delimiter">.</span>find<span class="Delimiter">(</span>key<span class="Delimiter">));</span> <span id="L218" class="LineNr">218 </span> assert<span class="Delimiter">(</span>iter != map<span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">());</span> <span id="L219" class="LineNr">219 </span> <span class="Identifier">return</span> iter<span class="Delimiter">-&gt;</span>second<span class="Delimiter">;</span> <span id="L220" class="LineNr">220 </span><span class="Delimiter">}</span> <span id="L221" class="LineNr">221 </span><span class="Normal">template</span>&lt;<span class="Normal">typename</span> <span class="Special">T</span>&gt; <span class="Normal">typename</span> <span class="Special">T</span>::mapped_type <span class="Normal">const</span>&amp; <a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span><span class="Special">T</span>&amp; map<span class="Delimiter">,</span> <span class="Normal">typename</span> <span class="Special">T</span>::key_type <span class="Normal">const</span>&amp; key<span class="Delimiter">,</span> <span class="Normal">typename</span> <span class="Special">T</span>::mapped_type <span class="Normal">const</span>&amp; value<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L222" class="LineNr">222 </span> <span class="Comment">// map[key] requires mapped_type to have a zero-arg (default) constructor</span> <span id="L223" class="LineNr">223 </span> map<span class="Delimiter">.</span>insert<span class="Delimiter">(</span>std::make_pair<span class="Delimiter">(</span>key<span class="Delimiter">,</span> value<span class="Delimiter">)).</span>first<span class="Delimiter">-&gt;</span>second = value<span class="Delimiter">;</span> <span id="L224" class="LineNr">224 </span> <span class="Identifier">return</span> value<span class="Delimiter">;</span> <span id="L225" class="LineNr">225 </span><span class="Delimiter">}</span> <span id="L226" class="LineNr">226 </span><span class="Normal">template</span>&lt;<span class="Normal">typename</span> <span class="Special">T</span>&gt; <span class="Normal">bool</span> <a href='001help.cc.html#L226'>contains_key</a><span class="Delimiter">(</span><span class="Special">T</span>&amp; map<span class="Delimiter">,</span> <span class="Normal">typename</span> <span class="Special">T</span>::key_type <span class="Normal">const</span>&amp; key<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L227" class="LineNr">227 </span> <span class="Identifier">return</span> map<span class="Delimiter">.</span>find<span class="Delimiter">(</span>key<span class="Delimiter">)</span> != map<span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L228" class="LineNr">228 </span><span class="Delimiter">}</span> <span id="L229" class="LineNr">229 </span><span class="Normal">template</span>&lt;<span class="Normal">typename</span> <span class="Special">T</span>&gt; <span class="Normal">typename</span> <span class="Special">T</span>::mapped_type&amp; <a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span><span class="Special">T</span>&amp; map<span class="Delimiter">,</span> <span class="Normal">typename</span> <span class="Special">T</span>::key_type <span class="Normal">const</span>&amp; key<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L230" class="LineNr">230 </span> <span class="Identifier">return</span> map[key]<span class="Delimiter">;</span> <span id="L231" class="LineNr">231 </span><span class="Delimiter">}</span> <span id="L232" class="LineNr">232 </span><span class="Comment">//: The contract: any container that relies on get_or_insert should never call</span> <span id="L233" class="LineNr">233 </span><span class="Comment">//: contains_key.</span> <span id="L234" class="LineNr">234 </span> <span id="L235" class="LineNr">235 </span><span class="Comment">//: 7. istreams are a royal pain in the arse. You have to be careful about</span> <span id="L236" class="LineNr">236 </span><span class="Comment">//: what subclass you try to putback into. You have to watch out for the pesky</span> <span id="L237" class="LineNr">237 </span><span class="Comment">//: failbit and badbit. Just avoid eof() and use this helper instead.</span> <span id="L238" class="LineNr">238 </span><span class="Delimiter">:(code)</span> <span id="L239" class="LineNr">239 </span><span class="Normal">bool</span> <a href='001help.cc.html#L239'>has_data</a><span class="Delimiter">(</span>istream&amp; in<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L240" class="LineNr">240 </span> <span class="Identifier">return</span> in &amp;&amp; !in<span class="Delimiter">.</span>eof<span class="Delimiter">();</span> <span id="L241" class="LineNr">241 </span><span class="Delimiter">}</span> <span id="L242" class="LineNr">242 </span> <span id="L243" class="LineNr">243 </span><span class="Delimiter">:(before &quot;End Includes&quot;)</span> <span id="L244" class="LineNr">244 </span><span class="Comment">#include &lt;assert.h&gt;</span> <span id="L245" class="LineNr">245 </span> <span id="L246" class="LineNr">246 </span><span class="Comment">#include &lt;iostream&gt;</span> <span id="L247" class="LineNr">247 </span><span class="Normal">using</span> std::istream<span class="Delimiter">;</span> <span id="L248" class="LineNr">248 </span><span class="Normal">using</span> std::ostream<span class="Delimiter">;</span> <span id="L249" class="LineNr">249 </span><span class="Normal">using</span> std::iostream<span class="Delimiter">;</span> <span id="L250" class="LineNr">250 </span><span class="Normal">using</span> std::cin<span class="Delimiter">;</span> <span id="L251" class="LineNr">251 </span><span class="Normal">using</span> std::cout<span class="Delimiter">;</span> <span id="L252" class="LineNr">252 </span><span class="Normal">using</span> std::cerr<span class="Delimiter">;</span> <span id="L253" class="LineNr">253 </span><span class="Comment">#include &lt;iomanip&gt;</span> <span id="L254" class="LineNr">254 </span> <span id="L255" class="LineNr">255 </span><span class="Comment">#include &lt;string.h&gt;</span> <span id="L256" class="LineNr">256 </span><span class="Comment">#include &lt;string&gt;</span> <span id="L257" class="LineNr">257 </span><span class="Normal">using</span> std::string<span class="Delimiter">;</span> <span id="L258" class="LineNr">258 </span> <span id="L259" class="LineNr">259 </span><span class="Comment">#include &lt;algorithm&gt;</span> <span id="L260" class="LineNr">260 </span><span class="Normal">using</span> std::min<span class="Delimiter">;</span> <span id="L261" class="LineNr">261 </span><span class="Normal">using</span> std::max<span class="Delimiter">;</span> </pre> </body> </html> <!-- vim: set foldmethod=manual : -->