Lines Matching refs:DL

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