#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 uint8_t;

/* Variables and functions */
int /*<<< orphan*/ memcpy(int *const, int const *const, int const);
int /*<<< orphan*/ memset(int *const, int /*<<< orphan*/, int const);
int pkcs7pad(const uint8_t *const message, const int len, const int BK_SIZE,
             uint8_t *const out) {
  const int nsize = (len / BK_SIZE + 1) * BK_SIZE;
  memset(out, 0, nsize);
  memcpy(out, message, len);
  const int pad = nsize - len;
  for (int i = len; i < nsize; i++) {
    out[i] = pad;
  }
  return 0;
}


x86 assembly (clang, -O0):
<pkcs7pad>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    -0xc(%rbp),%eax
cltd
idivl  -0x10(%rbp)
add    $0x1,%eax
imul   -0x10(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rdi
mov    -0x1c(%rbp),%edx
xor    %esi,%esi
call   1030 <memset@plt>
mov    -0x18(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    -0xc(%rbp),%edx
call   1040 <memcpy@plt>
mov    -0x1c(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    119c <pkcs7pad+0x7c>
mov    -0x20(%rbp),%edx
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1174 <pkcs7pad+0x54>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<pkcs7pad>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rcx,%rbx
mov    %edx,%ecx
mov    %esi,%r14d
mov    %rdi,%r15
mov    %esi,%eax
cltd
idiv   %ecx
mov    %eax,%ebp
add    $0x1,%ebp
imul   %ecx,%ebp
mov    %rbx,%rdi
xor    %esi,%esi
mov    %ebp,%edx
call   1030 <memset@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
mov    %r14d,%edx
call   1040 <memcpy@plt>
mov    %ebp,%eax
sub    %r14d,%eax
jle    123c <pkcs7pad+0x11c>
movslq %r14d,%rcx
movslq %ebp,%rdx
mov    %rdx,%r9
sub    %rcx,%r9
cmp    $0x8,%r9
jb     1230 <pkcs7pad+0x110>
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%r8),%rsi
mov    %rsi,%rbp
shr    $0x3,%rbp
add    $0x1,%rbp
mov    %ebp,%r10d
and    $0x3,%r10d
cmp    $0x18,%rsi
jae    11aa <pkcs7pad+0x8a>
xor    %esi,%esi
jmp    11f9 <pkcs7pad+0xd9>
and    $0xfffffffffffffffc,%rbp
lea    (%rbx,%rcx,4),%rdi
add    $0x70,%rdi
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
movdqu %xmm0,-0x70(%rdi,%rsi,4)
movdqu %xmm0,-0x60(%rdi,%rsi,4)
movdqu %xmm0,-0x50(%rdi,%rsi,4)
movdqu %xmm0,-0x40(%rdi,%rsi,4)
movdqu %xmm0,-0x30(%rdi,%rsi,4)
movdqu %xmm0,-0x20(%rdi,%rsi,4)
movdqu %xmm0,-0x10(%rdi,%rsi,4)
movdqu %xmm0,(%rdi,%rsi,4)
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rbp
jne    11c0 <pkcs7pad+0xa0>
test   %r10,%r10
je     1224 <pkcs7pad+0x104>
add    %rcx,%rsi
lea    (%rbx,%rsi,4),%rsi
add    $0x10,%rsi
shl    $0x5,%r10
xor    %edi,%edi
nop
movdqu %xmm0,-0x10(%rsi,%rdi,1)
movdqu %xmm0,(%rsi,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r10
jne    1210 <pkcs7pad+0xf0>
cmp    %r8,%r9
je     123c <pkcs7pad+0x11c>
add    %r8,%rcx
nopl   0x0(%rax)
mov    %eax,(%rbx,%rcx,4)
add    $0x1,%rcx
cmp    %rcx,%rdx
jne    1230 <pkcs7pad+0x110>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @pkcs7pad(i32* %0, i32 %1, i32 %2, i32* %3) {
%5 = sdiv i32 %1, %2
%6 = add nsw i32 %5, 1
%7 = mul nsw i32 %6, %2
%8 = tail call i32 @memset(i32* %3, i32 0, i32 %7)
%9 = tail call i32 @memcpy(i32* %3, i32* %0, i32 %1)
%10 = sub nsw i32 %7, %1
%11 = icmp sgt i32 %7, %1
br i1 %11, label %12, label %78
12: ; preds = %4
%13 = sext i32 %1 to i64
%14 = sext i32 %7 to i64
%15 = sub nsw i64 %14, %13
%16 = icmp ult i64 %15, 8
br i1 %16, label %76, label %17
17: ; preds = %12
%18 = and i64 %15, -8
%19 = add nsw i64 %18, %13
%20 = insertelement <4 x i32> poison, i32 %10, i64 0
%21 = shufflevector <4 x i32> %20, <4 x i32> poison, <4 x i32> zeroinitializer
%22 = insertelement <4 x i32> poison, i32 %10, i64 0
%23 = shufflevector <4 x i32> %22, <4 x i32> poison, <4 x i32> zeroinitializer
%24 = add nsw i64 %18, -8
%25 = lshr exact i64 %24, 3
%26 = add nuw nsw i64 %25, 1
%27 = and i64 %26, 3
%28 = icmp ult i64 %24, 24
br i1 %28, label %60, label %29
29: ; preds = %17
%30 = and i64 %26, 4611686018427387900
br label %31
31: ; preds = %31, %29
%32 = phi i64 [ 0, %29 ], [ %57, %31 ]
%33 = phi i64 [ 0, %29 ], [ %58, %31 ]
%34 = add i64 %32, %13
%35 = getelementptr inbounds i32, i32* %3, i64 %34
%36 = bitcast i32* %35 to <4 x i32>*
store <4 x i32> %21, <4 x i32>* %36
%37 = getelementptr inbounds i32, i32* %35, i64 4
%38 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> %23, <4 x i32>* %38
%39 = or i64 %32, 8
%40 = add i64 %39, %13
%41 = getelementptr inbounds i32, i32* %3, i64 %40
%42 = bitcast i32* %41 to <4 x i32>*
store <4 x i32> %21, <4 x i32>* %42
%43 = getelementptr inbounds i32, i32* %41, i64 4
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %23, <4 x i32>* %44
%45 = or i64 %32, 16
%46 = add i64 %45, %13
%47 = getelementptr inbounds i32, i32* %3, i64 %46
%48 = bitcast i32* %47 to <4 x i32>*
store <4 x i32> %21, <4 x i32>* %48
%49 = getelementptr inbounds i32, i32* %47, i64 4
%50 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> %23, <4 x i32>* %50
%51 = or i64 %32, 24
%52 = add i64 %51, %13
%53 = getelementptr inbounds i32, i32* %3, i64 %52
%54 = bitcast i32* %53 to <4 x i32>*
store <4 x i32> %21, <4 x i32>* %54
%55 = getelementptr inbounds i32, i32* %53, i64 4
%56 = bitcast i32* %55 to <4 x i32>*
store <4 x i32> %23, <4 x i32>* %56
%57 = add nuw i64 %32, 32
%58 = add i64 %33, 4
%59 = icmp eq i64 %58, %30
br i1 %59, label %60, label %31
60: ; preds = %31, %17
%61 = phi i64 [ 0, %17 ], [ %57, %31 ]
%62 = icmp eq i64 %27, 0
br i1 %62, label %74, label %63
63: ; preds = %60, %63
%64 = phi i64 [ %71, %63 ], [ %61, %60 ]
%65 = phi i64 [ %72, %63 ], [ 0, %60 ]
%66 = add i64 %64, %13
%67 = getelementptr inbounds i32, i32* %3, i64 %66
%68 = bitcast i32* %67 to <4 x i32>*
store <4 x i32> %21, <4 x i32>* %68
%69 = getelementptr inbounds i32, i32* %67, i64 4
%70 = bitcast i32* %69 to <4 x i32>*
store <4 x i32> %23, <4 x i32>* %70
%71 = add nuw i64 %64, 8
%72 = add i64 %65, 1
%73 = icmp eq i64 %72, %27
br i1 %73, label %74, label %63
74: ; preds = %63, %60
%75 = icmp eq i64 %15, %18
br i1 %75, label %78, label %76
76: ; preds = %12, %74
%77 = phi i64 [ %13, %12 ], [ %19, %74 ]
br label %79
78: ; preds = %79, %74, %4
ret i32 0
79: ; preds = %76, %79
%80 = phi i64 [ %82, %79 ], [ %77, %76 ]
%81 = getelementptr inbounds i32, i32* %3, i64 %80
store i32 %10, i32* %81
%82 = add nsw i64 %80, 1
%83 = icmp eq i64 %82, %14
br i1 %83, label %78, label %79
}