; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4
; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z15 -verify-machineinstrs -O3 \
; RUN:   | FileCheck %s

; Test reassociation of fp add, subtract and multiply.

define double @fun0_fadd(ptr %x) {
; CHECK-LABEL: fun0_fadd:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    ld %f0, 0(%r2)
; CHECK-NEXT:    adb %f0, 8(%r2)
; CHECK-NEXT:    ld %f1, 24(%r2)
; CHECK-NEXT:    adb %f1, 16(%r2)
; CHECK-NEXT:    adbr %f0, %f1
; CHECK-NEXT:    ld %f1, 40(%r2)
; CHECK-NEXT:    adb %f1, 32(%r2)
; CHECK-NEXT:    adb %f1, 48(%r2)
; CHECK-NEXT:    adbr %f0, %f1
; CHECK-NEXT:    adb %f0, 56(%r2)
; CHECK-NEXT:    br %r14
entry:
  %0 = load double, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds double, ptr %x, i64 1
  %1 = load double, ptr %arrayidx1, align 8
  %add = fadd reassoc nsz arcp contract afn double %1, %0
  %arrayidx2 = getelementptr inbounds double, ptr %x, i64 2
  %2 = load double, ptr %arrayidx2, align 8
  %add3 = fadd reassoc nsz arcp contract afn double %add, %2
  %arrayidx4 = getelementptr inbounds double, ptr %x, i64 3
  %3 = load double, ptr %arrayidx4, align 8
  %add5 = fadd reassoc nsz arcp contract afn double %add3, %3
  %arrayidx6 = getelementptr inbounds double, ptr %x, i64 4
  %4 = load double, ptr %arrayidx6, align 8
  %add7 = fadd reassoc nsz arcp contract afn double %add5, %4
  %arrayidx8 = getelementptr inbounds double, ptr %x, i64 5
  %5 = load double, ptr %arrayidx8, align 8
  %add9 = fadd reassoc nsz arcp contract afn double %add7, %5
  %arrayidx10 = getelementptr inbounds double, ptr %x, i64 6
  %6 = load double, ptr %arrayidx10, align 8
  %add11 = fadd reassoc nsz arcp contract afn double %add9, %6
  %arrayidx12 = getelementptr inbounds double, ptr %x, i64 7
  %7 = load double, ptr %arrayidx12, align 8
  %add13 = fadd reassoc nsz arcp contract afn double %add11, %7
  ret double %add13
}

define float @fun1_fadd(ptr %x) {
; CHECK-LABEL: fun1_fadd:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    lde %f0, 0(%r2)
; CHECK-NEXT:    aeb %f0, 4(%r2)
; CHECK-NEXT:    lde %f1, 12(%r2)
; CHECK-NEXT:    aeb %f1, 8(%r2)
; CHECK-NEXT:    aebr %f0, %f1
; CHECK-NEXT:    lde %f1, 20(%r2)
; CHECK-NEXT:    aeb %f1, 16(%r2)
; CHECK-NEXT:    aeb %f1, 24(%r2)
; CHECK-NEXT:    aebr %f0, %f1
; CHECK-NEXT:    aeb %f0, 28(%r2)
; CHECK-NEXT:    br %r14
entry:
  %0 = load float, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds float, ptr %x, i64 1
  %1 = load float, ptr %arrayidx1, align 8
  %add = fadd reassoc nsz arcp contract afn float %1, %0
  %arrayidx2 = getelementptr inbounds float, ptr %x, i64 2
  %2 = load float, ptr %arrayidx2, align 8
  %add3 = fadd reassoc nsz arcp contract afn float %add, %2
  %arrayidx4 = getelementptr inbounds float, ptr %x, i64 3
  %3 = load float, ptr %arrayidx4, align 8
  %add5 = fadd reassoc nsz arcp contract afn float %add3, %3
  %arrayidx6 = getelementptr inbounds float, ptr %x, i64 4
  %4 = load float, ptr %arrayidx6, align 8
  %add7 = fadd reassoc nsz arcp contract afn float %add5, %4
  %arrayidx8 = getelementptr inbounds float, ptr %x, i64 5
  %5 = load float, ptr %arrayidx8, align 8
  %add9 = fadd reassoc nsz arcp contract afn float %add7, %5
  %arrayidx10 = getelementptr inbounds float, ptr %x, i64 6
  %6 = load float, ptr %arrayidx10, align 8
  %add11 = fadd reassoc nsz arcp contract afn float %add9, %6
  %arrayidx12 = getelementptr inbounds float, ptr %x, i64 7
  %7 = load float, ptr %arrayidx12, align 8
  %add13 = fadd reassoc nsz arcp contract afn float %add11, %7
  ret float %add13
}

