1; RUN: llc < %s -march=nvptx -mcpu=sm_20 | FileCheck %s
2
3; Make sure we can properly differentiate between single-precision and
4; double-precision FP literals.
5
6; CHECK: myaddf
7; CHECK: add.f32 %f{{[0-9]+}}, %f{{[0-9]+}}, 0f3F800000
8define float @myaddf(float %a) {
9  %ret = fadd float %a, 1.0
10  ret float %ret
11}
12
13; CHECK: myaddd
14; CHECK: add.f64 %fl{{[0-9]+}}, %fl{{[0-9]+}}, 0d3FF0000000000000
15define double @myaddd(double %a) {
16  %ret = fadd double %a, 1.0
17  ret double %ret
18}
19