1// RUN: %clang_dxc -Tlib_6_7 -fcgl  -Fo - %s | FileCheck %s --check-prefix=FLOAT
2// RUN: %clang_dxc -Tlib_6_7 -enable-16bit-types -fcgl  -Fo - %s | FileCheck %s --check-prefix=HALF
3
4// Make sure use float when not enable-16bit-types.
5// FLOAT:define {{.*}}float @"?foo@@YA$halff@$halff@0@Z"(float{{[^,]+}}, float{{[^,)]+}})
6// FLOAT-NOT:half
7// FLOAT:ret float %
8
9// Make sure use half when enable-16bit-types.
10// HALF:define {{.*}}half @"?foo@@YA$f16@$f16@0@Z"(half{{[^,]+}}, half{{[^,)]+}})
11// HALF-NOT:float
12// HALF:ret half %
13half foo(half a, half b) {
14  return a+b;
15}
16