#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*/ v;
typedef scalar_t__ uint64_t;

/* Variables and functions */
int /*<<< orphan*/ verify_pattern(void *, size_t, scalar_t__);
void generate_pattern(void *buf, size_t len, uint64_t offset) {
  uint64_t *v = buf;
  size_t i;
  for (i = 0; i < len / sizeof(v); i++)
    v[i] = i * sizeof(v) + offset;
  verify_pattern(buf, len, offset);
}


x86 assembly (clang, -O0):
<generate_pattern>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
shr    $0x3,%rcx
cmp    %rcx,%rax
jae    1172 <generate_pattern+0x62>
mov    -0x28(%rbp),%rdx
shl    $0x3,%rdx
add    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1134 <generate_pattern+0x24>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1030 <verify_pattern@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<generate_pattern>:
cmp    $0x8,%rsi
jb     1231 <generate_pattern+0x121>
mov    %rsi,%r9
shr    $0x3,%r9
cmp    $0x20,%rsi
jae    112e <generate_pattern+0x1e>
xor    %ecx,%ecx
jmp    1215 <generate_pattern+0x105>
mov    %r9,%rcx
and    $0xfffffffffffffffc,%rcx
movq   %rdx,%xmm0
pshufd $0x44,%xmm0,%xmm0
lea    -0x4(%rcx),%rax
mov    %rax,%r8
shr    $0x2,%r8
add    $0x1,%r8
test   %rax,%rax
je     1236 <generate_pattern+0x126>
mov    %r8,%r10
and    $0xfffffffffffffffe,%r10
lea    0x10(%rdx),%rax
movq   %rax,%xmm1
pshufd $0x44,%xmm1,%xmm2
movdqa 0xe9c(%rip),%xmm1
xor    %r11d,%r11d
movdqa 0xea1(%rip),%xmm3
movdqa 0xea9(%rip),%xmm4
nopw   0x0(%rax,%rax,1)
movdqa %xmm1,%xmm5
psllq  $0x3,%xmm5
movdqa %xmm5,%xmm6
paddq  %xmm0,%xmm6
movdqa %xmm2,%xmm7
paddq  %xmm5,%xmm7
movdqu %xmm6,(%rdi,%r11,8)
movdqu %xmm7,0x10(%rdi,%r11,8)
paddq  %xmm3,%xmm5
movdqa %xmm2,%xmm6
paddq  %xmm5,%xmm6
paddq  %xmm0,%xmm5
movdqu %xmm5,0x20(%rdi,%r11,8)
movdqu %xmm6,0x30(%rdi,%r11,8)
add    $0x8,%r11
paddq  %xmm4,%xmm1
add    $0xfffffffffffffffe,%r10
jne    1190 <generate_pattern+0x80>
psllq  $0x3,%xmm1
test   $0x1,%r8b
je     1210 <generate_pattern+0x100>
paddq  %xmm1,%xmm0
lea    0x10(%rdx),%rax
movq   %rax,%xmm2
pshufd $0x44,%xmm2,%xmm2
paddq  %xmm1,%xmm2
movdqu %xmm0,(%rdi,%r11,8)
movdqu %xmm2,0x10(%rdi,%r11,8)
cmp    %rcx,%r9
je     1231 <generate_pattern+0x121>
lea    (%rdx,%rcx,8),%rax
nopl   0x0(%rax)
mov    %rax,(%rdi,%rcx,8)
add    $0x1,%rcx
add    $0x8,%rax
cmp    %rcx,%r9
jne    1220 <generate_pattern+0x110>
jmp    1030 <verify_pattern@plt>
movdqa 0xdc2(%rip),%xmm1
xor    %r11d,%r11d
test   $0x1,%r8b
jne    11ed <generate_pattern+0xdd>
jmp    1210 <generate_pattern+0x100>

LLVM IR (-O0):
define void @generate_pattern(i8* %0, i64 %1, i64 %2) {
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64*
%8 = alloca i64
store i8* %0, i8** %4
store i64 %1, i64* %5
store i64 %2, i64* %6
%9 = load i8*, i8** %4
%10 = bitcast i8* %9 to i64*
store i64* %10, i64** %7
store i64 0, i64* %8
br label %11
11: ; preds = %24, %3
%12 = load i64, i64* %8
%13 = load i64, i64* %5
%14 = udiv i64 %13, 8
%15 = icmp ult i64 %12, %14
br i1 %15, label %16, label %27
16: ; preds = %11
%17 = load i64, i64* %8
%18 = mul i64 %17, 8
%19 = load i64, i64* %6
%20 = add i64 %18, %19
%21 = load i64*, i64** %7
%22 = load i64, i64* %8
%23 = getelementptr inbounds i64, i64* %21, i64 %22
store i64 %20, i64* %23
br label %24
24: ; preds = %16
%25 = load i64, i64* %8
%26 = add i64 %25, 1
store i64 %26, i64* %8
br label %11
27: ; preds = %11
%28 = load i8*, i8** %4
%29 = load i64, i64* %5
%30 = load i64, i64* %6
%31 = call i32 @verify_pattern(i8* %28, i64 %29, i64 %30)
ret void
}

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