int test_fun(int x, int y, int z) {
  int c = 0;
  while (x > z) {
    while (y > z) {
      y = y - 1;
      c = c + 1;
    }
    c = c + 1;
    x = x - 1;
  }
  return c;
}


x86 assembly (clang, -O0):
<test_fun>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    115f <test_fun+0x5f>
jmp    1125 <test_fun+0x25>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    1148 <test_fun+0x48>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x8(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1125 <test_fun+0x25>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1114 <test_fun+0x14>
mov    -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_fun>:
xor    %eax,%eax
mov    %edi,%r8d
sub    %edx,%r8d
jle    1157 <test_fun+0x57>
mov    %edx,%eax
not    %eax
add    %edi,%eax
jne    1116 <test_fun+0x16>
xor    %eax,%eax
jmp    1145 <test_fun+0x45>
mov    %r8d,%edi
and    $0xfffffffe,%edi
xor    %r9d,%r9d
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %esi,%ecx
sub    %edx,%ecx
cmovg  %edx,%esi
cmovle %r9d,%ecx
add    %ecx,%eax
add    $0x2,%eax
add    $0xfffffffe,%edi
jne    1130 <test_fun+0x30>
test   $0x1,%r8b
je     1157 <test_fun+0x57>
xor    %ecx,%ecx
sub    %edx,%esi
cmovle %ecx,%esi
add    %esi,%eax
add    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @test_fun(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %8
8: ; preds = %22, %3
%9 = load i32, i32* %4
%10 = load i32, i32* %6
%11 = icmp sgt i32 %9, %10
br i1 %11, label %12, label %27
12: ; preds = %8
br label %13
13: ; preds = %17, %12
%14 = load i32, i32* %5
%15 = load i32, i32* %6
%16 = icmp sgt i32 %14, %15
br i1 %16, label %17, label %22
17: ; preds = %13
%18 = load i32, i32* %5
%19 = sub nsw i32 %18, 1
store i32 %19, i32* %5
%20 = load i32, i32* %7
%21 = add nsw i32 %20, 1
store i32 %21, i32* %7
br label %13
22: ; preds = %13
%23 = load i32, i32* %7
%24 = add nsw i32 %23, 1
store i32 %24, i32* %7
%25 = load i32, i32* %4
%26 = sub nsw i32 %25, 1
store i32 %26, i32* %4
br label %8
27: ; preds = %8
%28 = load i32, i32* %7
ret i32 %28
}

LLVM IR (-O2):
define i32 @test_fun(i32 %0, i32 %1, i32 %2) {
%4 = icmp sgt i32 %0, %2
br i1 %4, label %5, label %36
5: ; preds = %3
%6 = sub i32 %0, %2
%7 = xor i32 %2, -1
%8 = and i32 %6, 1
%9 = sub i32 0, %0
%10 = icmp eq i32 %7, %9
br i1 %10, label %25, label %11
11: ; preds = %5
%12 = and i32 %6, -2
br label %13
13: ; preds = %13, %11
%14 = phi i32 [ 0, %11 ], [ %22, %13 ]
%15 = phi i32 [ %1, %11 ], [ %19, %13 ]
%16 = phi i32 [ 0, %11 ], [ %23, %13 ]
%17 = icmp sgt i32 %15, %2
%18 = sub i32 %15, %2
%19 = select i1 %17, i32 %2, i32 %15
%20 = select i1 %17, i32 %18, i32 0
%21 = add i32 %14, %20
%22 = add nsw i32 %21, 2
%23 = add i32 %16, 2
%24 = icmp eq i32 %23, %12
br i1 %24, label %25, label %13
25: ; preds = %13, %5
%26 = phi i32 [ undef, %5 ], [ %22, %13 ]
%27 = phi i32 [ 0, %5 ], [ %22, %13 ]
%28 = phi i32 [ %1, %5 ], [ %19, %13 ]
%29 = icmp eq i32 %8, 0
br i1 %29, label %36, label %30
30: ; preds = %25
%31 = icmp sgt i32 %28, %2
%32 = sub i32 %28, %2
%33 = select i1 %31, i32 %32, i32 0
%34 = add i32 %27, %33
%35 = add nsw i32 %34, 1
br label %36
36: ; preds = %30, %25, %3
%37 = phi i32 [ 0, %3 ], [ %26, %25 ], [ %35, %30 ]
ret i32 %37
}