#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*/ FILE;

/* Variables and functions */
int fread(unsigned char *, int, int, int /*<<< orphan*/ *);
int refill_buffer(FILE *input, unsigned char *b, int b_size,
                  int bytes_remaining) {
  int i = bytes_remaining;
  while (i--)
    b[bytes_remaining - i] = b[b_size - i];
  return fread(b + bytes_remaining, 1, b_size - bytes_remaining, input);
}


x86 assembly (clang, -O0):
<refill_buffer>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x1c(%rbp)
cmp    $0x0,%eax
je     1165 <refill_buffer+0x55>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    112c <refill_buffer+0x1c>
mov    -0x10(%rbp),%rdi
movslq -0x18(%rbp),%rax
add    %rax,%rdi
mov    -0x14(%rbp),%edx
sub    -0x18(%rbp),%edx
mov    -0x8(%rbp),%rcx
mov    $0x1,%esi
call   1030 <fread@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<refill_buffer>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %ecx,%r10d
mov    %rsi,%r13
mov    %rdi,%rcx
test   %r10d,%r10d
je     118f <refill_buffer+0x7f>
movslq %r10d,%r14
movslq %edx,%r8
lea    -0x1(%r10),%r9d
mov    %r14,%r15
cmp    $0x7,%r9d
jb     12af <refill_buffer+0x19f>
lea    0x1(%r13),%rsi
mov    %r8,%rax
sub    %r14,%rax
lea    (%r8,%r9,1),%rdi
sub    %r14,%rdi
add    %r13,%rdi
add    $0x2,%rdi
cmp    %rdi,%rsi
jae    1178 <refill_buffer+0x68>
lea    (%r9,%r13,1),%rsi
add    $0x2,%rsi
lea    (%rax,%r13,1),%rdi
add    $0x1,%rdi
mov    %r14,%r15
cmp    %rsi,%rdi
jb     12af <refill_buffer+0x19f>
movabs $0x1ffffffe0,%r11
cmp    $0x1f,%r9d
jae    1197 <refill_buffer+0x87>
xor    %ebx,%ebx
jmp    125a <refill_buffer+0x14a>
xor    %r14d,%r14d
jmp    134b <refill_buffer+0x23b>
lea    0x1(%r9),%rdi
mov    %rdi,%rbx
and    %r11,%rbx
lea    -0x20(%rbx),%rsi
mov    %rsi,%r12
shr    $0x5,%r12
add    $0x1,%r12
test   %rsi,%rsi
mov    %rdi,-0x8(%rsp)
je     129b <refill_buffer+0x18b>
mov    %r12,%rsi
and    $0xfffffffffffffffe,%rsi
lea    0x31(%r13),%rbp
lea    (%rax,%r13,1),%r15
add    $0x31,%r15
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x30(%r15,%rdi,1),%xmm0
movups -0x20(%r15,%rdi,1),%xmm1
movups %xmm0,-0x30(%rbp,%rdi,1)
movups %xmm1,-0x20(%rbp,%rdi,1)
movups -0x10(%r15,%rdi,1),%xmm0
movups (%r15,%rdi,1),%xmm1
movups %xmm0,-0x10(%rbp,%rdi,1)
movups %xmm1,0x0(%rbp,%rdi,1)
add    $0x40,%rdi
add    $0xfffffffffffffffe,%rsi
jne    11e0 <refill_buffer+0xd0>
test   $0x1,%r12b
je     1246 <refill_buffer+0x136>
mov    %rdi,%rsi
or     $0x1,%rsi
not    %rdi
add    %r14,%rdi
mov    %r8,%rbp
sub    %rdi,%rbp
movups 0x0(%r13,%rbp,1),%xmm0
movups 0x10(%r13,%rbp,1),%xmm1
movups %xmm0,0x0(%r13,%rsi,1)
movups %xmm1,0x10(%r13,%rsi,1)
mov    -0x8(%rsp),%rsi
cmp    %rbx,%rsi
je     134b <refill_buffer+0x23b>
test   $0x18,%sil
je     12a9 <refill_buffer+0x199>
add    $0x1,%r9
add    $0x18,%r11
and    %r9,%r11
mov    %r14,%r15
sub    %r11,%r15
lea    (%rbx,%r13,1),%rsi
add    $0x1,%rsi
sub    %r11,%rbx
cs nopw 0x0(%rax,%rax,1)
mov    (%rsi,%rax,1),%rdi
mov    %rdi,(%rsi)
add    $0x8,%rsi
add    $0x8,%rbx
jne    1280 <refill_buffer+0x170>
cmp    %r11,%r9
jne    12af <refill_buffer+0x19f>
jmp    134b <refill_buffer+0x23b>
xor    %edi,%edi
test   $0x1,%r12b
jne    121b <refill_buffer+0x10b>
jmp    1246 <refill_buffer+0x136>
mov    %r14,%r15
sub    %rbx,%r15
lea    -0x1(%r15),%r9d
test   $0x3,%r15b
je     12f3 <refill_buffer+0x1e3>
mov    %r14,%rsi
sub    %r15,%rsi
add    %r13,%rsi
add    $0x1,%rsi
mov    %r8,%rdi
sub    %r15,%rdi
lea    (%rdi,%r13,1),%rbp
add    $0x1,%rbp
mov    %r15d,%edi
and    $0x3,%edi
xor    %ebx,%ebx
nopl   0x0(%rax)
movzbl 0x0(%rbp,%rbx,1),%eax
mov    %al,(%rsi,%rbx,1)
add    $0x1,%rbx
cmp    %ebx,%edi
jne    12e0 <refill_buffer+0x1d0>
sub    %rbx,%r15
cmp    $0x3,%r9d
jb     134b <refill_buffer+0x23b>
mov    %r14,%rax
sub    %r15,%rax
add    %r13,%rax
add    $0x4,%rax
sub    %r15,%r8
lea    (%r8,%r13,1),%rsi
add    $0x4,%rsi
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl -0x3(%rsi,%rbp,1),%ebx
mov    %bl,-0x3(%rax,%rbp,1)
movzbl -0x2(%rsi,%rbp,1),%ebx
mov    %bl,-0x2(%rax,%rbp,1)
movzbl -0x1(%rsi,%rbp,1),%ebx
mov    %bl,-0x1(%rax,%rbp,1)
movzbl (%rsi,%rbp,1),%ebx
mov    %bl,(%rax,%rbp,1)
add    $0x4,%rbp
cmp    %ebp,%r15d
jne    1320 <refill_buffer+0x210>
add    %r14,%r13
sub    %r10d,%edx
mov    %r13,%rdi
mov    $0x1,%esi
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <fread@plt>

