; RUN: opt -reassociate -S < %s | FileCheck %s | |
target triple = "armv7-apple-ios" | |
declare void @use(float) | |
; CHECK: test | |
define void @test(float %x, float %y) { | |
entry: | |
; CHECK: fmul float %x, %y | |
; CHECK: fmul float %x, %y | |
%0 = fmul float %x, %y | |
%1 = fmul float %y, %x | |
%2 = fsub float %0, %1 | |
call void @use(float %0) | |
call void @use(float %2) | |
ret void | |
} |