; RUN: llvm-as < %s | opt -O3 | llvm-dis | FileCheck %s
; Testing half constant propagation.

define half @abc() nounwind {
entry:
  %a = alloca half, align 2
  %b = alloca half, align 2
  %.compoundliteral = alloca float, align 4
  store half 0xH4200, half* %a, align 2
  store half 0xH4B9A, half* %b, align 2
  %tmp = load half* %a, align 2
  %tmp1 = load half* %b, align 2
  %add = fadd half %tmp, %tmp1
; CHECK: 0xH4C8D
  ret half %add
}