# NOTE: Assertions have been autogenerated by utils/update_mca_test_checks.py
# RUN: llvm-mca -mtriple=x86_64-unknown-unknown -mcpu=x86-64 -instruction-tables < %s | FileCheck %s

vfmadd132pd %xmm0, %xmm1, %xmm2
vfmadd132pd (%rax), %xmm1, %xmm2

vfmadd132pd %ymm0, %ymm1, %ymm2
vfmadd132pd (%rax), %ymm1, %ymm2

vfmadd213pd %xmm0, %xmm1, %xmm2
vfmadd213pd (%rax), %xmm1, %xmm2

vfmadd213pd %ymm0, %ymm1, %ymm2
vfmadd213pd (%rax), %ymm1, %ymm2

vfmadd231pd %xmm0, %xmm1, %xmm2
vfmadd231pd (%rax), %xmm1, %xmm2

vfmadd231pd %ymm0, %ymm1, %ymm2
vfmadd231pd (%rax), %ymm1, %ymm2

vfmadd132ps %xmm0, %xmm1, %xmm2
vfmadd132ps (%rax), %xmm1, %xmm2

vfmadd132ps %ymm0, %ymm1, %ymm2
vfmadd132ps (%rax), %ymm1, %ymm2

vfmadd213ps %xmm0, %xmm1, %xmm2
vfmadd213ps (%rax), %xmm1, %xmm2

vfmadd213ps %ymm0, %ymm1, %ymm2
vfmadd213ps (%rax), %ymm1, %ymm2

vfmadd231ps %xmm0, %xmm1, %xmm2
vfmadd231ps (%rax), %xmm1, %xmm2

vfmadd231ps %ymm0, %ymm1, %ymm2
vfmadd231ps (%rax), %ymm1, %ymm2

vfmadd132sd %xmm0, %xmm1, %xmm2
vfmadd132sd (%rax), %xmm1, %xmm2

vfmadd213sd %xmm0, %xmm1, %xmm2
vfmadd213sd (%rax), %xmm1, %xmm2

vfmadd231sd %xmm0, %xmm1, %xmm2
vfmadd231sd (%rax), %xmm1, %xmm2

vfmadd132ss %xmm0, %xmm1, %xmm2
vfmadd132ss (%rax), %xmm1, %xmm2

vfmadd213ss %xmm0, %xmm1, %xmm2
vfmadd213ss (%rax), %xmm1, %xmm2

vfmadd231ss %xmm0, %xmm1, %xmm2
vfmadd231ss (%rax), %xmm1, %xmm2

vfmaddsub132pd %xmm0, %xmm1, %xmm2
vfmaddsub132pd (%rax), %xmm1, %xmm2

vfmaddsub132pd %ymm0, %ymm1, %ymm2
vfmaddsub132pd (%rax), %ymm1, %ymm2

vfmaddsub213pd %xmm0, %xmm1, %xmm2
vfmaddsub213pd (%rax), %xmm1, %xmm2

vfmaddsub213pd %ymm0, %ymm1, %ymm2
vfmaddsub213pd (%rax), %ymm1, %ymm2

vfmaddsub231pd %xmm0, %xmm1, %xmm2
vfmaddsub231pd (%rax), %xmm1, %xmm2

vfmaddsub231pd %ymm0, %ymm1, %ymm2
vfmaddsub231pd (%rax), %ymm1, %ymm2

vfmaddsub132ps %xmm0, %xmm1, %xmm2
vfmaddsub132ps (%rax), %xmm1, %xmm2

vfmaddsub132ps %ymm0, %ymm1, %ymm2
vfmaddsub132ps (%rax), %ymm1, %ymm2

vfmaddsub213ps %xmm0, %xmm1, %xmm2
vfmaddsub213ps (%rax), %xmm1, %xmm2

vfmaddsub213ps %ymm0, %ymm1, %ymm2
vfmaddsub213ps (%rax), %ymm1, %ymm2

vfmaddsub231ps %xmm0, %xmm1, %xmm2
vfmaddsub231ps (%rax), %xmm1, %xmm2

