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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
; REQUIRES: geq-llvm-15.0
; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s
; Most of the test below use the *address* of gInt as part of their computation,
; and then perform some operation (like x | ~x) which makes the result
; deterministic. They do, however, assume that the sign bit of the address as a
; 64-bit value will never be set.
@gInt = global i32 10
@gIntWithConstant = global i32 sub(i32 ptrtoint(i32* @gInt to i32),
i32 ptrtoint(i32* @gInt to i32))
define void @"test_int_to_ptr"() {
%t1 = add i8 ptrtoint(i8* inttoptr(i32 100 to i8*) to i8), 0
%t2 = add i32 ptrtoint(i32* inttoptr(i8 100 to i32*) to i32), 0
%t3 = add i32 ptrtoint(i32* inttoptr(i64 100 to i32*) to i32), 0
%t4 = add i64 ptrtoint(i8* inttoptr(i32 100 to i8*) to i64), 0
call void @print_i8(i8 %t1)
call void @print_i32(i32 %t2)
call void @print_i32(i32 %t3)
call void @print_i64(i64 %t4)
ret void
}
define void @"test_constant_ops"() {
%t1 = add i8 trunc(i64 add(i64 ptrtoint(i32* @gInt to i64), i64 -10) to i8), 10
%t2 = and i64 sub(i64 sext(i32 ptrtoint(i32* @gInt to i32) to i64), i64 ptrtoint(i32* @gInt to i64)), 4294967295
%t3 = and i64 sub(i64 zext(i32 ptrtoint(i32* @gInt to i32) to i64), i64 ptrtoint(i32* @gInt to i64)), 4294967295
%t4 = icmp eq i8 trunc(i64 ptrtoint(i32* @gInt to i64) to i8), %t1
%t5 = zext i1 %t4 to i8
call void @print_i8(i8 %t5)
call void @print_i64(i64 %t2)
call void @print_i64(i64 %t3)
ret void
}
define void @"test_logical_ops"() {
%t1 = add i32 -10, and(i32 ptrtoint(i32* @gInt to i32), i32 xor(i32 ptrtoint(i32* @gInt to i32), i32 -1))
%t2 = add i32 -10, or(i32 ptrtoint(i32* @gInt to i32), i32 xor(i32 ptrtoint(i32* @gInt to i32), i32 -1))
%t3 = add i32 -10, xor(i32 xor(i32 ptrtoint(i32* @gInt to i32), i32 1024), i32 ptrtoint(i32* @gInt to i32))
call void @print_i32(i32 %t1)
call void @print_i32(i32 %t2)
call void @print_i32(i32 %t3)
; or the address with 1 to ensure the addresses will differ in 'ne' below
%t4 = shl i64 lshr(i64 or(i64 ptrtoint(i32* @gInt to i64), i64 1), i64 8), 8
%t5 = shl i64 ashr(i64 or(i64 ptrtoint(i32* @gInt to i64), i64 1), i64 8), 8
%t6 = lshr i64 shl(i64 or(i64 ptrtoint(i32* @gInt to i64), i64 1), i64 8), 8
%t7 = icmp eq i64 %t4, %t5
%t8 = icmp ne i64 %t4, %t6
%t9 = zext i1 %t7 to i8
%t10 = zext i1 %t8 to i8
call void @print_i8(i8 %t9)
call void @print_i8(i8 %t10)
ret void
}
%test.struct.type = type { i32, i32 }
@test_struct = global %test.struct.type { i32 0, i32 10 }
define void @"test_misc"() {
; probability that @gInt == 100 is very very low
%t1 = add i32 select(i1 icmp eq (i32* @gInt, i32* inttoptr(i32 100 to i32*)), i32 10, i32 0), 0
call void @print_i32(i32 %t1)
%t2 = load i32, i32* getelementptr(%test.struct.type, %test.struct.type* @test_struct, i32 0, i32 1)
call void @print_i32(i32 %t2)
ret void
}
define void @"test_simple_arith"() {
%t1 = add i32 add(i32 ptrtoint(i32* @gInt to i32), i32 0), 0
%t2 = add i32 sub(i32 0, i32 ptrtoint(i32* @gInt to i32)), %t1
%t3 = mul i32 mul(i32 ptrtoint(i32* @gInt to i32), i32 10), %t2
call void @print_i32(i32 %t3)
ret void
}
define void @test_cmp() {
%t1 = add i8 zext(i1 icmp ult (i64 ptrtoint(i32* @gInt to i64), i64 0) to i8), 1
%t2 = add i8 zext(i1 icmp ule (i64 ptrtoint(i32* @gInt to i64), i64 0) to i8), 1
%t3 = add i8 zext(i1 icmp uge (i64 ptrtoint(i32* @gInt to i64), i64 0) to i8), 1
%t4 = add i8 zext(i1 icmp ugt (i64 ptrtoint(i32* @gInt to i64), i64 0) to i8), 1
%t5 = add i8 zext(i1 icmp slt (i64 ptrtoint(i32* @gInt to i64), i64 0) to i8), 1
%t6 = add i8 zext(i1 icmp sle (i64 ptrtoint(i32* @gInt to i64), i64 0) to i8), 1
%t7 = add i8 zext(i1 icmp sge (i64 ptrtoint(i32* @gInt to i64), i64 0) to i8), 1
%t8 = add i8 zext(i1 icmp sgt (i64 ptrtoint(i32* @gInt to i64), i64 0) to i8), 1
%t9 = add i8 zext(i1 icmp eq (i64 ptrtoint(i32* @gInt to i64), i64 10) to i8), 1
%t10 = add i8 zext(i1 icmp ne (i64 ptrtoint(i32* @gInt to i64), i64 10) to i8), 1
call void @print_i1(i8 %t1)
call void @print_i1(i8 %t2)
call void @print_i1(i8 %t3)
call void @print_i1(i8 %t4)
call void @print_i1(i8 %t5)
call void @print_i1(i8 %t6)
call void @print_i1(i8 %t7)
call void @print_i1(i8 %t8)
call void @print_i1(i8 %t9)
call void @print_i1(i8 %t10)
ret void
}
define i32 @main() {
call void @test_simple_arith()
call void @test_cmp()
call void @test_int_to_ptr()
call void @test_constant_ops()
call void @test_logical_ops()
call void @test_misc()
ret i32 0
}
; defined in print_int.c
declare void @print_i1(i8)
declare void @print_i8(i8)
declare void @print_i16(i16)
declare void @print_i32(i32)
declare void @print_i64(i64)
|
