Lines Matching defs:float_type
31 let float_type = Llvm.float_type context
137 let cs = const_float float_type 2.75 in
139 insist (float_type = type_of cs);
292 ignore (define_global "const_fptrunc" (const_fptrunc ffoldbomb float_type) m);
410 insist (pointer_type float_type ==
411 type_of (declare_global float_type "GVar01" m));
419 insist (qualified_pointer_type float_type 3 ==
420 type_of (declare_qualified_global float_type "QGVar01" 3 m));
860 let f1 = build_uitofp p1 float_type "F1" atentry in
861 let f2 = build_uitofp p2 float_type "F2" atentry in
906 let inst31 = build_uitofp inst30 float_type "build_uitofp" atentry in
910 let inst35 = build_fptrunc inst32 float_type "build_fptrunc" atentry in
927 ignore(build_fpcast inst32 float_type "build_fptrunc2" atentry);