#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*/ printf(char *, char *, int);
int strcmp(char *, char *);
int test_strcmp(void) {
  do {
    if (!(strcmp("a", "aa") == -1)) {
      printf("expression '%s' untrue at %d\n", "strcmp(\"a\", \"aa\") == -1",
             61);
      return 0;
    }
  } while (0);
  do {
    if (!(strcmp("a", "b") == -1)) {
      printf("expression '%s' untrue at %d\n", "strcmp(\"a\", \"b\") == -1",
             62);
      return 0;
    }
  } while (0);
  do {
    if (!(strcmp("blah a", "blah b") == -1)) {
      printf("expression '%s' untrue at %d\n",
             "strcmp(\"blah a\", \"blah b\") == -1", 63);
      return 0;
    }
  } while (0);
  do {
    if (!(strcmp("AAA", "AAA") == 0)) {
      printf("expression '%s' untrue at %d\n", "strcmp(\"AAA\", \"AAA\") == 0",
             64);
      return 0;
    }
  } while (0);
  do {
    if (!(strcmp("BAA", "AAA") == 1)) {
      printf("expression '%s' untrue at %d\n", "strcmp(\"BAA\", \"AAA\") == 1",
             65);
      return 0;
    }
  } while (0);
  do {
    if (!(strcmp("", "AAA") == -1)) {
      printf("expression '%s' untrue at %d\n", "strcmp(\"\", \"AAA\") == -1",
             66);
      return 0;
    }
  } while (0);
  do {
    if (!(strcmp("AAA", "") == 1)) {
      printf("expression '%s' untrue at %d\n", "strcmp(\"AAA\", \"\") == 1",
             67);
      return 0;
    }
  } while (0);
  do {
    if (!(strcmp("\255", "x") == 1)) {
      printf("expression '%s' untrue at %d\n", "strcmp(\"\\255\", \"x\") == 1",
             68);
      return 0;
    }
  } while (0);
  return 1;
}


x86 assembly (clang, -O0):
<test_strcmp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
lea    0xf26(%rip),%rdi
lea    0xeca(%rip),%rsi
call   1040 <strcmp@plt>
cmp    $0xffffffff,%eax
je     1168 <test_strcmp+0x48>
lea    0xeb8(%rip),%rdi
lea    0xecf(%rip),%rsi
mov    $0x3d,%edx
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    1376 <test_strcmp+0x256>
jmp    116d <test_strcmp+0x4d>
jmp    1172 <test_strcmp+0x52>
lea    0xedc(%rip),%rdi
lea    0xedc(%rip),%rsi
call   1040 <strcmp@plt>
cmp    $0xffffffff,%eax
je     11b2 <test_strcmp+0x92>
lea    0xe6e(%rip),%rdi
lea    0xe9d(%rip),%rsi
mov    $0x3e,%edx
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    1376 <test_strcmp+0x256>
jmp    11b7 <test_strcmp+0x97>
jmp    11bc <test_strcmp+0x9c>
lea    0xe8d(%rip),%rdi
lea    0xe8d(%rip),%rsi
call   1040 <strcmp@plt>
cmp    $0xffffffff,%eax
je     11fc <test_strcmp+0xdc>
lea    0xe24(%rip),%rdi
lea    0xe78(%rip),%rsi
mov    $0x3f,%edx
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    1376 <test_strcmp+0x256>
jmp    1201 <test_strcmp+0xe1>
jmp    1206 <test_strcmp+0xe6>
lea    0xe72(%rip),%rsi
mov    %rsi,%rdi
call   1040 <strcmp@plt>
cmp    $0x0,%eax
je     1242 <test_strcmp+0x122>
lea    0xdde(%rip),%rdi
lea    0xe57(%rip),%rsi
mov    $0x40,%edx
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    1376 <test_strcmp+0x256>
jmp    1247 <test_strcmp+0x127>
jmp    124c <test_strcmp+0x12c>
lea    0xe4a(%rip),%rdi
lea    0xe25(%rip),%rsi
call   1040 <strcmp@plt>
cmp    $0x1,%eax
je     128c <test_strcmp+0x16c>
lea    0xd94(%rip),%rdi
lea    0xe2b(%rip),%rsi
mov    $0x41,%edx
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    1376 <test_strcmp+0x256>
jmp    1291 <test_strcmp+0x171>
jmp    1296 <test_strcmp+0x176>
lea    0xd83(%rip),%rdi
lea    0xddb(%rip),%rsi
call   1040 <strcmp@plt>
cmp    $0xffffffff,%eax
je     12d6 <test_strcmp+0x1b6>
lea    0xd4a(%rip),%rdi
lea    0xdfb(%rip),%rsi
mov    $0x42,%edx
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    1376 <test_strcmp+0x256>
jmp    12db <test_strcmp+0x1bb>
jmp    12e0 <test_strcmp+0x1c0>
lea    0xd98(%rip),%rdi
lea    0xd32(%rip),%rsi
call   1040 <strcmp@plt>
cmp    $0x1,%eax
je     1320 <test_strcmp+0x200>
lea    0xd00(%rip),%rdi
lea    0xdc9(%rip),%rsi
mov    $0x43,%edx
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    1376 <test_strcmp+0x256>
jmp    1325 <test_strcmp+0x205>
jmp    132a <test_strcmp+0x20a>
lea    0xdb9(%rip),%rdi
lea    0xdb4(%rip),%rsi
call   1040 <strcmp@plt>
cmp    $0x1,%eax
je     136a <test_strcmp+0x24a>
lea    0xcb6(%rip),%rdi
lea    0xd9a(%rip),%rsi
mov    $0x44,%edx
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    1376 <test_strcmp+0x256>
jmp    136f <test_strcmp+0x24f>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_strcmp>:
mov    $0x1,%eax
ret

