// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s

// CHECK: Minimum-precision data types

// CHECK: fptrunc float
// CHECK: to half
// CHECK: fadd fast half
// CHECK: fpext half
// CHECK: to float

float main(float a : A) : SV_Target
{
    return (min16float)a + (min16float)5.f;
}
