int main() {
  int a = 5, b = 10, c = 15;
  &a;
  &b;
  &c;
  if (*(&c + 1) != 10)
    return 1;
  if (*(1 + &c) != 10)
    return 2;
  if (*(&c + 2) != 5)
    return 3;
  if (*(2 + &c) != 5)
    return 4;
  if (*(&b + 1) != 5)
    return 5;
  if (*(1 + &b) != 5)
    return 6;
  if (&b + 1 != &a)
    return 7;
  if (1 + &b != &a)
    return 8;
  if (&a - &b != 1)
    return 9;
  if (&a - &c != 2)
    return 10;
  if (&a - 1 != &b)
    return 11;
  if (&a - 2 != &c)
    return 12;
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
movl   $0x5,-0x8(%rbp)
movl   $0xa,-0xc(%rbp)
movl   $0xf,-0x10(%rbp)
cmpl   $0xa,-0xc(%rbp)
je     1136 <main+0x36>
movl   $0x1,-0x4(%rbp)
jmp    1237 <main+0x137>
cmpl   $0xa,-0xc(%rbp)
je     114c <main+0x4c>
movl   $0x2,-0x4(%rbp)
jmp    1237 <main+0x137>
cmpl   $0x5,-0x8(%rbp)
je     1162 <main+0x62>
movl   $0x3,-0x4(%rbp)
jmp    1237 <main+0x137>
cmpl   $0x5,-0x8(%rbp)
je     1178 <main+0x78>
movl   $0x4,-0x4(%rbp)
jmp    1237 <main+0x137>
cmpl   $0x5,-0x8(%rbp)
je     118e <main+0x8e>
movl   $0x5,-0x4(%rbp)
jmp    1237 <main+0x137>
cmpl   $0x5,-0x8(%rbp)
je     11a4 <main+0xa4>
movl   $0x6,-0x4(%rbp)
jmp    1237 <main+0x137>
lea    -0xc(%rbp),%rax
add    $0x4,%rax
lea    -0x8(%rbp),%rcx
cmp    %rcx,%rax
je     11c5 <main+0xc5>
movl   $0x7,-0x4(%rbp)
jmp    1237 <main+0x137>
lea    -0xc(%rbp),%rax
add    $0x4,%rax
lea    -0x8(%rbp),%rcx
cmp    %rcx,%rax
je     11e6 <main+0xe6>
movl   $0x8,-0x4(%rbp)
jmp    1237 <main+0x137>
lea    -0x8(%rbp),%rax
lea    -0xc(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
cmp    $0x1,%rax
je     120b <main+0x10b>
movl   $0x9,-0x4(%rbp)
jmp    1237 <main+0x137>
lea    -0x8(%rbp),%rax
lea    -0x10(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
cmp    $0x2,%rax
je     1230 <main+0x130>
movl   $0xa,-0x4(%rbp)
jmp    1237 <main+0x137>
movl   $0xb,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
mov    $0x1,%eax
ret

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

LLVM IR (-O2):
define i32 @main() {
ret i32 1
}