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 "invariant.h"
14 #include "config.h"
15 
17 {
18  switch(config.ansi_c.endianness)
19  {
21  return ID_byte_extract_little_endian;
22 
24  return ID_byte_extract_big_endian;
25 
26  default:
28  }
29 }
30 
32 {
33  switch(config.ansi_c.endianness)
34  {
36  return ID_byte_update_little_endian;
37 
39  return ID_byte_update_big_endian;
40 
41  default:
43  }
44 }
struct configt::ansi_ct ansi_c
endiannesst endianness
Definition: config.h:76
configt config
Definition: config.cpp:23
Expression classes for byte-level operators.
irep_idt byte_extract_id()
#define UNREACHABLE
Definition: invariant.h:250
irep_idt byte_update_id()