Project

General

Profile

« Previous | Next » 

Revision d0f26f04

Added by LĂ©lio Brun 7 months ago

corrections for stateless nodes

View differences:

src/backends/C/c_backend_src.ml
228 228
        | MSetReset inst ->
229 229
          pp_machine_set_reset m self mem fmt inst
230 230
        | MClearReset ->
231
          fprintf fmt "%t@,%a"
232
            (pp_machine_clear_reset m self mem)
233
            pp_label reset_label
231
          if not (fst (get_stateless_status m)) then
232
            fprintf fmt "%t@,%a"
233
              (pp_machine_clear_reset m self mem)
234
              pp_label reset_label
234 235
        | MResetAssign b ->
235 236
          pp_reset_assign self fmt b
236 237
        | MLocalAssign (i, v) ->

Also available in: Unified diff