#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 */
typedef int /*<<< orphan*/ BN_CTX;
typedef int /*<<< orphan*/ BIGNUM;

/* Variables and functions */
int /*<<< orphan*/ BN_CTX_free(int /*<<< orphan*/ *);
int /*<<< orphan*/ *BN_CTX_new();
scalar_t__ BN_add_word(int /*<<< orphan*/ *, int);
scalar_t__ BN_cmp(int /*<<< orphan*/ *, int /*<<< orphan*/ *);
int /*<<< orphan*/ BN_free(int /*<<< orphan*/ *);
scalar_t__ BN_is_odd(int /*<<< orphan*/ *);
scalar_t__ BN_is_prime_ex(int /*<<< orphan*/ *, int, int /*<<< orphan*/ *,
                          int /*<<< orphan*/ *);
scalar_t__ BN_mod_exp(int /*<<< orphan*/ *, int /*<<< orphan*/ *,
                      int /*<<< orphan*/ *, int /*<<< orphan*/ *,
                      int /*<<< orphan*/ *);
int /*<<< orphan*/ *BN_new();
scalar_t__ BN_rshift1(int /*<<< orphan*/ *, int /*<<< orphan*/ *);
int srp_Verify_N_and_g(BIGNUM *N, BIGNUM *g) {
  BN_CTX *bn_ctx = BN_CTX_new();
  BIGNUM *p = BN_new();
  BIGNUM *r = BN_new();
  int ret = g != NULL && N != NULL && bn_ctx != NULL && BN_is_odd(N) &&
            BN_is_prime_ex(N, 64, bn_ctx, NULL) && p != NULL &&
            BN_rshift1(p, N) && BN_is_prime_ex(p, 64, bn_ctx, NULL) &&
            r != NULL && BN_mod_exp(r, g, p, N, bn_ctx) && BN_add_word(r, 1) &&
            BN_cmp(r, N) == 0;
  if (r)
    BN_free(r);
  if (p)
    BN_free(p);
  if (bn_ctx)
    BN_CTX_free(bn_ctx);
  return ret;
}


