{u,s}{add,sub,mul}_overflow emit tests for aarch64

Author: T0b1-iOS

cranelift/codegen/src/isa/aarch64/inst/emit_tests.rs

@@ -1086,6 +1086,30 @@ fn test_aarch64_binemit() {
         "4190039B",
         "msub x1, x2, x3, x4",
     ));
+    insns.push((
+        Inst::AluRRRR {
+            alu_op: ALUOp3::UMAddL,
+            size: OperandSize::Size32,
+            rd: writable_xreg(1),
+            rn: xreg(2),
+            rm: xreg(3),
+            ra: xreg(4),
+        },
+        "4110A39B",
+        "umaddl x1, w2, w3, x4",
+    ));
+    insns.push((
+        Inst::AluRRRR {
+            alu_op: ALUOp3::SMAddL,
+            size: OperandSize::Size32,
+            rd: writable_xreg(1),
+            rn: xreg(2),
+            rm: xreg(3),
+            ra: xreg(4),
+        },
+        "4110239B",
+        "smaddl x1, w2, w3, x4",
+    ));
     insns.push((
         Inst::AluRRR {
             alu_op: ALUOp::SMulH,

cranelift/codegen/src/isa/aarch64/inst/mod.rs

@@ -1191,16 +1191,23 @@ impl Inst {
                 rm,
                 ra,
             } => {
+                let mut da_size = size;
                 let op = match alu_op {
                     ALUOp3::MAdd => "madd",
                     ALUOp3::MSub => "msub",
-                    ALUOp3::UMAddL => "umaddl",
-                    ALUOp3::SMAddL => "smaddl",
+                    ALUOp3::UMAddL => {
+                        da_size = OperandSize::Size64;
+                        "umaddl"
+                    }
+                    ALUOp3::SMAddL => {
+                        da_size = OperandSize::Size64;
+                        "smaddl"
+                    }
                 };
-                let rd = pretty_print_ireg(rd.to_reg(), size, allocs);
+                let rd = pretty_print_ireg(rd.to_reg(), da_size, allocs);
                 let rn = pretty_print_ireg(rn, size, allocs);
                 let rm = pretty_print_ireg(rm, size, allocs);
-                let ra = pretty_print_ireg(ra, size, allocs);
+                let ra = pretty_print_ireg(ra, da_size, allocs);
 
                 format!("{} {}, {}, {}, {}", op, rd, rn, rm, ra)
             }