blob: bc9119dd15788dc2d9ae055403e665619bb29796 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
//===-- CompressionStream.h --------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef KLEE_COMPRESSIONSTREAM_H
#define KLEE_COMPRESSIONSTREAM_H
#include "llvm/Support/raw_ostream.h"
#include "zlib.h"
namespace klee {
const size_t BUFSIZE = 128 * 1024;
class compressed_fd_ostream : public llvm::raw_ostream {
int FD;
uint8_t buffer[BUFSIZE];
z_stream strm;
uint64_t pos;
/// write_impl - See raw_ostream::write_impl.
virtual void write_impl(const char *Ptr, size_t Size);
void write_file(const char *Ptr, size_t Size);
virtual uint64_t current_pos() const { return pos; }
void flush_compressed_data();
void writeFullCompressedData();
public:
/// compressed_fd_ostream - Open the specified file for writing. If an error
/// occurs, information about the error is put into ErrorInfo, and the stream
/// should be immediately destroyed; the string will be empty if no error
/// occurred. This allows optional flags to control how the file will be
/// opened.
compressed_fd_ostream(const std::string &Filename, std::string &ErrorInfo);
~compressed_fd_ostream();
};
}
#endif /* KLEE_COMPRESSIONSTREAM_H */
|
