// File: /workspace/github_c_makefile_star2_O3/genevalab[P]msmove/rand2t.c
// Function: genrand_int32
unsigned long genrand_int32(void)
{
    unsigned long y;
    static unsigned long mag01[2] = {0x0UL, MATRIX_A};
    /* mag01[x] = x * MATRIX_A  for x=0,1 */

    if (mti >= N) 
	{ 
		/* generate N words at one time */
        int kk;

		if (mti == N + 1)         /* if init_genrand() has not been called, */
            init_genrand(5489UL); /* a default initial seed is used */

        for (kk = 0; kk < N - M; kk++) 
		{
            y = (mt[kk] & UPPER_MASK)|(mt[kk + 1] & LOWER_MASK);
            mt[kk] = mt[kk + M] ^ (y >> 1) ^ mag01[y & 0x1UL];
        }
        for (; kk < N - 1; kk++) 
		{
            y = (mt[kk] & UPPER_MASK)|(mt[kk + 1] & LOWER_MASK);
            mt[kk] = mt[kk + (M - N)] ^ (y >> 1) ^ mag01[y & 0x1UL];
        }
        y = (mt[N - 1] & UPPER_MASK)|(mt[0] & LOWER_MASK);
        mt[N - 1] = mt[M - 1] ^ (y >> 1) ^ mag01[y & 0x1UL];
        mti = 0;
    }
  
    y = mt[mti++];

    /* Tempering */
    y ^= (y >> 11);
    y ^= (y << 7) & 0x9d2c5680UL;
    y ^= (y << 15) & 0xefc60000UL;
    y ^= (y >> 18);

    return y;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movslq 0x5def(%rip), %rax      # 0xa0fc
cmpq $0x26f, %rax            # imm = 0x26F
jle 0x435f
cmpl $0x271, %eax            # imm = 0x271
jne 0x4371
movq $0x1571, 0x5e89(%rip) # imm = 0x1571
movl $0x1, %eax
movl $0x1571, %edx           # imm = 0x1571
leaq 0x5e78(%rip), %rcx      # 0xa1b0
movl $0x1571, %esi           # imm = 0x1571
movq %rsi, %rdi
shrq $0x1e, %rdi
xorl %esi, %edi
imull $0x6c078965, %edi, %esi # imm = 0x6C078965
addl %eax, %esi
movq %rsi, (%rcx,%rax,8)
incq %rax
cmpq $0x270, %rax            # imm = 0x270
jne 0x433d
jmp 0x4378
leaq 0x5e4a(%rip), %rcx      # 0xa1b0
movq (%rcx,%rax,8), %rcx
incl %eax
jmp 0x4455
movq 0x5e38(%rip), %rdx      # 0xa1b0
xorl %esi, %esi
leaq 0x5e2f(%rip), %rcx      # 0xa1b0
leaq 0x3958(%rip), %rax      # 0x7ce0
andl $0x80000000, %edx       # imm = 0x80000000
movq 0x8(%rcx,%rsi,8), %rdi
movl %edi, %r8d
andl $0x7ffffffe, %r8d       # imm = 0x7FFFFFFE
orl %edx, %r8d
shrl %r8d
movq %rdi, %rdx
andl $0x1, %edi
movq (%rax,%rdi,8), %rdi
xorq 0xc68(%rcx,%rsi,8), %rdi
xorq %r8, %rdi
movq %rdi, (%rcx,%rsi,8)
leaq 0x1(%rsi), %rdi
movq %rdi, %rsi
cmpq $0xe3, %rdi
jne 0x4388
movq 0x64f5(%rip), %rsi      # 0xa8c8
xorl %edx, %edx
andl $0x80000000, %esi       # imm = 0x80000000
movq 0x720(%rcx,%rdx,8), %rdi
movl %edi, %r8d
andl $0x7ffffffe, %r8d       # imm = 0x7FFFFFFE
orl %esi, %r8d
shrl %r8d
movq %rdi, %rsi
andl $0x1, %edi
movq (%rax,%rdi,8), %rdi
xorq (%rcx,%rdx,8), %rdi
xorq %r8, %rdi
movq %rdi, 0x718(%rcx,%rdx,8)
incq %rdx
cmpq $0x18c, %rdx            # imm = 0x18C
jne 0x43d5
movl $0x80000000, %edx       # imm = 0x80000000
andl 0x7105(%rip), %edx      # 0xb528
movq 0x5d86(%rip), %rcx      # 0xa1b0
movl %ecx, %esi
andl $0x7ffffffe, %esi       # imm = 0x7FFFFFFE
orl %edx, %esi
movl %ecx, %edx
andl $0x1, %edx
movq (%rax,%rdx,8), %rax
xorq 0x69cc(%rip), %rax      # 0xae10
shrl %esi
xorq %rsi, %rax
movq %rax, 0x70d8(%rip)      # 0xb528
movl $0x1, %eax
movl %eax, 0x5ca1(%rip)      # 0xa0fc
movq %rcx, %rax
shrq $0xb, %rax
xorq %rcx, %rax
movl %eax, %ecx
shll $0x7, %ecx
andl $0x9d2c5680, %ecx       # imm = 0x9D2C5680
xorq %rax, %rcx
movl %ecx, %edx
shll $0xf, %edx
andl $0xefc60000, %edx       # imm = 0xEFC60000
xorq %rcx, %rdx
movq %rdx, %rax
shrq $0x12, %rax
xorq %rdx, %rax
popq %rbp
retq