#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int SCHAR_MAX;
int /*<<< orphan*/ abort();
void test1(signed char c, int set) {
  if ((c & (SCHAR_MAX + 1)) == 0) {
    if (set)
      abort();
  } else if (!set)
    abort();
  if ((c & (SCHAR_MAX + 1)) != 0) {
    if (!set)
      abort();
  } else if (set)
    abort();
  if ((c & (SCHAR_MAX + 1)) == (SCHAR_MAX + 1)) {
    if (!set)
      abort();
  } else if (set)
    abort();
  if ((c & (SCHAR_MAX + 1)) != (SCHAR_MAX + 1)) {
    if (set)
      abort();
  } else if (!set)
    abort();
}


x86 assembly (clang, -O0):
<test1>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %dil,%al
mov    %al,-0x1(%rbp)
mov    %esi,-0x8(%rbp)
movsbl -0x1(%rbp),%eax
mov    0x2eb4(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
jne    1152 <test1+0x42>
cmpl   $0x0,-0x8(%rbp)
je     114d <test1+0x3d>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1168 <test1+0x58>
cmpl   $0x0,-0x8(%rbp)
jne    1163 <test1+0x53>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1168 <test1+0x58>
movsbl -0x1(%rbp),%eax
mov    0x2e6d(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     1199 <test1+0x89>
cmpl   $0x0,-0x8(%rbp)
jne    1194 <test1+0x84>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    11af <test1+0x9f>
cmpl   $0x0,-0x8(%rbp)
je     11aa <test1+0x9a>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    11af <test1+0x9f>
movsbl -0x1(%rbp),%eax
mov    0x2e26(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
and    %ecx,%eax
mov    0x2e18(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jne    11eb <test1+0xdb>
cmpl   $0x0,-0x8(%rbp)
jne    11e6 <test1+0xd6>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1201 <test1+0xf1>
cmpl   $0x0,-0x8(%rbp)
je     11fc <test1+0xec>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1201 <test1+0xf1>
movsbl -0x1(%rbp),%eax
mov    0x2dd4(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
and    %ecx,%eax
mov    0x2dc6(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     123d <test1+0x12d>
cmpl   $0x0,-0x8(%rbp)
je     1238 <test1+0x128>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1253 <test1+0x143>
cmpl   $0x0,-0x8(%rbp)
jne    124e <test1+0x13e>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1253 <test1+0x143>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test1>:
push   %rax
mov    0x2ec8(%rip),%rax
mov    (%rax),%eax
add    $0x1,%eax
and    %eax,%edi
je     112b <test1+0x1b>
test   %esi,%esi
je     1135 <test1+0x25>
cmp    %eax,%edi
je     1133 <test1+0x23>
jmp    1135 <test1+0x25>
test   %esi,%esi
jne    1135 <test1+0x25>
test   %eax,%eax
je     1135 <test1+0x25>
pop    %rax
ret
xor    %eax,%eax
call   1030 <abort@plt>

LLVM IR (-O0):
@SCHAR_MAX = global i32 0
define void @test1(i8 signext %0, i32 %1) {
%3 = alloca i8
%4 = alloca i32
store i8 %0, i8* %3
store i32 %1, i32* %4
%5 = load i8, i8* %3
%6 = sext i8 %5 to i32
%7 = load i32, i32* @SCHAR_MAX
%8 = add nsw i32 %7, 1
%9 = and i32 %6, %8
%10 = icmp eq i32 %9, 0
br i1 %10, label %11, label %17
11: ; preds = %2
%12 = load i32, i32* %4
%13 = icmp ne i32 %12, 0
br i1 %13, label %14, label %16
14: ; preds = %11
%15 = call i32 (...) @abort()
unreachable
16: ; preds = %11
br label %23
17: ; preds = %2
%18 = load i32, i32* %4
%19 = icmp ne i32 %18, 0
br i1 %19, label %22, label %20
20: ; preds = %17
%21 = call i32 (...) @abort()
unreachable
22: ; preds = %17
br label %23
23: ; preds = %22, %16
%24 = load i8, i8* %3
%25 = sext i8 %24 to i32
%26 = load i32, i32* @SCHAR_MAX
%27 = add nsw i32 %26, 1
%28 = and i32 %25, %27
%29 = icmp ne i32 %28, 0
br i1 %29, label %30, label %36
30: ; preds = %23
%31 = load i32, i32* %4
%32 = icmp ne i32 %31, 0
br i1 %32, label %35, label %33
33: ; preds = %30
%34 = call i32 (...) @abort()
unreachable
35: ; preds = %30
br label %42
36: ; preds = %23
%37 = load i32, i32* %4
%38 = icmp ne i32 %37, 0
br i1 %38, label %39, label %41
39: ; preds = %36
%40 = call i32 (...) @abort()
unreachable
41: ; preds = %36
br label %42
42: ; preds = %41, %35
%43 = load i8, i8* %3
%44 = sext i8 %43 to i32
%45 = load i32, i32* @SCHAR_MAX
%46 = add nsw i32 %45, 1
%47 = and i32 %44, %46
%48 = load i32, i32* @SCHAR_MAX
%49 = add nsw i32 %48, 1
%50 = icmp eq i32 %47, %49
br i1 %50, label %51, label %57
51: ; preds = %42
%52 = load i32, i32* %4
%53 = icmp ne i32 %52, 0
br i1 %53, label %56, label %54
54: ; preds = %51
%55 = call i32 (...) @abort()
unreachable
56: ; preds = %51
br label %63
57: ; preds = %42
%58 = load i32, i32* %4
%59 = icmp ne i32 %58, 0
br i1 %59, label %60, label %62
60: ; preds = %57
%61 = call i32 (...) @abort()
unreachable
62: ; preds = %57
br label %63
63: ; preds = %62, %56
%64 = load i8, i8* %3
%65 = sext i8 %64 to i32
%66 = load i32, i32* @SCHAR_MAX
%67 = add nsw i32 %66, 1
%68 = and i32 %65, %67
%69 = load i32, i32* @SCHAR_MAX
%70 = add nsw i32 %69, 1
%71 = icmp ne i32 %68, %70
br i1 %71, label %72, label %78
72: ; preds = %63
%73 = load i32, i32* %4
%74 = icmp ne i32 %73, 0
br i1 %74, label %75, label %77
75: ; preds = %72
%76 = call i32 (...) @abort()
unreachable
77: ; preds = %72
br label %84
78: ; preds = %63
%79 = load i32, i32* %4
%80 = icmp ne i32 %79, 0
br i1 %80, label %83, label %81
81: ; preds = %78
%82 = call i32 (...) @abort()
unreachable
83: ; preds = %78
br label %84
84: ; preds = %83, %77
ret void
}

LLVM IR (-O2):
@SCHAR_MAX = global i32 0
define void @test1(i8 signext %0, i32 %1) {
%3 = sext i8 %0 to i32
%4 = load i32, i32* @SCHAR_MAX
%5 = add nsw i32 %4, 1
%6 = and i32 %5, %3
%7 = icmp eq i32 %6, 0
%8 = icmp eq i32 %1, 0
br i1 %7, label %9, label %12
9: ; preds = %2
br i1 %8, label %17, label %10
10: ; preds = %9
%11 = tail call i32 (...) @abort()
unreachable
12: ; preds = %2
br i1 %8, label %13, label %15
13: ; preds = %12
%14 = tail call i32 (...) @abort()
unreachable
15: ; preds = %12
%16 = icmp eq i32 %6, %5
br i1 %16, label %23, label %21
17: ; preds = %9
%18 = icmp eq i32 %5, 0
br i1 %18, label %19, label %23
19: ; preds = %17
%20 = tail call i32 (...) @abort()
unreachable
21: ; preds = %15
%22 = tail call i32 (...) @abort()
unreachable
23: ; preds = %15, %17
ret void
}