#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 */
typedef struct TYPE_3__ TYPE_1__;

/* Type definitions */
struct TYPE_3__ {
  char *id;
  int /*<<< orphan*/ *g;
  int /*<<< orphan*/ *N;
};
typedef TYPE_1__ SRP_gN;
typedef int /*<<< orphan*/ BIGNUM;

/* Variables and functions */
int /*<<< orphan*/ *BN_bin2bn(unsigned char *, int, int /*<<< orphan*/ *);
int /*<<< orphan*/ BN_bn2bin(int /*<<< orphan*/ *, unsigned char *);
int /*<<< orphan*/ BN_free(int /*<<< orphan*/ *);
int BN_num_bytes(int /*<<< orphan*/ *);
int /*<<< orphan*/ RAND_pseudo_bytes(unsigned char *, int);
int /*<<< orphan*/ SRP_create_verifier_BN(char const *, char const *,
                                          int /*<<< orphan*/ **,
                                          int /*<<< orphan*/ **,
                                          int /*<<< orphan*/ *,
                                          int /*<<< orphan*/ *);
TYPE_1__ *SRP_get_gN_by_id(char const *, int /*<<< orphan*/ *);
int /*<<< orphan*/ free(char *);
char *reallocarray(int /*<<< orphan*/ *, int, int);
int t_fromb64(unsigned char *, char const *);
int /*<<< orphan*/ t_tob64(char *, unsigned char *, int);
char *SRP_create_verifier(const char *user, const char *pass, char **salt,
                          char **verifier, const char *N, const char *g) {
  int len;
  char *result = NULL;
  char *vf;
  BIGNUM *N_bn = NULL, *g_bn = NULL, *s = NULL, *v = NULL;
  unsigned char tmp[2500];
  unsigned char tmp2[2500];
  char *defgNid = NULL;
  if ((user == NULL) || (pass == NULL) || (salt == NULL) || (verifier == NULL))
    goto err;
  if (N) {
    if (!(len = t_fromb64(tmp, N)))
      goto err;
    N_bn = BN_bin2bn(tmp, len, NULL);
    if (!(len = t_fromb64(tmp, g)))
      goto err;
    g_bn = BN_bin2bn(tmp, len, NULL);
    defgNid = "*";
  } else {
    SRP_gN *gN = SRP_get_gN_by_id(g, NULL);
    if (gN == NULL)
      goto err;
    N_bn = gN->N;
    g_bn = gN->g;
    defgNid = gN->id;
  }
  if (*salt == NULL) {
    RAND_pseudo_bytes(tmp2, 20);
    s = BN_bin2bn(tmp2, 20, NULL);
  } else {
    if (!(len = t_fromb64(tmp2, *salt)))
      goto err;
    s = BN_bin2bn(tmp2, len, NULL);
  }
  if (!SRP_create_verifier_BN(user, pass, &s, &v, N_bn, g_bn))
    goto err;
  BN_bn2bin(v, tmp);
  if (((vf = reallocarray(NULL, BN_num_bytes(v), 2)) == NULL))
    goto err;
  t_tob64(vf, tmp, BN_num_bytes(v));
  *verifier = vf;
  if (*salt == NULL) {
    char *tmp_salt;
    if ((tmp_salt = reallocarray(NULL, 20, 2)) == NULL) {
      free(vf);
      goto err;
    }
    t_tob64(tmp_salt, tmp2, 20);
    *salt = tmp_salt;
  }
  result = defgNid;
err:
  if (N) {
    BN_free(N_bn);
    BN_free(g_bn);
  }
  return result;
}


