[opaque pointer type] Add textual IR support for explicit type parameter to gep operator
[oota-llvm.git] / test / CodeGen / X86 / pr18023.ll
1 ; RUN: llc < %s -mtriple x86_64-apple-macosx10.9.0 | FileCheck %s
2 ; PR18023
3
4 ; CHECK: movabsq $4294967296, %rcx
5 ; CHECK: movq  %rcx, (%rax)
6 ; CHECK: movl  $1, 4(%rax)
7 ; CHECK: movl  $0, 4(%rax)
8 ; CHECK: movq  $1, 4(%rax)
9
10 @c = common global i32 0, align 4
11 @a = common global [3 x i32] zeroinitializer, align 4
12 @b = common global i32 0, align 4
13 @.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
14
15 define void @func() {
16   store i32 1, i32* getelementptr inbounds ([3 x i32], [3 x i32]* @a, i64 0, i64 1), align 4
17   store i32 0, i32* getelementptr inbounds ([3 x i32], [3 x i32]* @a, i64 0, i64 0), align 4
18   %1 = load volatile i32, i32* @b, align 4
19   store i32 1, i32* getelementptr inbounds ([3 x i32], [3 x i32]* @a, i64 0, i64 1), align 4
20   store i32 0, i32* getelementptr inbounds ([3 x i32], [3 x i32]* @a, i64 0, i64 1), align 4
21   %2 = load volatile i32, i32* @b, align 4
22   store i32 1, i32* getelementptr inbounds ([3 x i32], [3 x i32]* @a, i64 0, i64 1), align 4
23   store i32 0, i32* getelementptr inbounds ([3 x i32], [3 x i32]* @a, i64 0, i64 2), align 4
24   %3 = load volatile i32, i32* @b, align 4
25   store i32 3, i32* @c, align 4
26   %4 = load i32, i32* getelementptr inbounds ([3 x i32], [3 x i32]* @a, i64 0, i64 1), align 4
27   %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %4)
28   ret void
29 }
30
31 declare i32 @printf(i8*, ...)