vfmaddsub231ps %ymm0, %ymm1, %ymm2
vfmaddsub231ps (%rax), %ymm1, %ymm2

vfmsub132pd %xmm0, %xmm1, %xmm2
vfmsub132pd (%rax), %xmm1, %xmm2

vfmsub132pd %ymm0, %ymm1, %ymm2
vfmsub132pd (%rax), %ymm1, %ymm2

vfmsub213pd %xmm0, %xmm1, %xmm2
vfmsub213pd (%rax), %xmm1, %xmm2

vfmsub213pd %ymm0, %ymm1, %ymm2
vfmsub213pd (%rax), %ymm1, %ymm2

vfmsub231pd %xmm0, %xmm1, %xmm2
vfmsub231pd (%rax), %xmm1, %xmm2

vfmsub231pd %ymm0, %ymm1, %ymm2
vfmsub231pd (%rax), %ymm1, %ymm2

vfmsub132ps %xmm0, %xmm1, %xmm2
vfmsub132ps (%rax), %xmm1, %xmm2

vfmsub132ps %ymm0, %ymm1, %ymm2
vfmsub132ps (%rax), %ymm1, %ymm2

vfmsub213ps %xmm0, %xmm1, %xmm2
vfmsub213ps (%rax), %xmm1, %xmm2

vfmsub213ps %ymm0, %ymm1, %ymm2
vfmsub213ps (%rax), %ymm1, %ymm2

vfmsub231ps %xmm0, %xmm1, %xmm2
vfmsub231ps (%rax), %xmm1, %xmm2

vfmsub231ps %ymm0, %ymm1, %ymm2
vfmsub231ps (%rax), %ymm1, %ymm2

vfmsub132sd %xmm0, %xmm1, %xmm2
vfmsub132sd (%rax), %xmm1, %xmm2

vfmsub213sd %xmm0, %xmm1, %xmm2
vfmsub213sd (%rax), %xmm1, %xmm2

vfmsub231sd %xmm0, %xmm1, %xmm2
vfmsub231sd (%rax), %xmm1, %xmm2

vfmsub132ss %xmm0, %xmm1, %xmm2
vfmsub132ss (%rax), %xmm1, %xmm2

vfmsub213ss %xmm0, %xmm1, %xmm2
vfmsub213ss (%rax), %xmm1, %xmm2

vfmsub231ss %xmm0, %xmm1, %xmm2
vfmsub231ss (%rax), %xmm1, %xmm2

vfmsubadd132pd %xmm0, %xmm1, %xmm2
vfmsubadd132pd (%rax), %xmm1, %xmm2

vfmsubadd132pd %ymm0, %ymm1, %ymm2
vfmsubadd132pd (%rax), %ymm1, %ymm2

vfmsubadd213pd %xmm0, %xmm1, %xmm2
vfmsubadd213pd (%rax), %xmm1, %xmm2

vfmsubadd213pd %ymm0, %ymm1, %ymm2
vfmsubadd213pd (%rax), %ymm1, %ymm2

vfmsubadd231pd %xmm0, %xmm1, %xmm2
vfmsubadd231pd (%rax), %xmm1, %xmm2

vfmsubadd231pd %ymm0, %ymm1, %ymm2
vfmsubadd231pd (%rax), %ymm1, %ymm2

vfmsubadd132ps %xmm0, %xmm1, %xmm2
vfmsubadd132ps (%rax), %xmm1, %xmm2

vfmsubadd132ps %ymm0, %ymm1, %ymm2
vfmsubadd132ps (%rax), %ymm1, %ymm2

vfmsubadd213ps %xmm0, %xmm1, %xmm2
vfmsubadd213ps (%rax), %xmm1, %xmm2

vfmsubadd213ps %ymm0, %ymm1, %ymm2
vfmsubadd213ps (%rax), %ymm1, %ymm2

vfmsubadd231ps %xmm0, %xmm1, %xmm2
vfmsubadd231ps (%rax), %xmm1, %xmm2

vfmsubadd231ps %ymm0, %ymm1, %ymm2
vfmsubadd231ps (%rax), %ymm1, %ymm2

