int testfunc8(void) {
  int a[10];
  int b[10];
  int *p;
  p = &a[0];
  int i;
  int sum;
  int sum2;
  int garbage;
  int garbage2;
  for (i = 0; i < 10; ++i) {
    sum += *(a + i);
    sum2 += *(p + i);
  }
  for (i = 10; i < 1; i++) {
    sum += *(a - i);
    sum2 += *(p - i);
  }
}


x86 assembly (clang, -O0):
<testfunc8>:
push   %rbp
mov    %rsp,%rbp
lea    -0x30(%rbp),%rax
mov    %rax,-0x68(%rbp)
movl   $0x0,-0x6c(%rbp)
cmpl   $0xa,-0x6c(%rbp)
jge    114a <testfunc8+0x4a>
movslq -0x6c(%rbp),%rax
mov    -0x30(%rbp,%rax,4),%eax
add    -0x70(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x68(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x74(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    1113 <testfunc8+0x13>
movl   $0xa,-0x6c(%rbp)
cmpl   $0x1,-0x6c(%rbp)
jge    1192 <testfunc8+0x92>
movslq -0x6c(%rbp),%rcx
xor    %eax,%eax
sub    %rcx,%rax
mov    -0x30(%rbp,%rax,4),%eax
add    -0x70(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x68(%rbp),%rax
movslq -0x6c(%rbp),%rdx
xor    %ecx,%ecx
sub    %rdx,%rcx
mov    (%rax,%rcx,4),%eax
add    -0x74(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    1151 <testfunc8+0x51>
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<testfunc8>:
ret

LLVM IR (-O0):
define i32 @testfunc8() {
%1 = alloca i32
%2 = alloca [10 x i32]
%3 = alloca [10 x i32]
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = getelementptr inbounds [10 x i32], [10 x i32]* %2, i64 0, i64 0
store i32* %10, i32** %4
store i32 0, i32* %5
br label %11
11: ; preds = %29, %0
%12 = load i32, i32* %5
%13 = icmp slt i32 %12, 10
br i1 %13, label %14, label %32
14: ; preds = %11
%15 = getelementptr inbounds [10 x i32], [10 x i32]* %2, i64 0, i64 0
%16 = load i32, i32* %5
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
%19 = load i32, i32* %18
%20 = load i32, i32* %6
%21 = add nsw i32 %20, %19
store i32 %21, i32* %6
%22 = load i32*, i32** %4
%23 = load i32, i32* %5
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
%26 = load i32, i32* %25
%27 = load i32, i32* %7
%28 = add nsw i32 %27, %26
store i32 %28, i32* %7
br label %29
29: ; preds = %14
%30 = load i32, i32* %5
%31 = add nsw i32 %30, 1
store i32 %31, i32* %5
br label %11
32: ; preds = %11
store i32 10, i32* %5
br label %33
33: ; preds = %53, %32
%34 = load i32, i32* %5
%35 = icmp slt i32 %34, 1
br i1 %35, label %36, label %56
36: ; preds = %33
%37 = getelementptr inbounds [10 x i32], [10 x i32]* %2, i64 0, i64 0
%38 = load i32, i32* %5
%39 = sext i32 %38 to i64
%40 = sub i64 0, %39
%41 = getelementptr inbounds i32, i32* %37, i64 %40
%42 = load i32, i32* %41
%43 = load i32, i32* %6
%44 = add nsw i32 %43, %42
store i32 %44, i32* %6
%45 = load i32*, i32** %4
%46 = load i32, i32* %5
%47 = sext i32 %46 to i64
%48 = sub i64 0, %47
%49 = getelementptr inbounds i32, i32* %45, i64 %48
%50 = load i32, i32* %49
%51 = load i32, i32* %7
%52 = add nsw i32 %51, %50
store i32 %52, i32* %7
br label %53
53: ; preds = %36
%54 = load i32, i32* %5
%55 = add nsw i32 %54, 1
store i32 %55, i32* %5
br label %33
56: ; preds = %33
%57 = load i32, i32* %1
ret i32 %57
}

LLVM IR (-O2):
define i32 @testfunc8() {
ret i32 undef
}