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 "config.h"
12 
14 {
15  switch(config.ansi_c.endianness)
16  {
18  return ID_byte_extract_little_endian;
19 
21  return ID_byte_extract_big_endian;
22 
25  }
26 
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 
42  }
43 
45 }
Expression classes for byte-level operators.
struct configt::ansi_ct ansi_c
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:37
configt config
Definition: config.cpp:24
#define UNREACHABLE
This should be used to mark dead code.
Definition: invariant.h:504
endiannesst endianness
Definition: config.h:157
irep_idt byte_extract_id()
irep_idt byte_update_id()