vfnmadd132pd %xmm0, %xmm1, %xmm2
vfnmadd132pd (%rax), %xmm1, %xmm2

vfnmadd132pd %ymm0, %ymm1, %ymm2
vfnmadd132pd (%rax), %ymm1, %ymm2

vfnmadd213pd %xmm0, %xmm1, %xmm2
vfnmadd213pd (%rax), %xmm1, %xmm2

vfnmadd213pd %ymm0, %ymm1, %ymm2
vfnmadd213pd (%rax), %ymm1, %ymm2

vfnmadd231pd %xmm0, %xmm1, %xmm2
vfnmadd231pd (%rax), %xmm1, %xmm2

vfnmadd231pd %ymm0, %ymm1, %ymm2
vfnmadd231pd (%rax), %ymm1, %ymm2

vfnmadd132ps %xmm0, %xmm1, %xmm2
vfnmadd132ps (%rax), %xmm1, %xmm2

vfnmadd132ps %ymm0, %ymm1, %ymm2
vfnmadd132ps (%rax), %ymm1, %ymm2

vfnmadd213ps %xmm0, %xmm1, %xmm2
vfnmadd213ps (%rax), %xmm1, %xmm2

vfnmadd213ps %ymm0, %ymm1, %ymm2
vfnmadd213ps (%rax), %ymm1, %ymm2

vfnmadd231ps %xmm0, %xmm1, %xmm2
vfnmadd231ps (%rax), %xmm1, %xmm2

vfnmadd231ps %ymm0, %ymm1, %ymm2
vfnmadd231ps (%rax), %ymm1, %ymm2

vfnmadd132sd %xmm0, %xmm1, %xmm2
vfnmadd132sd (%rax), %xmm1, %xmm2

vfnmadd213sd %xmm0, %xmm1, %xmm2
vfnmadd213sd (%rax), %xmm1, %xmm2

vfnmadd231sd %xmm0, %xmm1, %xmm2
vfnmadd231sd (%rax), %xmm1, %xmm2

vfnmadd132ss %xmm0, %xmm1, %xmm2
vfnmadd132ss (%rax), %xmm1, %xmm2

vfnmadd213ss %xmm0, %xmm1, %xmm2
vfnmadd213ss (%rax), %xmm1, %xmm2

vfnmadd231ss %xmm0, %xmm1, %xmm2
vfnmadd231ss (%rax), %xmm1, %xmm2

vfnmsub132pd %xmm0, %xmm1, %xmm2
vfnmsub132pd (%rax), %xmm1, %xmm2

vfnmsub132pd %ymm0, %ymm1, %ymm2
vfnmsub132pd (%rax), %ymm1, %ymm2

vfnmsub213pd %xmm0, %xmm1, %xmm2
vfnmsub213pd (%rax), %xmm1, %xmm2

vfnmsub213pd %ymm0, %ymm1, %ymm2
vfnmsub213pd (%rax), %ymm1, %ymm2

vfnmsub231pd %xmm0, %xmm1, %xmm2
vfnmsub231pd (%rax), %xmm1, %xmm2

vfnmsub231pd %ymm0, %ymm1, %ymm2
vfnmsub231pd (%rax), %ymm1, %ymm2

vfnmsub132ps %xmm0, %xmm1, %xmm2
vfnmsub132ps (%rax), %xmm1, %xmm2

vfnmsub132ps %ymm0, %ymm1, %ymm2
vfnmsub132ps (%rax), %ymm1, %ymm2

vfnmsub213ps %xmm0, %xmm1, %xmm2
vfnmsub213ps (%rax), %xmm1, %xmm2

vfnmsub213ps %ymm0, %ymm1, %ymm2
vfnmsub213ps (%rax), %ymm1, %ymm2

vfnmsub231ps %xmm0, %xmm1, %xmm2
vfnmsub231ps (%rax), %xmm1, %xmm2

vfnmsub231ps %ymm0, %ymm1, %ymm2
vfnmsub231ps (%rax), %ymm1, %ymm2

vfnmsub132sd %xmm0, %xmm1, %xmm2
vfnmsub132sd (%rax), %xmm1, %xmm2

