Lines Matching refs:assert_equal

27 let assert_equal a b =  function
28   if a <> b then failwith "assert_equal"
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)
80   assert_equal (TM.target machine) target;
81   assert_equal (TM.triple machine) (Target.default_triple ());
82   assert_equal (TM.cpu machine) "";
83   assert_equal (TM.features machine) "";