Lines Matching refs:float_type
28 let float_type = Llvm.float_type context
135 let cs = const_float float_type 2.75 in
137 insist (float_type = type_of cs);
290 ignore (define_global "const_fptrunc" (const_fptrunc ffoldbomb float_type) m);
408 insist (pointer_type float_type ==
409 type_of (declare_global float_type "GVar01" m));
417 insist (qualified_pointer_type float_type 3 ==
418 type_of (declare_qualified_global float_type "QGVar01" 3 m));
854 let f1 = build_uitofp p1 float_type "F1" atentry in
855 let f2 = build_uitofp p2 float_type "F2" atentry in
1121 let inst31 = build_uitofp inst30 float_type "build_uitofp" atentry in
1125 let inst35 = build_fptrunc inst32 float_type "build_fptrunc" atentry in
1142 ignore(build_fpcast inst32 float_type "build_fptrunc2" atentry);