x86 assembly (clang, -O0):
<srp_Verify_N_and_g>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    $0x0,%al
call   10a0 <BN_CTX_new@plt>
mov    %rax,-0x18(%rbp)
mov    $0x0,%al
call   1030 <BN_new@plt>
mov    %rax,-0x20(%rbp)
mov    $0x0,%al
call   1030 <BN_new@plt>
mov    %rax,-0x28(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
xor    %eax,%eax
cmpq   $0x0,-0x8(%rbp)
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
xor    %eax,%eax
cmpq   $0x0,-0x18(%rbp)
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
mov    -0x8(%rbp),%rdi
call   10c0 <BN_is_odd@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rdx
mov    $0x40,%esi
xor    %eax,%eax
mov    %eax,%ecx
call   1040 <BN_is_prime_ex@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
xor    %eax,%eax
cmpq   $0x0,-0x20(%rbp)
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
mov    -0x20(%rbp),%rdi
mov    -0x8(%rbp),%rsi
call   1080 <BN_rshift1@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
mov    -0x20(%rbp),%rdi
mov    -0x18(%rbp),%rdx
mov    $0x40,%esi
xor    %eax,%eax
mov    %eax,%ecx
call   1040 <BN_is_prime_ex@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
xor    %eax,%eax
cmpq   $0x0,-0x28(%rbp)
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
mov    -0x28(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%r8
call   1090 <BN_mod_exp@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
mov    -0x28(%rbp),%rdi
mov    $0x1,%esi
call   1060 <BN_add_word@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x2d(%rbp)
je     130d <srp_Verify_N_and_g+0x16d>
mov    -0x28(%rbp),%rdi
mov    -0x8(%rbp),%rsi
call   10b0 <BN_cmp@plt>
cmp    $0x0,%rax
sete   %al
mov    %al,-0x2d(%rbp)
mov    -0x2d(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x2c(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     132c <srp_Verify_N_and_g+0x18c>
mov    -0x28(%rbp),%rdi
call   1070 <BN_free@plt>
cmpq   $0x0,-0x20(%rbp)
je     1340 <srp_Verify_N_and_g+0x1a0>
mov    -0x20(%rbp),%rdi
call   1070 <BN_free@plt>
cmpq   $0x0,-0x18(%rbp)
je     1354 <srp_Verify_N_and_g+0x1b4>
mov    -0x18(%rbp),%rdi
call   1050 <BN_CTX_free@plt>
mov    -0x2c(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<srp_Verify_N_and_g>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r13
mov    %rdi,%rbp
xor    %r14d,%r14d
xor    %eax,%eax
call   10a0 <BN_CTX_new@plt>
mov    %rax,%rbx
xor    %eax,%eax
call   1030 <BN_new@plt>
mov    %rax,%r12
xor    %eax,%eax
call   1030 <BN_new@plt>
mov    %rax,%r15
test   %rbp,%rbp
je     128b <srp_Verify_N_and_g+0xeb>
test   %r13,%r13
je     128b <srp_Verify_N_and_g+0xeb>
test   %rbx,%rbx
je     128b <srp_Verify_N_and_g+0xeb>
mov    %rbp,%rdi
call   10c0 <BN_is_odd@plt>
test   %rax,%rax
je     128b <srp_Verify_N_and_g+0xeb>
mov    %rbp,%rdi
mov    $0x40,%esi
mov    %rbx,%rdx
xor    %ecx,%ecx
call   1040 <BN_is_prime_ex@plt>
test   %rax,%rax
je     128b <srp_Verify_N_and_g+0xeb>
test   %r12,%r12
je     128b <srp_Verify_N_and_g+0xeb>
mov    %r12,%rdi
mov    %rbp,%rsi
call   1080 <BN_rshift1@plt>
test   %rax,%rax
je     128b <srp_Verify_N_and_g+0xeb>
mov    %r12,%rdi
mov    $0x40,%esi
mov    %rbx,%rdx
xor    %ecx,%ecx
call   1040 <BN_is_prime_ex@plt>
test   %rax,%rax
je     128b <srp_Verify_N_and_g+0xeb>
test   %r15,%r15
je     128b <srp_Verify_N_and_g+0xeb>
mov    %r15,%rdi
mov    %r13,%rsi
mov    %r12,%rdx
mov    %rbp,%rcx
mov    %rbx,%r8
call   1090 <BN_mod_exp@plt>
xor    %r14d,%r14d
test   %rax,%rax
je     1290 <srp_Verify_N_and_g+0xf0>
mov    %r15,%rdi
mov    $0x1,%esi
call   1060 <BN_add_word@plt>
test   %rax,%rax
je     1290 <srp_Verify_N_and_g+0xf0>
mov    %r15,%rdi
mov    %rbp,%rsi
call   10b0 <BN_cmp@plt>
xor    %r14d,%r14d
test   %rax,%rax
sete   %r14b
jmp    1290 <srp_Verify_N_and_g+0xf0>
test   %r15,%r15
je     1298 <srp_Verify_N_and_g+0xf8>
mov    %r15,%rdi
call   1070 <BN_free@plt>
test   %r12,%r12
je     12a5 <srp_Verify_N_and_g+0x105>
mov    %r12,%rdi
call   1070 <BN_free@plt>
test   %rbx,%rbx
je     12b2 <srp_Verify_N_and_g+0x112>
mov    %rbx,%rdi
call   1050 <BN_CTX_free@plt>
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @srp_Verify_N_and_g(i32* %0, i32* %1) {
%3 = alloca i32*
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32*
%8 = alloca i32
store i32* %0, i32** %3
store i32* %1, i32** %4
%9 = call i32* (...) @BN_CTX_new()
store i32* %9, i32** %5
%10 = call i32* (...) @BN_new()
store i32* %10, i32** %6
%11 = call i32* (...) @BN_new()
store i32* %11, i32** %7
%12 = load i32*, i32** %4
%13 = icmp ne i32* %12, null
br i1 %13, label %14, label %62
14: ; preds = %2
%15 = load i32*, i32** %3
%16 = icmp ne i32* %15, null
br i1 %16, label %17, label %62
17: ; preds = %14
%18 = load i32*, i32** %5
%19 = icmp ne i32* %18, null
br i1 %19, label %20, label %62
20: ; preds = %17
%21 = load i32*, i32** %3
%22 = call i64 @BN_is_odd(i32* %21)
%23 = icmp ne i64 %22, 0
br i1 %23, label %24, label %62
24: ; preds = %20
%25 = load i32*, i32** %3
%26 = load i32*, i32** %5
%27 = call i64 @BN_is_prime_ex(i32* %25, i32 64, i32* %26, i32* null)
%28 = icmp ne i64 %27, 0
br i1 %28, label %29, label %62
29: ; preds = %24
%30 = load i32*, i32** %6
%31 = icmp ne i32* %30, null
br i1 %31, label %32, label %62
32: ; preds = %29
%33 = load i32*, i32** %6
%34 = load i32*, i32** %3
%35 = call i64 @BN_rshift1(i32* %33, i32* %34)
%36 = icmp ne i64 %35, 0
br i1 %36, label %37, label %62
37: ; preds = %32
%38 = load i32*, i32** %6
%39 = load i32*, i32** %5
%40 = call i64 @BN_is_prime_ex(i32* %38, i32 64, i32* %39, i32* null)
%41 = icmp ne i64 %40, 0
br i1 %41, label %42, label %62
42: ; preds = %37
%43 = load i32*, i32** %7
%44 = icmp ne i32* %43, null
br i1 %44, label %45, label %62
45: ; preds = %42
%46 = load i32*, i32** %7
%47 = load i32*, i32** %4
%48 = load i32*, i32** %6
%49 = load i32*, i32** %3
%50 = load i32*, i32** %5
%51 = call i64 @BN_mod_exp(i32* %46, i32* %47, i32* %48, i32* %49, i32* %50)
%52 = icmp ne i64 %51, 0
br i1 %52, label %53, label %62
53: ; preds = %45
%54 = load i32*, i32** %7
%55 = call i64 @BN_add_word(i32* %54, i32 1)
%56 = icmp ne i64 %55, 0
br i1 %56, label %57, label %62
57: ; preds = %53
%58 = load i32*, i32** %7
%59 = load i32*, i32** %3
%60 = call i64 @BN_cmp(i32* %58, i32* %59)
%61 = icmp eq i64 %60, 0
br label %62
62: ; preds = %57, %53, %45, %42, %37, %32, %29, %24, %20, %17, %14, %2
%63 = phi i1 [ false, %53 ], [ false, %45 ], [ false, %42 ], [ false, %37 ], [ false, %32 ], [ false, %29 ], [ false, %24 ], [ false, %20 ], [ false, %17 ], [ false, %14 ], [ false, %2 ], [ %61, %57 ]
%64 = zext i1 %63 to i32
store i32 %64, i32* %8
%65 = load i32*, i32** %7
%66 = icmp ne i32* %65, null
br i1 %66, label %67, label %70
67: ; preds = %62
%68 = load i32*, i32** %7
%69 = call i32 @BN_free(i32* %68)
br label %70
70: ; preds = %67, %62
%71 = load i32*, i32** %6
%72 = icmp ne i32* %71, null
br i1 %72, label %73, label %76
73: ; preds = %70
%74 = load i32*, i32** %6
%75 = call i32 @BN_free(i32* %74)
br label %76
76: ; preds = %73, %70
%77 = load i32*, i32** %5
%78 = icmp ne i32* %77, null
br i1 %78, label %79, label %82
79: ; preds = %76
%80 = load i32*, i32** %5
%81 = call i32 @BN_CTX_free(i32* %80)
br label %82
82: ; preds = %79, %76
%83 = load i32, i32* %8
ret i32 %83
}

LLVM IR (-O2):
define i32 @srp_Verify_N_and_g(i32* %0, i32* %1) {
%3 = tail call i32* (...) @BN_CTX_new()
%4 = tail call i32* (...) @BN_new()
%5 = tail call i32* (...) @BN_new()
%6 = icmp ne i32* %1, null
%7 = icmp ne i32* %0, null
%8 = and i1 %7, %6
%9 = icmp ne i32* %3, null
%10 = select i1 %8, i1 %9, i1 false
br i1 %10, label %11, label %37
11: ; preds = %2
%12 = tail call i64 @BN_is_odd(i32* %0)
%13 = icmp eq i64 %12, 0
br i1 %13, label %37, label %14
14: ; preds = %11
%15 = tail call i64 @BN_is_prime_ex(i32* %0, i32 64, i32* %3, i32* null)
%16 = icmp ne i64 %15, 0
%17 = icmp ne i32* %4, null
%18 = select i1 %16, i1 %17, i1 false
br i1 %18, label %19, label %37
19: ; preds = %14
%20 = tail call i64 @BN_rshift1(i32* %4, i32* %0)
%21 = icmp eq i64 %20, 0
br i1 %21, label %37, label %22
22: ; preds = %19
%23 = tail call i64 @BN_is_prime_ex(i32* %4, i32 64, i32* %3, i32* null)
%24 = icmp ne i64 %23, 0
%25 = icmp ne i32* %5, null
%26 = select i1 %24, i1 %25, i1 false
br i1 %26, label %27, label %37
27: ; preds = %22
%28 = tail call i64 @BN_mod_exp(i32* %5, i32* %1, i32* %4, i32* %0, i32* %3)
%29 = icmp eq i64 %28, 0
br i1 %29, label %39, label %30
30: ; preds = %27
%31 = tail call i64 @BN_add_word(i32* %5, i32 1)
%32 = icmp eq i64 %31, 0
br i1 %32, label %39, label %33
33: ; preds = %30
%34 = tail call i64 @BN_cmp(i32* %5, i32* %0)
%35 = icmp eq i64 %34, 0
%36 = zext i1 %35 to i32
br label %39
37: ; preds = %22, %19, %14, %11, %2
%38 = icmp eq i32* %5, null
br i1 %38, label %42, label %39
39: ; preds = %27, %30, %33, %37
%40 = phi i32 [ 0, %37 ], [ %36, %33 ], [ 0, %27 ], [ 0, %30 ]
%41 = tail call i32 @BN_free(i32* %5)
br label %42
42: ; preds = %39, %37
%43 = phi i32 [ %40, %39 ], [ 0, %37 ]
%44 = icmp eq i32* %4, null
br i1 %44, label %47, label %45
45: ; preds = %42
%46 = tail call i32 @BN_free(i32* %4)
br label %47
47: ; preds = %45, %42
br i1 %9, label %48, label %50
48: ; preds = %47
%49 = tail call i32 @BN_CTX_free(i32* %3)
br label %50
50: ; preds = %48, %47
ret i32 %43
}