LLVM IR (-O0):
define i32 @refill_buffer(i32* %0, i8* %1, i32 %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%10 = load i32, i32* %8
store i32 %10, i32* %9
br label %11
11: ; preds = %15, %4
%12 = load i32, i32* %9
%13 = add nsw i32 %12, -1
store i32 %13, i32* %9
%14 = icmp ne i32 %12, 0
br i1 %14, label %15, label %29
15: ; preds = %11
%16 = load i8*, i8** %6
%17 = load i32, i32* %7
%18 = load i32, i32* %9
%19 = sub nsw i32 %17, %18
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %16, i64 %20
%22 = load i8, i8* %21
%23 = load i8*, i8** %6
%24 = load i32, i32* %8
%25 = load i32, i32* %9
%26 = sub nsw i32 %24, %25
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i8, i8* %23, i64 %27
store i8 %22, i8* %28
br label %11
29: ; preds = %11
%30 = load i8*, i8** %6
%31 = load i32, i32* %8
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i8, i8* %30, i64 %32
%34 = load i32, i32* %7
%35 = load i32, i32* %8
%36 = sub nsw i32 %34, %35
%37 = load i32*, i32** %5
%38 = call i32 @fread(i8* %33, i32 1, i32 %36, i32* %37)
ret i32 %38
}

