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 } 20