|  | # NOTE: Assertions have been autogenerated by utils/update_mca_test_checks.py | 
|  | # RUN: llvm-mca -mtriple=x86_64-unknown-unknown -mcpu=skylake -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      4     0.50                        vfmadd132pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmadd132pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd132pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmadd132pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd213pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmadd213pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd213pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmadd213pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd231pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmadd231pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd231pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmadd231pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd132ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmadd132ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd132ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmadd132ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd213ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmadd213ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd213ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmadd213ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd231ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmadd231ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd231ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmadd231ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd132sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmadd132sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd213sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmadd213sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd231sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmadd231sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd132ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmadd132ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd213ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmadd213ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmadd231ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmadd231ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub132pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmaddsub132pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub132pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmaddsub132pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub213pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmaddsub213pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub213pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmaddsub213pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub231pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmaddsub231pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub231pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmaddsub231pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub132ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmaddsub132ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub132ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmaddsub132ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub213ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmaddsub213ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub213ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmaddsub213ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub231ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmaddsub231ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmaddsub231ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmaddsub231ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub132pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsub132pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub132pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsub132pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub213pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsub213pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub213pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsub213pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub231pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsub231pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub231pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsub231pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub132ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsub132ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub132ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsub132ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub213ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsub213ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub213ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsub213ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub231ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsub231ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub231ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsub231ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub132sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmsub132sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub213sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmsub213sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub231sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmsub231sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub132ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmsub132ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub213ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmsub213ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsub231ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfmsub231ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd132pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsubadd132pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd132pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsubadd132pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd213pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsubadd213pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd213pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsubadd213pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd231pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsubadd231pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd231pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsubadd231pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd132ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsubadd132ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd132ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsubadd132ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd213ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsubadd213ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd213ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsubadd213ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd231ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfmsubadd231ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfmsubadd231ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfmsubadd231ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd132pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmadd132pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd132pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmadd132pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd213pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmadd213pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd213pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmadd213pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd231pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmadd231pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd231pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmadd231pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd132ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmadd132ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd132ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmadd132ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd213ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmadd213ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd213ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmadd213ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd231ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmadd231ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd231ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmadd231ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd132sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmadd132sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd213sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmadd213sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd231sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmadd231sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd132ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmadd132ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd213ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmadd213ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmadd231ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmadd231ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub132pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmsub132pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub132pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmsub132pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub213pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmsub213pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub213pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmsub213pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub231pd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmsub231pd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub231pd	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmsub231pd	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub132ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmsub132ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub132ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmsub132ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub213ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmsub213ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub213ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmsub213ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub231ps	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      10    0.50    *                   vfnmsub231ps	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub231ps	%ymm0, %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  2      11    0.50    *                   vfnmsub231ps	(%rax), %ymm1, %ymm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub132sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmsub132sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub213sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmsub213sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub231sd	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmsub231sd	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub132ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmsub132ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub213ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmsub213ss	(%rax), %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  1      4     0.50                        vfnmsub231ss	%xmm0, %xmm1, %xmm2 | 
|  | # CHECK-NEXT:  2      9     0.50    *                   vfnmsub231ss	(%rax), %xmm1, %xmm2 | 
|  |  | 
|  | # CHECK:      Resources: | 
|  | # CHECK-NEXT: [0]   - SKLDivider | 
|  | # CHECK-NEXT: [1]   - SKLFPDivider | 
|  | # CHECK-NEXT: [2]   - SKLPort0 | 
|  | # CHECK-NEXT: [3]   - SKLPort1 | 
|  | # CHECK-NEXT: [4]   - SKLPort2 | 
|  | # CHECK-NEXT: [5]   - SKLPort3 | 
|  | # CHECK-NEXT: [6]   - SKLPort4 | 
|  | # CHECK-NEXT: [7]   - SKLPort5 | 
|  | # CHECK-NEXT: [8]   - SKLPort6 | 
|  | # CHECK-NEXT: [9]   - SKLPort7 | 
|  |  | 
|  | # CHECK:      Resource pressure per iteration: | 
|  | # CHECK-NEXT: [0]    [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9] | 
|  | # CHECK-NEXT:  -      -     96.00  96.00  48.00  48.00   -      -      -      - | 
|  |  | 
|  | # CHECK:      Resource pressure by instruction: | 
|  | # CHECK-NEXT: [0]    [1]    [2]    [3]    [4]    [5]    [6]    [7]    [8]    [9]    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 |