vmcore.ml revision 344be5fbecec9908bab611eafeae0549ba3be6d7
18ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen(* RUN: %ocamlc llvm.cma llvm_bitwriter.cma %s -o %t 28ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen * RUN: ./%t %t.bc 38ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen * RUN: llvm-dis < %t.bc > %t.ll 48ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 58ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 68ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen(* Note: It takes several seconds for ocamlc to link an executable with 78ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen libLLVMCore.a, so it's better to write a big test than a bunch of 88ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen little ones. *) 98ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 108ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenopen Llvm 118ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenopen Llvm_bitwriter 128ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 14344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen(* Tiny unit test framework - really just to help find which line is busted *) 158ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet exit_status = ref 0 168ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet case_num = ref 0 178ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 188ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet group name = 198ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen case_num := 0; 20344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen prerr_endline (" " ^ name ^ "...") 218ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 228ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet insist cond = 238ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen incr case_num; 24344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let msg = if cond then " pass " else begin 25344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen exit_status := 10; 26344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen " FAIL " 27344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen end in 28344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen prerr_endline (msg ^ (string_of_int !case_num)) 298ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 308ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet suite name f = 318ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen prerr_endline (name ^ ":"); 328ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen f () 338ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 348ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 358ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen(*===-- Fixture -----------------------------------------------------------===*) 368ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 378ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet filename = Sys.argv.(1) 388ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet m = create_module filename 398ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 408ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 418ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen(*===-- Types -------------------------------------------------------------===*) 428ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 438ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet test_types () = 448ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty01.*void} < %t.ll 458ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 468ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "void"; 478ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty01" void_type m); 488ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (Void_type == classify_type void_type); 498ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 508ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty02.*i1} < %t.ll 518ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 528ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "i1"; 538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty02" i1_type m); 548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (Integer_type == classify_type i1_type); 558ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 568ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty03.*i32} < %t.ll 578ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 588ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "i32"; 598ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty03" i32_type m); 608ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 618ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty04.*i42} < %t.ll 628ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 638ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "i42"; 648ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let ty = make_integer_type 42 in 658ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty04" ty m); 668ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 678ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty05.*float} < %t.ll 688ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 698ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "float"; 708ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty05" float_type m); 718ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (Float_type == classify_type float_type); 728ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 738ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty06.*double} < %t.ll 748ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 758ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "double"; 768ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty06" double_type m); 778ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (Double_type == classify_type double_type); 788ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 798ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty07.*i32.*i1, double} < %t.ll 808ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 818ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "function"; 828ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let ty = make_function_type i32_type [| i1_type; double_type |] false in 838ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty07" ty m); 848ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (Function_type = classify_type ty); 858ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (not (is_var_arg ty)); 868ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (i32_type == return_type ty); 878ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (double_type == (param_types ty).(1)); 888ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 898ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty08.*\.\.\.} < %t.ll 908ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 918ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "vararg"; 928ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let ty = make_function_type void_type [| i32_type |] true in 938ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty08" ty m); 948ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (is_var_arg ty); 958ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 968ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty09.*\\\[7 x i8\\\]} < %t.ll 978ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 988ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "array"; 998ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let ty = make_array_type i8_type 7 in 1008ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty09" ty m); 1018ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (7 = array_length ty); 1028ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (i8_type == element_type ty); 1038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (Array_type == classify_type ty); 1048ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1058ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty10.*float\*} < %t.ll 1068ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 1078ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "pointer"; 1088ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let ty = make_pointer_type float_type in 1098ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty10" ty m); 1108ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (float_type == element_type ty); 1118ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (Pointer_type == classify_type ty); 1128ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty11.*\<4 x i16\>} < %t.ll 1148ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 1158ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "vector"; 1168ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let ty = make_vector_type i16_type 4 in 1178ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty11" ty m); 1188ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (i16_type == element_type ty); 1198ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (4 = vector_size ty); 1208ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1218ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {Ty12.*opaque} < %t.ll 1228ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 1238ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "opaque"; 1248ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let ty = make_opaque_type () in 1258ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (add_type_name "Ty12" ty m); 1268ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (ty == ty); 1278ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (ty <> make_opaque_type ()) 1288ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 1298ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 130344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen(*===-- Constants ---------------------------------------------------------===*) 131344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 132344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksenlet test_constants () = 133344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const01.*i32.*-1} < %t.ll 134344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 135344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "int"; 136344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_int_constant i32_type (-1) true in 137344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const01" c m); 138344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist (i32_type = type_of c); 139344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist (is_constant c); 140344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 141344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const02.*i64.*-1} < %t.ll 142344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 143344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "sext int"; 144344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_int_constant i64_type (-1) true in 145344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const02" c m); 146344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist (i64_type = type_of c); 147344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 148344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const03.*i64.*4294967295} < %t.ll 149344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 150344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "zext int64"; 151344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_int64_constant i64_type (Int64.of_string "4294967295") false in 152344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const03" c m); 153344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist (i64_type = type_of c); 154344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 155344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const04.*"cruel\\\\00world"} < %t.ll 156344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 157344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "string"; 158344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_string_constant "cruel\x00world" false in 159344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const04" c m); 160344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist ((make_array_type i8_type 11) = type_of c); 161344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 162344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const05.*"hi\\\\00again\\\\00"} < %t.ll 163344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 164344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "string w/ null"; 165344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_string_constant "hi\x00again" true in 166344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const05" c m); 167344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist ((make_array_type i8_type 9) = type_of c); 168344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 169344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const06.*3.1459} < %t.ll 170344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 171344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "real"; 172344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_real_constant double_type 3.1459 in 173344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const06" c m); 174344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist (double_type = type_of c); 175344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 176344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let one = make_int_constant i16_type 1 true in 177344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let two = make_int_constant i16_type 2 true in 178344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let three = make_int_constant i32_type 3 true in 179344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let four = make_int_constant i32_type 4 true in 180344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 181344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const07.*\\\[ i32 3, i32 4 \\\]} < %t.ll 182344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 183344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "array"; 184344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_array_constant i32_type [| three; four |] in 185344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const07" c m); 186344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist ((make_array_type i32_type 2) = (type_of c)); 187344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 188344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const08.*< i16 1, i16 2.* >} < %t.ll 189344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 190344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "vector"; 191344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_vector_constant [| one; two; one; two; 192344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen one; two; one; two |] in 193344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const08" c m); 194344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist ((make_vector_type i16_type 8) = (type_of c)); 195344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 196344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const09.*\{ i16, i16, i32, i32 \} \{} < %t.ll 197344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 198344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "structure"; 199344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_struct_constant [| one; two; three; four |] false in 200344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const09" c m); 201344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist ((make_struct_type [| i16_type; i16_type; i32_type; i32_type |] false) 202344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen = (type_of c)); 203344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 204344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const10.*zeroinit} < %t.ll 205344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 206344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "null"; 207344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_null (make_struct_type [| i1_type; i8_type; 208344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen i64_type; double_type |] true) in 209344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const10" c m); 210344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 211344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const11.*-1} < %t.ll 212344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 213344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "all ones"; 214344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_all_ones i64_type in 215344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const11" c m); 216344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 217344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen (* RUN: grep {Const12.*undef} < %t.ll 218344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen *) 219344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "undef"; 220344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen let c = make_undef i1_type in 221344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen ignore (define_global "Const12" c m); 222344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist (i1_type = type_of c); 223344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen insist (is_undef c) 224344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 225344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen 2268ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen(*===-- Global Values -----------------------------------------------------===*) 2278ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2288ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet test_global_values () = 2298ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let (++) x f = f x; x in 2308ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let zero32 = make_null i32_type in 2318ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2328ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {GVal01} < %t.ll 2338ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 2348ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "naming"; 2358ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let g = define_global "TEMPORARY" zero32 m in 2368ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist ("TEMPORARY" = value_name g); 2378ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen set_value_name "GVal01" g; 2388ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist ("GVal01" = value_name g); 2398ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2408ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {GVal02.*linkonce} < %t.ll 2418ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 2428ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "linkage"; 2438ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let g = define_global "GVal02" zero32 m ++ 2448ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen set_linkage Link_once_linkage in 2458ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (Link_once_linkage = linkage g); 2468ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2478ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {GVal03.*Hanalei} < %t.ll 2488ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 2498ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "section"; 2508ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let g = define_global "GVal03" zero32 m ++ 2518ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen set_section "Hanalei" in 2528ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist ("Hanalei" = section g); 2538ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2548ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {GVal04.*hidden} < %t.ll 2558ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 2568ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "visibility"; 2578ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let g = define_global "GVal04" zero32 m ++ 2588ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen set_visibility Hidden_visibility in 2598ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (Hidden_visibility = visibility g); 2608ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2618ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {GVal05.*align 128} < %t.ll 2628ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 2638ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "alignment"; 2648ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let g = define_global "GVal05" zero32 m ++ 2658ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen set_alignment 128 in 2668ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (128 = alignment g) 2678ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2688ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2698ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen(*===-- Global Variables --------------------------------------------------===*) 2708ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2718ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet test_global_variables () = 2728ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let (++) x f = f x; x in 2738ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let fourty_two32 = make_int_constant i32_type 42 false in 2748ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2758ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {GVar01.*external} < %t.ll 2768ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 2778ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "declarations"; 2788ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let g = declare_global i32_type "GVar01" m in 2798ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (is_declaration g); 2808ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2818ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {GVar02.*42} < %t.ll 2828ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen * RUN: grep {GVar03.*42} < %t.ll 2838ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 2848ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "definitions"; 2858ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let g = define_global "GVar02" fourty_two32 m in 2868ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let g2 = declare_global i32_type "GVar03" m ++ 2878ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen set_initializer fourty_two32 in 2888ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (not (is_declaration g)); 2898ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (not (is_declaration g2)); 2908ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist ((global_initializer g) == (global_initializer g2)); 2918ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2928ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep {GVar04.*thread_local} < %t.ll 2938ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 2948ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "threadlocal"; 2958ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let g = define_global "GVar04" fourty_two32 m ++ 2968ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen set_thread_local true in 2978ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (is_thread_local g); 2988ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 2998ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen (* RUN: grep -v {GVar05} < %t.ll 3008ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen *) 301344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen group "delete"; 3028ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen let g = define_global "GVar05" fourty_two32 m in 3038ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen delete_global g 3048ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3058ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3068ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen(*===-- Writer ------------------------------------------------------------===*) 3078ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3088ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet test_writer () = 3098ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen group "writer"; 3108ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen insist (write_bitcode_file m filename); 3118ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3128ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen dispose_module m 3138ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3148ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3158ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen(*===-- Driver ------------------------------------------------------------===*) 3168ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen 3178ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksenlet _ = 3188ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen suite "types" test_types; 319344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen suite "constants" test_constants; 3208ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen suite "global values" test_global_values; 3218ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen suite "global variables" test_global_variables; 3228ef426baa36639458f6777309db25c1768dc9c8aGordon Henriksen suite "writer" test_writer; 323344be5fbecec9908bab611eafeae0549ba3be6d7Gordon Henriksen exit !exit_status 324