llvm/test/CodeGen/AArch64/aarch64-combine-fmul-fsub.mir

   1 # RUN: llc -run-pass=machine-combiner -o - -mtriple=aarch64-unknown-linux -mcpu=cortex-a57 -enable-unsafe-fp-math -machine-combiner-verify-pattern-order=true %s | FileCheck --check-prefixes=UNPROFITABLE,ALL %s
   2 # RUN: llc -run-pass=machine-combiner -o - -mtriple=aarch64-unknown-linux -mcpu=falkor -enable-unsafe-fp-math %s -machine-combiner-verify-pattern-order=true | FileCheck --check-prefixes=PROFITABLE,ALL %s
   3 # RUN: llc -run-pass=machine-combiner -o - -mtriple=aarch64-unknown-linux -mcpu=exynos-m3 -enable-unsafe-fp-math -machine-combiner-verify-pattern-order=true %s | FileCheck --check-prefixes=PROFITABLE,ALL %s
   4 # RUN: llc -run-pass=machine-combiner -o - -mtriple=aarch64-unknown-linux -mcpu=thunderx2t99 -enable-unsafe-fp-math -machine-combiner-verify-pattern-order=true %s | FileCheck --check-prefixes=PROFITABLE,ALL %s
   5 # RUN: llc -run-pass=machine-combiner -o - -mtriple=aarch64-unknown-linux -mcpu=thunderx3t110 -enable-unsafe-fp-math -machine-combiner-verify-pattern-order=true %s | FileCheck --check-prefixes=PROFITABLE,ALL %s
   6 #
   7 name:            f1_2s
   8 registers:
   9   - { id: 0, class: fpr64 }
  10   - { id: 1, class: fpr64 }
  11   - { id: 2, class: fpr64 }
  12   - { id: 3, class: fpr64 }
  13   - { id: 4, class: fpr64 }
  14 body:             |
  15   bb.0.entry:
  16     %2:fpr64 = COPY $d2
  17     %1:fpr64 = COPY $d1
  18     %0:fpr64 = COPY $d0
  19     %3:fpr64 = FMULv2f32 %0, %1, implicit $fpcr
  20     %4:fpr64 = FSUBv2f32 killed %3, %2, implicit $fpcr
  21     $d0 = COPY %4
  22     RET_ReallyLR implicit $d0
  23
  24 ...
  25 # UNPROFITABLE-LABEL: name: f1_2s
  26 # UNPROFITABLE: [[R1:%[0-9]+]]:fpr64 = FNEGv2f32 %2
  27 # UNPROFITABLE-NEXT: FMLAv2f32 killed [[R1]], %0, %1, implicit $fpcr
  28 #
  29 # PROFITABLE-LABEL: name: f1_2s
  30 # PROFITABLE: [[R1:%[0-9]+]]:fpr64 = FNEGv2f32 %2
  31 # PROFITABLE-NEXT: FMLAv2f32 killed [[R1]], %0, %1, implicit $fpcr
  32 ---
  33 name:            f1_4s
  34 registers:
  35   - { id: 0, class: fpr128 }
  36   - { id: 1, class: fpr128 }
  37   - { id: 2, class: fpr128 }
  38   - { id: 3, class: fpr128 }
  39   - { id: 4, class: fpr128 }
  40 body:             |
  41   bb.0.entry:
  42     %2:fpr128 = COPY $q2
  43     %1:fpr128 = COPY $q1
  44     %0:fpr128 = COPY $q0
  45     %3:fpr128 = FMULv4f32 %0, %1, implicit $fpcr
  46     %4:fpr128 = FSUBv4f32 killed %3, %2, implicit $fpcr
  47     $q0 = COPY %4
  48     RET_ReallyLR implicit $q0
  49
  50 ...
  51 # UNPROFITABLE-LABEL: name: f1_4s
  52 # UNPROFITABLE: [[R1:%[0-9]+]]:fpr128 = FMULv4f32 %0, %1, implicit $fpcr
  53 # UNPROFITABLE-NEXT: FSUBv4f32 killed [[R1]], %2, implicit $fpcr
  54 #
  55 # PROFITABLE-LABEL: name: f1_4s
  56 # PROFITABLE: [[R1:%[0-9]+]]:fpr128 = FNEGv4f32 %2
  57 # PROFITABLE-NEXT: FMLAv4f32 killed [[R1]], %0, %1, implicit $fpcr
  58 ---
  59 name:            f1_2d
  60 registers:
  61   - { id: 0, class: fpr128 }
  62   - { id: 1, class: fpr128 }
  63   - { id: 2, class: fpr128 }
  64   - { id: 3, class: fpr128 }
  65   - { id: 4, class: fpr128 }
  66 body:             |
  67   bb.0.entry:
  68     %2:fpr128 = COPY $q2
  69     %1:fpr128 = COPY $q1
  70     %0:fpr128 = COPY $q0
  71     %3:fpr128 = FMULv2f64 %0, %1, implicit $fpcr
  72     %4:fpr128 = FSUBv2f64 killed %3, %2, implicit $fpcr
  73     $q0 = COPY %4
  74     RET_ReallyLR implicit $q0
  75
  76 ...
  77 # UNPROFITABLE-LABEL: name: f1_2d
  78 # UNPROFITABLE: %3:fpr128 = FMULv2f64 %0, %1, implicit $fpcr
  79 # UNPROFITABLE-NEXT: FSUBv2f64 killed %3, %2, implicit $fpcr
  80 #
  81 # PROFITABLE-LABEL: name: f1_2d
  82 # PROFITABLE: [[R1:%[0-9]+]]:fpr128 = FNEGv2f64 %2
  83 # PROFITABLE-NEXT: FMLAv2f64 killed [[R1]], %0, %1, implicit $fpcr
  84 ---
  85 name:            f1_both_fmul_2s
  86 registers:
  87   - { id: 0, class: fpr64 }
  88   - { id: 1, class: fpr64 }
  89   - { id: 2, class: fpr64 }
  90   - { id: 3, class: fpr64 }
  91   - { id: 4, class: fpr64 }
  92   - { id: 5, class: fpr64 }
  93   - { id: 6, class: fpr64 }
  94 body:             |
  95   bb.0.entry:
  96     %3:fpr64 = COPY $q3
  97     %2:fpr64 = COPY $q2
  98     %1:fpr64 = COPY $q1
  99     %0:fpr64 = COPY $q0
 100     %4:fpr64 = FMULv2f32 %0, %1, implicit $fpcr
 101     %5:fpr64 = FMULv2f32 %2, %3, implicit $fpcr
 102     %6:fpr64 = FSUBv2f32 killed %4, %5, implicit $fpcr
 103     $q0 = COPY %6
 104     RET_ReallyLR implicit $q0
 105
 106 ...
 107 # ALL-LABEL: name: f1_both_fmul_2s
 108 # ALL: %4:fpr64 = FMULv2f32 %0, %1, implicit $fpcr
 109 # ALL-NEXT: FMLSv2f32 killed %4, %2, %3, implicit $fpcr
 110 ---
 111 name:            f1_both_fmul_4s
 112 registers:
 113   - { id: 0, class: fpr128 }
 114   - { id: 1, class: fpr128 }
 115   - { id: 2, class: fpr128 }
 116   - { id: 3, class: fpr128 }
 117   - { id: 4, class: fpr128 }
 118   - { id: 5, class: fpr128 }
 119   - { id: 6, class: fpr128 }
 120 body:             |
 121   bb.0.entry:
 122     %3:fpr128 = COPY $q3
 123     %2:fpr128 = COPY $q2
 124     %1:fpr128 = COPY $q1
 125     %0:fpr128 = COPY $q0
 126     %4:fpr128 = FMULv4f32 %0, %1, implicit $fpcr
 127     %5:fpr128 = FMULv4f32 %2, %3, implicit $fpcr
 128     %6:fpr128 = FSUBv4f32 killed %4, %5, implicit $fpcr
 129     $q0 = COPY %6
 130     RET_ReallyLR implicit $q0
 131
 132 ...
 133 # ALL-LABEL: name: f1_both_fmul_4s
 134 # ALL: %4:fpr128 = FMULv4f32 %0, %1, implicit $fpcr
 135 # ALL-NEXT: FMLSv4f32 killed %4, %2, %3, implicit $fpcr
 136 ---
 137 name:            f1_both_fmul_2d
 138 registers:
 139   - { id: 0, class: fpr128 }
 140   - { id: 1, class: fpr128 }
 141   - { id: 2, class: fpr128 }
 142   - { id: 3, class: fpr128 }
 143   - { id: 4, class: fpr128 }
 144   - { id: 5, class: fpr128 }
 145   - { id: 6, class: fpr128 }
 146 body:             |
 147   bb.0.entry:
 148     %3:fpr128 = COPY $q3
 149     %2:fpr128 = COPY $q2
 150     %1:fpr128 = COPY $q1
 151     %0:fpr128 = COPY $q0
 152     %4:fpr128 = FMULv2f64 %0, %1, implicit $fpcr
 153     %5:fpr128 = FMULv2f64 %2, %3, implicit $fpcr
 154     %6:fpr128 = FSUBv2f64 killed %4, %5, implicit $fpcr
 155     $q0 = COPY %6
 156     RET_ReallyLR implicit $q0
 157
 158 ...
 159 # ALL-LABEL: name: f1_both_fmul_2d
 160 # ALL: %4:fpr128 = FMULv2f64 %0, %1, implicit $fpcr
 161 # ALL-NEXT: FMLSv2f64 killed %4, %2, %3, implicit $fpcr
 162