santoshn/softboundcets-34 — pull request #2 by Sjlver (2014-03-13 11:37:10+00:00)
Title: Don't insert checks directly, use runtime lib

Insert checks via calls to the runtime library, not via an IR builder.