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
|
; LLVM 3.7 requires a type as the first argument to 'load'
; LLVM 3.7 requires a type as the first argument to 'getelementptr'
; REQUIRES: geq-llvm-3.7
; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s
%struct.dirent = type { i64, i64, i16, i8 }
declare void @print_i64(i64)
define void @test_constant_vector_simple() {
entry:
%a = alloca %struct.dirent
%tmp1 = getelementptr %struct.dirent, %struct.dirent* %a, i32 0
%tmp2 = bitcast %struct.dirent* %tmp1 to <2 x i64>*
; Initialize with constant vector parsed as ConstantDataSequential
store <2 x i64> <i64 0, i64 4096>, <2 x i64>* %tmp2, align 8
br label %exit
exit:
; Print first initialized element
%idx = getelementptr %struct.dirent, %struct.dirent* %a, i32 0, i32 0
%val = load i64, i64* %idx
call void @print_i64(i64 %val)
; Print second initialized element
%idx2 = getelementptr %struct.dirent, %struct.dirent* %a, i32 0, i32 1
%val2 = load i64, i64* %idx2
call void @print_i64(i64 %val2)
ret void
}
define void @test_constant_vector_complex() {
entry:
; Create a vector using an uncommon type: i1024: Force usage of constant vector
%a = alloca <2 x i1024>
store <2 x i1024> <i1024 5, i1024 1024>, <2 x i1024>* %a, align 8
br label %exit
exit:
; Print first initialized element
%idx = getelementptr <2 x i1024>, <2 x i1024>* %a, i32 0, i32 0
%narrow = bitcast i1024* %idx to i64*
%val = load i64, i64* %narrow
call void @print_i64(i64 %val)
; Print second initialized element
%idx2 = getelementptr <2 x i1024>, <2 x i1024>* %a, i32 0, i32 1
%narrow2 = bitcast i1024* %idx2 to i64*
%val2 = load i64, i64* %narrow2
call void @print_i64(i64 %val2)
ret void
}
define i32 @main() {
entry:
call void @test_constant_vector_simple()
call void @test_constant_vector_complex()
br label %exit
exit:
ret i32 0
}
|