define fp128 @fun2_fadd(ptr %x) {
; CHECK-LABEL: fun2_fadd:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    vl %v0, 0(%r3), 3
; CHECK-NEXT:    vl %v1, 16(%r3), 3
; CHECK-NEXT:    wfaxb %v0, %v1, %v0
; CHECK-NEXT:    vl %v1, 32(%r3), 3
; CHECK-NEXT:    vl %v2, 48(%r3), 3
; CHECK-NEXT:    wfaxb %v1, %v1, %v2
; CHECK-NEXT:    wfaxb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 64(%r3), 3
; CHECK-NEXT:    vl %v2, 80(%r3), 3
; CHECK-NEXT:    wfaxb %v1, %v1, %v2
; CHECK-NEXT:    vl %v2, 96(%r3), 3
; CHECK-NEXT:    wfaxb %v1, %v1, %v2
; CHECK-NEXT:    wfaxb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 112(%r3), 3
; CHECK-NEXT:    wfaxb %v0, %v0, %v1
; CHECK-NEXT:    vst %v0, 0(%r2), 3
; CHECK-NEXT:    br %r14
entry:
  %0 = load fp128, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds fp128, ptr %x, i64 1
  %1 = load fp128, ptr %arrayidx1, align 8
  %add = fadd reassoc nsz arcp contract afn fp128 %1, %0
  %arrayidx2 = getelementptr inbounds fp128, ptr %x, i64 2
  %2 = load fp128, ptr %arrayidx2, align 8
  %add3 = fadd reassoc nsz arcp contract afn fp128 %add, %2
  %arrayidx4 = getelementptr inbounds fp128, ptr %x, i64 3
  %3 = load fp128, ptr %arrayidx4, align 8
  %add5 = fadd reassoc nsz arcp contract afn fp128 %add3, %3
  %arrayidx6 = getelementptr inbounds fp128, ptr %x, i64 4
  %4 = load fp128, ptr %arrayidx6, align 8
  %add7 = fadd reassoc nsz arcp contract afn fp128 %add5, %4
  %arrayidx8 = getelementptr inbounds fp128, ptr %x, i64 5
  %5 = load fp128, ptr %arrayidx8, align 8
  %add9 = fadd reassoc nsz arcp contract afn fp128 %add7, %5
  %arrayidx10 = getelementptr inbounds fp128, ptr %x, i64 6
  %6 = load fp128, ptr %arrayidx10, align 8
  %add11 = fadd reassoc nsz arcp contract afn fp128 %add9, %6
  %arrayidx12 = getelementptr inbounds fp128, ptr %x, i64 7
  %7 = load fp128, ptr %arrayidx12, align 8
  %add13 = fadd reassoc nsz arcp contract afn fp128 %add11, %7
  ret fp128 %add13
}

define <2 x double> @fun3_fadd(ptr %x) {
; CHECK-LABEL: fun3_fadd:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    vl %v0, 0(%r2), 3
; CHECK-NEXT:    vl %v1, 16(%r2), 3
; CHECK-NEXT:    vfadb %v0, %v1, %v0
; CHECK-NEXT:    vl %v1, 32(%r2), 3
; CHECK-NEXT:    vl %v2, 48(%r2), 3
; CHECK-NEXT:    vfadb %v1, %v1, %v2
; CHECK-NEXT:    vfadb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 64(%r2), 3
; CHECK-NEXT:    vl %v2, 80(%r2), 3
; CHECK-NEXT:    vfadb %v1, %v1, %v2
; CHECK-NEXT:    vl %v2, 96(%r2), 3
; CHECK-NEXT:    vfadb %v1, %v1, %v2
; CHECK-NEXT:    vfadb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 112(%r2), 3
; CHECK-NEXT:    vfadb %v24, %v0, %v1
; CHECK-NEXT:    br %r14
entry:
  %0 = load <2 x double>, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds <2 x double>, ptr %x, i64 1
  %1 = load <2 x double>, ptr %arrayidx1, align 8
  %add = fadd reassoc nsz arcp contract afn <2 x double> %1, %0
  %arrayidx2 = getelementptr inbounds <2 x double>, ptr %x, i64 2
  %2 = load <2 x double>, ptr %arrayidx2, align 8
  %add3 = fadd reassoc nsz arcp contract afn <2 x double> %add, %2
  %arrayidx4 = getelementptr inbounds <2 x double>, ptr %x, i64 3
  %3 = load <2 x double>, ptr %arrayidx4, align 8
  %add5 = fadd reassoc nsz arcp contract afn <2 x double> %add3, %3
  %arrayidx6 = getelementptr inbounds <2 x double>, ptr %x, i64 4
  %4 = load <2 x double>, ptr %arrayidx6, align 8
  %add7 = fadd reassoc nsz arcp contract afn <2 x double> %add5, %4
  %arrayidx8 = getelementptr inbounds <2 x double>, ptr %x, i64 5
  %5 = load <2 x double>, ptr %arrayidx8, align 8
  %add9 = fadd reassoc nsz arcp contract afn <2 x double> %add7, %5
  %arrayidx10 = getelementptr inbounds <2 x double>, ptr %x, i64 6
  %6 = load <2 x double>, ptr %arrayidx10, align 8
  %add11 = fadd reassoc nsz arcp contract afn <2 x double> %add9, %6
  %arrayidx12 = getelementptr inbounds <2 x double>, ptr %x, i64 7
  %7 = load <2 x double>, ptr %arrayidx12, align 8
  %add13 = fadd reassoc nsz arcp contract afn <2 x double> %add11, %7
  ret <2 x double> %add13
}

