int main() {
  _Complex c;
  c = 1.0i + 2;
  assert(__real__ c == 2);
  assert(__imag__ c == 1);
  _Complex double d;
  assert(sizeof(c) == sizeof(d));
  _Complex signed char char_complex, char_complex2;
  char_complex = 0x3i - 2;
  assert(sizeof(d) == sizeof(c));
  assert(sizeof(char_complex) == sizeof(signed char) * 2);
  assert(((signed char *)&char_complex)[0] == -2);
  assert(((signed char *)&char_complex)[1] == 3);
  assert(__real__ char_complex == -2);
  assert(__imag__ char_complex == 3);
  char_complex2 = ~char_complex;
  __real__ char_complex = 100;
  assert(__real__ char_complex == 100);
  assert(__imag__ char_complex == 3);
  char_complex++;
  assert(__real__ char_complex == 101);
  assert(__imag__ char_complex == 3);
  (__real__ char_complex)++;
  assert(__real__ char_complex == 102);
  assert(__imag__ char_complex == 3);
  assert((int)char_complex == 102);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movsd  0xee8(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  0xed3(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x10(%rbp),%xmm0
movsd  0xec9(%rip),%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsd  -0x8(%rbp),%xmm0
movsd  0xe9c(%rip),%xmm1
ucomisd %xmm1,%xmm0
sete   %al
setnp  %cl
and    %cl,%al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    $0x1,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movb   $0xfe,-0x28(%rbp)
movb   $0x3,-0x27(%rbp)
mov    $0x1,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    $0x1,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsbl -0x28(%rbp),%eax
cmp    $0xfffffffe,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsbl -0x27(%rbp),%eax
cmp    $0x3,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsbl -0x28(%rbp),%eax
cmp    $0xfffffffe,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsbl -0x27(%rbp),%eax
cmp    $0x3,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x28(%rbp),%cl
xor    %eax,%eax
sub    -0x27(%rbp),%al
mov    %cl,-0x30(%rbp)
mov    %al,-0x2f(%rbp)
movb   $0x64,-0x28(%rbp)
movsbl -0x28(%rbp),%eax
cmp    $0x64,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsbl -0x27(%rbp),%eax
cmp    $0x3,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x28(%rbp),%cl
mov    -0x27(%rbp),%al
add    $0x1,%cl
mov    %cl,-0x28(%rbp)
mov    %al,-0x27(%rbp)
movsbl -0x28(%rbp),%eax
cmp    $0x65,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsbl -0x27(%rbp),%eax
cmp    $0x3,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x28(%rbp),%al
add    $0x1,%al
mov    %al,-0x28(%rbp)
movsbl -0x28(%rbp),%eax
cmp    $0x66,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsbl -0x27(%rbp),%eax
cmp    $0x3,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
movsbl -0x28(%rbp),%eax
cmp    $0x66,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    $0x1,%edi
xor    %eax,%eax
call   1030 <assert@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca { double, double }
%2 = alloca { double, double }
%3 = alloca { i8, i8 }
%4 = alloca { i8, i8 }
%5 = getelementptr inbounds { double, double }, { double, double }* %1, i32 0, i32 0
%6 = getelementptr inbounds { double, double }, { double, double }* %1, i32 0, i32 1
store double 2.000000e+00, double* %5
store double 1.000000e+00, double* %6
%7 = getelementptr inbounds { double, double }, { double, double }* %1, i32 0, i32 0
%8 = load double, double* %7
%9 = fcmp oeq double %8, 2.000000e+00
%10 = zext i1 %9 to i32
%11 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %10)
%12 = getelementptr inbounds { double, double }, { double, double }* %1, i32 0, i32 1
%13 = load double, double* %12
%14 = fcmp oeq double %13, 1.000000e+00
%15 = zext i1 %14 to i32
%16 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %15)
%17 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%18 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
%19 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 1
store i8 -2, i8* %18
store i8 3, i8* %19
%20 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%21 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%22 = bitcast { i8, i8 }* %3 to i8*
%23 = getelementptr inbounds i8, i8* %22, i64 0
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = icmp eq i32 %25, -2
%27 = zext i1 %26 to i32
%28 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %27)
%29 = bitcast { i8, i8 }* %3 to i8*
%30 = getelementptr inbounds i8, i8* %29, i64 1
%31 = load i8, i8* %30
%32 = sext i8 %31 to i32
%33 = icmp eq i32 %32, 3
%34 = zext i1 %33 to i32
%35 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %34)
%36 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
%37 = load i8, i8* %36
%38 = sext i8 %37 to i32
%39 = icmp eq i32 %38, -2
%40 = zext i1 %39 to i32
%41 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %40)
%42 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 1
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
%45 = icmp eq i32 %44, 3
%46 = zext i1 %45 to i32
%47 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %46)
%48 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
%49 = load i8, i8* %48
%50 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 1
%51 = load i8, i8* %50
%52 = sub i8 0, %51
%53 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %4, i32 0, i32 0
%54 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %4, i32 0, i32 1
store i8 %49, i8* %53
store i8 %52, i8* %54
%55 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
store i8 100, i8* %55
%56 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
%57 = load i8, i8* %56
%58 = sext i8 %57 to i32
%59 = icmp eq i32 %58, 100
%60 = zext i1 %59 to i32
%61 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %60)
%62 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 1
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = icmp eq i32 %64, 3
%66 = zext i1 %65 to i32
%67 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %66)
%68 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
%69 = load i8, i8* %68
%70 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 1
%71 = load i8, i8* %70
%72 = add i8 %69, 1
%73 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
%74 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 1
store i8 %72, i8* %73
store i8 %71, i8* %74
%75 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
%76 = load i8, i8* %75
%77 = sext i8 %76 to i32
%78 = icmp eq i32 %77, 101
%79 = zext i1 %78 to i32
%80 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %79)
%81 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 1
%82 = load i8, i8* %81
%83 = sext i8 %82 to i32
%84 = icmp eq i32 %83, 3
%85 = zext i1 %84 to i32
%86 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %85)
%87 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
%88 = load i8, i8* %87
%89 = add i8 %88, 1
store i8 %89, i8* %87
%90 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
%91 = load i8, i8* %90
%92 = sext i8 %91 to i32
%93 = icmp eq i32 %92, 102
%94 = zext i1 %93 to i32
%95 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %94)
%96 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 1
%97 = load i8, i8* %96
%98 = sext i8 %97 to i32
%99 = icmp eq i32 %98, 3
%100 = zext i1 %99 to i32
%101 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %100)
%102 = getelementptr inbounds { i8, i8 }, { i8, i8 }* %3, i32 0, i32 0
%103 = load i8, i8* %102
%104 = sext i8 %103 to i32
%105 = icmp eq i32 %104, 102
%106 = zext i1 %105 to i32
%107 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %106)
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%2 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%3 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%4 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%5 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%6 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%7 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%8 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%9 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%10 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%11 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%12 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%13 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%14 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%15 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
%16 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 1)
ret i32 0
}