File tree Expand file tree Collapse file tree 2 files changed +4
-0
lines changed Expand file tree Collapse file tree 2 files changed +4
-0
lines changed Original file line number Diff line number Diff line change @@ -1454,6 +1454,8 @@ and simplify env r (tree : Flambda.t) : Flambda.t * R.t =
1454
1454
in
1455
1455
let branch, r = simplify env r branch in
1456
1456
branch, R. map_benefit r B. remove_branch)
1457
+ | Region (Exclave body ) ->
1458
+ simplify env r body
1457
1459
| Region body ->
1458
1460
let use_outer_region = R. may_use_region r in
1459
1461
let r = R. set_region_use r false in
Original file line number Diff line number Diff line change @@ -1453,6 +1453,8 @@ and simplify env r (tree : Flambda.t) : Flambda.t * R.t =
1453
1453
in
1454
1454
let branch, r = simplify env r branch in
1455
1455
branch, R. map_benefit r B. remove_branch)
1456
+ | Region (Exclave body ) ->
1457
+ simplify env r body
1456
1458
| Region body ->
1457
1459
let use_outer_region = R. may_use_region r in
1458
1460
let r = R. set_region_use r false in
You can’t perform that action at this time.
0 commit comments