define <4 x float> @fun4_fadd(ptr %x) {
; CHECK-LABEL: fun4_fadd:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    vl %v0, 0(%r2), 3
; CHECK-NEXT:    vl %v1, 16(%r2), 3
; CHECK-NEXT:    vfasb %v0, %v1, %v0
; CHECK-NEXT:    vl %v1, 32(%r2), 3
; CHECK-NEXT:    vl %v2, 48(%r2), 3
; CHECK-NEXT:    vfasb %v1, %v1, %v2
; CHECK-NEXT:    vfasb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 64(%r2), 3
; CHECK-NEXT:    vl %v2, 80(%r2), 3
; CHECK-NEXT:    vfasb %v1, %v1, %v2
; CHECK-NEXT:    vl %v2, 96(%r2), 3
; CHECK-NEXT:    vfasb %v1, %v1, %v2
; CHECK-NEXT:    vfasb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 112(%r2), 3
; CHECK-NEXT:    vfasb %v24, %v0, %v1
; CHECK-NEXT:    br %r14
entry:
  %0 = load <4 x float>, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds <4 x float>, ptr %x, i64 1
  %1 = load <4 x float>, ptr %arrayidx1, align 8
  %add = fadd reassoc nsz arcp contract afn <4 x float> %1, %0
  %arrayidx2 = getelementptr inbounds <4 x float>, ptr %x, i64 2
  %2 = load <4 x float>, ptr %arrayidx2, align 8
  %add3 = fadd reassoc nsz arcp contract afn <4 x float> %add, %2
  %arrayidx4 = getelementptr inbounds <4 x float>, ptr %x, i64 3
  %3 = load <4 x float>, ptr %arrayidx4, align 8
  %add5 = fadd reassoc nsz arcp contract afn <4 x float> %add3, %3
  %arrayidx6 = getelementptr inbounds <4 x float>, ptr %x, i64 4
  %4 = load <4 x float>, ptr %arrayidx6, align 8
  %add7 = fadd reassoc nsz arcp contract afn <4 x float> %add5, %4
  %arrayidx8 = getelementptr inbounds <4 x float>, ptr %x, i64 5
  %5 = load <4 x float>, ptr %arrayidx8, align 8
  %add9 = fadd reassoc nsz arcp contract afn <4 x float> %add7, %5
  %arrayidx10 = getelementptr inbounds <4 x float>, ptr %x, i64 6
  %6 = load <4 x float>, ptr %arrayidx10, align 8
  %add11 = fadd reassoc nsz arcp contract afn <4 x float> %add9, %6
  %arrayidx12 = getelementptr inbounds <4 x float>, ptr %x, i64 7
  %7 = load <4 x float>, ptr %arrayidx12, align 8
  %add13 = fadd reassoc nsz arcp contract afn <4 x float> %add11, %7
  ret <4 x float> %add13
}

define double @fun5_fsub(ptr %x) {
; CHECK-LABEL: fun5_fsub:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    ld %f0, 0(%r2)
; CHECK-NEXT:    sdb %f0, 8(%r2)
; CHECK-NEXT:    ld %f1, 24(%r2)
; CHECK-NEXT:    adb %f1, 16(%r2)
; CHECK-NEXT:    sdbr %f0, %f1
; CHECK-NEXT:    ld %f1, 40(%r2)
; CHECK-NEXT:    adb %f1, 32(%r2)
; CHECK-NEXT:    adb %f1, 48(%r2)
; CHECK-NEXT:    sdbr %f0, %f1
; CHECK-NEXT:    sdb %f0, 56(%r2)
; CHECK-NEXT:    br %r14
entry:
  %0 = load double, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds double, ptr %x, i64 1
  %1 = load double, ptr %arrayidx1, align 8
  %sub = fsub reassoc nsz arcp contract afn double %0, %1
  %arrayidx2 = getelementptr inbounds double, ptr %x, i64 2
  %2 = load double, ptr %arrayidx2, align 8
  %sub3 = fsub reassoc nsz arcp contract afn double %sub, %2
  %arrayidx4 = getelementptr inbounds double, ptr %x, i64 3
  %3 = load double, ptr %arrayidx4, align 8
  %sub5 = fsub reassoc nsz arcp contract afn double %sub3, %3
  %arrayidx6 = getelementptr inbounds double, ptr %x, i64 4
  %4 = load double, ptr %arrayidx6, align 8
  %sub7 = fsub reassoc nsz arcp contract afn double %sub5, %4
  %arrayidx8 = getelementptr inbounds double, ptr %x, i64 5
  %5 = load double, ptr %arrayidx8, align 8
  %sub9 = fsub reassoc nsz arcp contract afn double %sub7, %5
  %arrayidx10 = getelementptr inbounds double, ptr %x, i64 6
  %6 = load double, ptr %arrayidx10, align 8
  %sub11 = fsub reassoc nsz arcp contract afn double %sub9, %6
  %arrayidx12 = getelementptr inbounds double, ptr %x, i64 7
  %7 = load double, ptr %arrayidx12, align 8
  %sub13 = fsub reassoc nsz arcp contract afn double %sub11, %7
  ret double %sub13
}

