| ; RUN: opt < %s -O3 -S | FileCheck %s | |
| ; RUN: verify-uselistorder %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, half* %a, align 2 | |
| %tmp1 = load half, half* %b, align 2 | |
| %add = fadd half %tmp, %tmp1 | |
| ; CHECK: 0xH4C8D | |
| ret half %add | |
| } | |