Lines Matching refs:DL
45 let module DL = DataLayout in
47 let dl = DL.of_string layout in
50 assert_equal (DL.as_string dl) layout;
51 assert_equal (DL.byte_order dl) Endian.Little;
52 assert_equal (DL.pointer_size dl) 4;
53 assert_equal (DL.intptr_type context dl) i32_type;
54 assert_equal (DL.qualified_pointer_size 0 dl) 4;
55 assert_equal (DL.qualified_intptr_type context 0 dl) i32_type;
56 assert_equal (DL.size_in_bits sty dl) (Int64.of_int 96);
57 assert_equal (DL.store_size sty dl) (Int64.of_int 12);
58 assert_equal (DL.abi_size sty dl) (Int64.of_int 12);
59 assert_equal (DL.stack_align sty dl) 4;
60 assert_equal (DL.preferred_align sty dl) 8;
61 assert_equal (DL.preferred_align_of_global (declare_global sty "g" m) dl) 8;
62 assert_equal (DL.element_at_offset sty (Int64.of_int 1) dl) 0;
63 assert_equal (DL.offset_of_element sty 1 dl) (Int64.of_int 4);
66 ignore (DL.add_to_pass_manager pm dl)