Add tests for bounds check elimination.

Author: blakejohnson

test/boundscheck.jl

@@ -0,0 +1,55 @@
+
+module TestBoundsCheck
+
+using Base.Test
+
+# test for boundscheck block elision at same level
+function A1_inbounds()
+    r = 0
+    @inbounds begin
+        @boundscheck r += 1
+    end
+    return r
+end
+
+function A1()
+    r = 0
+    @boundscheck r += 1
+    return r
+end
+
+@test A1() == 1
+@test A1_inbounds() == 0
+
+# test for boundscheck block elision one layer deep
+function A2_inbounds()
+    @inbounds r = A1()+1
+    return r
+end
+
+function A2()
+    r = A1()+1
+    return r
+end
+
+@test A2() == 2
+@test A2_inbounds() == 1
+
+# test boundscheck NOT elided two layers deep
+# C() = (y=0; @boundscheck y += A1()+1; return y)
+B() = A1() + 1
+
+function A3_inbounds()
+    @inbounds r = B()+1
+    return r
+end
+
+function A3()
+    r = B()+1
+    return r
+end
+
+@test A3() == 3
+@test A3_inbounds() == 3
+
+end

test/choosetests.jl

@@ -32,7 +32,8 @@ function choosetests(choices = [])
         "nullable", "meta", "profile", "libgit2", "docs", "markdown",
         "base64", "serialize", "functors", "misc", "threads",
         "enums", "cmdlineargs", "i18n", "workspace", "libdl", "int",
-        "checked", "intset", "floatfuncs", "compile", "parallel", "inline"
+        "checked", "intset", "floatfuncs", "compile", "parallel", "inline",
+        "boundscheck"
     ]
 
     if Base.USE_GPL_LIBS