# fadd without the reassoc flags can be reassociate only when unsafe fp math is
# enabled.
# CHECK-LABEL: name: fadd_no_reassoc
-# CHECK: %4:fpr32 = FADDSrr %0, %1
-# CHECK-SAFE-NEXT: %5:fpr32 = FADDSrr killed %4, %2
-# CHECK-SAFE-NEXT: %6:fpr32 = FADDSrr killed %5, %3
-# CHECK-UNSAFE-NEXT: %9:fpr32 = FADDSrr %2, %3
-# CHECK-UNSAFE-NEXT: %6:fpr32 = FADDSrr killed %4, killed %9
+# CHECK: [[ADD1:%[0-9]+]]:fpr32 = FADDSrr %0, %1
+# CHECK-SAFE-NEXT: [[ADD2:%[0-9]+]]:fpr32 = FADDSrr killed [[ADD1]], %2
+# CHECK-SAFE-NEXT: [[ADD3:%[0-9]+]]:fpr32 = FADDSrr killed [[ADD2]], %3
+# CHECK-UNSAFE-NEXT: [[ADD2:%[0-9]+]]:fpr32 = FADDSrr %2, %3
+# CHECK-UNSAFE-NEXT: [[ADD3:%[0-9]+]]:fpr32 = FADDSrr killed [[ADD1]], killed [[ADD2]]
---
name: fadd_no_reassoc
alignment: 4
# FIXME: We should be able to reassociate without unsafe fp math, but currently
# the reassoc flag is ignored.
# CHECK-LABEL: name: fadd_reassoc
-# CHECK: %4:fpr32 = reassoc FADDSrr %0, %1
-# CHECK-SAFE-NEXT: %5:fpr32 = reassoc FADDSrr killed %4, %2
-# CHECK-SAFE-NEXT: %6:fpr32 = reassoc FADDSrr killed %5, %3
-# CHECK-UNSAFE-NEXT: %9:fpr32 = reassoc FADDSrr %2, %3
-# CHECK-UNSAFE-NEXT: %6:fpr32 = reassoc FADDSrr killed %4, killed %9
+# CHECK: [[ADD1:%[0-9]+]]:fpr32 = reassoc FADDSrr %0, %1
+# CHECK-SAFE-NEXT: [[ADD2:%[0-9]+]]:fpr32 = reassoc FADDSrr killed [[ADD1]], %2
+# CHECK-SAFE-NEXT: [[ADD3:%[0-9]+]]:fpr32 = reassoc FADDSrr killed [[ADD2]], %3
+# CHECK-UNSAFE-NEXT: [[ADD2:%[0-9]+]]:fpr32 = reassoc FADDSrr %2, %3
+# CHECK-UNSAFE-NEXT: [[ADD3:%[0-9]+]]:fpr32 = reassoc FADDSrr killed [[ADD1]], killed [[ADD2]]
---
name: fadd_reassoc
alignment: 4
# Check that flags on the instructions are preserved after reassociation.
# CHECK-LABEL: name: fadd_flags
-# CHECK: %4:fpr32 = nsz FADDSrr %0, %1
-# CHECK-SAFE-NEXT: %5:fpr32 = nnan FADDSrr killed %4, %2
-# CHECK-SAFE-NEXT: %6:fpr32 = ninf FADDSrr killed %5, %3
-# CHECK-UNSAFE-NEXT: %9:fpr32 = nnan FADDSrr %2, %3
-# CHECK-UNSAFE-NEXT: %6:fpr32 = ninf FADDSrr killed %4, killed %9
+# CHECK: [[ADD1:%[0-9]+]]:fpr32 = nsz FADDSrr %0, %1
+# CHECK-SAFE-NEXT: [[ADD2:%[0-9]+]]:fpr32 = nnan FADDSrr killed [[ADD1]], %2
+# CHECK-SAFE-NEXT: [[ADD3:%[0-9]+]]:fpr32 = ninf FADDSrr killed [[ADD2]], %3
+# CHECK-UNSAFE-NEXT: [[ADD2:%[0-9]+]]:fpr32 = nnan FADDSrr %2, %3
+# CHECK-UNSAFE-NEXT: [[ADD3:%[0-9]+]]:fpr32 = ninf FADDSrr killed [[ADD1]], killed [[ADD2]]
---
name: fadd_flags
alignment: 4