about summary refs log tree commit diff homepage
path: root/test/Concrete/ConstantInit.ll
blob: 161069dfb14384a0877b8b122d1e7e5c067e14f2 (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
; RUN: %S/ConcreteTest.py --klee='%klee' --lli=%lli %s

%struct.dirent = type { i64, i64, i16, i8, [256 x i8] }
declare void @print_i64(i64)

define i32 @main() {
entry:
	%a = alloca %struct.dirent
	%tmp1 = getelementptr %struct.dirent* %a, i32 0
	%tmp2 = bitcast %struct.dirent* %tmp1 to <2 x i64>*
	; Initialize with constant vector
	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* %a, i32 0, i32 0
	%val = load i64* %idx	
	call void @print_i64(i64 %val)

	; Print second initialized element	
	%idx2 = getelementptr %struct.dirent* %a, i32 0, i32 1
	%val2 = load i64* %idx2	
	call void @print_i64(i64 %val2)
	
	ret i32 0
}