1; RUN: opt -reassociate -S < %s | FileCheck %s
2
3declare void @use(float)
4
5define 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