define float @fun6_fsub(ptr %x) {
; CHECK-LABEL: fun6_fsub:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    lde %f0, 0(%r2)
; CHECK-NEXT:    seb %f0, 4(%r2)
; CHECK-NEXT:    lde %f1, 12(%r2)
; CHECK-NEXT:    aeb %f1, 8(%r2)
; CHECK-NEXT:    sebr %f0, %f1
; CHECK-NEXT:    lde %f1, 20(%r2)
; CHECK-NEXT:    aeb %f1, 16(%r2)
; CHECK-NEXT:    aeb %f1, 24(%r2)
; CHECK-NEXT:    sebr %f0, %f1
; CHECK-NEXT:    seb %f0, 28(%r2)
; CHECK-NEXT:    br %r14
entry:
  %0 = load float, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds float, ptr %x, i64 1
  %1 = load float, ptr %arrayidx1, align 8
  %sub = fsub reassoc nsz arcp contract afn float %0, %1
  %arrayidx2 = getelementptr inbounds float, ptr %x, i64 2
  %2 = load float, ptr %arrayidx2, align 8
  %sub3 = fsub reassoc nsz arcp contract afn float %sub, %2
  %arrayidx4 = getelementptr inbounds float, ptr %x, i64 3
  %3 = load float, ptr %arrayidx4, align 8
  %sub5 = fsub reassoc nsz arcp contract afn float %sub3, %3
  %arrayidx6 = getelementptr inbounds float, ptr %x, i64 4
  %4 = load float, ptr %arrayidx6, align 8
  %sub7 = fsub reassoc nsz arcp contract afn float %sub5, %4
  %arrayidx8 = getelementptr inbounds float, ptr %x, i64 5
  %5 = load float, ptr %arrayidx8, align 8
  %sub9 = fsub reassoc nsz arcp contract afn float %sub7, %5
  %arrayidx10 = getelementptr inbounds float, ptr %x, i64 6
  %6 = load float, ptr %arrayidx10, align 8
  %sub11 = fsub reassoc nsz arcp contract afn float %sub9, %6
  %arrayidx12 = getelementptr inbounds float, ptr %x, i64 7
  %7 = load float, ptr %arrayidx12, align 8
  %sub13 = fsub reassoc nsz arcp contract afn float %sub11, %7
  ret float %sub13
}

define fp128 @fun7_fsub(ptr %x) {
; CHECK-LABEL: fun7_fsub:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    vl %v0, 0(%r3), 3
; CHECK-NEXT:    vl %v1, 16(%r3), 3
; CHECK-NEXT:    wfsxb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 32(%r3), 3
; CHECK-NEXT:    vl %v2, 48(%r3), 3
; CHECK-NEXT:    wfaxb %v1, %v1, %v2
; CHECK-NEXT:    wfsxb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 64(%r3), 3
; CHECK-NEXT:    vl %v2, 80(%r3), 3
; CHECK-NEXT:    wfaxb %v1, %v1, %v2
; CHECK-NEXT:    vl %v2, 96(%r3), 3
; CHECK-NEXT:    wfaxb %v1, %v1, %v2
; CHECK-NEXT:    wfsxb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 112(%r3), 3
; CHECK-NEXT:    wfsxb %v0, %v0, %v1
; CHECK-NEXT:    vst %v0, 0(%r2), 3
; CHECK-NEXT:    br %r14
entry:
  %0 = load fp128, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds fp128, ptr %x, i64 1
  %1 = load fp128, ptr %arrayidx1, align 8
  %sub = fsub reassoc nsz arcp contract afn fp128 %0, %1
  %arrayidx2 = getelementptr inbounds fp128, ptr %x, i64 2
  %2 = load fp128, ptr %arrayidx2, align 8
  %sub3 = fsub reassoc nsz arcp contract afn fp128 %sub, %2
  %arrayidx4 = getelementptr inbounds fp128, ptr %x, i64 3
  %3 = load fp128, ptr %arrayidx4, align 8
  %sub5 = fsub reassoc nsz arcp contract afn fp128 %sub3, %3
  %arrayidx6 = getelementptr inbounds fp128, ptr %x, i64 4
  %4 = load fp128, ptr %arrayidx6, align 8
  %sub7 = fsub reassoc nsz arcp contract afn fp128 %sub5, %4
  %arrayidx8 = getelementptr inbounds fp128, ptr %x, i64 5
  %5 = load fp128, ptr %arrayidx8, align 8
  %sub9 = fsub reassoc nsz arcp contract afn fp128 %sub7, %5
  %arrayidx10 = getelementptr inbounds fp128, ptr %x, i64 6
  %6 = load fp128, ptr %arrayidx10, align 8
  %sub11 = fsub reassoc nsz arcp contract afn fp128 %sub9, %6
  %arrayidx12 = getelementptr inbounds fp128, ptr %x, i64 7
  %7 = load fp128, ptr %arrayidx12, align 8
  %sub13 = fsub reassoc nsz arcp contract afn fp128 %sub11, %7
  ret fp128 %sub13
}

