#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 candidates(int *, int);
char *test_onePossibleCandidate() {
  static int grid[81] = {1, 2, 3, 0, 5, 0, 7, 8, 9, 0, 0, 0, 1, 2, 3, 0, 0,
                         0, 0, 0, 0, 7, 8, 9, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0,
                         0, 0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 5, 0, 0,
                         0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 8, 0,
                         0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0};
  do {
    if (!(candidates(grid, 3) == 1 && *(grid + 3) == 4))
      return "e: test_onePossibleCandidate";
  } while (0);
  return 0;
}


x86 assembly (clang, -O0):
<test_onePossibleCandidate>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
lea    0x2f11(%rip),%rdi
mov    $0x3,%esi
call   1030 <candidates@plt>
cmp    $0x1,%eax
jne    113f <test_onePossibleCandidate+0x2f>
cmpl   $0x4,0x2f03(%rip)
je     114f <test_onePossibleCandidate+0x3f>
lea    0xeba(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    115c <test_onePossibleCandidate+0x4c>
jmp    1154 <test_onePossibleCandidate+0x44>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_onePossibleCandidate>:
push   %rax
lea    0x2f18(%rip),%rdi
mov    $0x3,%esi
call   1030 <candidates@plt>
xor    $0x1,%eax
mov    0x2f11(%rip),%edx
xor    $0x4,%edx
lea    0xecb(%rip),%rsi
xor    %ecx,%ecx
or     %eax,%edx
cmovne %rsi,%rcx
mov    %rcx,%rax
pop    %rcx
ret

LLVM IR (-O0):
@test_onePossibleCandidate.grid = internal global [81 x i32] [i32 1, i32 2, i32 3, i32 0, i32 5, i32 0, i32 7, i32 8, i32 9, i32 0, i32 0, i32 0, i32 1, i32 2, i32 3, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 7, i32 8, i32 9, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 2, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 3, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 6, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 8, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 9, i32 0, i32 0, i32 0, i32 0, i32 0]
@.str = [29 x i8] c"e: test_onePossibleCandidate\00"
define i8* @test_onePossibleCandidate() {
%1 = alloca i8*
br label %2
2: ; preds = %0
%3 = call i32 @candidates(i32* getelementptr inbounds ([81 x i32], [81 x i32]* @test_onePossibleCandidate.grid, i64 0, i64 0), i32 3)
%4 = icmp eq i32 %3, 1
br i1 %4, label %5, label %8
5: ; preds = %2
%6 = load i32, i32* getelementptr inbounds ([81 x i32], [81 x i32]* @test_onePossibleCandidate.grid, i64 0, i64 3)
%7 = icmp eq i32 %6, 4
br i1 %7, label %9, label %8
8: ; preds = %5, %2
store i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0), i8** %1
br label %11
9: ; preds = %5
br label %10
10: ; preds = %9
store i8* null, i8** %1
br label %11
11: ; preds = %10, %8
%12 = load i8*, i8** %1
ret i8* %12
}

LLVM IR (-O2):
@test_onePossibleCandidate.grid = internal global [81 x i32] [i32 1, i32 2, i32 3, i32 0, i32 5, i32 0, i32 7, i32 8, i32 9, i32 0, i32 0, i32 0, i32 1, i32 2, i32 3, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 7, i32 8, i32 9, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 2, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 3, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 6, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 8, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 9, i32 0, i32 0, i32 0, i32 0, i32 0]
@.str = [29 x i8] c"e: test_onePossibleCandidate\00"
define i8* @test_onePossibleCandidate() {
%1 = tail call i32 @candidates(i32* getelementptr inbounds ([81 x i32], [81 x i32]* @test_onePossibleCandidate.grid, i64 0, i64 0), i32 3)
%2 = icmp eq i32 %1, 1
%3 = load i32, i32* getelementptr inbounds ([81 x i32], [81 x i32]* @test_onePossibleCandidate.grid, i64 0, i64 3)
%4 = icmp eq i32 %3, 4
%5 = select i1 %2, i1 %4, i1 false
%6 = select i1 %5, i8* null, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0)
ret i8* %6
}