#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 */
scalar_t__ EINVAL;
scalar_t__ SSIZE_MAX;
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ dump(unsigned char *, int);
scalar_t__ errno;
int /*<<< orphan*/ memset(unsigned char *, int, int);
scalar_t__ randombytes(unsigned char *, int);
int main(void) {
  unsigned char rand[32];
  unsigned char buf1[32];
  unsigned char buf2[32];
  size_t i, j;
  errno = 0;
  assert(randombytes(NULL, 1) != 0);
  assert(errno == EINVAL);
  errno = 0;
  assert(randombytes(buf1, 0) != 0);
  assert(errno == EINVAL);
  errno = 0;
  assert(randombytes(buf1, (size_t)SSIZE_MAX + 1) != 0);
  assert(errno == EINVAL);
  memset(buf1, 0, 32);
  memset(buf2, 255, 32);
  for (i = 0; i < 32; i++) {
    errno = 0;
    assert(randombytes(rand, 32) == 0);
    assert(errno == 0);
    dump(rand, 32);
    for (j = 0; j < 32; j++) {
      buf1[j] |= rand[j];
      buf2[j] &= rand[j];
    }
  }
  dump(buf1, 32);
  dump(buf2, 32);
  for (i = 0; i < 32; i++) {
    assert(buf1[i] == 255);
    assert(buf2[i] == 0);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
movl   $0x0,-0x4(%rbp)
mov    0x2e7f(%rip),%rax
movq   $0x0,(%rax)
xor    %eax,%eax
mov    %eax,%edi
mov    $0x1,%esi
call   1040 <randombytes@plt>
cmp    $0x0,%rax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    0x2e52(%rip),%rax
mov    (%rax),%rax
mov    0x2e40(%rip),%rcx
cmp    (%rcx),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    0x2e31(%rip),%rax
movq   $0x0,(%rax)
lea    -0x50(%rbp),%rdi
xor    %esi,%esi
call   1040 <randombytes@plt>
cmp    $0x0,%rax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    0x2e07(%rip),%rax
mov    (%rax),%rax
mov    0x2df5(%rip),%rcx
cmp    (%rcx),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    0x2de6(%rip),%rax
movq   $0x0,(%rax)
lea    -0x50(%rbp),%rdi
mov    0x2de4(%rip),%rax
mov    (%rax),%rax
add    $0x1,%rax
mov    %eax,%esi
call   1040 <randombytes@plt>
cmp    $0x0,%rax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    0x2dae(%rip),%rax
mov    (%rax),%rax
mov    0x2d9c(%rip),%rcx
cmp    (%rcx),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
lea    -0x50(%rbp),%rdi
xor    %esi,%esi
mov    $0x20,%edx
call   1030 <memset@plt>
lea    -0x70(%rbp),%rdi
mov    $0xff,%esi
mov    $0x20,%edx
call   1030 <memset@plt>
movq   $0x0,-0x78(%rbp)
cmpq   $0x20,-0x78(%rbp)
jae    1337 <main+0x1f7>
mov    0x2d57(%rip),%rax
movq   $0x0,(%rax)
lea    -0x30(%rbp),%rdi
mov    $0x20,%esi
call   1040 <randombytes@plt>
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    0x2d2a(%rip),%rax
cmpq   $0x0,(%rax)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
lea    -0x30(%rbp),%rdi
mov    $0x20,%esi
call   1050 <dump@plt>
movq   $0x0,-0x80(%rbp)
cmpq   $0x20,-0x80(%rbp)
jae    1321 <main+0x1e1>
mov    -0x80(%rbp),%rax
movzbl -0x30(%rbp,%rax,1),%edx
mov    -0x80(%rbp),%rax
movzbl -0x50(%rbp,%rax,1),%ecx
or     %edx,%ecx
mov    %cl,-0x50(%rbp,%rax,1)
mov    -0x80(%rbp),%rax
movzbl -0x30(%rbp,%rax,1),%edx
mov    -0x80(%rbp),%rax
movzbl -0x70(%rbp,%rax,1),%ecx
and    %edx,%ecx
mov    %cl,-0x70(%rbp,%rax,1)
mov    -0x80(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x80(%rbp)
jmp    12d5 <main+0x195>
jmp    1326 <main+0x1e6>
mov    -0x78(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x78(%rbp)
jmp    126f <main+0x12f>
lea    -0x50(%rbp),%rdi
mov    $0x20,%esi
call   1050 <dump@plt>
lea    -0x70(%rbp),%rdi
mov    $0x20,%esi
call   1050 <dump@plt>
movq   $0x0,-0x78(%rbp)
cmpq   $0x20,-0x78(%rbp)
jae    13ab <main+0x26b>
mov    -0x78(%rbp),%rax
movzbl -0x50(%rbp,%rax,1),%eax
cmp    $0xff,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x78(%rbp),%rax
movzbl -0x70(%rbp,%rax,1),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1060 <assert@plt>
mov    -0x78(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x78(%rbp)
jmp    135b <main+0x21b>
xor    %eax,%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %rbx
sub    $0x60,%rsp
mov    0x2e88(%rip),%r14
movq   $0x0,(%r14)
xor    %edi,%edi
mov    $0x1,%esi
call   1040 <randombytes@plt>
xor    %edi,%edi
test   %rax,%rax
setne  %dil
call   1060 <assert@plt>
mov    (%r14),%rax
mov    0x2e55(%rip),%r15
xor    %edi,%edi
cmp    (%r15),%rax
sete   %dil
call   1060 <assert@plt>
movq   $0x0,(%r14)
lea    0x20(%rsp),%rbx
mov    %rbx,%rdi
xor    %esi,%esi
call   1040 <randombytes@plt>
xor    %edi,%edi
test   %rax,%rax
setne  %dil
call   1060 <assert@plt>
mov    (%r14),%rax
xor    %edi,%edi
cmp    (%r15),%rax
sete   %dil
call   1060 <assert@plt>
movq   $0x0,(%r14)
mov    0x2e1c(%rip),%rax
mov    (%rax),%esi
add    $0x1,%esi
mov    %rbx,%rdi
call   1040 <randombytes@plt>
xor    %edi,%edi
test   %rax,%rax
setne  %dil
call   1060 <assert@plt>
mov    (%r14),%rax
xor    %edi,%edi
cmp    (%r15),%rax
sete   %dil
call   1060 <assert@plt>
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x20,%edx
call   1030 <memset@plt>
mov    %rsp,%rdi
mov    $0xff,%esi
mov    $0x20,%edx
call   1030 <memset@plt>
mov    $0x20,%ebx
lea    0x40(%rsp),%r15
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movq   $0x0,(%r14)
mov    %r15,%rdi
mov    $0x20,%esi
call   1040 <randombytes@plt>
xor    %edi,%edi
test   %rax,%rax
sete   %dil
call   1060 <assert@plt>
xor    %edi,%edi
cmpq   $0x0,(%r14)
sete   %dil
call   1060 <assert@plt>
mov    %r15,%rdi
mov    $0x20,%esi
call   1050 <dump@plt>
movaps 0x40(%rsp),%xmm0
movaps 0x50(%rsp),%xmm1
movaps 0x20(%rsp),%xmm2
orps   %xmm0,%xmm2
movaps %xmm2,0x20(%rsp)
andps  (%rsp),%xmm0
movaps %xmm0,(%rsp)
movaps 0x30(%rsp),%xmm0
orps   %xmm1,%xmm0
movaps %xmm0,0x30(%rsp)
andps  0x10(%rsp),%xmm1
movaps %xmm1,0x10(%rsp)
add    $0xffffffffffffffff,%rbx
jne    1230 <main+0xf0>
lea    0x20(%rsp),%rdi
mov    $0x20,%esi
call   1050 <dump@plt>
mov    %rsp,%rdi
mov    $0x20,%esi
call   1050 <dump@plt>
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
xor    %edi,%edi
cmpb   $0xff,0x20(%rsp,%rbx,1)
sete   %dil
call   1060 <assert@plt>
xor    %edi,%edi
cmpb   $0x0,(%rsp,%rbx,1)
sete   %dil
call   1060 <assert@plt>
add    $0x1,%rbx
cmp    $0x20,%rbx
jne    12d0 <main+0x190>
xor    %eax,%eax
add    $0x60,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@errno = global i64 0
@EINVAL = global i64 0
@SSIZE_MAX = global i64 0
define i32 @main() {
%1 = alloca i32
%2 = alloca [32 x i8]
%3 = alloca [32 x i8]
%4 = alloca [32 x i8]
%5 = alloca i64
%6 = alloca i64
store i32 0, i32* %1
store i64 0, i64* @errno
%7 = call i64 @randombytes(i8* null, i32 1)
%8 = icmp ne i64 %7, 0
%9 = zext i1 %8 to i32
%10 = call i32 @assert(i32 %9)
%11 = load i64, i64* @errno
%12 = load i64, i64* @EINVAL
%13 = icmp eq i64 %11, %12
%14 = zext i1 %13 to i32
%15 = call i32 @assert(i32 %14)
store i64 0, i64* @errno
%16 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 0
%17 = call i64 @randombytes(i8* %16, i32 0)
%18 = icmp ne i64 %17, 0
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = load i64, i64* @errno
%22 = load i64, i64* @EINVAL
%23 = icmp eq i64 %21, %22
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
store i64 0, i64* @errno
%26 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 0
%27 = load i64, i64* @SSIZE_MAX
%28 = add i64 %27, 1
%29 = trunc i64 %28 to i32
%30 = call i64 @randombytes(i8* %26, i32 %29)
%31 = icmp ne i64 %30, 0
%32 = zext i1 %31 to i32
%33 = call i32 @assert(i32 %32)
%34 = load i64, i64* @errno
%35 = load i64, i64* @EINVAL
%36 = icmp eq i64 %34, %35
%37 = zext i1 %36 to i32
%38 = call i32 @assert(i32 %37)
%39 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 0
%40 = call i32 @memset(i8* %39, i32 0, i32 32)
%41 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 0
%42 = call i32 @memset(i8* %41, i32 255, i32 32)
store i64 0, i64* %5
br label %43
43: ; preds = %86, %0
%44 = load i64, i64* %5
%45 = icmp ult i64 %44, 32
br i1 %45, label %46, label %89
46: ; preds = %43
store i64 0, i64* @errno
%47 = getelementptr inbounds [32 x i8], [32 x i8]* %2, i64 0, i64 0
%48 = call i64 @randombytes(i8* %47, i32 32)
%49 = icmp eq i64 %48, 0
%50 = zext i1 %49 to i32
%51 = call i32 @assert(i32 %50)
%52 = load i64, i64* @errno
%53 = icmp eq i64 %52, 0
%54 = zext i1 %53 to i32
%55 = call i32 @assert(i32 %54)
%56 = getelementptr inbounds [32 x i8], [32 x i8]* %2, i64 0, i64 0
%57 = call i32 @dump(i8* %56, i32 32)
store i64 0, i64* %6
br label %58
58: ; preds = %82, %46
%59 = load i64, i64* %6
%60 = icmp ult i64 %59, 32
br i1 %60, label %61, label %85
61: ; preds = %58
%62 = load i64, i64* %6
%63 = getelementptr inbounds [32 x i8], [32 x i8]* %2, i64 0, i64 %62
%64 = load i8, i8* %63
%65 = zext i8 %64 to i32
%66 = load i64, i64* %6
%67 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 %66
%68 = load i8, i8* %67
%69 = zext i8 %68 to i32
%70 = or i32 %69, %65
%71 = trunc i32 %70 to i8
store i8 %71, i8* %67
%72 = load i64, i64* %6
%73 = getelementptr inbounds [32 x i8], [32 x i8]* %2, i64 0, i64 %72
%74 = load i8, i8* %73
%75 = zext i8 %74 to i32
%76 = load i64, i64* %6
%77 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 %76
%78 = load i8, i8* %77
%79 = zext i8 %78 to i32
%80 = and i32 %79, %75
%81 = trunc i32 %80 to i8
store i8 %81, i8* %77
br label %82
82: ; preds = %61
%83 = load i64, i64* %6
%84 = add i64 %83, 1
store i64 %84, i64* %6
br label %58
85: ; preds = %58
br label %86
86: ; preds = %85
%87 = load i64, i64* %5
%88 = add i64 %87, 1
store i64 %88, i64* %5
br label %43
89: ; preds = %43
%90 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 0
%91 = call i32 @dump(i8* %90, i32 32)
%92 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 0
%93 = call i32 @dump(i8* %92, i32 32)
store i64 0, i64* %5
br label %94
94: ; preds = %112, %89
%95 = load i64, i64* %5
%96 = icmp ult i64 %95, 32
br i1 %96, label %97, label %115
97: ; preds = %94
%98 = load i64, i64* %5
%99 = getelementptr inbounds [32 x i8], [32 x i8]* %3, i64 0, i64 %98
%100 = load i8, i8* %99
%101 = zext i8 %100 to i32
%102 = icmp eq i32 %101, 255
%103 = zext i1 %102 to i32
%104 = call i32 @assert(i32 %103)
%105 = load i64, i64* %5
%106 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 %105
%107 = load i8, i8* %106
%108 = zext i8 %107 to i32
%109 = icmp eq i32 %108, 0
%110 = zext i1 %109 to i32
%111 = call i32 @assert(i32 %110)
br label %112
112: ; preds = %97
%113 = load i64, i64* %5
%114 = add i64 %113, 1
store i64 %114, i64* %5
br label %94
115: ; preds = %94
ret i32 0
}

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