define <2 x double> @fun8_fsub(ptr %x) {
; CHECK-LABEL: fun8_fsub:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    vl %v0, 0(%r2), 3
; CHECK-NEXT:    vl %v1, 16(%r2), 3
; CHECK-NEXT:    vfsdb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 32(%r2), 3
; CHECK-NEXT:    vl %v2, 48(%r2), 3
; CHECK-NEXT:    vfadb %v1, %v1, %v2
; CHECK-NEXT:    vfsdb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 64(%r2), 3
; CHECK-NEXT:    vl %v2, 80(%r2), 3
; CHECK-NEXT:    vfadb %v1, %v1, %v2
; CHECK-NEXT:    vl %v2, 96(%r2), 3
; CHECK-NEXT:    vfadb %v1, %v1, %v2
; CHECK-NEXT:    vfsdb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 112(%r2), 3
; CHECK-NEXT:    vfsdb %v24, %v0, %v1
; CHECK-NEXT:    br %r14
entry:
  %0 = load <2 x double>, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds <2 x double>, ptr %x, i64 1
  %1 = load <2 x double>, ptr %arrayidx1, align 8
  %sub = fsub reassoc nsz arcp contract afn <2 x double> %0, %1
  %arrayidx2 = getelementptr inbounds <2 x double>, ptr %x, i64 2
  %2 = load <2 x double>, ptr %arrayidx2, align 8
  %sub3 = fsub reassoc nsz arcp contract afn <2 x double> %sub, %2
  %arrayidx4 = getelementptr inbounds <2 x double>, ptr %x, i64 3
  %3 = load <2 x double>, ptr %arrayidx4, align 8
  %sub5 = fsub reassoc nsz arcp contract afn <2 x double> %sub3, %3
  %arrayidx6 = getelementptr inbounds <2 x double>, ptr %x, i64 4
  %4 = load <2 x double>, ptr %arrayidx6, align 8
  %sub7 = fsub reassoc nsz arcp contract afn <2 x double> %sub5, %4
  %arrayidx8 = getelementptr inbounds <2 x double>, ptr %x, i64 5
  %5 = load <2 x double>, ptr %arrayidx8, align 8
  %sub9 = fsub reassoc nsz arcp contract afn <2 x double> %sub7, %5
  %arrayidx10 = getelementptr inbounds <2 x double>, ptr %x, i64 6
  %6 = load <2 x double>, ptr %arrayidx10, align 8
  %sub11 = fsub reassoc nsz arcp contract afn <2 x double> %sub9, %6
  %arrayidx12 = getelementptr inbounds <2 x double>, ptr %x, i64 7
  %7 = load <2 x double>, ptr %arrayidx12, align 8
  %sub13 = fsub reassoc nsz arcp contract afn <2 x double> %sub11, %7
  ret <2 x double> %sub13
}

