enable aggressive constant propagation

JuliaLLVM · Jul 13, 2024 · 9fdffa7 · 9fdffa7
1 parent 96bd9ee
commit 9fdffa7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/examples/generate/main.jl b/examples/generate/main.jl
@@ -65,8 +65,6 @@ struct Line{T}
     p2::Point{T}
 end
 
-@inline Base.literal_pow(::typeof(^), x::MLIRInteger, ::Val{2}) = x*x
-
 @noinline sq_distance(l::Line) = (l.p1.x - l.p2.x)^2 + (l.p1.y - l.p2.y)^2
 
 function f2(a::Point{i64}, b::Point{i64})

diff --git a/src/Generate/absint.jl b/src/Generate/absint.jl
@@ -17,7 +17,7 @@ struct MLIRInterpreter <: CC.AbstractInterpreter
         return new(
             cache_token,
             Base.get_world_counter(),
-            CC.InferenceParams(),
+            CC.InferenceParams(; aggressive_constant_propagation=true),
             CC.OptimizationParams(),
             CC.InferenceResult[],
             true