Lines Matching full:double
4 %ext1 = fpext float %x to double
5 %ext2 = fpext float %y to double
6 %cmp = fcmp ogt double %ext1, %ext2
13 %ext = fpext float %a to double
14 %cmp = fcmp ogt double %ext, 1.000000e+00
21 %ext = fpext float %a to double
22 %cmp = fcmp ogt double %ext, 0x3FF0000000000001 ; more precision than float.
25 ; CHECK-NEXT: fpext float %a to double
29 %ext = fpext float %a to double
30 %cmp = fcmp ogt double %ext, 0x36A0000000000000 ; denormal in float.
33 ; CHECK-NEXT: fpext float %a to double
63 %conv = fpext float %x to double
64 %cmp = fcmp olt double %conv, 0.000000e+00
68 ; Float comparison to zero shouldn't cast to double.