define <4 x float> @fun9_fsub(ptr %x) {
; CHECK-LABEL: fun9_fsub:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    vl %v0, 0(%r2), 3
; CHECK-NEXT:    vl %v1, 16(%r2), 3
; CHECK-NEXT:    vfssb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 32(%r2), 3
; CHECK-NEXT:    vl %v2, 48(%r2), 3
; CHECK-NEXT:    vfasb %v1, %v1, %v2
; CHECK-NEXT:    vfssb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 64(%r2), 3
; CHECK-NEXT:    vl %v2, 80(%r2), 3
; CHECK-NEXT:    vfasb %v1, %v1, %v2
; CHECK-NEXT:    vl %v2, 96(%r2), 3
; CHECK-NEXT:    vfasb %v1, %v1, %v2
; CHECK-NEXT:    vfssb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 112(%r2), 3
; CHECK-NEXT:    vfssb %v24, %v0, %v1
; CHECK-NEXT:    br %r14
entry:
  %0 = load <4 x float>, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds <4 x float>, ptr %x, i64 1
  %1 = load <4 x float>, ptr %arrayidx1, align 8
  %sub = fsub reassoc nsz arcp contract afn <4 x float> %0, %1
  %arrayidx2 = getelementptr inbounds <4 x float>, ptr %x, i64 2
  %2 = load <4 x float>, ptr %arrayidx2, align 8
  %sub3 = fsub reassoc nsz arcp contract afn <4 x float> %sub, %2
  %arrayidx4 = getelementptr inbounds <4 x float>, ptr %x, i64 3
  %3 = load <4 x float>, ptr %arrayidx4, align 8
  %sub5 = fsub reassoc nsz arcp contract afn <4 x float> %sub3, %3
  %arrayidx6 = getelementptr inbounds <4 x float>, ptr %x, i64 4
  %4 = load <4 x float>, ptr %arrayidx6, align 8
  %sub7 = fsub reassoc nsz arcp contract afn <4 x float> %sub5, %4
  %arrayidx8 = getelementptr inbounds <4 x float>, ptr %x, i64 5
  %5 = load <4 x float>, ptr %arrayidx8, align 8
  %sub9 = fsub reassoc nsz arcp contract afn <4 x float> %sub7, %5
  %arrayidx10 = getelementptr inbounds <4 x float>, ptr %x, i64 6
  %6 = load <4 x float>, ptr %arrayidx10, align 8
  %sub11 = fsub reassoc nsz arcp contract afn <4 x float> %sub9, %6
  %arrayidx12 = getelementptr inbounds <4 x float>, ptr %x, i64 7
  %7 = load <4 x float>, ptr %arrayidx12, align 8
  %sub13 = fsub reassoc nsz arcp contract afn <4 x float> %sub11, %7
  ret <4 x float> %sub13
}

define double @fun10_fmul(ptr %x) {
; CHECK-LABEL: fun10_fmul:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    ld %f0, 8(%r2)
; CHECK-NEXT:    mdb %f0, 0(%r2)
; CHECK-NEXT:    ld %f1, 24(%r2)
; CHECK-NEXT:    mdb %f1, 16(%r2)
; CHECK-NEXT:    mdbr %f0, %f1
; CHECK-NEXT:    ld %f1, 40(%r2)
; CHECK-NEXT:    mdb %f1, 32(%r2)
; CHECK-NEXT:    mdb %f1, 48(%r2)
; CHECK-NEXT:    mdbr %f0, %f1
; CHECK-NEXT:    mdb %f0, 56(%r2)
; CHECK-NEXT:    br %r14
entry:
  %0 = load double, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds double, ptr %x, i64 1
  %1 = load double, ptr %arrayidx1, align 8
  %mul = fmul reassoc nsz arcp contract afn double %0, %1
  %arrayidx2 = getelementptr inbounds double, ptr %x, i64 2
  %2 = load double, ptr %arrayidx2, align 8
  %mul3 = fmul reassoc nsz arcp contract afn double %mul, %2
  %arrayidx4 = getelementptr inbounds double, ptr %x, i64 3
  %3 = load double, ptr %arrayidx4, align 8
  %mul5 = fmul reassoc nsz arcp contract afn double %mul3, %3
  %arrayidx6 = getelementptr inbounds double, ptr %x, i64 4
  %4 = load double, ptr %arrayidx6, align 8
  %mul7 = fmul reassoc nsz arcp contract afn double %mul5, %4
  %arrayidx8 = getelementptr inbounds double, ptr %x, i64 5
  %5 = load double, ptr %arrayidx8, align 8
  %mul9 = fmul reassoc nsz arcp contract afn double %mul7, %5
  %arrayidx10 = getelementptr inbounds double, ptr %x, i64 6
  %6 = load double, ptr %arrayidx10, align 8
  %mul11 = fmul reassoc nsz arcp contract afn double %mul9, %6
  %arrayidx12 = getelementptr inbounds double, ptr %x, i64 7
  %7 = load double, ptr %arrayidx12, align 8
  %mul13 = fmul reassoc nsz arcp contract afn double %mul11, %7
  ret double %mul13
}

