int test() {
  char a = -128, b = -128;
  short c, d;
  unsigned char e, f;
  unsigned short g, h;
  if (a + b != 0)
    return 1;
  a = 'a', b = 'b';
  if (a + b > 0)
    return 2;
  c = 1 << 15;
  d = 1 << 15;
  if (c + d != 0)
    return 3;
  c = 20000, d = 20000;
  if (c + d > 0)
    return 4;
  e = 128, f = 128;
  if (e + f > 0)
    return 5;
  g = 40000, h = 50000;
  if (g + h > 30000 || g + h < 0)
    return 6;
  return 0;
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
movb   $0x80,-0x5(%rbp)
movb   $0x80,-0x6(%rbp)
movsbl -0x5(%rbp),%eax
movsbl -0x6(%rbp),%ecx
add    %ecx,%eax
cmp    $0x0,%eax
je     112b <test+0x2b>
movl   $0x1,-0x4(%rbp)
jmp    1216 <test+0x116>
movb   $0x61,-0x5(%rbp)
movb   $0x62,-0x6(%rbp)
movsbl -0x5(%rbp),%eax
movsbl -0x6(%rbp),%ecx
add    %ecx,%eax
cmp    $0x0,%eax
jle    1152 <test+0x52>
movl   $0x2,-0x4(%rbp)
jmp    1216 <test+0x116>
movw   $0x8000,-0x8(%rbp)
movw   $0x8000,-0xa(%rbp)
movswl -0x8(%rbp),%eax
movswl -0xa(%rbp),%ecx
add    %ecx,%eax
cmp    $0x0,%eax
je     117d <test+0x7d>
movl   $0x3,-0x4(%rbp)
jmp    1216 <test+0x116>
movw   $0x4e20,-0x8(%rbp)
movw   $0x4e20,-0xa(%rbp)
movswl -0x8(%rbp),%eax
movswl -0xa(%rbp),%ecx
add    %ecx,%eax
cmp    $0x0,%eax
jle    11a8 <test+0xa8>
movl   $0x4,-0x4(%rbp)
jmp    1216 <test+0x116>
movb   $0x80,-0xb(%rbp)
movb   $0x80,-0xc(%rbp)
movzbl -0xb(%rbp),%eax
movzbl -0xc(%rbp),%ecx
add    %ecx,%eax
cmp    $0x0,%eax
jle    11cf <test+0xcf>
movl   $0x5,-0x4(%rbp)
jmp    1216 <test+0x116>
movw   $0x9c40,-0xe(%rbp)
movw   $0xc350,-0x10(%rbp)
movzwl -0xe(%rbp),%eax
movzwl -0x10(%rbp),%ecx
add    %ecx,%eax
cmp    $0x7530,%eax
jg     1203 <test+0x103>
movzwl -0xe(%rbp),%eax
movzwl -0x10(%rbp),%ecx
add    %ecx,%eax
cmp    $0x0,%eax
jge    120f <test+0x10f>
movl   $0x6,-0x4(%rbp)
jmp    1216 <test+0x116>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

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

LLVM IR (-O0):
define i32 @test() {
%1 = alloca i32
%2 = alloca i8
%3 = alloca i8
%4 = alloca i16
%5 = alloca i16
%6 = alloca i8
%7 = alloca i8
%8 = alloca i16
%9 = alloca i16
store i8 -128, i8* %2
store i8 -128, i8* %3
%10 = load i8, i8* %2
%11 = sext i8 %10 to i32
%12 = load i8, i8* %3
%13 = sext i8 %12 to i32
%14 = add nsw i32 %11, %13
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %17
16: ; preds = %0
store i32 1, i32* %1
br label %65
17: ; preds = %0
store i8 97, i8* %2
store i8 98, i8* %3
%18 = load i8, i8* %2
%19 = sext i8 %18 to i32
%20 = load i8, i8* %3
%21 = sext i8 %20 to i32
%22 = add nsw i32 %19, %21
%23 = icmp sgt i32 %22, 0
br i1 %23, label %24, label %25
24: ; preds = %17
store i32 2, i32* %1
br label %65
25: ; preds = %17
store i16 -32768, i16* %4
store i16 -32768, i16* %5
%26 = load i16, i16* %4
%27 = sext i16 %26 to i32
%28 = load i16, i16* %5
%29 = sext i16 %28 to i32
%30 = add nsw i32 %27, %29
%31 = icmp ne i32 %30, 0
br i1 %31, label %32, label %33
32: ; preds = %25
store i32 3, i32* %1
br label %65
33: ; preds = %25
store i16 20000, i16* %4
store i16 20000, i16* %5
%34 = load i16, i16* %4
%35 = sext i16 %34 to i32
%36 = load i16, i16* %5
%37 = sext i16 %36 to i32
%38 = add nsw i32 %35, %37
%39 = icmp sgt i32 %38, 0
br i1 %39, label %40, label %41
40: ; preds = %33
store i32 4, i32* %1
br label %65
41: ; preds = %33
store i8 -128, i8* %6
store i8 -128, i8* %7
%42 = load i8, i8* %6
%43 = zext i8 %42 to i32
%44 = load i8, i8* %7
%45 = zext i8 %44 to i32
%46 = add nsw i32 %43, %45
%47 = icmp sgt i32 %46, 0
br i1 %47, label %48, label %49
48: ; preds = %41
store i32 5, i32* %1
br label %65
49: ; preds = %41
store i16 -25536, i16* %8
store i16 -15536, i16* %9
%50 = load i16, i16* %8
%51 = zext i16 %50 to i32
%52 = load i16, i16* %9
%53 = zext i16 %52 to i32
%54 = add nsw i32 %51, %53
%55 = icmp sgt i32 %54, 30000
br i1 %55, label %63, label %56
56: ; preds = %49
%57 = load i16, i16* %8
%58 = zext i16 %57 to i32
%59 = load i16, i16* %9
%60 = zext i16 %59 to i32
%61 = add nsw i32 %58, %60
%62 = icmp slt i32 %61, 0
br i1 %62, label %63, label %64
63: ; preds = %56, %49
store i32 6, i32* %1
br label %65
64: ; preds = %56
store i32 0, i32* %1
br label %65
65: ; preds = %64, %63, %48, %40, %32, %24, %16
%66 = load i32, i32* %1
ret i32 %66
}

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