Add bound optimizations (#626)

* Add bound optimizations

* Update Compiler.jl

* add symlink for local build

* actually fix

* Update Compiler.jl

* Update deps/build_local.jl

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

---------

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

Author: wsmoses

deps/build_local.jl

@@ -142,6 +142,22 @@ end
 lib_path = joinpath(source_dir, "bazel-bin", only(built_libs))
 isfile(lib_path) || error("Could not find library $lib_path in build directory")
 
+if build_backend == "cuda"
+    if !Base.Filesystem.ispath(joinpath(source_dir, "bazel-bin", "cuda", "bin", "ptxas"))
+        Base.Filesystem.mkpath(joinpath(source_dir, "bazel-bin", "cuda", "bin"))
+        Base.Filesystem.symlink(
+            joinpath(
+                source_dir,
+                "bazel-bin",
+                "libReactantExtra.so.runfiles",
+                "cuda_nvcc",
+                "bin",
+                "ptxas",
+            ),
+            joinpath(source_dir, "bazel-bin", "cuda", "bin", "ptxas"),
+        )
+    end
+end
 # Tell ReactantExtra_jll to load our library instead of the default artifact one
 set_preferences!(
     joinpath(dirname(@__DIR__), "LocalPreferences.toml"),

src/Compiler.jl

@@ -317,9 +317,11 @@ function optimization_passes(; no_nan::Bool=false, sroa::Bool=false)
     func_passes = join(["canonicalize", "cse", "canonicalize", transform_passes], ",")
     passes = ["inline{default-pipeline=canonicalize max-iterations=4}"]
     if sroa
+        push!(passes, "propagate-constant-bounds")
         push!(passes, "sroa-wrappers")
         push!(passes, "libdevice-funcs-raise")
         push!(passes, "canonicalize")
+        push!(passes, "remove-duplicate-func-def")
     end
     push!(passes, func_passes)
     return join(passes, ',')