getActionDefinitionsBuilder({G_SMULH, G_UMULH}).legalFor({s32, s64});
getActionDefinitionsBuilder(
- {G_UADDE, G_USUBE, G_SADDO, G_SSUBO, G_UADDO, G_USUBO})
+ {G_SADDE, G_SSUBE, G_UADDE, G_USUBE, G_SADDO, G_SSUBO, G_UADDO, G_USUBO})
.legalFor({{s32, s1}, {s64, s1}})
.minScalar(0, s32);
--- /dev/null
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+# RUN: llc -mtriple aarch64 -verify-machineinstrs -run-pass=legalizer -debugify-and-strip-all-safe %s -o - | FileCheck %s
+
+---
+name: test_scalar_sadde_32
+body: |
+ bb.0.entry:
+ ; CHECK-LABEL: name: test_scalar_sadde_32
+ ; CHECK: %lhs:_(s32) = COPY $w0
+ ; CHECK: %rhs:_(s32) = COPY $w1
+ ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w2
+ ; CHECK: %carry_in:_(s1) = G_TRUNC [[COPY]](s32)
+ ; CHECK: %add:_(s32), %carry_out:_(s1) = G_SADDE %lhs, %rhs, %carry_in
+ ; CHECK: %carry_out_ext:_(s32) = G_ANYEXT %carry_out(s1)
+ ; CHECK: $w0 = COPY %add(s32)
+ ; CHECK: $w1 = COPY %carry_out_ext(s32)
+ %lhs:_(s32) = COPY $w0
+ %rhs:_(s32) = COPY $w1
+ %2:_(s32) = COPY $w2
+ %carry_in:_(s1) = G_TRUNC %2
+ %add:_(s32), %carry_out:_(s1) = G_SADDE %lhs, %rhs, %carry_in
+ %carry_out_ext:_(s32) = G_ANYEXT %carry_out
+ $w0 = COPY %add
+ $w1 = COPY %carry_out_ext
+
+...
--- /dev/null
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+# RUN: llc -mtriple aarch64 -verify-machineinstrs -run-pass=legalizer -debugify-and-strip-all-safe %s -o - | FileCheck %s
+
+---
+name: test_scalar_ssube_32
+body: |
+ bb.0.entry:
+ ; CHECK-LABEL: name: test_scalar_ssube_32
+ ; CHECK: %lhs:_(s32) = COPY $w0
+ ; CHECK: %rhs:_(s32) = COPY $w1
+ ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w2
+ ; CHECK: %carry_in:_(s1) = G_TRUNC [[COPY]](s32)
+ ; CHECK: %sub:_(s32), %carry_out:_(s1) = G_SSUBE %lhs, %rhs, %carry_in
+ ; CHECK: %carry_out_ext:_(s32) = G_ANYEXT %carry_out(s1)
+ ; CHECK: $w0 = COPY %sub(s32)
+ ; CHECK: $w1 = COPY %carry_out_ext(s32)
+ %lhs:_(s32) = COPY $w0
+ %rhs:_(s32) = COPY $w1
+ %2:_(s32) = COPY $w2
+ %carry_in:_(s1) = G_TRUNC %2
+ %sub:_(s32), %carry_out:_(s1) = G_SSUBE %lhs, %rhs, %carry_in
+ %carry_out_ext:_(s32) = G_ANYEXT %carry_out
+ $w0 = COPY %sub
+ $w1 = COPY %carry_out_ext
+
+...
# DEBUG-NEXT: .. the first uncovered type index: 2, OK
# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
# DEBUG-NEXT: G_UADDE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
+# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
# DEBUG-NEXT: .. the first uncovered type index: 2, OK
# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
# DEBUG-NEXT: G_USUBO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
# DEBUG-NEXT: .. the first uncovered type index: 2, OK
# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
# DEBUG-NEXT: G_SADDE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
-# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
-# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
+# DEBUG-NEXT: .. the first uncovered type index: 2, OK
+# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
# DEBUG-NEXT: G_SSUBO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
# DEBUG-NEXT: .. the first uncovered type index: 2, OK
# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
# DEBUG-NEXT: G_SSUBE (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
-# DEBUG-NEXT: .. type index coverage check SKIPPED: no rules defined
-# DEBUG-NEXT: .. imm index coverage check SKIPPED: no rules defined
+# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
+# DEBUG-NEXT: .. the first uncovered type index: 2, OK
+# DEBUG-NEXT: .. the first uncovered imm index: 0, OK
# DEBUG-NEXT: G_UMULO (opcode {{[0-9]+}}): 2 type indices, 0 imm indices
# DEBUG-NEXT: .. opcode {{[0-9]+}} is aliased to {{[0-9]+}}
# DEBUG-NEXT: .. the first uncovered type index: 2, OK