CBMC: /home/runner/work/cbmc/cbmc/src/util/endianness_map.cpp Source File

18 void endianness_mapt::output(std::ostream &out) const

19{

20 for(std::vector<size_t>::const_iterator it=map.begin();

21 it!=map.end();

22 ++it)

23 {

24 if(it!=map.begin())

25 out << ", ";

26 out << *it;

27 }

28}

30 void endianness_mapt::build(const typet &src, bool little_endian)

31{

32 if(little_endian)

33 build_little_endian(src);

34 else

35 build_big_endian(src);

36}

38 void endianness_mapt::build_little_endian(const typet &src)

39{

40 auto s = pointer_offset_bits(src, ns);

41

42 if(!s.has_value())

43 return;

44

45 const std::size_t new_size = map.size() + numeric_cast_v<std::size_t>(*s);

46 map.reserve(new_size);

47

48 for(std::size_t i=map.size(); i<new_size; ++i)

49 map.push_back(i);

50}

52 void endianness_mapt::build_big_endian(const typet &src)

53{

54 if(src.id() == ID_c_enum_tag)

55 build_big_endian(ns.follow_tag(to_c_enum_tag_type(src)));

56 else if(

57 src.id() == ID_unsignedbv || src.id() == ID_signedbv ||

58 src.id() == ID_fixedbv || src.id() == ID_floatbv || src.id() == ID_c_enum ||

59 src.id() == ID_c_bit_field || src.id() == ID_bv)

60 {

61 // these do get re-ordered!

62 auto bits = pointer_offset_bits(src, ns); // error is -1

63 CHECK_RETURN(bits.has_value());

64

65 const std::size_t bits_int = numeric_cast_v<std::size_t>(*bits);

66 const std::size_t base = map.size();

67

68 for(size_t bit=0; bit<bits_int; bit++)

69 {

70 map.push_back(base+bits_int-1-bit);

71 }

72 }

73 else if(src.id()==ID_struct)

74 {

75 const struct_typet &struct_type=to_struct_type(src);

76

77 // todo: worry about padding being in wrong order

78 for(const auto &c : struct_type.components())

79 {

80 build_big_endian(c.type());

81 }

82 }

83 else if(src.id() == ID_struct_tag)

84 {

85 build_big_endian(ns.follow_tag(to_struct_tag_type(src)));

86 }

87 else if(src.id()==ID_array)

88 {

89 const array_typet &array_type=to_array_type(src);

90

91 // array size constant?

92 auto s = numeric_cast<mp_integer>(array_type.size());

93 if(s.has_value())

94 {

95 while(*s > 0)

96 {

97 build_big_endian(array_type.element_type());

98 --(*s);

99 }

100 }

101 }

102 else if(src.id()==ID_vector)

103 {

104 const vector_typet &vector_type=to_vector_type(src);

105

106 mp_integer s = numeric_cast_v<mp_integer>(vector_type.size());

107

108 while(s > 0)

109 {

110 build_big_endian(vector_type.element_type());

111 --s;

112 }

113 }

114 else

115 {

116 // everything else (unions in particular)

117 // is treated like a byte-array

118 auto s = pointer_offset_bits(src, ns); // error is -1

119

120 if(!s.has_value())

121 return;

122

123 const std::size_t new_size = map.size() + numeric_cast_v<std::size_t>(*s);

124 map.reserve(new_size);

125

126 for(std::size_t i=map.size(); i<new_size; ++i)

127 map.push_back(i);

128 }

129}

arith_tools.h

c_types.h

to_c_enum_tag_type

const c_enum_tag_typet & to_c_enum_tag_type(const typet &type)

Cast a typet to a c_enum_tag_typet.

Definition c_types.h:377

ait

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566

array_typet

Arrays with given size.

Definition std_types.h:806

endianness_mapt::ns

const namespacet & ns

Definition endianness_map.h:65

endianness_mapt::build_big_endian

virtual void build_big_endian(const typet &type)

Definition endianness_map.cpp:52

endianness_mapt::build_little_endian

virtual void build_little_endian(const typet &type)

Definition endianness_map.cpp:38

endianness_mapt::build

void build(const typet &type, bool little_endian)

Definition endianness_map.cpp:30

endianness_mapt::map

std::vector< size_t > map

Definition endianness_map.h:66

endianness_mapt::output

void output(std::ostream &) const

Definition endianness_map.cpp:18

irept::id

const irep_idt & id() const

Definition irep.h:388

struct_typet

Structure type, corresponds to C style structs.

Definition std_types.h:230

typet

The type of an expression, extends irept.

Definition type.h:29

vector_typet

The vector type.

Definition std_types.h:954

endianness_map.h

namespace.h

pointer_offset_bits

std::optional< mp_integer > pointer_offset_bits(const typet &type, const namespacet &ns)

Definition pointer_offset_size.cpp:102

pointer_offset_size.h

Pointer Logic.

CHECK_RETURN

#define CHECK_RETURN(CONDITION)

Definition invariant.h:495

to_vector_type

const vector_typet & to_vector_type(const typet &type)

Cast a typet to a vector_typet.

Definition std_types.h:1006

to_struct_type

const struct_typet & to_struct_type(const typet &type)

Cast a typet to a struct_typet.

Definition std_types.h:307

to_struct_tag_type

const struct_tag_typet & to_struct_tag_type(const typet &type)

Cast a typet to a struct_tag_typet.

Definition std_types.h:517

to_array_type

const array_typet & to_array_type(const typet &type)

Cast a typet to an array_typet.

Definition std_types.h:887