1; RUN: llvm-as < %s | llvm-dis | FileCheck %s 2; RUN: verify-uselistorder %s 3; Basic smoke test for half type. 4 5; CHECK: define half @halftest 6define half @halftest(half %A0) { 7; CHECK: ret half %A0 8 ret half %A0 9} 10