test/Transforms/Reassociate/fp-commute.ll

   1 ; RUN: opt -reassociate -S < %s | FileCheck %s
   2
   3 declare void @use(float)
   4
   5 define void @test1(float %x, float %y) {
   6 ; CHECK-LABEL: test1
   7 ; CHECK: fmul float %x, %y
   8 ; CHECK: fmul float %x, %y
   9 ; CHECK: fsub float %1, %2
  10 ; CHECK: call void @use(float %{{.*}})
  11 ; CHECK: call void @use(float %{{.*}})
  12
  13   %1 = fmul float %x, %y
  14   %2 = fmul float %y, %x
  15   %3 = fsub float %1, %2
  16   call void @use(float %1)
  17   call void @use(float %3)
  18   ret void
  19 }