int f(int ciu_sum_13) {
  int t[1024];
  int iftmp119_15;
  long D31121_17;
  int ______r_19;
  int D34526_53;
  int num_47, D34527_48;
  int D31115_14;
  iftmp119_15 = ciu_sum_13 != 0;
  D31115_14 = __builtin_constant_p(ciu_sum_13);
  if (D31115_14 == 0) {
    D31121_17 = (long int)iftmp119_15;
    ______r_19 = (int)D31121_17;
    fff(______r_19);
  }
  if (iftmp119_15 == 0)
    return 0;
  if (ciu_sum_13 == 0)
    link_error();
  else {
    __asm__("" : "=r"(num_47) : "r"(ciu_sum_13));
    D34527_48 = 63 - num_47;
    D34526_53 = D34527_48 + 1;
  }
  t[D34526_53 - 1] = 1;
  return t[0];
}


x86 assembly (clang, -O0):
<f>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1040,%rsp
mov    %edi,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1014(%rbp)
movl   $0x0,-0x1034(%rbp)
cmpl   $0x0,-0x1034(%rbp)
jne    117f <f+0x5f>
movslq -0x1014(%rbp),%rax
mov    %rax,-0x1020(%rbp)
mov    -0x1020(%rbp),%rax
mov    %eax,-0x1024(%rbp)
mov    -0x1024(%rbp),%edi
mov    $0x0,%al
call   1040 <fff@plt>
cmpl   $0x0,-0x1014(%rbp)
jne    1198 <f+0x78>
movl   $0x0,-0x4(%rbp)
jmp    11f6 <f+0xd6>
cmpl   $0x0,-0x8(%rbp)
jne    11ae <f+0x8e>
mov    $0x0,%al
call   1030 <link_error@plt>
jmp    11d7 <f+0xb7>
mov    -0x8(%rbp),%eax
mov    %eax,-0x102c(%rbp)
mov    $0x3f,%eax
sub    -0x102c(%rbp),%eax
mov    %eax,-0x1030(%rbp)
mov    -0x1030(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1028(%rbp)
mov    -0x1028(%rbp),%eax
sub    $0x1,%eax
cltq
movl   $0x1,-0x1010(%rbp,%rax,4)
mov    -0x1010(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1040,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<f>:
push   %rbp
push   %rbx
sub    $0x1008,%rsp
mov    %edi,%ebx
xor    %edi,%edi
test   %ebx,%ebx
setne  %dil
xor    %ebp,%ebp
xor    %eax,%eax
call   1030 <fff@plt>
test   %ebx,%ebx
je     1144 <f+0x34>
mov    $0x3f,%ecx
sub    %eax,%ecx
movslq %ecx,%rax
movl   $0x1,(%rsp,%rax,4)
mov    (%rsp),%ebp
mov    %ebp,%eax
add    $0x1008,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
define i32 @f(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca [1024 x i32]
%5 = alloca i32
%6 = alloca i64
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i32 %0, i32* %3
%12 = load i32, i32* %3
%13 = icmp ne i32 %12, 0
%14 = zext i1 %13 to i32
store i32 %14, i32* %5
%15 = load i32, i32* %3
%16 = call i1 @llvm.is.constant.i32(i32 %15)
%17 = zext i1 %16 to i32
store i32 %17, i32* %11
%18 = load i32, i32* %11
%19 = icmp eq i32 %18, 0
br i1 %19, label %20, label %27
20: ; preds = %1
%21 = load i32, i32* %5
%22 = sext i32 %21 to i64
store i64 %22, i64* %6
%23 = load i64, i64* %6
%24 = trunc i64 %23 to i32
store i32 %24, i32* %7
%25 = load i32, i32* %7
%26 = call i32 (i32, ...) bitcast (i32 (...)* @fff to i32 (i32, ...)*)(i32 %25)
br label %27
27: ; preds = %20, %1
%28 = load i32, i32* %5
%29 = icmp eq i32 %28, 0
br i1 %29, label %30, label %31
30: ; preds = %27
store i32 0, i32* %2
br label %50
31: ; preds = %27
%32 = load i32, i32* %3
%33 = icmp eq i32 %32, 0
br i1 %33, label %34, label %36
34: ; preds = %31
%35 = call i32 (...) @link_error()
br label %43
36: ; preds = %31
%37 = load i32, i32* %3
%38 = call i32 asm "", "=r,r,~{dirflag},~{fpsr},~{flags}"(i32 %37)
store i32 %38, i32* %9
%39 = load i32, i32* %9
%40 = sub nsw i32 63, %39
store i32 %40, i32* %10
%41 = load i32, i32* %10
%42 = add nsw i32 %41, 1
store i32 %42, i32* %8
br label %43
43: ; preds = %36, %34
%44 = load i32, i32* %8
%45 = sub nsw i32 %44, 1
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [1024 x i32], [1024 x i32]* %4, i64 0, i64 %46
store i32 1, i32* %47
%48 = getelementptr inbounds [1024 x i32], [1024 x i32]* %4, i64 0, i64 0
%49 = load i32, i32* %48
store i32 %49, i32* %2
br label %50
50: ; preds = %43, %30
%51 = load i32, i32* %2
ret i32 %51
}

LLVM IR (-O2):
define i32 @f(i32 %0) {
%2 = alloca [1024 x i32]
%3 = bitcast [1024 x i32]* %2 to i8*
%4 = icmp ne i32 %0, 0
%5 = zext i1 %4 to i32
%6 = tail call i32 (i32, ...) bitcast (i32 (...)* @fff to i32 (i32, ...)*)(i32 %5)
br i1 %4, label %7, label %14
7: ; preds = %1
%8 = tail call i32 asm "", "=r,r,~{dirflag},~{fpsr},~{flags}"(i32 %0)
%9 = sub i32 63, %8
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 %10
store i32 1, i32* %11
%12 = getelementptr inbounds [1024 x i32], [1024 x i32]* %2, i64 0, i64 0
%13 = load i32, i32* %12
br label %14
14: ; preds = %1, %7
%15 = phi i32 [ %13, %7 ], [ 0, %1 ]
ret i32 %15
}