#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 */
int /*<<< orphan*/ printf(char *, char *);
void bufwrite(char *p, int n) {
  static char buffer[1024];
  static char *bufptr = &buffer[0];
  while (--n >= 0) {
    if (bufptr == &buffer[1024]) {
    }
    *bufptr++ = *p++;
  }
  printf("buffer:%s\n", &buffer[0]);
}


x86 assembly (clang, -O0):
<bufwrite>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmp    $0x0,%eax
jl     117d <bufwrite+0x6d>
lea    0x2f08(%rip),%rax
add    $0x400,%rax
cmp    %rax,0x2ee3(%rip)
jne    1150 <bufwrite+0x40>
jmp    1150 <bufwrite+0x40>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    0x2ec0(%rip),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,0x2eb2(%rip)
mov    %cl,(%rax)
jmp    111f <bufwrite+0xf>
lea    0xe7c(%rip),%rdi
lea    0x2eb5(%rip),%rsi
call   1030 <printf@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bufwrite>:
test   %esi,%esi
jle    124c <bufwrite+0x13c>
mov    0x2f09(%rip),%rax
lea    -0x1(%rsi),%r9d
cmp    $0x1f,%r9d
jb     122b <bufwrite+0x11b>
lea    (%rdi,%r9,1),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jae    114b <bufwrite+0x3b>
lea    (%rax,%r9,1),%rcx
add    $0x1,%rcx
cmp    %rdi,%rcx
ja     122b <bufwrite+0x11b>
add    $0x1,%r9
mov    %r9,%r8
and    $0xffffffffffffffe0,%r8
lea    -0x20(%r8),%rcx
mov    %rcx,%rdx
shr    $0x5,%rdx
add    $0x1,%rdx
mov    %edx,%r10d
and    $0x3,%r10d
cmp    $0x60,%rcx
jae    1176 <bufwrite+0x66>
xor    %ecx,%ecx
jmp    11d8 <bufwrite+0xc8>
and    $0xfffffffffffffffc,%rdx
xor    %ecx,%ecx
nopl   0x0(%rax)
movups (%rdi,%rcx,1),%xmm0
movups 0x10(%rdi,%rcx,1),%xmm1
movups %xmm0,(%rax,%rcx,1)
movups %xmm1,0x10(%rax,%rcx,1)
movups 0x20(%rdi,%rcx,1),%xmm0
movups 0x30(%rdi,%rcx,1),%xmm1
movups %xmm0,0x20(%rax,%rcx,1)
movups %xmm1,0x30(%rax,%rcx,1)
movups 0x40(%rdi,%rcx,1),%xmm0
movups 0x50(%rdi,%rcx,1),%xmm1
movups %xmm0,0x40(%rax,%rcx,1)
movups %xmm1,0x50(%rax,%rcx,1)
movups 0x60(%rdi,%rcx,1),%xmm0
movups 0x70(%rdi,%rcx,1),%xmm1
movups %xmm0,0x60(%rax,%rcx,1)
movups %xmm1,0x70(%rax,%rcx,1)
sub    $0xffffffffffffff80,%rcx
add    $0xfffffffffffffffc,%rdx
jne    1180 <bufwrite+0x70>
test   %r10,%r10
je     121d <bufwrite+0x10d>
lea    (%rax,%rcx,1),%r11
add    $0x10,%r11
add    %rdi,%rcx
add    $0x10,%rcx
shl    $0x5,%r10
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups -0x10(%rcx,%rdx,1),%xmm0
movups (%rcx,%rdx,1),%xmm1
movups %xmm0,-0x10(%r11,%rdx,1)
movups %xmm1,(%r11,%rdx,1)
add    $0x20,%rdx
cmp    %rdx,%r10
jne    1200 <bufwrite+0xf0>
add    %r8,%rax
cmp    %r8,%r9
je     1245 <bufwrite+0x135>
sub    %r8d,%esi
add    %r8,%rdi
add    $0x1,%esi
xchg   %ax,%ax
movzbl (%rdi),%ecx
add    $0x1,%rdi
mov    %cl,(%rax)
add    $0x1,%rax
add    $0xffffffff,%esi
cmp    $0x1,%esi
ja     1230 <bufwrite+0x120>
mov    %rax,0x2ddc(%rip)
lea    0xdad(%rip),%rdi
lea    0x2de6(%rip),%rsi
jmp    1030 <printf@plt>

