test/Transforms/Reassociate/reassoc-intermediate-fnegs.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -reassociate -S | FileCheck %s
   3
   4 ; Input is A op (B op C)
   5
   6 define half @faddsubAssoc1(half %a, half %b) {
   7 ; CHECK-LABEL: @faddsubAssoc1(
   8 ; CHECK-NEXT:    [[T2_NEG:%.*]] = fmul fast half [[A:%.*]], 0xH4500
   9 ; CHECK-NEXT:    [[REASS_MUL:%.*]] = fmul fast half [[B:%.*]], 0xH4500
  10 ; CHECK-NEXT:    [[T51:%.*]] = fsub fast half [[REASS_MUL]], [[T2_NEG]]
  11 ; CHECK-NEXT:    [[T5:%.*]] = fadd fast half [[REASS_MUL]], [[T2_NEG]]
  12 ; CHECK-NEXT:    ret half [[T51]]
  13 ;
  14   %t1 = fmul fast half %b, 0xH4200 ; 3*b
  15   %t2 = fmul fast half %a, 0xH4500 ; 5*a
  16   %t3 = fmul fast half %b, 0xH4000 ; 2*b
  17   %t4 = fsub fast half %t2, %t1 ; 5 * a - 3 * b
  18   %t5 = fsub fast half %t3, %t4 ; 2 * b - ( 5 * a - 3 * b)
  19   ret half %t5 ; = 5 * (b - a)
  20 }
  21
  22 ; Input is (A op B) op C
  23
  24 define half @faddsubAssoc2(half %a, half %b) {
  25 ; CHECK-LABEL: @faddsubAssoc2(
  26 ; CHECK-NEXT:    [[T2:%.*]] = fmul fast half [[A:%.*]], 0xH4500
  27 ; CHECK-NEXT:    [[T5:%.*]] = fadd fast half [[B:%.*]], [[T2]]
  28 ; CHECK-NEXT:    ret half [[T5]]
  29 ;
  30   %t1 = fmul fast half %b, 0xH4200 ; 3*b
  31   %t2 = fmul fast half %a, 0xH4500 ; 5*a
  32   %t3 = fmul fast half %b, 0xH4000 ; 2*b
  33   %t4 = fadd fast half %t2, %t1 ; 5 * a + 3 * b
  34   %t5 = fsub fast half %t4, %t3 ; (5 * a + 3 * b) - (2 * b)
  35   ret half %t5 ; = 5 * a + b
  36 }
  37