#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 __builtin_abs(int);
int bar();
int foo(int x, int y, unsigned u) {
  if (u < (bar(), -1))
    return x;
  if (u < (bar(), 10))
    return x;
  if ((bar(), 10) < u)
    return x;
  if (u < (x ? (bar(), bar(), bar(), bar(), x == y) : 10))
    return x;
  if ((x ? 10 : (bar(), bar(), bar(), bar(), x == y)) < u)
    return x;
  if (u < __builtin_abs(x))
    return x;
  if (__builtin_abs(x) < u)
    return x;
  if (u < (x ? __builtin_abs(x) : 10))
    return x;
  if ((x ? 10 : __builtin_abs(x)) < u)
    return x;
  if (u < (x = -1))
    return x;
  if (u < (x = 10))
    return x;
  if ((x = 10) < u)
    return x;
  if (u < (x = (y ? (x == y) : 10)))
    return x;
  if ((x = (y ? 10 : (x == y))) < u)
    return x;
  return 0;
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    $0x0,%al
call   1030 <bar@plt>
mov    -0x14(%rbp),%eax
cmp    $0xffffffff,%eax
jae    1145 <foo+0x35>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    $0x0,%al
call   1030 <bar@plt>
mov    -0x18(%rbp),%eax
cmp    $0xa,%eax
jae    1169 <foo+0x59>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
mov    $0x0,%al
call   1030 <bar@plt>
mov    $0xa,%eax
cmp    -0x10(%rbp),%eax
jae    1189 <foo+0x79>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
mov    -0x10(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     11cb <foo+0xbb>
mov    $0x0,%al
call   1030 <bar@plt>
mov    $0x0,%al
call   1030 <bar@plt>
mov    $0x0,%al
call   1030 <bar@plt>
mov    $0x0,%al
call   1030 <bar@plt>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x20(%rbp)
jmp    11d8 <foo+0xc8>
mov    $0xa,%eax
mov    %eax,-0x20(%rbp)
jmp    11d8 <foo+0xc8>
mov    -0x1c(%rbp),%eax
mov    -0x20(%rbp),%ecx
cmp    %ecx,%eax
jae    11f1 <foo+0xe1>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
cmpl   $0x0,-0x8(%rbp)
je     1208 <foo+0xf8>
mov    $0xa,%eax
mov    %eax,-0x24(%rbp)
jmp    1235 <foo+0x125>
mov    $0x0,%al
call   1030 <bar@plt>
mov    $0x0,%al
call   1030 <bar@plt>
mov    $0x0,%al
call   1030 <bar@plt>
mov    $0x0,%al
call   1030 <bar@plt>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x10(%rbp),%eax
jae    124c <foo+0x13c>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
xor    %edx,%edx
sub    %ecx,%edx
cmp    $0x0,%ecx
cmovl  %edx,%ecx
cmp    %ecx,%eax
jae    126f <foo+0x15f>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
mov    -0x8(%rbp),%eax
xor    %ecx,%ecx
sub    %eax,%ecx
cmp    $0x0,%eax
cmovl  %ecx,%eax
cmp    -0x10(%rbp),%eax
jae    1290 <foo+0x180>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
mov    -0x10(%rbp),%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     12b5 <foo+0x1a5>
mov    -0x8(%rbp),%eax
xor    %ecx,%ecx
sub    %eax,%ecx
cmp    $0x0,%eax
cmovl  %ecx,%eax
mov    %eax,-0x2c(%rbp)
jmp    12c2 <foo+0x1b2>
mov    $0xa,%eax
mov    %eax,-0x2c(%rbp)
jmp    12c2 <foo+0x1b2>
mov    -0x28(%rbp),%eax
mov    -0x2c(%rbp),%ecx
cmp    %ecx,%eax
jae    12db <foo+0x1cb>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
cmpl   $0x0,-0x8(%rbp)
je     12f2 <foo+0x1e2>
mov    $0xa,%eax
mov    %eax,-0x30(%rbp)
jmp    1302 <foo+0x1f2>
mov    -0x8(%rbp),%eax
xor    %ecx,%ecx
sub    %eax,%ecx
cmp    $0x0,%eax
cmovl  %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x10(%rbp),%eax
jae    1319 <foo+0x209>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
mov    -0x10(%rbp),%eax
movl   $0xffffffff,-0x8(%rbp)
cmp    $0xffffffff,%eax
jae    1337 <foo+0x227>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
mov    -0x10(%rbp),%eax
movl   $0xa,-0x8(%rbp)
cmp    $0xa,%eax
jae    1355 <foo+0x245>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
movl   $0xa,-0x8(%rbp)
mov    $0xa,%eax
cmp    -0x10(%rbp),%eax
jae    1375 <foo+0x265>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
mov    -0x10(%rbp),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0xc(%rbp)
je     139b <foo+0x28b>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x38(%rbp)
jmp    13a8 <foo+0x298>
mov    $0xa,%eax
mov    %eax,-0x38(%rbp)
jmp    13a8 <foo+0x298>
mov    -0x34(%rbp),%eax
mov    -0x38(%rbp),%ecx
mov    %ecx,-0x8(%rbp)
cmp    %ecx,%eax
jae    13c4 <foo+0x2b4>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
cmpl   $0x0,-0xc(%rbp)
je     13db <foo+0x2cb>
mov    $0xa,%eax
mov    %eax,-0x3c(%rbp)
jmp    13ec <foo+0x2dc>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x8(%rbp)
cmp    -0x10(%rbp),%eax
jae    1406 <foo+0x2f6>
mov    -0x8(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    140d <foo+0x2fd>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
push   %rbp
push   %rbx
push   %rax
mov    %edx,%ebp
mov    %edi,%ebx
xor    %eax,%eax
call   1030 <bar@plt>
cmp    $0xffffffff,%ebp
jne    1131 <foo+0x21>
xor    %eax,%eax
call   1030 <bar@plt>
xor    %eax,%eax
call   1030 <bar@plt>
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @foo(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%8 = load i32, i32* %7
%9 = call i32 (...) @bar()
%10 = icmp ult i32 %8, -1
br i1 %10, label %11, label %13
11: ; preds = %3
%12 = load i32, i32* %5
store i32 %12, i32* %4
br label %157
13: ; preds = %3
%14 = load i32, i32* %7
%15 = call i32 (...) @bar()
%16 = icmp ult i32 %14, 10
br i1 %16, label %17, label %19
17: ; preds = %13
%18 = load i32, i32* %5
store i32 %18, i32* %4
br label %157
19: ; preds = %13
%20 = call i32 (...) @bar()
%21 = load i32, i32* %7
%22 = icmp ult i32 10, %21
br i1 %22, label %23, label %25
23: ; preds = %19
%24 = load i32, i32* %5
store i32 %24, i32* %4
br label %157
25: ; preds = %19
%26 = load i32, i32* %7
%27 = load i32, i32* %5
%28 = icmp ne i32 %27, 0
br i1 %28, label %29, label %38
29: ; preds = %25
%30 = call i32 (...) @bar()
%31 = call i32 (...) @bar()
%32 = call i32 (...) @bar()
%33 = call i32 (...) @bar()
%34 = load i32, i32* %5
%35 = load i32, i32* %6
%36 = icmp eq i32 %34, %35
%37 = zext i1 %36 to i32
br label %39
38: ; preds = %25
br label %39
39: ; preds = %38, %29
%40 = phi i32 [ %37, %29 ], [ 10, %38 ]
%41 = icmp ult i32 %26, %40
br i1 %41, label %42, label %44
42: ; preds = %39
%43 = load i32, i32* %5
store i32 %43, i32* %4
br label %157
44: ; preds = %39
%45 = load i32, i32* %5
%46 = icmp ne i32 %45, 0
br i1 %46, label %47, label %48
47: ; preds = %44
br label %57
48: ; preds = %44
%49 = call i32 (...) @bar()
%50 = call i32 (...) @bar()
%51 = call i32 (...) @bar()
%52 = call i32 (...) @bar()
%53 = load i32, i32* %5
%54 = load i32, i32* %6
%55 = icmp eq i32 %53, %54
%56 = zext i1 %55 to i32
br label %57
57: ; preds = %48, %47
%58 = phi i32 [ 10, %47 ], [ %56, %48 ]
%59 = load i32, i32* %7
%60 = icmp ult i32 %58, %59
br i1 %60, label %61, label %63
61: ; preds = %57
%62 = load i32, i32* %5
store i32 %62, i32* %4
br label %157
63: ; preds = %57
%64 = load i32, i32* %7
%65 = load i32, i32* %5
%66 = sub nsw i32 0, %65
%67 = icmp slt i32 %65, 0
%68 = select i1 %67, i32 %66, i32 %65
%69 = icmp ult i32 %64, %68
br i1 %69, label %70, label %72
70: ; preds = %63
%71 = load i32, i32* %5
store i32 %71, i32* %4
br label %157
72: ; preds = %63
%73 = load i32, i32* %5
%74 = sub nsw i32 0, %73
%75 = icmp slt i32 %73, 0
%76 = select i1 %75, i32 %74, i32 %73
%77 = load i32, i32* %7
%78 = icmp ult i32 %76, %77
br i1 %78, label %79, label %81
79: ; preds = %72
%80 = load i32, i32* %5
store i32 %80, i32* %4
br label %157
81: ; preds = %72
%82 = load i32, i32* %7
%83 = load i32, i32* %5
%84 = icmp ne i32 %83, 0
br i1 %84, label %85, label %90
85: ; preds = %81
%86 = load i32, i32* %5
%87 = sub nsw i32 0, %86
%88 = icmp slt i32 %86, 0
%89 = select i1 %88, i32 %87, i32 %86
br label %91
90: ; preds = %81
br label %91
91: ; preds = %90, %85
%92 = phi i32 [ %89, %85 ], [ 10, %90 ]
%93 = icmp ult i32 %82, %92
br i1 %93, label %94, label %96
94: ; preds = %91
%95 = load i32, i32* %5
store i32 %95, i32* %4
br label %157
96: ; preds = %91
%97 = load i32, i32* %5
%98 = icmp ne i32 %97, 0
br i1 %98, label %99, label %100
99: ; preds = %96
br label %105
100: ; preds = %96
%101 = load i32, i32* %5
%102 = sub nsw i32 0, %101
%103 = icmp slt i32 %101, 0
%104 = select i1 %103, i32 %102, i32 %101
br label %105
105: ; preds = %100, %99
%106 = phi i32 [ 10, %99 ], [ %104, %100 ]
%107 = load i32, i32* %7
%108 = icmp ult i32 %106, %107
br i1 %108, label %109, label %111
109: ; preds = %105
%110 = load i32, i32* %5
store i32 %110, i32* %4
br label %157
111: ; preds = %105
%112 = load i32, i32* %7
store i32 -1, i32* %5
%113 = icmp ult i32 %112, -1
br i1 %113, label %114, label %116
114: ; preds = %111
%115 = load i32, i32* %5
store i32 %115, i32* %4
br label %157
116: ; preds = %111
%117 = load i32, i32* %7
store i32 10, i32* %5
%118 = icmp ult i32 %117, 10
br i1 %118, label %119, label %121
119: ; preds = %116
%120 = load i32, i32* %5
store i32 %120, i32* %4
br label %157
121: ; preds = %116
store i32 10, i32* %5
%122 = load i32, i32* %7
%123 = icmp ult i32 10, %122
br i1 %123, label %124, label %126
124: ; preds = %121
%125 = load i32, i32* %5
store i32 %125, i32* %4
br label %157
126: ; preds = %121
%127 = load i32, i32* %7
%128 = load i32, i32* %6
%129 = icmp ne i32 %128, 0
br i1 %129, label %130, label %135
130: ; preds = %126
%131 = load i32, i32* %5
%132 = load i32, i32* %6
%133 = icmp eq i32 %131, %132
%134 = zext i1 %133 to i32
br label %136
135: ; preds = %126
br label %136
136: ; preds = %135, %130
%137 = phi i32 [ %134, %130 ], [ 10, %135 ]
store i32 %137, i32* %5
%138 = icmp ult i32 %127, %137
br i1 %138, label %139, label %141
139: ; preds = %136
%140 = load i32, i32* %5
store i32 %140, i32* %4
br label %157
141: ; preds = %136
%142 = load i32, i32* %6
%143 = icmp ne i32 %142, 0
br i1 %143, label %144, label %145
144: ; preds = %141
br label %150
145: ; preds = %141
%146 = load i32, i32* %5
%147 = load i32, i32* %6
%148 = icmp eq i32 %146, %147
%149 = zext i1 %148 to i32
br label %150
150: ; preds = %145, %144
%151 = phi i32 [ 10, %144 ], [ %149, %145 ]
store i32 %151, i32* %5
%152 = load i32, i32* %7
%153 = icmp ult i32 %151, %152
br i1 %153, label %154, label %156
154: ; preds = %150
%155 = load i32, i32* %5
store i32 %155, i32* %4
br label %157
156: ; preds = %150
store i32 0, i32* %4
br label %157
157: ; preds = %156, %154, %139, %124, %119, %114, %109, %94, %79, %70, %61, %42, %23, %17, %11
%158 = load i32, i32* %4
ret i32 %158
}

LLVM IR (-O2):
define i32 @foo(i32 returned %0, i32 %1, i32 %2) {
%4 = tail call i32 (...) @bar()
%5 = icmp eq i32 %2, -1
br i1 %5, label %6, label %9
6: ; preds = %3
%7 = tail call i32 (...) @bar()
%8 = tail call i32 (...) @bar()
br label %9
9: ; preds = %3, %6
ret i32 %0
}