#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 /*<<< orphan*/ assert(int);
void main() {
  signed long long x, y, z;
  if (x < y && y < z) {
    assert(x < y);
    assert(y < z);
    assert(x < z);
    if (9223372036854775805 <= x && z <= 9223372036854775807) {
      assert(x == 9223372036854775805);
      assert(y == 9223372036854775806);
      assert(z == 9223372036854775807);
      assert(x != -3);
      assert(y != -2);
      assert(z != -1);
    }
  }
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jge    1227 <main+0x117>
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    1227 <main+0x117>
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
cmp    -0x18(%rbp),%rax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movabs $0x7ffffffffffffffd,%rax
ff ff 7f
cmp    -0x8(%rbp),%rax
jg     1222 <main+0x112>
movabs $0x7fffffffffffffff,%rax
ff ff 7f
cmp    %rax,-0x18(%rbp)
jg     1222 <main+0x112>
movabs $0x7ffffffffffffffd,%rax
ff ff 7f
cmp    %rax,-0x8(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movabs $0x7ffffffffffffffe,%rax
ff ff 7f
cmp    %rax,-0x10(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movabs $0x7fffffffffffffff,%rax
ff ff 7f
cmp    %rax,-0x18(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpq   $0xfffffffffffffffd,-0x8(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpq   $0xfffffffffffffffe,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpq   $0xffffffffffffffff,-0x18(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
jmp    1227 <main+0x117>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
ret

LLVM IR (-O0):
define void @main() {
%1 = alloca i64
%2 = alloca i64
%3 = alloca i64
%4 = load i64, i64* %1
%5 = load i64, i64* %2
%6 = icmp slt i64 %4, %5
br i1 %6, label %7, label %58
7: ; preds = %0
%8 = load i64, i64* %2
%9 = load i64, i64* %3
%10 = icmp slt i64 %8, %9
br i1 %10, label %11, label %58
11: ; preds = %7
%12 = load i64, i64* %1
%13 = load i64, i64* %2
%14 = icmp slt i64 %12, %13
%15 = zext i1 %14 to i32
%16 = call i32 @assert(i32 %15)
%17 = load i64, i64* %2
%18 = load i64, i64* %3
%19 = icmp slt i64 %17, %18
%20 = zext i1 %19 to i32
%21 = call i32 @assert(i32 %20)
%22 = load i64, i64* %1
%23 = load i64, i64* %3
%24 = icmp slt i64 %22, %23
%25 = zext i1 %24 to i32
%26 = call i32 @assert(i32 %25)
%27 = load i64, i64* %1
%28 = icmp sle i64 9223372036854775805, %27
br i1 %28, label %29, label %57
29: ; preds = %11
%30 = load i64, i64* %3
%31 = icmp sle i64 %30, 9223372036854775807
br i1 %31, label %32, label %57
32: ; preds = %29
%33 = load i64, i64* %1
%34 = icmp eq i64 %33, 9223372036854775805
%35 = zext i1 %34 to i32
%36 = call i32 @assert(i32 %35)
%37 = load i64, i64* %2
%38 = icmp eq i64 %37, 9223372036854775806
%39 = zext i1 %38 to i32
%40 = call i32 @assert(i32 %39)
%41 = load i64, i64* %3
%42 = icmp eq i64 %41, 9223372036854775807
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = load i64, i64* %1
%46 = icmp ne i64 %45, -3
%47 = zext i1 %46 to i32
%48 = call i32 @assert(i32 %47)
%49 = load i64, i64* %2
%50 = icmp ne i64 %49, -2
%51 = zext i1 %50 to i32
%52 = call i32 @assert(i32 %51)
%53 = load i64, i64* %3
%54 = icmp ne i64 %53, -1
%55 = zext i1 %54 to i32
%56 = call i32 @assert(i32 %55)
br label %57
57: ; preds = %32, %29, %11
br label %58
58: ; preds = %57, %7, %0
ret void
}

LLVM IR (-O2):
define void @main() {
ret void
}