Commit 1c61a7bf authored by Camil Staps's avatar Camil Staps 🍃

Fix commit 2bbc3e69

parent fb68f9e7
Pipeline #24853 failed with stages
in 7 minutes and 52 seconds
......@@ -109,19 +109,23 @@ collect_instructions {debug_instructions,instructions_order=Just instrs_order} i
[ "(block $slow-instr"
, "(loop $abc-loop" ]
)
[ "(block $abc-gc"
, "(loop $abc-loop" ]
[ "(loop $abc-loop"
, "(block $abc-gc" ]
++
[ "(block $instr_"+++hd i.instrs \\ i <- reverse (IF_SEPARATE_LOOPS fast_instrs all_instructions)] ++
switch True ++
flatten [block_body {i & stmts=map (optimize fast_opt_options) i.stmts} \\ i <- IF_SEPARATE_LOOPS fast_instrs all_instructions] ++
IF_SEPARATE_LOOPS [") ;; abc-loop"] (gc_block "abc-loop") ++
IF_SEPARATE_LOOPS (
[ ") ;; block slow-instr" ] ++
IF_SEPARATE_LOOPS
(
[ ") ;; abc-loop"
, ") ;; block slow-instr"
] ++
switch False ++
flatten [block_body {i & stmts=map (optimize slow_opt_options) i.stmts} \\ i <- slow_instrs] ++
gc_block "abc-loop-outer")
[] ++
gc_block "abc-loop-outer"
)
(gc_block "abc-loop")
++
[ "(unreachable)" ] ++
footer
where
......
......@@ -19,7 +19,8 @@ from target import :: Expr
:: TPtrOffset = TPtrOffset
/* Used to specify types for expressions. See this issue for discussion:
* https://gitlab.science.ru.nl/clean-compiler-and-rts/compiler/issues/15 */
* https://gitlab.science.ru.nl/clean-compiler-and-rts/compiler/issues/15
*/
(:::) :: !(Expr t) t -> Expr t
class to_word t :: !(Expr t) -> Expr TWord
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment