cprover
byte_operators.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #include "byte_operators.h"
10 
11 #include <cassert>
12 
13 #include "config.h"
14 
16 {
17  switch(config.ansi_c.endianness)
18  {
20  return ID_byte_extract_little_endian;
21 
23  return ID_byte_extract_big_endian;
24 
25  default:
26  assert(false);
27  }
28 }
29 
31 {
32  switch(config.ansi_c.endianness)
33  {
35  return ID_byte_update_little_endian;
36 
38  return ID_byte_update_big_endian;
39 
40  default:
41  assert(false);
42  }
43 }
struct configt::ansi_ct ansi_c
endiannesst endianness
Definition: config.h:75
configt config
Definition: config.cpp:21
Expression classes for byte-level operators.
irep_idt byte_extract_id()
irep_idt byte_update_id()