LLVM IR (-O0):
@.str = [2 x i8] c"a\00"
@.str.1 = [3 x i8] c"aa\00"
@.str.2 = [30 x i8] c"expression '%s' untrue at %d\0A\00"
@.str.3 = [24 x i8] c"strcmp(\22a\22, \22aa\22) == -1\00"
@.str.4 = [2 x i8] c"b\00"
@.str.5 = [23 x i8] c"strcmp(\22a\22, \22b\22) == -1\00"
@.str.6 = [7 x i8] c"blah a\00"
@.str.7 = [7 x i8] c"blah b\00"
@.str.8 = [33 x i8] c"strcmp(\22blah a\22, \22blah b\22) == -1\00"
@.str.9 = [4 x i8] c"AAA\00"
@.str.10 = [26 x i8] c"strcmp(\22AAA\22, \22AAA\22) == 0\00"
@.str.11 = [4 x i8] c"BAA\00"
@.str.12 = [26 x i8] c"strcmp(\22BAA\22, \22AAA\22) == 1\00"
@.str.13 = [1 x i8] zeroinitializer
@.str.14 = [24 x i8] c"strcmp(\22\22, \22AAA\22) == -1\00"
@.str.15 = [23 x i8] c"strcmp(\22AAA\22, \22\22) == 1\00"
@.str.16 = [2 x i8] c"\AD\00"
@.str.17 = [2 x i8] c"x\00"
@.str.18 = [25 x i8] c"strcmp(\22\\255\22, \22x\22) == 1\00"
define i32 @test_strcmp() {
%1 = alloca i32
br label %2
2: ; preds = %0
%3 = call i32 @strcmp(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0))
%4 = icmp eq i32 %3, -1
br i1 %4, label %7, label %5
5: ; preds = %2
%6 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.3, i64 0, i64 0), i32 61)
store i32 0, i32* %1
br label %58
7: ; preds = %2
br label %8
8: ; preds = %7
br label %9
9: ; preds = %8
%10 = call i32 @strcmp(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i64 0, i64 0))
%11 = icmp eq i32 %10, -1
br i1 %11, label %14, label %12
12: ; preds = %9
%13 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.5, i64 0, i64 0), i32 62)
store i32 0, i32* %1
br label %58
14: ; preds = %9
br label %15
15: ; preds = %14
br label %16
16: ; preds = %15
%17 = call i32 @strcmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0))
%18 = icmp eq i32 %17, -1
br i1 %18, label %21, label %19
19: ; preds = %16
%20 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.8, i64 0, i64 0), i32 63)
store i32 0, i32* %1
br label %58
21: ; preds = %16
br label %22
22: ; preds = %21
br label %23
23: ; preds = %22
%24 = call i32 @strcmp(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0))
%25 = icmp eq i32 %24, 0
br i1 %25, label %28, label %26
26: ; preds = %23
%27 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.10, i64 0, i64 0), i32 64)
store i32 0, i32* %1
br label %58
28: ; preds = %23
br label %29
29: ; preds = %28
br label %30
30: ; preds = %29
%31 = call i32 @strcmp(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0))
%32 = icmp eq i32 %31, 1
br i1 %32, label %35, label %33
33: ; preds = %30
%34 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.12, i64 0, i64 0), i32 65)
store i32 0, i32* %1
br label %58
35: ; preds = %30
br label %36
36: ; preds = %35
br label %37
37: ; preds = %36
%38 = call i32 @strcmp(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0))
%39 = icmp eq i32 %38, -1
br i1 %39, label %42, label %40
40: ; preds = %37
%41 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.14, i64 0, i64 0), i32 66)
store i32 0, i32* %1
br label %58
42: ; preds = %37
br label %43
43: ; preds = %42
br label %44
44: ; preds = %43
%45 = call i32 @strcmp(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.13, i64 0, i64 0))
%46 = icmp eq i32 %45, 1
br i1 %46, label %49, label %47
47: ; preds = %44
%48 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.15, i64 0, i64 0), i32 67)
store i32 0, i32* %1
br label %58
49: ; preds = %44
br label %50
50: ; preds = %49
br label %51
51: ; preds = %50
%52 = call i32 @strcmp(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.16, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.17, i64 0, i64 0))
%53 = icmp eq i32 %52, 1
br i1 %53, label %56, label %54
54: ; preds = %51
%55 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.18, i64 0, i64 0), i32 68)
store i32 0, i32* %1
br label %58
56: ; preds = %51
br label %57
57: ; preds = %56
store i32 1, i32* %1
br label %58
58: ; preds = %57, %54, %47, %40, %33, %26, %19, %12, %5
%59 = load i32, i32* %1
ret i32 %59
}

LLVM IR (-O2):
define i32 @test_strcmp() {
ret i32 1
}