vfnmsub213sd %xmm0, %xmm1, %xmm2
vfnmsub213sd (%rax), %xmm1, %xmm2

vfnmsub231sd %xmm0, %xmm1, %xmm2
vfnmsub231sd (%rax), %xmm1, %xmm2

vfnmsub132ss %xmm0, %xmm1, %xmm2
vfnmsub132ss (%rax), %xmm1, %xmm2

vfnmsub213ss %xmm0, %xmm1, %xmm2
vfnmsub213ss (%rax), %xmm1, %xmm2

vfnmsub231ss %xmm0, %xmm1, %xmm2
vfnmsub231ss (%rax), %xmm1, %xmm2

# CHECK:      Instruction Info:
# CHECK-NEXT: [1]: #uOps
# CHECK-NEXT: [2]: Latency
# CHECK-NEXT: [3]: RThroughput
# CHECK-NEXT: [4]: MayLoad
# CHECK-NEXT: [5]: MayStore
# CHECK-NEXT: [6]: HasSideEffects (U)

# CHECK:      [1]    [2]    [3]    [4]    [5]    [6]    Instructions:
# CHECK-NEXT:  1      5     0.50                        vfmadd132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmadd213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmadd231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmadd132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmadd213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmadd231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmadd132sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd132sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd213sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd213sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd231sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd231sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd132ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd132ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd213ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd213ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmadd231ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmadd231ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmaddsub231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmaddsub231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsub132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsub213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsub231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsub132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsub213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsub231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsub132sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub132sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub213sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub213sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub231sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub231sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub132ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub132ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub213ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub213ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsub231ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsub231ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfmsubadd231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfmsubadd231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd132sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd132sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd213sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd213sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd231sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd231sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd132ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd132ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd213ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd213ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmadd231ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmadd231ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub132sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub132sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub213sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub213sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub231sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub231sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub132ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub132ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub213ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub213ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  1      5     0.50                        vfnmsub231ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  2      10    0.50    *                   vfnmsub231ss	(%rax), %xmm1, %xmm2

# CHECK:      Resources:
# CHECK-NEXT: [0]   - SBDivider
# CHECK-NEXT: [1]   - SBFPDivider
# CHECK-NEXT: [2]   - SBPort0
# CHECK-NEXT: [3]   - SBPort1
# CHECK-NEXT: [4]   - SBPort4
# CHECK-NEXT: [5]   - SBPort5
# CHECK-NEXT: [6.0] - SBPort23
# CHECK-NEXT: [6.1] - SBPort23

# CHECK:      Resource pressure per iteration:
# CHECK-NEXT: [0]    [1]    [2]    [3]    [4]    [5]    [6.0]  [6.1]
# CHECK-NEXT:  -      -     96.00  96.00   -      -     48.00  48.00

# CHECK:      Resource pressure by instruction:
# CHECK-NEXT: [0]    [1]    [2]    [3]    [4]    [5]    [6.0]  [6.1]  Instructions:
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd132sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd132sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd213sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd213sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd231sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd231sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd132ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd132ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd213ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd213ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmadd231ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmadd231ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmaddsub231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmaddsub231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub132sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub132sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub213sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub213sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub231sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub231sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub132ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub132ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub213ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub213ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsub231ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsub231ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfmsubadd231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfmsubadd231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd132sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd132sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd213sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd213sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd231sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd231sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd132ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd132ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd213ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd213ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmadd231ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmadd231ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub132pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub132pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub132pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub132pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub213pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub213pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub213pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub213pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub231pd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub231pd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub231pd	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub231pd	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub132ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub132ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub132ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub132ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub213ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub213ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub213ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub213ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub231ps	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub231ps	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub231ps	%ymm0, %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub231ps	(%rax), %ymm1, %ymm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub132sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub132sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub213sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub213sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub231sd	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub231sd	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub132ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub132ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub213ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub213ss	(%rax), %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -      -      -     vfnmsub231ss	%xmm0, %xmm1, %xmm2
# CHECK-NEXT:  -      -     0.50   0.50    -      -     0.50   0.50   vfnmsub231ss	(%rax), %xmm1, %xmm2
