arm conds

Author: TheNumbat

backend/arm64/emit.ml

@@ -1201,20 +1201,20 @@ let assembly_code_for_poll i ~far ~return_label =
   then (
     match return_label with
     | None ->
-      DSL.ins (I.B_cond LS) [| DSL.emit_label lbl_call_gc |];
+      DSL.ins (I.B_cond LO) [| DSL.emit_label lbl_call_gc |];
       D.define_label lbl_after_poll
     | Some return_label ->
-      DSL.ins (I.B_cond HI) [| DSL.emit_label return_label |];
+      DSL.ins (I.B_cond HS) [| DSL.emit_label return_label |];
       DSL.ins I.B [| DSL.emit_label lbl_call_gc |])
   else
     match return_label with
     | None ->
-      DSL.ins (I.B_cond HI) [| DSL.emit_label lbl_after_poll |];
+      DSL.ins (I.B_cond HS) [| DSL.emit_label lbl_after_poll |];
       DSL.ins I.B [| DSL.emit_label lbl_call_gc |];
       D.define_label lbl_after_poll
     | Some return_label ->
       let lbl = L.create Text in
-      DSL.ins (I.B_cond LS) [| DSL.emit_label lbl |];
+      DSL.ins (I.B_cond LO) [| DSL.emit_label lbl |];
       DSL.ins I.B [| DSL.emit_label return_label |];
       DSL.labeled_ins lbl I.B [| DSL.emit_label lbl_call_gc |]);
   call_gc_sites