1; RUN: opt < %s -O3 -S | FileCheck %s
2; RUN: verify-uselistorder %s
3; Testing half constant propagation.
4
5define half @abc() nounwind {
6entry:
7  %a = alloca half, align 2
8  %b = alloca half, align 2
9  %.compoundliteral = alloca float, align 4
10  store half 0xH4200, half* %a, align 2
11  store half 0xH4B9A, half* %b, align 2
12  %tmp = load half* %a, align 2
13  %tmp1 = load half* %b, align 2
14  %add = fadd half %tmp, %tmp1
15; CHECK: 0xH4C8D
16  ret half %add
17}
18
19