int main() {
  struct A *q;
  struct A {
    int a_int_one;
    struct B {
      int b_int_one;
      long b_long;
      int b_int_two;
    } b_struct;
    int a_int_two, *a_ptr;
    int;
  } a;
  q = &a;
  void *p1 = q + 1;
  char *p2 = p1;
  void *p3 = p2 - 8 * 4;
  if (p3 != q)
    return 1;
  struct {};
  struct I {
  } b;
  if (&b != (&b + 1))
    return 2;
  a.a_int_one = 10;
  if (a.a_int_one != 10)
    return 3;
  a.a_ptr = &a.a_int_one;
  *a.a_ptr = 20;
  if (a.a_int_one != 20)
    return 4;
  q = &a;
  (*q).a_int_two = 15;
  if (a.a_int_two != 15)
    return 5;
  if (q->a_int_two != 15)
    return 11;
  p1 = q;
  p3 = &a.a_int_one;
  if (p1 != p3)
    return 6;
  a.b_struct.b_long = 10;
  if (a.b_struct.b_long != 10)
    return 7;
  if ((*(&a.b_struct)).b_long != 10)
    return 8;
  if ((&a.b_struct)->b_long != 10)
    return 12;
  long *p_val = &a.b_struct.b_long;
  if (*p_val != 10)
    return 9;
  *p_val = 20;
  if (a.b_struct.b_long != 20)
    return 10;
  struct A array[10];
  array[3].b_struct.b_int_one = 3;
  if (array[3].b_struct.b_int_one != 3)
    return 13;
  if ((&array[0] + 3)->b_struct.b_int_one != 3)
    return 14;
  struct F {
    int array[10];
  };
  struct F array2[10];
  array2[5].array[5] = 3;
  if (array2[5].array[5] != 3)
    return 15;
  struct {
    int a;
  } s;
  s.a = 3;
  if (s.a != 3)
    return 16;
  struct C {
    int c_int;
    union D {
      int d_int;
      long d_long;
    } nested_union_d;
    union E {
      int e_int;
    } nested_union_e;
  };
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x370,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x40(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
add    $0x30,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
add    $0xffffffffffffffe0,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    -0x10(%rbp),%rcx
cmp    %rcx,%rax
je     1157 <main+0x57>
movl   $0x1,-0x4(%rbp)
jmp    131f <main+0x21f>
movl   $0xa,-0x40(%rbp)
cmpl   $0xa,-0x40(%rbp)
je     1174 <main+0x74>
movl   $0x3,-0x4(%rbp)
jmp    131f <main+0x21f>
lea    -0x40(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movl   $0x14,(%rax)
cmpl   $0x14,-0x40(%rbp)
je     119c <main+0x9c>
movl   $0x4,-0x4(%rbp)
jmp    131f <main+0x21f>
lea    -0x40(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movl   $0xf,0x20(%rax)
cmpl   $0xf,-0x20(%rbp)
je     11c5 <main+0xc5>
movl   $0x5,-0x4(%rbp)
jmp    131f <main+0x21f>
mov    -0x10(%rbp),%rax
cmpl   $0xf,0x20(%rax)
je     11df <main+0xdf>
movl   $0xb,-0x4(%rbp)
jmp    131f <main+0x21f>
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
lea    -0x40(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x48(%rbp),%rax
cmp    -0x58(%rbp),%rax
je     1209 <main+0x109>
movl   $0x6,-0x4(%rbp)
jmp    131f <main+0x21f>
movq   $0xa,-0x30(%rbp)
cmpq   $0xa,-0x30(%rbp)
je     1228 <main+0x128>
movl   $0x7,-0x4(%rbp)
jmp    131f <main+0x21f>
cmpq   $0xa,-0x30(%rbp)
je     123f <main+0x13f>
movl   $0x8,-0x4(%rbp)
jmp    131f <main+0x21f>
cmpq   $0xa,-0x30(%rbp)
je     1256 <main+0x156>
movl   $0xc,-0x4(%rbp)
jmp    131f <main+0x21f>
lea    -0x40(%rbp),%rax
add    $0x8,%rax
add    $0x8,%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmpq   $0xa,(%rax)
je     1280 <main+0x180>
movl   $0x9,-0x4(%rbp)
jmp    131f <main+0x21f>
mov    -0x68(%rbp),%rax
movq   $0x14,(%rax)
cmpq   $0x14,-0x30(%rbp)
je     12a2 <main+0x1a2>
movl   $0xa,-0x4(%rbp)
jmp    131f <main+0x21f>
movl   $0x3,-0x1b8(%rbp)
cmpl   $0x3,-0x1b8(%rbp)
je     12c5 <main+0x1c5>
movl   $0xd,-0x4(%rbp)
jmp    131f <main+0x21f>
cmpl   $0x3,-0x1b8(%rbp)
je     12de <main+0x1de>
movl   $0xe,-0x4(%rbp)
jmp    131f <main+0x21f>
movl   $0x3,-0x304(%rbp)
cmpl   $0x3,-0x304(%rbp)
je     1301 <main+0x201>
movl   $0xf,-0x4(%rbp)
jmp    131f <main+0x21f>
movl   $0x3,-0x3e8(%rbp)
cmpl   $0x3,-0x3e8(%rbp)
je     131f <main+0x21f>
movl   $0x10,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x370,%rsp
pop    %rbp
ret

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

LLVM IR (-O0):
%struct.A = type { i32, %struct.B, i32, i32* }
%struct.B = type { i32, i64, i32 }
%struct.I = type {}
%struct.F = type { [10 x i32] }
%struct.anon = type { i32 }
define i32 @main() {
%1 = alloca i32
%2 = alloca %struct.A*
%3 = alloca %struct.A
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca %struct.I
%8 = alloca i64*
%9 = alloca [10 x %struct.A]
%10 = alloca [10 x %struct.F]
%11 = alloca %struct.anon
store i32 0, i32* %1
store %struct.A* %3, %struct.A** %2
%12 = load %struct.A*, %struct.A** %2
%13 = getelementptr inbounds %struct.A, %struct.A* %12, i64 1
%14 = bitcast %struct.A* %13 to i8*
store i8* %14, i8** %4
%15 = load i8*, i8** %4
store i8* %15, i8** %5
%16 = load i8*, i8** %5
%17 = getelementptr inbounds i8, i8* %16, i64 -32
store i8* %17, i8** %6
%18 = load i8*, i8** %6
%19 = load %struct.A*, %struct.A** %2
%20 = bitcast %struct.A* %19 to i8*
%21 = icmp ne i8* %18, %20
br i1 %21, label %22, label %23
22: ; preds = %0
store i32 1, i32* %1
br label %128
23: ; preds = %0
%24 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 0
store i32 10, i32* %24
%25 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 0
%26 = load i32, i32* %25
%27 = icmp ne i32 %26, 10
br i1 %27, label %28, label %29
28: ; preds = %23
store i32 3, i32* %1
br label %128
29: ; preds = %23
%30 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 0
%31 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 3
store i32* %30, i32** %31
%32 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 3
%33 = load i32*, i32** %32
store i32 20, i32* %33
%34 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 0
%35 = load i32, i32* %34
%36 = icmp ne i32 %35, 20
br i1 %36, label %37, label %38
37: ; preds = %29
store i32 4, i32* %1
br label %128
38: ; preds = %29
store %struct.A* %3, %struct.A** %2
%39 = load %struct.A*, %struct.A** %2
%40 = getelementptr inbounds %struct.A, %struct.A* %39, i32 0, i32 2
store i32 15, i32* %40
%41 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 2
%42 = load i32, i32* %41
%43 = icmp ne i32 %42, 15
br i1 %43, label %44, label %45
44: ; preds = %38
store i32 5, i32* %1
br label %128
45: ; preds = %38
%46 = load %struct.A*, %struct.A** %2
%47 = getelementptr inbounds %struct.A, %struct.A* %46, i32 0, i32 2
%48 = load i32, i32* %47
%49 = icmp ne i32 %48, 15
br i1 %49, label %50, label %51
50: ; preds = %45
store i32 11, i32* %1
br label %128
51: ; preds = %45
%52 = load %struct.A*, %struct.A** %2
%53 = bitcast %struct.A* %52 to i8*
store i8* %53, i8** %4
%54 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 0
%55 = bitcast i32* %54 to i8*
store i8* %55, i8** %6
%56 = load i8*, i8** %4
%57 = load i8*, i8** %6
%58 = icmp ne i8* %56, %57
br i1 %58, label %59, label %60
59: ; preds = %51
store i32 6, i32* %1
br label %128
60: ; preds = %51
%61 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 1
%62 = getelementptr inbounds %struct.B, %struct.B* %61, i32 0, i32 1
store i64 10, i64* %62
%63 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 1
%64 = getelementptr inbounds %struct.B, %struct.B* %63, i32 0, i32 1
%65 = load i64, i64* %64
%66 = icmp ne i64 %65, 10
br i1 %66, label %67, label %68
67: ; preds = %60
store i32 7, i32* %1
br label %128
68: ; preds = %60
%69 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 1
%70 = getelementptr inbounds %struct.B, %struct.B* %69, i32 0, i32 1
%71 = load i64, i64* %70
%72 = icmp ne i64 %71, 10
br i1 %72, label %73, label %74
73: ; preds = %68
store i32 8, i32* %1
br label %128
74: ; preds = %68
%75 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 1
%76 = getelementptr inbounds %struct.B, %struct.B* %75, i32 0, i32 1
%77 = load i64, i64* %76
%78 = icmp ne i64 %77, 10
br i1 %78, label %79, label %80
79: ; preds = %74
store i32 12, i32* %1
br label %128
80: ; preds = %74
%81 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 1
%82 = getelementptr inbounds %struct.B, %struct.B* %81, i32 0, i32 1
store i64* %82, i64** %8
%83 = load i64*, i64** %8
%84 = load i64, i64* %83
%85 = icmp ne i64 %84, 10
br i1 %85, label %86, label %87
86: ; preds = %80
store i32 9, i32* %1
br label %128
87: ; preds = %80
%88 = load i64*, i64** %8
store i64 20, i64* %88
%89 = getelementptr inbounds %struct.A, %struct.A* %3, i32 0, i32 1
%90 = getelementptr inbounds %struct.B, %struct.B* %89, i32 0, i32 1
%91 = load i64, i64* %90
%92 = icmp ne i64 %91, 20
br i1 %92, label %93, label %94
93: ; preds = %87
store i32 10, i32* %1
br label %128
94: ; preds = %87
%95 = getelementptr inbounds [10 x %struct.A], [10 x %struct.A]* %9, i64 0, i64 3
%96 = getelementptr inbounds %struct.A, %struct.A* %95, i32 0, i32 1
%97 = getelementptr inbounds %struct.B, %struct.B* %96, i32 0, i32 0
store i32 3, i32* %97
%98 = getelementptr inbounds [10 x %struct.A], [10 x %struct.A]* %9, i64 0, i64 3
%99 = getelementptr inbounds %struct.A, %struct.A* %98, i32 0, i32 1
%100 = getelementptr inbounds %struct.B, %struct.B* %99, i32 0, i32 0
%101 = load i32, i32* %100
%102 = icmp ne i32 %101, 3
br i1 %102, label %103, label %104
103: ; preds = %94
store i32 13, i32* %1
br label %128
104: ; preds = %94
%105 = getelementptr inbounds [10 x %struct.A], [10 x %struct.A]* %9, i64 0, i64 0
%106 = getelementptr inbounds %struct.A, %struct.A* %105, i64 3
%107 = getelementptr inbounds %struct.A, %struct.A* %106, i32 0, i32 1
%108 = getelementptr inbounds %struct.B, %struct.B* %107, i32 0, i32 0
%109 = load i32, i32* %108
%110 = icmp ne i32 %109, 3
br i1 %110, label %111, label %112
111: ; preds = %104
store i32 14, i32* %1
br label %128
112: ; preds = %104
%113 = getelementptr inbounds [10 x %struct.F], [10 x %struct.F]* %10, i64 0, i64 5
%114 = getelementptr inbounds %struct.F, %struct.F* %113, i32 0, i32 0
%115 = getelementptr inbounds [10 x i32], [10 x i32]* %114, i64 0, i64 5
store i32 3, i32* %115
%116 = getelementptr inbounds [10 x %struct.F], [10 x %struct.F]* %10, i64 0, i64 5
%117 = getelementptr inbounds %struct.F, %struct.F* %116, i32 0, i32 0
%118 = getelementptr inbounds [10 x i32], [10 x i32]* %117, i64 0, i64 5
%119 = load i32, i32* %118
%120 = icmp ne i32 %119, 3
br i1 %120, label %121, label %122
121: ; preds = %112
store i32 15, i32* %1
br label %128
122: ; preds = %112
%123 = getelementptr inbounds %struct.anon, %struct.anon* %11, i32 0, i32 0
store i32 3, i32* %123
%124 = getelementptr inbounds %struct.anon, %struct.anon* %11, i32 0, i32 0
%125 = load i32, i32* %124
%126 = icmp ne i32 %125, 3
br i1 %126, label %127, label %128
127: ; preds = %122
store i32 16, i32* %1
br label %128
128: ; preds = %22, %28, %37, %44, %50, %59, %67, %73, %79, %86, %93, %103, %111, %121, %127, %122
%129 = load i32, i32* %1
ret i32 %129
}

LLVM IR (-O2):
%struct.A = type { i32, %struct.B, i32, i32* }
%struct.B = type { i32, i64, i32 }
define i32 @main() {
ret i32 1
}