Preparation for postpass in aarch64 and refactoring

1 files changed, 40 insertions, 40 deletions

diff --git a/aarch64/Asmexpand.ml b/aarch64/Asmexpand.ml
index 8e3c169a..0cee763e 100644
--- a/aarch64/Asmexpand.ml
+++ b/aarch64/Asmexpand.ml
@@ -132,9 +132,9 @@ let expand_builtin_va_start r =
 let expand_annot_val kind txt targ args res =
   emit (Pbuiltin (EF_annot(kind,txt,[targ]), args, BR_none));
   match args, res with
-  | [BA(DR(IR' src))], BR(DR(IR' dst)) ->
+  | [BA(DR(IR src))], BR(DR(IR dst)) ->
      if dst <> src then emit (Pmov (dst, src))
-  | [BA(DR(FR' src))], BR(DR(FR' dst)) ->
+  | [BA(DR(FR src))], BR(DR(FR dst)) ->
      if dst <> src then emit (Pfmov (dst, src))
   | _, _ ->
      raise (Error "ill-formed __builtin_annot_val")
@@ -152,7 +152,7 @@ let offset_in_range ofs =
   
 let memcpy_small_arg sz arg tmp =
   match arg with
-  | BA (DR(IR' r)) ->
+  | BA (DR(IR r)) ->
       (r, _0)
   | BA_addrstack ofs ->
       if offset_in_range ofs
@@ -164,7 +164,7 @@ let memcpy_small_arg sz arg tmp =
 
 let expand_builtin_memcpy_small sz al src dst =
   let (tsrc, tdst) =
-    if dst <> BA (DR(IR'(RR1 X17))) then (X17, X29) else (X29, X17) in
+    if dst <> BA (DR(IR(RR1 X17))) then (X17, X29) else (X29, X17) in
   let (rsrc, osrc) = memcpy_small_arg sz src tsrc in
   let (rdst, odst) = memcpy_small_arg sz dst tdst in
   let rec copy osrc odst sz =
@@ -197,7 +197,7 @@ let expand_builtin_memcpy_small sz al src dst =
 
 let memcpy_big_arg arg tmp =
   match arg with
-  | BA (DR(IR' r)) -> emit (Pmov(RR1 tmp, r))
+  | BA (DR(IR r)) -> emit (Pmov(RR1 tmp, r))
   | BA_addrstack ofs -> expand_addimm64 (RR1 tmp) XSP ofs
   | _ -> assert false
 
@@ -241,28 +241,28 @@ let expand_builtin_memcpy  sz al args =
 let expand_builtin_vload_common chunk base ofs res =
   let addr = ADimm(base, ofs) in
   match chunk, res with
-  | Mint8unsigned, BR(DR(IR'(RR1 res))) ->
+  | Mint8unsigned, BR(DR(IR(RR1 res))) ->
      emit (Pldrb(W, res, addr))
-  | Mint8signed, BR(DR(IR'(RR1 res))) ->
+  | Mint8signed, BR(DR(IR(RR1 res))) ->
      emit (Pldrsb(W, res, addr))
-  | Mint16unsigned, BR(DR(IR'(RR1 res))) ->
+  | Mint16unsigned, BR(DR(IR(RR1 res))) ->
      emit (Pldrh(W, res, addr))
-  | Mint16signed, BR(DR(IR'(RR1 res))) ->
+  | Mint16signed, BR(DR(IR(RR1 res))) ->
      emit (Pldrsh(W, res, addr))
-  | Mint32, BR(DR(IR'(RR1 res))) ->
+  | Mint32, BR(DR(IR(RR1 res))) ->
      emit (Pldrw(res, addr))
-  | Mint64, BR(DR(IR'(RR1 res))) ->
+  | Mint64, BR(DR(IR(RR1 res))) ->
      emit (Pldrx(res, addr))
-  | Mfloat32, BR(DR(FR' res)) ->
+  | Mfloat32, BR(DR(FR res)) ->
      emit (Pldrs(res, addr))
-  | Mfloat64, BR(DR(FR' res)) ->
+  | Mfloat64, BR(DR(FR res)) ->
      emit (Pldrd(res, addr))
   | _ ->
      assert false
 
 let expand_builtin_vload chunk args res =
   match args with
-  | [BA(DR(IR' addr))] ->
+  | [BA(DR(IR addr))] ->
       expand_builtin_vload_common chunk addr _0 res
   | [BA_addrstack ofs] ->
       if offset_in_range (Z.add ofs (Memdata.size_chunk chunk)) then
@@ -271,7 +271,7 @@ let expand_builtin_vload chunk args res =
         expand_addimm64 (RR1 X16) XSP ofs; (* X16 <- SP + ofs *)
         expand_builtin_vload_common chunk (RR1 X16) _0 res
       end
-  | [BA_addptr(BA(DR(IR' addr)), BA_long ofs)] ->
+  | [BA_addptr(BA(DR(IR addr)), BA_long ofs)] ->
       if offset_in_range (Z.add ofs (Memdata.size_chunk chunk)) then
         expand_builtin_vload_common chunk addr ofs res
       else begin
@@ -284,24 +284,24 @@ let expand_builtin_vload chunk args res =
 let expand_builtin_vstore_common chunk base ofs src =
   let addr = ADimm(base, ofs) in
   match chunk, src with
-  | (Mint8signed | Mint8unsigned), BA(DR(IR'(RR1 src))) ->
+  | (Mint8signed | Mint8unsigned), BA(DR(IR(RR1 src))) ->
      emit (Pstrb(src, addr))
-  | (Mint16signed | Mint16unsigned), BA(DR(IR'(RR1 src))) ->
+  | (Mint16signed | Mint16unsigned), BA(DR(IR(RR1 src))) ->
      emit (Pstrh(src, addr))
-  | Mint32, BA(DR(IR'(RR1 src))) ->
+  | Mint32, BA(DR(IR(RR1 src))) ->
      emit (Pstrw(src, addr))
-  | Mint64, BA(DR(IR'(RR1 src))) ->
+  | Mint64, BA(DR(IR(RR1 src))) ->
      emit (Pstrx(src, addr))
-  | Mfloat32, BA(DR(FR' src)) ->
+  | Mfloat32, BA(DR(FR src)) ->
      emit (Pstrs(src, addr))
-  | Mfloat64, BA(DR(FR' src)) ->
+  | Mfloat64, BA(DR(FR src)) ->
      emit (Pstrd(src, addr))
   | _ ->
      assert false
 
 let expand_builtin_vstore chunk args =
   match args with
-  | [BA(DR(IR' addr)); src] ->
+  | [BA(DR(IR addr)); src] ->
       expand_builtin_vstore_common chunk addr _0 src
   | [BA_addrstack ofs; src] ->
       if offset_in_range (Z.add ofs (Memdata.size_chunk chunk)) then
@@ -310,7 +310,7 @@ let expand_builtin_vstore chunk args =
         expand_addimm64 (RR1 X16) XSP ofs; (* X16 <- SP + ofs *)
         expand_builtin_vstore_common chunk (RR1 X16) _0 src
       end
-  | [BA_addptr(BA(DR(IR' addr)), BA_long ofs); src] ->
+  | [BA_addptr(BA(DR(IR addr)), BA_long ofs); src] ->
       if offset_in_range (Z.add ofs (Memdata.size_chunk chunk)) then
         expand_builtin_vstore_common chunk addr ofs src
       else begin
@@ -330,37 +330,37 @@ let expand_builtin_inline name args res =
   | "__builtin_nop", [], _ ->
      emit Pnop
   (* Byte swap *)
-  | ("__builtin_bswap" | "__builtin_bswap32"), [BA(DR(IR'(RR1 a1)))], BR(DR(IR'(RR1 res))) ->
+  | ("__builtin_bswap" | "__builtin_bswap32"), [BA(DR(IR(RR1 a1)))], BR(DR(IR(RR1 res))) ->
      emit (Prev(W, res, a1))
-  | "__builtin_bswap64", [BA(DR(IR'(RR1 a1)))], BR(DR(IR'(RR1 res))) ->
+  | "__builtin_bswap64", [BA(DR(IR(RR1 a1)))], BR(DR(IR(RR1 res))) ->
      emit (Prev(X, res, a1))
-  | "__builtin_bswap16", [BA(DR(IR'(RR1 a1)))], BR(DR(IR'(RR1 res))) ->
+  | "__builtin_bswap16", [BA(DR(IR(RR1 a1)))], BR(DR(IR(RR1 res))) ->
      emit (Prev16(W, res, a1));
      emit (Pandimm(W, res, RR0 res, Z.of_uint 0xFFFF))
   (* Count leading zeros and leading sign bits *)
-  | "__builtin_clz",  [BA(DR(IR'(RR1 a1)))], BR(DR(IR'(RR1 res))) ->
+  | "__builtin_clz",  [BA(DR(IR(RR1 a1)))], BR(DR(IR(RR1 res))) ->
      emit (Pclz(W, res, a1))
-  | ("__builtin_clzl" | "__builtin_clzll"),  [BA(DR(IR'(RR1 a1)))], BR(DR(IR'(RR1 res))) ->
+  | ("__builtin_clzl" | "__builtin_clzll"),  [BA(DR(IR(RR1 a1)))], BR(DR(IR(RR1 res))) ->
      emit (Pclz(X, res, a1)) 
-  | "__builtin_cls",  [BA(DR(IR'(RR1 a1)))], BR(DR(IR'(RR1 res))) ->
+  | "__builtin_cls",  [BA(DR(IR(RR1 a1)))], BR(DR(IR(RR1 res))) ->
      emit (Pcls(W, res, a1))
-  | ("__builtin_clsl" | "__builtin_clsll"),  [BA(DR(IR'(RR1 a1)))], BR(DR(IR'(RR1 res))) ->
+  | ("__builtin_clsl" | "__builtin_clsll"),  [BA(DR(IR(RR1 a1)))], BR(DR(IR(RR1 res))) ->
      emit (Pcls(X, res, a1))
  (* Float arithmetic *)
-  | "__builtin_fabs",  [BA(DR(FR' a1))], BR(DR(FR' res)) ->
+  | "__builtin_fabs",  [BA(DR(FR a1))], BR(DR(FR res)) ->
      emit (Pfabs(D, res, a1))
-  | "__builtin_fsqrt",  [BA(DR(FR' a1))], BR(DR(FR' res)) ->
+  | "__builtin_fsqrt",  [BA(DR(FR a1))], BR(DR(FR res)) ->
      emit (Pfsqrt(D, res, a1))
-  | "__builtin_fmadd", [BA(DR(FR' a1)); BA(DR(FR' a2)); BA(DR(FR' a3))], BR(DR(FR' res)) ->
+  | "__builtin_fmadd", [BA(DR(FR a1)); BA(DR(FR a2)); BA(DR(FR a3))], BR(DR(FR res)) ->
       emit (Pfmadd(D, res, a1, a2, a3))
-  | "__builtin_fmsub", [BA(DR(FR' a1)); BA(DR(FR' a2)); BA(DR(FR' a3))], BR(DR(FR' res)) ->
+  | "__builtin_fmsub", [BA(DR(FR a1)); BA(DR(FR a2)); BA(DR(FR a3))], BR(DR(FR res)) ->
       emit (Pfmsub(D, res, a1, a2, a3))
-  | "__builtin_fnmadd", [BA(DR(FR' a1)); BA(DR(FR' a2)); BA(DR(FR' a3))], BR(DR(FR' res)) ->
+  | "__builtin_fnmadd", [BA(DR(FR a1)); BA(DR(FR a2)); BA(DR(FR a3))], BR(DR(FR res)) ->
       emit (Pfnmadd(D, res, a1, a2, a3))
-  | "__builtin_fnmsub", [BA(DR(FR' a1)); BA(DR(FR' a2)); BA(DR(FR' a3))], BR(DR(FR' res)) ->
+  | "__builtin_fnmsub", [BA(DR(FR a1)); BA(DR(FR a2)); BA(DR(FR a3))], BR(DR(FR res)) ->
       emit (Pfnmsub(D, res, a1, a2, a3))
   (* Vararg *)
-  | "__builtin_va_start", [BA(DR(IR'(RR1 a)))], _ ->
+  | "__builtin_va_start", [BA(DR(IR(RR1 a)))], _ ->
       expand_builtin_va_start a
   (* Catch-all *)
   | _ ->
@@ -427,9 +427,9 @@ let float_reg_to_dwarf = function
   | D30 -> 94 | D31 -> 95
 
 let preg_to_dwarf = function
-   | DR(IR'(RR1 r)) -> int_reg_to_dwarf r
-   | DR(FR' r) -> float_reg_to_dwarf r
-   | DR(IR'(XSP)) -> 31
+   | DR(IR(RR1 r)) -> int_reg_to_dwarf r
+   | DR(FR r) -> float_reg_to_dwarf r
+   | DR(IR(XSP)) -> 31
    | _ -> assert false
 
 let expand_function id fn =