; RUN: opt -S -reassociate < %s | FileCheck %s

define void @test1() {
; CHECK-LABEL: @test1
; CHECK: call
; CHECK: fsub
; CHECK: fadd
  %tmp = tail call <4 x float> @blam()
  %tmp23 = fsub fast <4 x float> undef, %tmp
  %tmp24 = fadd fast <4 x float> %tmp23, undef
  tail call void @wombat(<4 x float> %tmp24)
  ret void
}

define half @test2() {
; CHECK-LABEL: @test2
; CHECK: fsub
; CHECK: fsub
; CHECK: fadd
  %tmp15 = fsub fast half undef, undef
  %tmp17 = fsub fast half undef, %tmp15
  %tmp18 = fadd fast half undef, %tmp17
  ret half %tmp18
}


; Function Attrs: optsize
declare <4 x float> @blam()

; Function Attrs: optsize
declare void @wombat(<4 x float>)