diff options
-rw-r--r-- | mppa_k1c/TargetPrinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml index a2318469..d92e55ac 100644 --- a/mppa_k1c/TargetPrinter.ml +++ b/mppa_k1c/TargetPrinter.ml @@ -195,7 +195,7 @@ module Target (*: TARGET*) = fprintf oc " make %a = %s\n" ireg r (extern_atom id) end else begin if (extern_atom id) = "_impure_thread_data" then begin - fprintf oc " make %a = @tprel(%a)\n;;\n addd %a = %a, $r13\n" ireg r symbol_offset (id, ofs) ireg r ireg r + fprintf oc " addd %a = $r13, @tprel(%a)\n" ireg r symbol_offset (id, ofs) end else begin fprintf oc " make %a = %a\n" ireg r symbol_offset (id, ofs) end |