define float @fun11_fmul(ptr %x) {
; CHECK-LABEL: fun11_fmul:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    lde %f0, 4(%r2)
; CHECK-NEXT:    meeb %f0, 0(%r2)
; CHECK-NEXT:    lde %f1, 12(%r2)
; CHECK-NEXT:    meeb %f1, 8(%r2)
; CHECK-NEXT:    meebr %f0, %f1
; CHECK-NEXT:    lde %f1, 20(%r2)
; CHECK-NEXT:    meeb %f1, 16(%r2)
; CHECK-NEXT:    meeb %f1, 24(%r2)
; CHECK-NEXT:    meebr %f0, %f1
; CHECK-NEXT:    meeb %f0, 28(%r2)
; CHECK-NEXT:    br %r14
entry:
  %0 = load float, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds float, ptr %x, i64 1
  %1 = load float, ptr %arrayidx1, align 8
  %mul = fmul reassoc nsz arcp contract afn float %0, %1
  %arrayidx2 = getelementptr inbounds float, ptr %x, i64 2
  %2 = load float, ptr %arrayidx2, align 8
  %mul3 = fmul reassoc nsz arcp contract afn float %mul, %2
  %arrayidx4 = getelementptr inbounds float, ptr %x, i64 3
  %3 = load float, ptr %arrayidx4, align 8
  %mul5 = fmul reassoc nsz arcp contract afn float %mul3, %3
  %arrayidx6 = getelementptr inbounds float, ptr %x, i64 4
  %4 = load float, ptr %arrayidx6, align 8
  %mul7 = fmul reassoc nsz arcp contract afn float %mul5, %4
  %arrayidx8 = getelementptr inbounds float, ptr %x, i64 5
  %5 = load float, ptr %arrayidx8, align 8
  %mul9 = fmul reassoc nsz arcp contract afn float %mul7, %5
  %arrayidx10 = getelementptr inbounds float, ptr %x, i64 6
  %6 = load float, ptr %arrayidx10, align 8
  %mul11 = fmul reassoc nsz arcp contract afn float %mul9, %6
  %arrayidx12 = getelementptr inbounds float, ptr %x, i64 7
  %7 = load float, ptr %arrayidx12, align 8
  %mul13 = fmul reassoc nsz arcp contract afn float %mul11, %7
  ret float %mul13
}

define fp128 @fun12_fmul(ptr %x) {
; CHECK-LABEL: fun12_fmul:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    vl %v0, 0(%r3), 3
; CHECK-NEXT:    vl %v1, 16(%r3), 3
; CHECK-NEXT:    wfmxb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 32(%r3), 3
; CHECK-NEXT:    vl %v2, 48(%r3), 3
; CHECK-NEXT:    wfmxb %v1, %v1, %v2
; CHECK-NEXT:    wfmxb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 64(%r3), 3
; CHECK-NEXT:    vl %v2, 80(%r3), 3
; CHECK-NEXT:    wfmxb %v1, %v1, %v2
; CHECK-NEXT:    vl %v2, 96(%r3), 3
; CHECK-NEXT:    wfmxb %v1, %v1, %v2
; CHECK-NEXT:    wfmxb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 112(%r3), 3
; CHECK-NEXT:    wfmxb %v0, %v0, %v1
; CHECK-NEXT:    vst %v0, 0(%r2), 3
; CHECK-NEXT:    br %r14
entry:
  %0 = load fp128, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds fp128, ptr %x, i64 1
  %1 = load fp128, ptr %arrayidx1, align 8
  %mul = fmul reassoc nsz arcp contract afn fp128 %0, %1
  %arrayidx2 = getelementptr inbounds fp128, ptr %x, i64 2
  %2 = load fp128, ptr %arrayidx2, align 8
  %mul3 = fmul reassoc nsz arcp contract afn fp128 %mul, %2
  %arrayidx4 = getelementptr inbounds fp128, ptr %x, i64 3
  %3 = load fp128, ptr %arrayidx4, align 8
  %mul5 = fmul reassoc nsz arcp contract afn fp128 %mul3, %3
  %arrayidx6 = getelementptr inbounds fp128, ptr %x, i64 4
  %4 = load fp128, ptr %arrayidx6, align 8
  %mul7 = fmul reassoc nsz arcp contract afn fp128 %mul5, %4
  %arrayidx8 = getelementptr inbounds fp128, ptr %x, i64 5
  %5 = load fp128, ptr %arrayidx8, align 8
  %mul9 = fmul reassoc nsz arcp contract afn fp128 %mul7, %5
  %arrayidx10 = getelementptr inbounds fp128, ptr %x, i64 6
  %6 = load fp128, ptr %arrayidx10, align 8
  %mul11 = fmul reassoc nsz arcp contract afn fp128 %mul9, %6
  %arrayidx12 = getelementptr inbounds fp128, ptr %x, i64 7
  %7 = load fp128, ptr %arrayidx12, align 8
  %mul13 = fmul reassoc nsz arcp contract afn fp128 %mul11, %7
  ret fp128 %mul13
}

