#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 GetElementAndCount(char const **, char *, int *);
int strcmp(char *, char *);
int CompareHillFormulasNoH(const char *f1, const char *f2, int *num_H1,
                           int *num_H2) {
  char szEl1[4], szEl2[4];
  int count1, count2, ret1, ret2, ret;
  do {
    ret1 = GetElementAndCount(&f1, szEl1, &count1);
    if (0 < ret1 && szEl1[0] == 'H' && !szEl1[1]) {
      *num_H1 += count1;
      ret1 = GetElementAndCount(&f1, szEl1, &count1);
    }
    ret2 = GetElementAndCount(&f2, szEl2, &count2);
    if (0 < ret2 && szEl2[0] == 'H' && !szEl2[1]) {
      *num_H2 += count2;
      ret2 = GetElementAndCount(&f2, szEl2, &count2);
    }
    if (0 <= ret1 && 0 <= ret2) {
      if (ret = strcmp(szEl1, szEl2)) {
        return ret;
      }
      if (ret = count2 - count1) {
        return ret;
      }
    } else {
      return 0;
    }
  } while (0 < ret1 && 0 < ret2);
  return 0;
}


x86 assembly (clang, -O0):
<CompareHillFormulasNoH>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
lea    -0x2c(%rbp),%rsi
lea    -0x10(%rbp),%rdi
lea    -0x34(%rbp),%rdx
call   1040 <GetElementAndCount@plt>
mov    %eax,-0x3c(%rbp)
xor    %eax,%eax
cmp    -0x3c(%rbp),%eax
jge    118d <CompareHillFormulasNoH+0x6d>
movsbl -0x2c(%rbp),%eax
cmp    $0x48,%eax
jne    118d <CompareHillFormulasNoH+0x6d>
cmpb   $0x0,-0x2b(%rbp)
jne    118d <CompareHillFormulasNoH+0x6d>
mov    -0x34(%rbp),%ecx
mov    -0x20(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
lea    -0x2c(%rbp),%rsi
lea    -0x10(%rbp),%rdi
lea    -0x34(%rbp),%rdx
call   1040 <GetElementAndCount@plt>
mov    %eax,-0x3c(%rbp)
lea    -0x30(%rbp),%rsi
lea    -0x18(%rbp),%rdi
lea    -0x38(%rbp),%rdx
call   1040 <GetElementAndCount@plt>
mov    %eax,-0x40(%rbp)
xor    %eax,%eax
cmp    -0x40(%rbp),%eax
jge    11e2 <CompareHillFormulasNoH+0xc2>
movsbl -0x30(%rbp),%eax
cmp    $0x48,%eax
jne    11e2 <CompareHillFormulasNoH+0xc2>
cmpb   $0x0,-0x2f(%rbp)
jne    11e2 <CompareHillFormulasNoH+0xc2>
mov    -0x38(%rbp),%ecx
mov    -0x28(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
lea    -0x30(%rbp),%rsi
lea    -0x18(%rbp),%rdi
lea    -0x38(%rbp),%rdx
call   1040 <GetElementAndCount@plt>
mov    %eax,-0x40(%rbp)
xor    %eax,%eax
cmp    -0x3c(%rbp),%eax
jg     123e <CompareHillFormulasNoH+0x11e>
xor    %eax,%eax
cmp    -0x40(%rbp),%eax
jg     123e <CompareHillFormulasNoH+0x11e>
lea    -0x2c(%rbp),%rdi
lea    -0x30(%rbp),%rsi
call   1030 <strcmp@plt>
mov    %eax,-0x44(%rbp)
cmp    $0x0,%eax
je     121c <CompareHillFormulasNoH+0xfc>
mov    -0x44(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    127c <CompareHillFormulasNoH+0x15c>
mov    -0x38(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x44(%rbp)
cmp    $0x0,%eax
je     1239 <CompareHillFormulasNoH+0x119>
mov    -0x44(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    127c <CompareHillFormulasNoH+0x15c>
jmp    124a <CompareHillFormulasNoH+0x12a>
movl   $0x0,-0x4(%rbp)
jmp    127c <CompareHillFormulasNoH+0x15c>
jmp    124f <CompareHillFormulasNoH+0x12f>
xor    %eax,%eax
xor    %ecx,%ecx
cmp    -0x3c(%rbp),%ecx
mov    %al,-0x45(%rbp)
jge    126a <CompareHillFormulasNoH+0x14a>
xor    %eax,%eax
cmp    -0x40(%rbp),%eax
setl   %al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    1138 <CompareHillFormulasNoH+0x18>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<CompareHillFormulasNoH>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rcx,0x28(%rsp)
mov    %rdx,0x20(%rsp)
mov    %rdi,0x18(%rsp)
mov    %rsi,0x30(%rsp)
lea    0x14(%rsp),%rbx
lea    0x30(%rsp),%rbp
lea    0x10(%rsp),%r14
lea    0xc(%rsp),%r15
cs nopw 0x0(%rax,%rax,1)
lea    0x18(%rsp),%rdi
mov    %rbx,%rsi
lea    0x8(%rsp),%rdx
call   1040 <GetElementAndCount@plt>
mov    %eax,%r12d
test   %eax,%eax
jle    11a7 <CompareHillFormulasNoH+0x87>
cmpb   $0x48,0x14(%rsp)
jne    11a7 <CompareHillFormulasNoH+0x87>
cmpb   $0x0,0x15(%rsp)
jne    11a7 <CompareHillFormulasNoH+0x87>
mov    0x8(%rsp),%eax
mov    0x20(%rsp),%rcx
add    %eax,(%rcx)
lea    0x18(%rsp),%rdi
mov    %rbx,%rsi
lea    0x8(%rsp),%rdx
call   1040 <GetElementAndCount@plt>
mov    %eax,%r12d
mov    %rbp,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1040 <GetElementAndCount@plt>
mov    %eax,%r13d
test   %eax,%eax
jle    11e6 <CompareHillFormulasNoH+0xc6>
cmpb   $0x48,0x10(%rsp)
jne    11e6 <CompareHillFormulasNoH+0xc6>
cmpb   $0x0,0x11(%rsp)
jne    11e6 <CompareHillFormulasNoH+0xc6>
mov    0xc(%rsp),%eax
mov    0x28(%rsp),%rcx
add    %eax,(%rcx)
mov    %rbp,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1040 <GetElementAndCount@plt>
mov    %eax,%r13d
test   %r12d,%r12d
js     121e <CompareHillFormulasNoH+0xfe>
test   %r13d,%r13d
js     121e <CompareHillFormulasNoH+0xfe>
mov    %rbx,%rdi
mov    %r14,%rsi
call   1030 <strcmp@plt>
test   %eax,%eax
jne    1220 <CompareHillFormulasNoH+0x100>
mov    0xc(%rsp),%eax
sub    0x8(%rsp),%eax
jne    1220 <CompareHillFormulasNoH+0x100>
test   %r12d,%r12d
je     121e <CompareHillFormulasNoH+0xfe>
mov    $0x0,%eax
test   %r13d,%r13d
jne    1160 <CompareHillFormulasNoH+0x40>
jmp    1220 <CompareHillFormulasNoH+0x100>
xor    %eax,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @CompareHillFormulasNoH(i8* %0, i8* %1, i32* %2, i32* %3) {
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca [4 x i8]
%11 = alloca [4 x i8]
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
store i8* %0, i8** %6
store i8* %1, i8** %7
store i32* %2, i32** %8
store i32* %3, i32** %9
br label %17
17: ; preds = %88, %4
%18 = getelementptr inbounds [4 x i8], [4 x i8]* %10, i64 0, i64 0
%19 = call i32 @GetElementAndCount(i8** %6, i8* %18, i32* %12)
store i32 %19, i32* %14
%20 = load i32, i32* %14
%21 = icmp slt i32 0, %20
br i1 %21, label %22, label %38
22: ; preds = %17
%23 = getelementptr inbounds [4 x i8], [4 x i8]* %10, i64 0, i64 0
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = icmp eq i32 %25, 72
br i1 %26, label %27, label %38
27: ; preds = %22
%28 = getelementptr inbounds [4 x i8], [4 x i8]* %10, i64 0, i64 1
%29 = load i8, i8* %28
%30 = icmp ne i8 %29, 0
br i1 %30, label %38, label %31
31: ; preds = %27
%32 = load i32, i32* %12
%33 = load i32*, i32** %8
%34 = load i32, i32* %33
%35 = add nsw i32 %34, %32
store i32 %35, i32* %33
%36 = getelementptr inbounds [4 x i8], [4 x i8]* %10, i64 0, i64 0
%37 = call i32 @GetElementAndCount(i8** %6, i8* %36, i32* %12)
store i32 %37, i32* %14
br label %38
38: ; preds = %31, %27, %22, %17
%39 = getelementptr inbounds [4 x i8], [4 x i8]* %11, i64 0, i64 0
%40 = call i32 @GetElementAndCount(i8** %7, i8* %39, i32* %13)
store i32 %40, i32* %15
%41 = load i32, i32* %15
%42 = icmp slt i32 0, %41
br i1 %42, label %43, label %59
43: ; preds = %38
%44 = getelementptr inbounds [4 x i8], [4 x i8]* %11, i64 0, i64 0
%45 = load i8, i8* %44
%46 = sext i8 %45 to i32
%47 = icmp eq i32 %46, 72
br i1 %47, label %48, label %59
48: ; preds = %43
%49 = getelementptr inbounds [4 x i8], [4 x i8]* %11, i64 0, i64 1
%50 = load i8, i8* %49
%51 = icmp ne i8 %50, 0
br i1 %51, label %59, label %52
52: ; preds = %48
%53 = load i32, i32* %13
%54 = load i32*, i32** %9
%55 = load i32, i32* %54
%56 = add nsw i32 %55, %53
store i32 %56, i32* %54
%57 = getelementptr inbounds [4 x i8], [4 x i8]* %11, i64 0, i64 0
%58 = call i32 @GetElementAndCount(i8** %7, i8* %57, i32* %13)
store i32 %58, i32* %15
br label %59
59: ; preds = %52, %48, %43, %38
%60 = load i32, i32* %14
%61 = icmp sle i32 0, %60
br i1 %61, label %62, label %80
62: ; preds = %59
%63 = load i32, i32* %15
%64 = icmp sle i32 0, %63
br i1 %64, label %65, label %80
65: ; preds = %62
%66 = getelementptr inbounds [4 x i8], [4 x i8]* %10, i64 0, i64 0
%67 = getelementptr inbounds [4 x i8], [4 x i8]* %11, i64 0, i64 0
%68 = call i32 @strcmp(i8* %66, i8* %67)
store i32 %68, i32* %16
%69 = icmp ne i32 %68, 0
br i1 %69, label %70, label %72
70: ; preds = %65
%71 = load i32, i32* %16
store i32 %71, i32* %5
br label %91
72: ; preds = %65
%73 = load i32, i32* %13
%74 = load i32, i32* %12
%75 = sub nsw i32 %73, %74
store i32 %75, i32* %16
%76 = icmp ne i32 %75, 0
br i1 %76, label %77, label %79
77: ; preds = %72
%78 = load i32, i32* %16
store i32 %78, i32* %5
br label %91
79: ; preds = %72
br label %81
80: ; preds = %62, %59
store i32 0, i32* %5
br label %91
81: ; preds = %79
br label %82
82: ; preds = %81
%83 = load i32, i32* %14
%84 = icmp slt i32 0, %83
br i1 %84, label %85, label %88
85: ; preds = %82
%86 = load i32, i32* %15
%87 = icmp slt i32 0, %86
br label %88
88: ; preds = %85, %82
%89 = phi i1 [ false, %82 ], [ %87, %85 ]
br i1 %89, label %17, label %90
90: ; preds = %88
store i32 0, i32* %5
br label %91
91: ; preds = %90, %80, %77, %70
%92 = load i32, i32* %5
ret i32 %92
}

LLVM IR (-O2):
define i32 @CompareHillFormulasNoH(i8* %0, i8* %1, i32* nocapture %2, i32* nocapture %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca [4 x i8]
%8 = alloca [4 x i8]
%9 = alloca i32
%10 = alloca i32
store i8* %0, i8** %5
store i8* %1, i8** %6
%11 = getelementptr inbounds [4 x i8], [4 x i8]* %7, i64 0, i64 0
%12 = getelementptr inbounds [4 x i8], [4 x i8]* %8, i64 0, i64 0
%13 = bitcast i32* %9 to i8*
%14 = bitcast i32* %10 to i8*
%15 = getelementptr inbounds [4 x i8], [4 x i8]* %7, i64 0, i64 1
%16 = getelementptr inbounds [4 x i8], [4 x i8]* %8, i64 0, i64 1
br label %17
17: ; preds = %59, %4
%18 = call i32 @GetElementAndCount(i8** %5, i8* %11, i32* %9)
%19 = icmp slt i32 %18, 1
%20 = load i8, i8* %11
%21 = icmp ne i8 %20, 72
%22 = select i1 %19, i1 true, i1 %21
%23 = load i8, i8* %15
%24 = icmp ne i8 %23, 0
%25 = select i1 %22, i1 true, i1 %24
br i1 %25, label %31, label %26
26: ; preds = %17
%27 = load i32, i32* %9
%28 = load i32, i32* %2
%29 = add nsw i32 %28, %27
store i32 %29, i32* %2
%30 = call i32 @GetElementAndCount(i8** %5, i8* %11, i32* %9)
br label %31
31: ; preds = %26, %17
%32 = phi i32 [ %18, %17 ], [ %30, %26 ]
%33 = call i32 @GetElementAndCount(i8** %6, i8* %12, i32* %10)
%34 = icmp slt i32 %33, 1
%35 = load i8, i8* %12
%36 = icmp ne i8 %35, 72
%37 = select i1 %34, i1 true, i1 %36
%38 = load i8, i8* %16
%39 = icmp ne i8 %38, 0
%40 = select i1 %37, i1 true, i1 %39
br i1 %40, label %46, label %41
41: ; preds = %31
%42 = load i32, i32* %10
%43 = load i32, i32* %3
%44 = add nsw i32 %43, %42
store i32 %44, i32* %3
%45 = call i32 @GetElementAndCount(i8** %6, i8* %12, i32* %10)
br label %46
46: ; preds = %41, %31
%47 = phi i32 [ %33, %31 ], [ %45, %41 ]
%48 = icmp sgt i32 %32, -1
%49 = icmp sgt i32 %47, -1
%50 = select i1 %48, i1 %49, i1 false
br i1 %50, label %51, label %63
51: ; preds = %46
%52 = call i32 @strcmp(i8* %11, i8* %12)
%53 = icmp eq i32 %52, 0
br i1 %53, label %54, label %63
54: ; preds = %51
%55 = load i32, i32* %10
%56 = load i32, i32* %9
%57 = sub nsw i32 %55, %56
%58 = icmp eq i32 %57, 0
br i1 %58, label %59, label %63
59: ; preds = %54
%60 = icmp ne i32 %32, 0
%61 = icmp ne i32 %47, 0
%62 = select i1 %60, i1 %61, i1 false
br i1 %62, label %17, label %63
63: ; preds = %59, %46, %54, %51
%64 = phi i32 [ %52, %51 ], [ %57, %54 ], [ 0, %46 ], [ 0, %59 ]
ret i32 %64
}