Skip to content

Commit aa6d00f

Browse files
authored
flambda-backend: Flambda1: Simplify Region (Exclave e) to e (#1473)
1 parent e472be0 commit aa6d00f

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

middle_end/flambda/inline_and_simplify.ml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1453,6 +1453,8 @@ and simplify env r (tree : Flambda.t) : Flambda.t * R.t =
14531453
in
14541454
let branch, r = simplify env r branch in
14551455
branch, R.map_benefit r B.remove_branch)
1456+
| Region (Exclave body) ->
1457+
simplify env r body
14561458
| Region body ->
14571459
let use_outer_region = R.may_use_region r in
14581460
let r = R.set_region_use r false in

0 commit comments

Comments
 (0)