#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 SHRT_MAX;
int /*<<< orphan*/ abort();
void test4(unsigned short s, int set) {
  if ((s & (SHRT_MAX + 1)) == 0) {
    if (set)
      abort();
  } else if (!set)
    abort();
  if ((s & (SHRT_MAX + 1)) != 0) {
    if (!set)
      abort();
  } else if (set)
    abort();
  if ((s & (SHRT_MAX + 1)) == (SHRT_MAX + 1)) {
    if (!set)
      abort();
  } else if (set)
    abort();
  if ((s & (SHRT_MAX + 1)) != (SHRT_MAX + 1)) {
    if (set)
      abort();
  } else if (!set)
    abort();
}


x86 assembly (clang, -O0):
<test4>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %di,%ax
mov    %ax,-0x2(%rbp)
mov    %esi,-0x8(%rbp)
movzwl -0x2(%rbp),%eax
mov    0x2eb3(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
jne    1153 <test4+0x43>
cmpl   $0x0,-0x8(%rbp)
je     114e <test4+0x3e>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1169 <test4+0x59>
cmpl   $0x0,-0x8(%rbp)
jne    1164 <test4+0x54>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1169 <test4+0x59>
movzwl -0x2(%rbp),%eax
mov    0x2e6c(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     119a <test4+0x8a>
cmpl   $0x0,-0x8(%rbp)
jne    1195 <test4+0x85>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    11b0 <test4+0xa0>
cmpl   $0x0,-0x8(%rbp)
je     11ab <test4+0x9b>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    11b0 <test4+0xa0>
movzwl -0x2(%rbp),%eax
mov    0x2e25(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
and    %ecx,%eax
mov    0x2e17(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jne    11ec <test4+0xdc>
cmpl   $0x0,-0x8(%rbp)
jne    11e7 <test4+0xd7>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1202 <test4+0xf2>
cmpl   $0x0,-0x8(%rbp)
je     11fd <test4+0xed>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1202 <test4+0xf2>
movzwl -0x2(%rbp),%eax
mov    0x2dd3(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
and    %ecx,%eax
mov    0x2dc5(%rip),%rcx
mov    (%rcx),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
je     123e <test4+0x12e>
cmpl   $0x0,-0x8(%rbp)
je     1239 <test4+0x129>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1254 <test4+0x144>
cmpl   $0x0,-0x8(%rbp)
jne    124f <test4+0x13f>
mov    $0x0,%al
call   1030 <abort@plt>
jmp    1254 <test4+0x144>
add    $0x10,%rsp
pop    %rbp
ret

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

LLVM IR (-O0):
@SHRT_MAX = global i32 0
define void @test4(i16 zeroext %0, i32 %1) {
%3 = alloca i16
%4 = alloca i32
store i16 %0, i16* %3
store i32 %1, i32* %4
%5 = load i16, i16* %3
%6 = zext i16 %5 to i32
%7 = load i32, i32* @SHRT_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 i16, i16* %3
%25 = zext i16 %24 to i32
%26 = load i32, i32* @SHRT_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 i16, i16* %3
%44 = zext i16 %43 to i32
%45 = load i32, i32* @SHRT_MAX
%46 = add nsw i32 %45, 1
%47 = and i32 %44, %46
%48 = load i32, i32* @SHRT_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 i16, i16* %3
%65 = zext i16 %64 to i32
%66 = load i32, i32* @SHRT_MAX
%67 = add nsw i32 %66, 1
%68 = and i32 %65, %67
%69 = load i32, i32* @SHRT_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):
@SHRT_MAX = global i32 0
define void @test4(i16 zeroext %0, i32 %1) {
%3 = zext i16 %0 to i32
%4 = load i32, i32* @SHRT_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
}