1; RUN: llvm-as < %s | opt -O3 | llvm-dis | FileCheck %s
2; Testing half to float conversion.
3
4define float @abc() nounwind {
5entry:
6  %a = alloca half, align 2
7  %.compoundliteral = alloca float, align 4
8  store half 0xH4C8D, half* %a, align 2
9  %tmp = load half* %a, align 2
10  %conv = fpext half %tmp to float
11; CHECK: 0x4032340000000000
12  ret float %conv
13}
14