define <2 x double> @fun13_fmul(ptr %x) {
; CHECK-LABEL: fun13_fmul:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    vl %v0, 0(%r2), 3
; CHECK-NEXT:    vl %v1, 16(%r2), 3
; CHECK-NEXT:    vfmdb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 32(%r2), 3
; CHECK-NEXT:    vl %v2, 48(%r2), 3
; CHECK-NEXT:    vfmdb %v1, %v1, %v2
; CHECK-NEXT:    vfmdb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 64(%r2), 3
; CHECK-NEXT:    vl %v2, 80(%r2), 3
; CHECK-NEXT:    vfmdb %v1, %v1, %v2
; CHECK-NEXT:    vl %v2, 96(%r2), 3
; CHECK-NEXT:    vfmdb %v1, %v1, %v2
; CHECK-NEXT:    vfmdb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 112(%r2), 3
; CHECK-NEXT:    vfmdb %v24, %v0, %v1
; CHECK-NEXT:    br %r14
entry:
  %0 = load <2 x double>, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds <2 x double>, ptr %x, i64 1
  %1 = load <2 x double>, ptr %arrayidx1, align 8
  %mul = fmul reassoc nsz arcp contract afn <2 x double> %0, %1
  %arrayidx2 = getelementptr inbounds <2 x double>, ptr %x, i64 2
  %2 = load <2 x double>, ptr %arrayidx2, align 8
  %mul3 = fmul reassoc nsz arcp contract afn <2 x double> %mul, %2
  %arrayidx4 = getelementptr inbounds <2 x double>, ptr %x, i64 3
  %3 = load <2 x double>, ptr %arrayidx4, align 8
  %mul5 = fmul reassoc nsz arcp contract afn <2 x double> %mul3, %3
  %arrayidx6 = getelementptr inbounds <2 x double>, ptr %x, i64 4
  %4 = load <2 x double>, ptr %arrayidx6, align 8
  %mul7 = fmul reassoc nsz arcp contract afn <2 x double> %mul5, %4
  %arrayidx8 = getelementptr inbounds <2 x double>, ptr %x, i64 5
  %5 = load <2 x double>, ptr %arrayidx8, align 8
  %mul9 = fmul reassoc nsz arcp contract afn <2 x double> %mul7, %5
  %arrayidx10 = getelementptr inbounds <2 x double>, ptr %x, i64 6
  %6 = load <2 x double>, ptr %arrayidx10, align 8
  %mul11 = fmul reassoc nsz arcp contract afn <2 x double> %mul9, %6
  %arrayidx12 = getelementptr inbounds <2 x double>, ptr %x, i64 7
  %7 = load <2 x double>, ptr %arrayidx12, align 8
  %mul13 = fmul reassoc nsz arcp contract afn <2 x double> %mul11, %7
  ret <2 x double> %mul13
}

define <4 x float> @fun14_fmul(ptr %x) {
; CHECK-LABEL: fun14_fmul:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    vl %v0, 0(%r2), 3
; CHECK-NEXT:    vl %v1, 16(%r2), 3
; CHECK-NEXT:    vfmsb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 32(%r2), 3
; CHECK-NEXT:    vl %v2, 48(%r2), 3
; CHECK-NEXT:    vfmsb %v1, %v1, %v2
; CHECK-NEXT:    vfmsb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 64(%r2), 3
; CHECK-NEXT:    vl %v2, 80(%r2), 3
; CHECK-NEXT:    vfmsb %v1, %v1, %v2
; CHECK-NEXT:    vl %v2, 96(%r2), 3
; CHECK-NEXT:    vfmsb %v1, %v1, %v2
; CHECK-NEXT:    vfmsb %v0, %v0, %v1
; CHECK-NEXT:    vl %v1, 112(%r2), 3
; CHECK-NEXT:    vfmsb %v24, %v0, %v1
; CHECK-NEXT:    br %r14
entry:
  %0 = load <4 x float>, ptr %x, align 8
  %arrayidx1 = getelementptr inbounds <4 x float>, ptr %x, i64 1
  %1 = load <4 x float>, ptr %arrayidx1, align 8
  %mul = fmul reassoc nsz arcp contract afn <4 x float> %0, %1
  %arrayidx2 = getelementptr inbounds <4 x float>, ptr %x, i64 2
  %2 = load <4 x float>, ptr %arrayidx2, align 8
  %mul3 = fmul reassoc nsz arcp contract afn <4 x float> %mul, %2
  %arrayidx4 = getelementptr inbounds <4 x float>, ptr %x, i64 3
  %3 = load <4 x float>, ptr %arrayidx4, align 8
  %mul5 = fmul reassoc nsz arcp contract afn <4 x float> %mul3, %3
  %arrayidx6 = getelementptr inbounds <4 x float>, ptr %x, i64 4
  %4 = load <4 x float>, ptr %arrayidx6, align 8
  %mul7 = fmul reassoc nsz arcp contract afn <4 x float> %mul5, %4
  %arrayidx8 = getelementptr inbounds <4 x float>, ptr %x, i64 5
  %5 = load <4 x float>, ptr %arrayidx8, align 8
  %mul9 = fmul reassoc nsz arcp contract afn <4 x float> %mul7, %5
  %arrayidx10 = getelementptr inbounds <4 x float>, ptr %x, i64 6
  %6 = load <4 x float>, ptr %arrayidx10, align 8
  %mul11 = fmul reassoc nsz arcp contract afn <4 x float> %mul9, %6
  %arrayidx12 = getelementptr inbounds <4 x float>, ptr %x, i64 7
  %7 = load <4 x float>, ptr %arrayidx12, align 8
  %mul13 = fmul reassoc nsz arcp contract afn <4 x float> %mul11, %7
  ret <4 x float> %mul13
}