x86 assembly (clang, -O0):
<SRP_create_verifier>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1430,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movq   $0x0,-0x40(%rbp)
movq   $0x0,-0x50(%rbp)
movq   $0x0,-0x58(%rbp)
movq   $0x0,-0x60(%rbp)
movq   $0x0,-0x68(%rbp)
movq   $0x0,-0x1408(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     1232 <SRP_create_verifier+0x82>
cmpq   $0x0,-0x10(%rbp)
je     1232 <SRP_create_verifier+0x82>
cmpq   $0x0,-0x18(%rbp)
je     1232 <SRP_create_verifier+0x82>
cmpq   $0x0,-0x20(%rbp)
jne    1237 <SRP_create_verifier+0x87>
jmp    14ad <SRP_create_verifier+0x2fd>
cmpq   $0x0,-0x28(%rbp)
je     12c5 <SRP_create_verifier+0x115>
lea    -0xa30(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   10d0 <t_fromb64@plt>
mov    %eax,-0x34(%rbp)
cmp    $0x0,%eax
jne    1263 <SRP_create_verifier+0xb3>
jmp    14ad <SRP_create_verifier+0x2fd>
lea    -0xa30(%rbp),%rdi
mov    -0x34(%rbp),%esi
xor    %eax,%eax
mov    %eax,%edx
call   1060 <BN_bin2bn@plt>
mov    %rax,-0x50(%rbp)
lea    -0xa30(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   10d0 <t_fromb64@plt>
mov    %eax,-0x34(%rbp)
cmp    $0x0,%eax
jne    129b <SRP_create_verifier+0xeb>
jmp    14ad <SRP_create_verifier+0x2fd>
lea    -0xa30(%rbp),%rdi
mov    -0x34(%rbp),%esi
xor    %eax,%eax
mov    %eax,%edx
call   1060 <BN_bin2bn@plt>
mov    %rax,-0x58(%rbp)
lea    0xd47(%rip),%rax
mov    %rax,-0x1408(%rbp)
jmp    131b <SRP_create_verifier+0x16b>
mov    -0x30(%rbp),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1080 <SRP_get_gN_by_id@plt>
mov    %rax,-0x1410(%rbp)
cmpq   $0x0,-0x1410(%rbp)
jne    12ec <SRP_create_verifier+0x13c>
jmp    14ad <SRP_create_verifier+0x2fd>
mov    -0x1410(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x50(%rbp)
mov    -0x1410(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x58(%rbp)
mov    -0x1410(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x1408(%rbp)
mov    -0x18(%rbp),%rax
cmpq   $0x0,(%rax)
jne    1358 <SRP_create_verifier+0x1a8>
lea    -0x1400(%rbp),%rdi
mov    $0x14,%esi
call   1090 <RAND_pseudo_bytes@plt>
lea    -0x1400(%rbp),%rdi
mov    $0x14,%esi
xor    %eax,%eax
mov    %eax,%edx
call   1060 <BN_bin2bn@plt>
mov    %rax,-0x60(%rbp)
jmp    1393 <SRP_create_verifier+0x1e3>
lea    -0x1400(%rbp),%rdi
mov    -0x18(%rbp),%rax
mov    (%rax),%rsi
call   10d0 <t_fromb64@plt>
mov    %eax,-0x34(%rbp)
cmp    $0x0,%eax
jne    137c <SRP_create_verifier+0x1cc>
jmp    14ad <SRP_create_verifier+0x2fd>
lea    -0x1400(%rbp),%rdi
mov    -0x34(%rbp),%esi
xor    %eax,%eax
mov    %eax,%edx
call   1060 <BN_bin2bn@plt>
mov    %rax,-0x60(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x50(%rbp),%r8
mov    -0x58(%rbp),%r9
lea    -0x60(%rbp),%rdx
lea    -0x68(%rbp),%rcx
call   1050 <SRP_create_verifier_BN@plt>
cmp    $0x0,%eax
jne    13be <SRP_create_verifier+0x20e>
jmp    14ad <SRP_create_verifier+0x2fd>
mov    -0x68(%rbp),%rdi
lea    -0xa30(%rbp),%rsi
call   10b0 <BN_bn2bin@plt>
mov    -0x68(%rbp),%rdi
call   10a0 <BN_num_bytes@plt>
mov    %eax,%esi
xor    %eax,%eax
mov    %eax,%edi
mov    $0x2,%edx
call   1040 <reallocarray@plt>
mov    %rax,-0x48(%rbp)
cmp    $0x0,%rax
jne    13fa <SRP_create_verifier+0x24a>
jmp    14ad <SRP_create_verifier+0x2fd>
mov    -0x48(%rbp),%rax
mov    %rax,-0x1428(%rbp)
lea    -0xa30(%rbp),%rax
mov    %rax,-0x1420(%rbp)
mov    -0x68(%rbp),%rdi
call   10a0 <BN_num_bytes@plt>
mov    -0x1428(%rbp),%rdi
mov    -0x1420(%rbp),%rsi
mov    %eax,%edx
call   10c0 <t_tob64@plt>
mov    -0x48(%rbp),%rcx
mov    -0x20(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
cmpq   $0x0,(%rax)
jne    14a2 <SRP_create_verifier+0x2f2>
xor    %eax,%eax
mov    %eax,%edi
mov    $0x14,%esi
mov    $0x2,%edx
call   1040 <reallocarray@plt>
mov    %rax,-0x1418(%rbp)
cmp    $0x0,%rax
jne    147c <SRP_create_verifier+0x2cc>
mov    -0x48(%rbp),%rdi
call   1030 <free@plt>
jmp    14ad <SRP_create_verifier+0x2fd>
mov    -0x1418(%rbp),%rdi
lea    -0x1400(%rbp),%rsi
mov    $0x14,%edx
call   10c0 <t_tob64@plt>
mov    -0x1418(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x1408(%rbp),%rax
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     14ca <SRP_create_verifier+0x31a>
mov    -0x50(%rbp),%rdi
call   1070 <BN_free@plt>
mov    -0x58(%rbp),%rdi
call   1070 <BN_free@plt>
mov    -0x40(%rbp),%rax
add    $0x1430,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<SRP_create_verifier>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x13c8,%rsp
movq   $0x0,0x20(%rsp)
movq   $0x0,0x8(%rsp)
xor    %ebx,%ebx
mov    $0x0,%r12d
test   %rdi,%rdi
je     1281 <SRP_create_verifier+0xd1>
mov    %rsi,%r15
test   %rsi,%rsi
je     1281 <SRP_create_verifier+0xd1>
test   %rdx,%rdx
je     1281 <SRP_create_verifier+0xd1>
mov    $0x0,%r13d
test   %rcx,%rcx
je     139c <SRP_create_verifier+0x1ec>
mov    %r9,%r14
mov    %rdi,%rbp
mov    %rcx,0x28(%rsp)
mov    %rdx,0x10(%rsp)
test   %r8,%r8
mov    %r8,(%rsp)
je     1292 <SRP_create_verifier+0xe2>
lea    0x30(%rsp),%rdi
mov    %r8,%rsi
call   10d0 <t_fromb64@plt>
test   %eax,%eax
je     12db <SRP_create_verifier+0x12b>
xor    %r12d,%r12d
lea    0x30(%rsp),%rbx
mov    %rbx,%rdi
mov    %eax,%esi
xor    %edx,%edx
call   1060 <BN_bin2bn@plt>
mov    %rax,0x18(%rsp)
mov    %rbx,%rdi
mov    %r14,%rsi
call   10d0 <t_fromb64@plt>
test   %eax,%eax
je     13c6 <SRP_create_verifier+0x216>
lea    0x30(%rsp),%rdi
mov    %eax,%esi
xor    %edx,%edx
call   1060 <BN_bin2bn@plt>
mov    %rax,%r13
lea    0xd86(%rip),%r12
mov    0x18(%rsp),%r14
jmp    12b3 <SRP_create_verifier+0x103>
xor    %r13d,%r13d
test   %r8,%r8
jne    13a1 <SRP_create_verifier+0x1f1>
jmp    13b1 <SRP_create_verifier+0x201>
xor    %r12d,%r12d
mov    %r14,%rdi
xor    %esi,%esi
call   1080 <SRP_get_gN_by_id@plt>
test   %rax,%rax
je     13b1 <SRP_create_verifier+0x201>
mov    0x10(%rax),%r14
mov    (%rax),%r12
mov    0x8(%rax),%r13
mov    0x10(%rsp),%rax
mov    (%rax),%rsi
lea    0xa00(%rsp),%rdi
test   %rsi,%rsi
je     12e8 <SRP_create_verifier+0x138>
call   10d0 <t_fromb64@plt>
mov    %eax,%ebx
test   %eax,%eax
jne    12f7 <SRP_create_verifier+0x147>
xor    %r12d,%r12d
jmp    1409 <SRP_create_verifier+0x259>
xor    %r13d,%r13d
xor    %ebx,%ebx
xor    %r12d,%r12d
jmp    13a1 <SRP_create_verifier+0x1f1>
mov    $0x14,%ebx
mov    $0x14,%esi
call   1090 <RAND_pseudo_bytes@plt>
lea    0xa00(%rsp),%rdi
mov    %ebx,%esi
xor    %edx,%edx
call   1060 <BN_bin2bn@plt>
mov    %rax,0x20(%rsp)
lea    0x20(%rsp),%rdx
lea    0x8(%rsp),%rcx
mov    %rbp,%rdi
mov    %r15,%rsi
mov    %r14,%rbx
mov    %r14,%r8
mov    %r13,%r9
call   1050 <SRP_create_verifier_BN@plt>
test   %eax,%eax
je     1395 <SRP_create_verifier+0x1e5>
mov    0x8(%rsp),%rdi
lea    0x30(%rsp),%rsi
call   10b0 <BN_bn2bin@plt>
mov    0x8(%rsp),%rdi
call   10a0 <BN_num_bytes@plt>
xor    %edi,%edi
mov    %eax,%esi
mov    $0x2,%edx
call   1040 <reallocarray@plt>
test   %rax,%rax
je     1395 <SRP_create_verifier+0x1e5>
mov    %rax,%rbp
mov    0x8(%rsp),%rdi
call   10a0 <BN_num_bytes@plt>
lea    0x30(%rsp),%rsi
mov    %rbp,%rdi
mov    %eax,%edx
call   10c0 <t_tob64@plt>
mov    0x28(%rsp),%rax
mov    %rbp,(%rax)
mov    0x10(%rsp),%rax
cmpq   $0x0,(%rax)
je     13d0 <SRP_create_verifier+0x220>
mov    (%rsp),%r8
test   %r8,%r8
jne    13a1 <SRP_create_verifier+0x1f1>
jmp    13b1 <SRP_create_verifier+0x201>
xor    %r12d,%r12d
mov    (%rsp),%r8
test   %r8,%r8
je     13b1 <SRP_create_verifier+0x201>
mov    %rbx,%rdi
call   1070 <BN_free@plt>
mov    %r13,%rdi
call   1070 <BN_free@plt>
mov    %r12,%rax
add    $0x13c8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %r13d,%r13d
mov    0x18(%rsp),%rbx
jmp    13a1 <SRP_create_verifier+0x1f1>
mov    %rbx,%r14
xor    %edi,%edi
mov    $0x14,%esi
mov    $0x2,%edx
call   1040 <reallocarray@plt>
test   %rax,%rax
je     1417 <SRP_create_verifier+0x267>
mov    %rax,%rbx
lea    0xa00(%rsp),%rsi
mov    %rax,%rdi
mov    $0x14,%edx
call   10c0 <t_tob64@plt>
mov    0x10(%rsp),%rax
mov    %rbx,(%rax)
mov    (%rsp),%r8
mov    %r14,%rbx
test   %r8,%r8
jne    13a1 <SRP_create_verifier+0x1f1>
jmp    13b1 <SRP_create_verifier+0x201>
mov    %rbp,%rdi
call   1030 <free@plt>
jmp    12d3 <SRP_create_verifier+0x123>

LLVM IR (-O0):
%struct.TYPE_3__ = type { i8*, i32*, i32* }
@.str = [2 x i8] c"*\00"
define i8* @SRP_create_verifier(i8* %0, i8* %1, i8** %2, i8** %3, i8* %4, i8* %5) {
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8**
%10 = alloca i8**
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i32
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i32*
%17 = alloca i32*
%18 = alloca i32*
%19 = alloca i32*
%20 = alloca [2500 x i8]
%21 = alloca [2500 x i8]
%22 = alloca i8*
%23 = alloca %struct.TYPE_3__*
%24 = alloca i8*
store i8* %0, i8** %7
store i8* %1, i8** %8
store i8** %2, i8*** %9
store i8** %3, i8*** %10
store i8* %4, i8** %11
store i8* %5, i8** %12
store i8* null, i8** %14
store i32* null, i32** %16
store i32* null, i32** %17
store i32* null, i32** %18
store i32* null, i32** %19
store i8* null, i8** %22
%25 = load i8*, i8** %7
%26 = icmp eq i8* %25, null
br i1 %26, label %36, label %27
27: ; preds = %6
%28 = load i8*, i8** %8
%29 = icmp eq i8* %28, null
br i1 %29, label %36, label %30
30: ; preds = %27
%31 = load i8**, i8*** %9
%32 = icmp eq i8** %31, null
br i1 %32, label %36, label %33
33: ; preds = %30
%34 = load i8**, i8*** %10
%35 = icmp eq i8** %34, null
br i1 %35, label %36, label %37
36: ; preds = %33, %30, %27, %6
br label %137
37: ; preds = %33
%38 = load i8*, i8** %11
%39 = icmp ne i8* %38, null
br i1 %39, label %40, label %59
40: ; preds = %37
%41 = getelementptr inbounds [2500 x i8], [2500 x i8]* %20, i64 0, i64 0
%42 = load i8*, i8** %11
%43 = call i32 @t_fromb64(i8* %41, i8* %42)
store i32 %43, i32* %13
%44 = icmp ne i32 %43, 0
br i1 %44, label %46, label %45
45: ; preds = %40
br label %137
46: ; preds = %40
%47 = getelementptr inbounds [2500 x i8], [2500 x i8]* %20, i64 0, i64 0
%48 = load i32, i32* %13
%49 = call i32* @BN_bin2bn(i8* %47, i32 %48, i32* null)
store i32* %49, i32** %16
%50 = getelementptr inbounds [2500 x i8], [2500 x i8]* %20, i64 0, i64 0
%51 = load i8*, i8** %12
%52 = call i32 @t_fromb64(i8* %50, i8* %51)
store i32 %52, i32* %13
%53 = icmp ne i32 %52, 0
br i1 %53, label %55, label %54
54: ; preds = %46
br label %137
55: ; preds = %46
%56 = getelementptr inbounds [2500 x i8], [2500 x i8]* %20, i64 0, i64 0
%57 = load i32, i32* %13
%58 = call i32* @BN_bin2bn(i8* %56, i32 %57, i32* null)
store i32* %58, i32** %17
store i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8** %22
br label %75
59: ; preds = %37
%60 = load i8*, i8** %12
%61 = call %struct.TYPE_3__* @SRP_get_gN_by_id(i8* %60, i32* null)
store %struct.TYPE_3__* %61, %struct.TYPE_3__** %23
%62 = load %struct.TYPE_3__*, %struct.TYPE_3__** %23
%63 = icmp eq %struct.TYPE_3__* %62, null
br i1 %63, label %64, label %65
64: ; preds = %59
br label %137
65: ; preds = %59
%66 = load %struct.TYPE_3__*, %struct.TYPE_3__** %23
%67 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %66, i32 0, i32 2
%68 = load i32*, i32** %67
store i32* %68, i32** %16
%69 = load %struct.TYPE_3__*, %struct.TYPE_3__** %23
%70 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %69, i32 0, i32 1
%71 = load i32*, i32** %70
store i32* %71, i32** %17
%72 = load %struct.TYPE_3__*, %struct.TYPE_3__** %23
%73 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %72, i32 0, i32 0
%74 = load i8*, i8** %73
store i8* %74, i8** %22
br label %75
75: ; preds = %65, %55
%76 = load i8**, i8*** %9
%77 = load i8*, i8** %76
%78 = icmp eq i8* %77, null
br i1 %78, label %79, label %84
79: ; preds = %75
%80 = getelementptr inbounds [2500 x i8], [2500 x i8]* %21, i64 0, i64 0
%81 = call i32 @RAND_pseudo_bytes(i8* %80, i32 20)
%82 = getelementptr inbounds [2500 x i8], [2500 x i8]* %21, i64 0, i64 0
%83 = call i32* @BN_bin2bn(i8* %82, i32 20, i32* null)
store i32* %83, i32** %18
br label %95
84: ; preds = %75
%85 = getelementptr inbounds [2500 x i8], [2500 x i8]* %21, i64 0, i64 0
%86 = load i8**, i8*** %9
%87 = load i8*, i8** %86
%88 = call i32 @t_fromb64(i8* %85, i8* %87)
store i32 %88, i32* %13
%89 = icmp ne i32 %88, 0
br i1 %89, label %91, label %90
90: ; preds = %84
br label %137
91: ; preds = %84
%92 = getelementptr inbounds [2500 x i8], [2500 x i8]* %21, i64 0, i64 0
%93 = load i32, i32* %13
%94 = call i32* @BN_bin2bn(i8* %92, i32 %93, i32* null)
store i32* %94, i32** %18
br label %95
95: ; preds = %91, %79
%96 = load i8*, i8** %7
%97 = load i8*, i8** %8
%98 = load i32*, i32** %16
%99 = load i32*, i32** %17
%100 = call i32 @SRP_create_verifier_BN(i8* %96, i8* %97, i32** %18, i32** %19, i32* %98, i32* %99)
%101 = icmp ne i32 %100, 0
br i1 %101, label %103, label %102
102: ; preds = %95
br label %137
103: ; preds = %95
%104 = load i32*, i32** %19
%105 = getelementptr inbounds [2500 x i8], [2500 x i8]* %20, i64 0, i64 0
%106 = call i32 @BN_bn2bin(i32* %104, i8* %105)
%107 = load i32*, i32** %19
%108 = call i32 @BN_num_bytes(i32* %107)
%109 = call i8* @reallocarray(i32* null, i32 %108, i32 2)
store i8* %109, i8** %15
%110 = icmp eq i8* %109, null
br i1 %110, label %111, label %112
111: ; preds = %103
br label %137
112: ; preds = %103
%113 = load i8*, i8** %15
%114 = getelementptr inbounds [2500 x i8], [2500 x i8]* %20, i64 0, i64 0
%115 = load i32*, i32** %19
%116 = call i32 @BN_num_bytes(i32* %115)
%117 = call i32 @t_tob64(i8* %113, i8* %114, i32 %116)
%118 = load i8*, i8** %15
%119 = load i8**, i8*** %10
store i8* %118, i8** %119
%120 = load i8**, i8*** %9
%121 = load i8*, i8** %120
%122 = icmp eq i8* %121, null
br i1 %122, label %123, label %135
123: ; preds = %112
%124 = call i8* @reallocarray(i32* null, i32 20, i32 2)
store i8* %124, i8** %24
%125 = icmp eq i8* %124, null
br i1 %125, label %126, label %129
126: ; preds = %123
%127 = load i8*, i8** %15
%128 = call i32 @free(i8* %127)
br label %137
129: ; preds = %123
%130 = load i8*, i8** %24
%131 = getelementptr inbounds [2500 x i8], [2500 x i8]* %21, i64 0, i64 0
%132 = call i32 @t_tob64(i8* %130, i8* %131, i32 20)
%133 = load i8*, i8** %24
%134 = load i8**, i8*** %9
store i8* %133, i8** %134
br label %135
135: ; preds = %129, %112
%136 = load i8*, i8** %22
store i8* %136, i8** %14
br label %137
137: ; preds = %135, %126, %111, %102, %90, %64, %54, %45, %36
%138 = load i8*, i8** %11
%139 = icmp ne i8* %138, null
br i1 %139, label %140, label %145
140: ; preds = %137
%141 = load i32*, i32** %16
%142 = call i32 @BN_free(i32* %141)
%143 = load i32*, i32** %17
%144 = call i32 @BN_free(i32* %143)
br label %145
145: ; preds = %140, %137
%146 = load i8*, i8** %14
ret i8* %146
}

LLVM IR (-O2):
%struct.TYPE_3__ = type { i8*, i32*, i32* }
@.str = [2 x i8] c"*\00"
define i8* @SRP_create_verifier(i8* %0, i8* %1, i8** %2, i8** writeonly %3, i8* %4, i8* %5) {
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca [2500 x i8]
%10 = alloca [2500 x i8]
%11 = bitcast i32** %7 to i8*
store i32* null, i32** %7
%12 = bitcast i32** %8 to i8*
store i32* null, i32** %8
%13 = getelementptr inbounds [2500 x i8], [2500 x i8]* %9, i64 0, i64 0
%14 = getelementptr inbounds [2500 x i8], [2500 x i8]* %10, i64 0, i64 0
%15 = icmp eq i8* %0, null
%16 = icmp eq i8* %1, null
%17 = or i1 %15, %16
%18 = icmp eq i8** %2, null
%19 = or i1 %17, %18
%20 = icmp eq i8** %3, null
%21 = or i1 %19, %20
br i1 %21, label %79, label %22
22: ; preds = %6
%23 = icmp eq i8* %4, null
br i1 %23, label %33, label %24
24: ; preds = %22
%25 = call i32 @t_fromb64(i8* %13, i8* %4)
%26 = icmp eq i32 %25, 0
br i1 %26, label %84, label %27
27: ; preds = %24
%28 = call i32* @BN_bin2bn(i8* %13, i32 %25, i32* null)
%29 = call i32 @t_fromb64(i8* %13, i8* %5)
%30 = icmp eq i32 %29, 0
br i1 %30, label %84, label %31
31: ; preds = %27
%32 = call i32* @BN_bin2bn(i8* %13, i32 %29, i32* null)
br label %43
33: ; preds = %22
%34 = tail call %struct.TYPE_3__* @SRP_get_gN_by_id(i8* %5, i32* null)
%35 = icmp eq %struct.TYPE_3__* %34, null
br i1 %35, label %90, label %36
36: ; preds = %33
%37 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %34, i64 0, i32 2
%38 = load i32*, i32** %37
%39 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %34, i64 0, i32 1
%40 = load i32*, i32** %39
%41 = getelementptr inbounds %struct.TYPE_3__, %struct.TYPE_3__* %34, i64 0, i32 0
%42 = load i8*, i8** %41
br label %43
43: ; preds = %36, %31
%44 = phi i32* [ %28, %31 ], [ %38, %36 ]
%45 = phi i32* [ %32, %31 ], [ %40, %36 ]
%46 = phi i8* [ getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), %31 ], [ %42, %36 ]
%47 = load i8*, i8** %2
%48 = icmp eq i8* %47, null
br i1 %48, label %49, label %51
49: ; preds = %43
%50 = call i32 @RAND_pseudo_bytes(i8* %14, i32 20)
br label %54
51: ; preds = %43
%52 = call i32 @t_fromb64(i8* %14, i8* %47)
%53 = icmp eq i32 %52, 0
br i1 %53, label %79, label %54
54: ; preds = %51, %49
%55 = phi i32 [ 20, %49 ], [ %52, %51 ]
%56 = call i32* @BN_bin2bn(i8* %14, i32 %55, i32* null)
store i32* %56, i32** %7
%57 = call i32 @SRP_create_verifier_BN(i8* %0, i8* %1, i32** %7, i32** %8, i32* %44, i32* %45)
%58 = icmp eq i32 %57, 0
br i1 %58, label %79, label %59
59: ; preds = %54
%60 = load i32*, i32** %8
%61 = call i32 @BN_bn2bin(i32* %60, i8* %13)
%62 = load i32*, i32** %8
%63 = call i32 @BN_num_bytes(i32* %62)
%64 = call i8* @reallocarray(i32* null, i32 %63, i32 2)
%65 = icmp eq i8* %64, null
br i1 %65, label %79, label %66
66: ; preds = %59
%67 = load i32*, i32** %8
%68 = call i32 @BN_num_bytes(i32* %67)
%69 = call i32 @t_tob64(i8* %64, i8* %13, i32 %68)
store i8* %64, i8** %3
%70 = load i8*, i8** %2
%71 = icmp eq i8* %70, null
br i1 %71, label %72, label %79
72: ; preds = %66
%73 = call i8* @reallocarray(i32* null, i32 20, i32 2)
%74 = icmp eq i8* %73, null
br i1 %74, label %77, label %75
75: ; preds = %72
%76 = call i32 @t_tob64(i8* %73, i8* %14, i32 20)
store i8* %73, i8** %2
br label %79
77: ; preds = %72
%78 = call i32 @free(i8* %64)
br label %79
79: ; preds = %66, %75, %77, %59, %54, %51, %6
%80 = phi i8* [ null, %6 ], [ null, %59 ], [ null, %77 ], [ null, %54 ], [ null, %51 ], [ %46, %75 ], [ %46, %66 ]
%81 = phi i32* [ null, %6 ], [ %44, %59 ], [ %44, %77 ], [ %44, %54 ], [ %44, %51 ], [ %44, %75 ], [ %44, %66 ]
%82 = phi i32* [ null, %6 ], [ %45, %59 ], [ %45, %77 ], [ %45, %54 ], [ %45, %51 ], [ %45, %75 ], [ %45, %66 ]
%83 = icmp eq i8* %4, null
br i1 %83, label %90, label %84
84: ; preds = %24, %27, %79
%85 = phi i32* [ %82, %79 ], [ null, %27 ], [ null, %24 ]
%86 = phi i32* [ %81, %79 ], [ %28, %27 ], [ null, %24 ]
%87 = phi i8* [ %80, %79 ], [ null, %27 ], [ null, %24 ]
%88 = call i32 @BN_free(i32* %86)
%89 = call i32 @BN_free(i32* %85)
br label %90
90: ; preds = %33, %79, %84
%91 = phi i8* [ %80, %79 ], [ %87, %84 ], [ null, %33 ]
ret i8* %91
}