LLVM IR (-O0):
@bufwrite.buffer = internal global [1024 x i8] zeroinitializer
@bufwrite.bufptr = internal global i8* getelementptr inbounds ([1024 x i8], [1024 x i8]* @bufwrite.buffer, i32 0, i32 0)
@.str = [11 x i8] c"buffer:%s\0A\00"
define void @bufwrite(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
store i8* %0, i8** %3
store i32 %1, i32* %4
br label %5
5: ; preds = %13, %2
%6 = load i32, i32* %4
%7 = add nsw i32 %6, -1
store i32 %7, i32* %4
%8 = icmp sge i32 %7, 0
br i1 %8, label %9, label %19
9: ; preds = %5
%10 = load i8*, i8** @bufwrite.bufptr
%11 = icmp eq i8* %10, getelementptr inbounds ([1024 x i8], [1024 x i8]* @bufwrite.buffer, i64 1, i64 0)
br i1 %11, label %12, label %13
12: ; preds = %9
br label %13
13: ; preds = %12, %9
%14 = load i8*, i8** %3
%15 = getelementptr inbounds i8, i8* %14, i32 1
store i8* %15, i8** %3
%16 = load i8, i8* %14
%17 = load i8*, i8** @bufwrite.bufptr
%18 = getelementptr inbounds i8, i8* %17, i32 1
store i8* %18, i8** @bufwrite.bufptr
store i8 %16, i8* %17
br label %5
19: ; preds = %5
%20 = call i32 @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([1024 x i8], [1024 x i8]* @bufwrite.buffer, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@bufwrite.buffer = internal global [1024 x i8] zeroinitializer
@bufwrite.bufptr = internal unnamed_addr global i8* getelementptr inbounds ([1024 x i8], [1024 x i8]* @bufwrite.buffer, i64 0, i64 0)
@.str = [11 x i8] c"buffer:%s\0A\00"
define void @bufwrite(i8* nocapture %0, i32 %1) {
%3 = icmp sgt i32 %1, 0
br i1 %3, label %4, label %117
4: ; preds = %2
%5 = load i8*, i8** @bufwrite.bufptr
%6 = add i32 %1, -1
%7 = zext i32 %6 to i64
%8 = add nuw nsw i64 %7, 1
%9 = icmp ult i32 %6, 31
br i1 %9, label %102, label %10
10: ; preds = %4
%11 = add i32 %1, -1
%12 = zext i32 %11 to i64
%13 = add nuw nsw i64 %12, 1
%14 = getelementptr i8, i8* %5, i64 %13
%15 = getelementptr i8, i8* %0, i64 %13
%16 = icmp ult i8* %5, %15
%17 = icmp ugt i8* %14, %0
%18 = and i1 %16, %17
br i1 %18, label %102, label %19
19: ; preds = %10
%20 = and i64 %8, 8589934560
%21 = trunc i64 %20 to i32
%22 = sub i32 %1, %21
%23 = getelementptr i8, i8* %0, i64 %20
%24 = getelementptr i8, i8* %5, i64 %20
%25 = add nsw i64 %20, -32
%26 = lshr exact i64 %25, 5
%27 = add nuw nsw i64 %26, 1
%28 = and i64 %27, 3
%29 = icmp ult i64 %25, 96
br i1 %29, label %81, label %30
30: ; preds = %19
%31 = and i64 %27, 1152921504606846972
br label %32
32: ; preds = %32, %30
%33 = phi i64 [ 0, %30 ], [ %78, %32 ]
%34 = phi i64 [ 0, %30 ], [ %79, %32 ]
%35 = getelementptr i8, i8* %0, i64 %33
%36 = getelementptr i8, i8* %5, i64 %33
%37 = bitcast i8* %35 to <16 x i8>*
%38 = load <16 x i8>, <16 x i8>* %37
%39 = getelementptr i8, i8* %35, i64 16
%40 = bitcast i8* %39 to <16 x i8>*
%41 = load <16 x i8>, <16 x i8>* %40
%42 = bitcast i8* %36 to <16 x i8>*
store <16 x i8> %38, <16 x i8>* %42
%43 = getelementptr i8, i8* %36, i64 16
%44 = bitcast i8* %43 to <16 x i8>*
store <16 x i8> %41, <16 x i8>* %44
%45 = or i64 %33, 32
%46 = getelementptr i8, i8* %0, i64 %45
%47 = getelementptr i8, i8* %5, i64 %45
%48 = bitcast i8* %46 to <16 x i8>*
%49 = load <16 x i8>, <16 x i8>* %48
%50 = getelementptr i8, i8* %46, i64 16
%51 = bitcast i8* %50 to <16 x i8>*
%52 = load <16 x i8>, <16 x i8>* %51
%53 = bitcast i8* %47 to <16 x i8>*
store <16 x i8> %49, <16 x i8>* %53
%54 = getelementptr i8, i8* %47, i64 16
%55 = bitcast i8* %54 to <16 x i8>*
store <16 x i8> %52, <16 x i8>* %55
%56 = or i64 %33, 64
%57 = getelementptr i8, i8* %0, i64 %56
%58 = getelementptr i8, i8* %5, i64 %56
%59 = bitcast i8* %57 to <16 x i8>*
%60 = load <16 x i8>, <16 x i8>* %59
%61 = getelementptr i8, i8* %57, i64 16
%62 = bitcast i8* %61 to <16 x i8>*
%63 = load <16 x i8>, <16 x i8>* %62
%64 = bitcast i8* %58 to <16 x i8>*
store <16 x i8> %60, <16 x i8>* %64
%65 = getelementptr i8, i8* %58, i64 16
%66 = bitcast i8* %65 to <16 x i8>*
store <16 x i8> %63, <16 x i8>* %66
%67 = or i64 %33, 96
%68 = getelementptr i8, i8* %0, i64 %67
%69 = getelementptr i8, i8* %5, i64 %67
%70 = bitcast i8* %68 to <16 x i8>*
%71 = load <16 x i8>, <16 x i8>* %70
%72 = getelementptr i8, i8* %68, i64 16
%73 = bitcast i8* %72 to <16 x i8>*
%74 = load <16 x i8>, <16 x i8>* %73
%75 = bitcast i8* %69 to <16 x i8>*
store <16 x i8> %71, <16 x i8>* %75
%76 = getelementptr i8, i8* %69, i64 16
%77 = bitcast i8* %76 to <16 x i8>*
store <16 x i8> %74, <16 x i8>* %77
%78 = add nuw i64 %33, 128
%79 = add i64 %34, 4
%80 = icmp eq i64 %79, %31
br i1 %80, label %81, label %32
81: ; preds = %32, %19
%82 = phi i64 [ 0, %19 ], [ %78, %32 ]
%83 = icmp eq i64 %28, 0
br i1 %83, label %100, label %84
84: ; preds = %81, %84
%85 = phi i64 [ %97, %84 ], [ %82, %81 ]
%86 = phi i64 [ %98, %84 ], [ 0, %81 ]
%87 = getelementptr i8, i8* %0, i64 %85
%88 = getelementptr i8, i8* %5, i64 %85
%89 = bitcast i8* %87 to <16 x i8>*
%90 = load <16 x i8>, <16 x i8>* %89
%91 = getelementptr i8, i8* %87, i64 16
%92 = bitcast i8* %91 to <16 x i8>*
%93 = load <16 x i8>, <16 x i8>* %92
%94 = bitcast i8* %88 to <16 x i8>*
store <16 x i8> %90, <16 x i8>* %94
%95 = getelementptr i8, i8* %88, i64 16
%96 = bitcast i8* %95 to <16 x i8>*
store <16 x i8> %93, <16 x i8>* %96
%97 = add nuw i64 %85, 32
%98 = add i64 %86, 1
%99 = icmp eq i64 %98, %28
br i1 %99, label %100, label %84
100: ; preds = %84, %81
%101 = icmp eq i64 %8, %20
br i1 %101, label %115, label %102
102: ; preds = %10, %4, %100
%103 = phi i32 [ %1, %10 ], [ %1, %4 ], [ %22, %100 ]
%104 = phi i8* [ %0, %10 ], [ %0, %4 ], [ %23, %100 ]
%105 = phi i8* [ %5, %10 ], [ %5, %4 ], [ %24, %100 ]
br label %106
106: ; preds = %102, %106
%107 = phi i32 [ %110, %106 ], [ %103, %102 ]
%108 = phi i8* [ %111, %106 ], [ %104, %102 ]
%109 = phi i8* [ %113, %106 ], [ %105, %102 ]
%110 = add nsw i32 %107, -1
%111 = getelementptr inbounds i8, i8* %108, i64 1
%112 = load i8, i8* %108
%113 = getelementptr inbounds i8, i8* %109, i64 1
store i8 %112, i8* %109
%114 = icmp ugt i32 %107, 1
br i1 %114, label %106, label %115
115: ; preds = %106, %100
%116 = phi i8* [ %24, %100 ], [ %113, %106 ]
store i8* %116, i8** @bufwrite.bufptr
br label %117
117: ; preds = %115, %2
%118 = tail call i32 @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([1024 x i8], [1024 x i8]* @bufwrite.buffer, i64 0, i64 0))
ret void
}