LLVM IR (-O2):
define i32 @refill_buffer(i32* nocapture %0, i8* nocapture %1, i32 %2, i32 %3) {
%5 = icmp eq i32 %3, 0
br i1 %5, label %168, label %6
6: ; preds = %4
%7 = sext i32 %3 to i64
%8 = sext i32 %2 to i64
%9 = add i32 %3, -1
%10 = zext i32 %9 to i64
%11 = add nuw nsw i64 %10, 1
%12 = icmp ult i32 %9, 7
br i1 %12, label %120, label %13
13: ; preds = %6
%14 = getelementptr i8, i8* %1, i64 1
%15 = add i32 %3, -1
%16 = zext i32 %15 to i64
%17 = add nuw nsw i64 %16, 2
%18 = getelementptr i8, i8* %1, i64 %17
%19 = add nsw i64 %8, 1
%20 = sub nsw i64 %19, %7
%21 = getelementptr i8, i8* %1, i64 %20
%22 = add nsw i64 %8, %16
%23 = add nsw i64 %22, 2
%24 = sub nsw i64 %23, %7
%25 = getelementptr i8, i8* %1, i64 %24
%26 = icmp ult i8* %14, %25
%27 = icmp ult i8* %21, %18
%28 = and i1 %26, %27
br i1 %28, label %120, label %29
29: ; preds = %13
%30 = icmp ult i32 %9, 31
br i1 %30, label %98, label %31
31: ; preds = %29
%32 = and i64 %11, 8589934560
%33 = add nsw i64 %32, -32
%34 = lshr exact i64 %33, 5
%35 = add nuw nsw i64 %34, 1
%36 = and i64 %35, 1
%37 = icmp eq i64 %33, 0
br i1 %37, label %74, label %38
38: ; preds = %31
%39 = and i64 %35, 1152921504606846974
br label %40
40: ; preds = %40, %38
%41 = phi i64 [ 0, %38 ], [ %71, %40 ]
%42 = phi i64 [ 0, %38 ], [ %72, %40 ]
%43 = or i64 %41, 1
%44 = xor i64 %41, -1
%45 = add i64 %44, %7
%46 = sub nsw i64 %8, %45
%47 = getelementptr inbounds i8, i8* %1, i64 %46
%48 = bitcast i8* %47 to <16 x i8>*
%49 = load <16 x i8>, <16 x i8>* %48
%50 = getelementptr inbounds i8, i8* %47, i64 16
%51 = bitcast i8* %50 to <16 x i8>*
%52 = load <16 x i8>, <16 x i8>* %51
%53 = getelementptr inbounds i8, i8* %1, i64 %43
%54 = bitcast i8* %53 to <16 x i8>*
store <16 x i8> %49, <16 x i8>* %54
%55 = getelementptr inbounds i8, i8* %53, i64 16
%56 = bitcast i8* %55 to <16 x i8>*
store <16 x i8> %52, <16 x i8>* %56
%57 = or i64 %41, 33
%58 = sub nuw nsw i64 -33, %41
%59 = add i64 %58, %7
%60 = sub nsw i64 %8, %59
%61 = getelementptr inbounds i8, i8* %1, i64 %60
%62 = bitcast i8* %61 to <16 x i8>*
%63 = load <16 x i8>, <16 x i8>* %62
%64 = getelementptr inbounds i8, i8* %61, i64 16
%65 = bitcast i8* %64 to <16 x i8>*
%66 = load <16 x i8>, <16 x i8>* %65
%67 = getelementptr inbounds i8, i8* %1, i64 %57
%68 = bitcast i8* %67 to <16 x i8>*
store <16 x i8> %63, <16 x i8>* %68
%69 = getelementptr inbounds i8, i8* %67, i64 16
%70 = bitcast i8* %69 to <16 x i8>*
store <16 x i8> %66, <16 x i8>* %70
%71 = add nuw i64 %41, 64
%72 = add i64 %42, 2
%73 = icmp eq i64 %72, %39
br i1 %73, label %74, label %40
74: ; preds = %40, %31
%75 = phi i64 [ 0, %31 ], [ %71, %40 ]
%76 = icmp eq i64 %36, 0
br i1 %76, label %92, label %77
77: ; preds = %74
%78 = or i64 %75, 1
%79 = xor i64 %75, -1
%80 = add i64 %79, %7
%81 = sub nsw i64 %8, %80
%82 = getelementptr inbounds i8, i8* %1, i64 %81
%83 = bitcast i8* %82 to <16 x i8>*
%84 = load <16 x i8>, <16 x i8>* %83
%85 = getelementptr inbounds i8, i8* %82, i64 16
%86 = bitcast i8* %85 to <16 x i8>*
%87 = load <16 x i8>, <16 x i8>* %86
%88 = getelementptr inbounds i8, i8* %1, i64 %78
%89 = bitcast i8* %88 to <16 x i8>*
store <16 x i8> %84, <16 x i8>* %89
%90 = getelementptr inbounds i8, i8* %88, i64 16
%91 = bitcast i8* %90 to <16 x i8>*
store <16 x i8> %87, <16 x i8>* %91
br label %92
92: ; preds = %74, %77
%93 = icmp eq i64 %11, %32
br i1 %93, label %168, label %94
94: ; preds = %92
%95 = sub nsw i64 %7, %32
%96 = and i64 %11, 24
%97 = icmp eq i64 %96, 0
br i1 %97, label %120, label %98
98: ; preds = %29, %94
%99 = phi i64 [ %32, %94 ], [ 0, %29 ]
%100 = add i32 %3, -1
%101 = zext i32 %100 to i64
%102 = add nuw nsw i64 %101, 1
%103 = and i64 %102, 8589934584
%104 = sub nsw i64 %7, %103
br label %105
105: ; preds = %105, %98
%106 = phi i64 [ %99, %98 ], [ %116, %105 ]
%107 = or i64 %106, 1
%108 = xor i64 %106, -1
%109 = add i64 %108, %7
%110 = sub nsw i64 %8, %109
%111 = getelementptr inbounds i8, i8* %1, i64 %110
%112 = bitcast i8* %111 to <8 x i8>*
%113 = load <8 x i8>, <8 x i8>* %112
%114 = getelementptr inbounds i8, i8* %1, i64 %107
%115 = bitcast i8* %114 to <8 x i8>*
store <8 x i8> %113, <8 x i8>* %115
%116 = add nuw i64 %106, 8
%117 = icmp eq i64 %116, %103
br i1 %117, label %118, label %105
118: ; preds = %105
%119 = icmp eq i64 %102, %103
br i1 %119, label %168, label %120
120: ; preds = %13, %6, %94, %118
%121 = phi i64 [ %7, %6 ], [ %7, %13 ], [ %95, %94 ], [ %104, %118 ]
%122 = trunc i64 %121 to i32
%123 = add i32 %122, -1
%124 = and i32 %122, 3
%125 = icmp eq i32 %124, 0
br i1 %125, label %137, label %126
126: ; preds = %120, %126
%127 = phi i64 [ %129, %126 ], [ %121, %120 ]
%128 = phi i32 [ %135, %126 ], [ 0, %120 ]
%129 = add nsw i64 %127, -1
%130 = sub nsw i64 %8, %129
%131 = getelementptr inbounds i8, i8* %1, i64 %130
%132 = load i8, i8* %131
%133 = sub nsw i64 %7, %129
%134 = getelementptr inbounds i8, i8* %1, i64 %133
store i8 %132, i8* %134
%135 = add i32 %128, 1
%136 = icmp eq i32 %135, %124
br i1 %136, label %137, label %126
137: ; preds = %126, %120
%138 = phi i64 [ %121, %120 ], [ %129, %126 ]
%139 = icmp ult i32 %123, 3
br i1 %139, label %168, label %140
140: ; preds = %137, %140
%141 = phi i64 [ %160, %140 ], [ %138, %137 ]
%142 = add nsw i64 %141, -1
%143 = sub nsw i64 %8, %142
%144 = getelementptr inbounds i8, i8* %1, i64 %143
%145 = load i8, i8* %144
%146 = sub nsw i64 %7, %142
%147 = getelementptr inbounds i8, i8* %1, i64 %146
store i8 %145, i8* %147
%148 = add nsw i64 %141, -2
%149 = sub nsw i64 %8, %148
%150 = getelementptr inbounds i8, i8* %1, i64 %149
%151 = load i8, i8* %150
%152 = sub nsw i64 %7, %148
%153 = getelementptr inbounds i8, i8* %1, i64 %152
store i8 %151, i8* %153
%154 = add nsw i64 %141, -3
%155 = sub nsw i64 %8, %154
%156 = getelementptr inbounds i8, i8* %1, i64 %155
%157 = load i8, i8* %156
%158 = sub nsw i64 %7, %154
%159 = getelementptr inbounds i8, i8* %1, i64 %158
store i8 %157, i8* %159
%160 = add nsw i64 %141, -4
%161 = sub nsw i64 %8, %160
%162 = getelementptr inbounds i8, i8* %1, i64 %161
%163 = load i8, i8* %162
%164 = sub nsw i64 %7, %160
%165 = getelementptr inbounds i8, i8* %1, i64 %164
store i8 %163, i8* %165
%166 = trunc i64 %160 to i32
%167 = icmp eq i32 %166, 0
br i1 %167, label %168, label %140
168: ; preds = %137, %140, %92, %118, %4
%169 = phi i64 [ 0, %4 ], [ %7, %118 ], [ %7, %92 ], [ %7, %140 ], [ %7, %137 ]
%170 = getelementptr inbounds i8, i8* %1, i64 %169
%171 = sub nsw i32 %2, %3
%172 = tail call i32 @fread(i8* %170, i32 1, i32 %171, i32* %0)
ret i32 %172
}