haybale 0.7.2

Symbolic execution of LLVM IR, written in Rust
Documentation 
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89

CC=clang-9
CXX=$$LLVM9PATH/bin/clang++
CFLAGS=-O3
RUSTC=rustc
RUSTFLAGS=--crate-type=lib
RUST32BIT=--target i686-unknown-linux-gnu
LLVMAS=$$LLVM9PATH/bin/llvm-as

.PHONY: all
all: basic.bc basic.ll \
			issue_4.bc issue_4.ll \
			issue_9.bc issue_9.ll \
			issue_10.bc issue_10.ll \
			memory.bc memory.ll \
			loop.bc loop.ll \
			struct.bc struct.ll \
			struct-O3.bc struct-O3.ll \
			linkedlist.bc linkedlist.ll \
			call.bc call.ll \
			crossmod.bc crossmod.ll \
			globals.bc globals.ll \
			globals_initialization_1.bc globals_initialization_1.ll \
			globals_initialization_2.bc globals_initialization_2.ll \
			functionptr.bc functionptr.ll \
			simd.bc simd.ll \
			simd_cl.bc simd_cl.ll \
			throwcatch.bc throwcatch.ll \
			abort.bc abort.ll \
			panic.bc panic.ll \
			atomicrmw.bc atomicrmw.ll \
			32bit/issue_4.bc 32bit/issue_4.ll \

%.ll : %.c
	$(CC) $(CFLAGS) -S -emit-llvm $^ -o $@

%.bc : %.c
	$(CC) $(CFLAGS) -c -emit-llvm $^ -o $@

%.ll : %.cpp
	$(CXX) $(CFLAGS) -S -emit-llvm $^ -o $@

%.bc : %.cpp
	$(CXX) $(CFLAGS) -c -emit-llvm $^ -o $@

%.ll : %.cl
	$(CC) $(CFLAGS) -Xclang -finclude-default-header -S -emit-llvm $^ -o $@

%.bc : %.cl
	$(CC) $(CFLAGS) -Xclang -finclude-default-header -c -emit-llvm $^ -o $@

%.ll : %.rs
	$(RUSTC) $(RUSTFLAGS) --emit=llvm-ir $^ -o $@

%.bc : %.rs
	$(RUSTC) $(RUSTFLAGS) --emit=llvm-bc $^ -o $@

32bit/%.ll : %.rs
	mkdir -p 32bit
	$(RUSTC) $(RUSTFLAGS) $(RUST32BIT) --emit=llvm-ir $^ -o $@

32bit/%.bc : %.rs
	mkdir -p 32bit
	$(RUSTC) $(RUSTFLAGS) $(RUST32BIT) --emit=llvm-bc $^ -o $@

# use -O1 on loop.c
loop.ll : loop.c
	$(CC) -O1 -S -emit-llvm $^ -o $@
loop.bc : loop.c
	$(CC) -O1 -c -emit-llvm $^ -o $@

# use -O0 on struct.c and linkedlist.c
struct.ll : struct.c
	$(CC) -O0 -S -emit-llvm $^ -o $@
struct.bc : struct.c
	$(CC) -O0 -c -emit-llvm $^ -o $@
linkedlist.ll : linkedlist.c
	$(CC) -O0 -S -emit-llvm $^ -o $@
linkedlist.bc : linkedlist.c
	$(CC) -O0 -c -emit-llvm $^ -o $@

# atomicrmw.ll is a .ll file written by hand, so we need to compile the .bc from the .ll
atomicrmw.bc : atomicrmw.ll
	$(LLVMAS) $< -o $@

.PHONY: clean
clean:
	find . -name "*.ll" | grep -v "atomicrmw.ll" | xargs rm
	find . -name "*.bc" | xargs rm
	find . -name "*~" | xargs rm