#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 *, unsigned long);
void IncrementRecordSeq(char *msg) {
  if (msg[3] == 0 && (msg[4] == 0 || msg[4] == 1)) {
    unsigned long seq =
        (int)(msg[7] << 24 | msg[8] << 16 | msg[9] << 8 | msg[10]);
    printf(" old seq: %lu\n", seq);
    seq++;
    printf(" new seq: %lu\n", seq);
    msg[7] = (char)(seq >> 24);
    msg[8] = (char)(seq >> 16);
    msg[9] = (char)(seq >> 8);
    msg[10] = (char)seq;
  }
}


x86 assembly (clang, -O0):
<IncrementRecordSeq>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x0,%eax
jne    11f0 <IncrementRecordSeq+0xe0>
mov    -0x8(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x0,%eax
je     114f <IncrementRecordSeq+0x3f>
mov    -0x8(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x1,%eax
jne    11f0 <IncrementRecordSeq+0xe0>
mov    -0x8(%rbp),%rax
movsbl 0x7(%rax),%eax
shl    $0x18,%eax
mov    -0x8(%rbp),%rcx
movsbl 0x8(%rcx),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x8(%rbp),%rcx
movsbl 0x9(%rcx),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    -0x8(%rbp),%rcx
movsbl 0xa(%rcx),%ecx
or     %ecx,%eax
cltq
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rsi
lea    0xe71(%rip),%rdi
call   1030 <printf@plt>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rsi
lea    0xe64(%rip),%rdi
call   1030 <printf@plt>
mov    -0x10(%rbp),%rax
shr    $0x18,%rax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x7(%rax)
mov    -0x10(%rbp),%rax
shr    $0x10,%rax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x8(%rax)
mov    -0x10(%rbp),%rax
shr    $0x8,%rax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0x9(%rax)
mov    -0x10(%rbp),%rax
mov    %al,%cl
mov    -0x8(%rbp),%rax
mov    %cl,0xa(%rax)
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<IncrementRecordSeq>:
push   %r14
push   %rbx
push   %rax
cmpb   $0x0,0x3(%rdi)
jne    1175 <IncrementRecordSeq+0x65>
mov    %rdi,%rbx
cmpb   $0x1,0x4(%rdi)
ja     1175 <IncrementRecordSeq+0x65>
movzbl 0x7(%rbx),%eax
shl    $0x18,%eax
movsbq 0x8(%rbx),%rcx
shl    $0x10,%rcx
cltq
movsbq 0x9(%rbx),%rdx
shl    $0x8,%rdx
or     %rcx,%rdx
or     %rax,%rdx
movsbq 0xa(%rbx),%r14
or     %rdx,%r14
lea    0xead(%rip),%rdi
mov    %r14,%rsi
call   1030 <printf@plt>
add    $0x1,%r14
lea    0xea9(%rip),%rdi
mov    %r14,%rsi
call   1030 <printf@plt>
bswap  %r14d
mov    %r14d,0x7(%rbx)
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@.str = [15 x i8] c" old seq: %lu\0A\00"
@.str.1 = [15 x i8] c" new seq: %lu\0A\00"
define void @IncrementRecordSeq(i8* %0) {
%2 = alloca i8*
%3 = alloca i64
store i8* %0, i8** %2
%4 = load i8*, i8** %2
%5 = getelementptr inbounds i8, i8* %4, i64 3
%6 = load i8, i8* %5
%7 = sext i8 %6 to i32
%8 = icmp eq i32 %7, 0
br i1 %8, label %9, label %70
9: ; preds = %1
%10 = load i8*, i8** %2
%11 = getelementptr inbounds i8, i8* %10, i64 4
%12 = load i8, i8* %11
%13 = sext i8 %12 to i32
%14 = icmp eq i32 %13, 0
br i1 %14, label %21, label %15
15: ; preds = %9
%16 = load i8*, i8** %2
%17 = getelementptr inbounds i8, i8* %16, i64 4
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = icmp eq i32 %19, 1
br i1 %20, label %21, label %70
21: ; preds = %15, %9
%22 = load i8*, i8** %2
%23 = getelementptr inbounds i8, i8* %22, i64 7
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = shl i32 %25, 24
%27 = load i8*, i8** %2
%28 = getelementptr inbounds i8, i8* %27, i64 8
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
%31 = shl i32 %30, 16
%32 = or i32 %26, %31
%33 = load i8*, i8** %2
%34 = getelementptr inbounds i8, i8* %33, i64 9
%35 = load i8, i8* %34
%36 = sext i8 %35 to i32
%37 = shl i32 %36, 8
%38 = or i32 %32, %37
%39 = load i8*, i8** %2
%40 = getelementptr inbounds i8, i8* %39, i64 10
%41 = load i8, i8* %40
%42 = sext i8 %41 to i32
%43 = or i32 %38, %42
%44 = sext i32 %43 to i64
store i64 %44, i64* %3
%45 = load i64, i64* %3
%46 = call i32 @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i64 %45)
%47 = load i64, i64* %3
%48 = add i64 %47, 1
store i64 %48, i64* %3
%49 = load i64, i64* %3
%50 = call i32 @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0), i64 %49)
%51 = load i64, i64* %3
%52 = lshr i64 %51, 24
%53 = trunc i64 %52 to i8
%54 = load i8*, i8** %2
%55 = getelementptr inbounds i8, i8* %54, i64 7
store i8 %53, i8* %55
%56 = load i64, i64* %3
%57 = lshr i64 %56, 16
%58 = trunc i64 %57 to i8
%59 = load i8*, i8** %2
%60 = getelementptr inbounds i8, i8* %59, i64 8
store i8 %58, i8* %60
%61 = load i64, i64* %3
%62 = lshr i64 %61, 8
%63 = trunc i64 %62 to i8
%64 = load i8*, i8** %2
%65 = getelementptr inbounds i8, i8* %64, i64 9
store i8 %63, i8* %65
%66 = load i64, i64* %3
%67 = trunc i64 %66 to i8
%68 = load i8*, i8** %2
%69 = getelementptr inbounds i8, i8* %68, i64 10
store i8 %67, i8* %69
br label %70
70: ; preds = %21, %15, %1
ret void
}

LLVM IR (-O2):
@.str = [15 x i8] c" old seq: %lu\0A\00"
@.str.1 = [15 x i8] c" new seq: %lu\0A\00"
define void @IncrementRecordSeq(i8* nocapture %0) {
%2 = getelementptr inbounds i8, i8* %0, i64 3
%3 = load i8, i8* %2
%4 = icmp eq i8 %3, 0
br i1 %4, label %5, label %39
5: ; preds = %1
%6 = getelementptr inbounds i8, i8* %0, i64 4
%7 = load i8, i8* %6
%8 = icmp ult i8 %7, 2
br i1 %8, label %9, label %39
9: ; preds = %5
%10 = getelementptr inbounds i8, i8* %0, i64 7
%11 = load i8, i8* %10
%12 = zext i8 %11 to i32
%13 = shl nuw i32 %12, 24
%14 = getelementptr inbounds i8, i8* %0, i64 8
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = shl nsw i32 %16, 16
%18 = or i32 %17, %13
%19 = getelementptr inbounds i8, i8* %0, i64 9
%20 = load i8, i8* %19
%21 = sext i8 %20 to i32
%22 = shl nsw i32 %21, 8
%23 = or i32 %18, %22
%24 = getelementptr inbounds i8, i8* %0, i64 10
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = or i32 %23, %26
%28 = sext i32 %27 to i64
%29 = tail call i32 @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str, i64 0, i64 0), i64 %28)
%30 = add nsw i64 %28, 1
%31 = tail call i32 @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0), i64 %30)
%32 = lshr i64 %30, 24
%33 = trunc i64 %32 to i8
store i8 %33, i8* %10
%34 = lshr i64 %30, 16
%35 = trunc i64 %34 to i8
store i8 %35, i8* %14
%36 = lshr i64 %30, 8
%37 = trunc i64 %36 to i8
store i8 %37, i8* %19
%38 = trunc i64 %30 to i8
store i8 %38, i8* %24
br label %39
39: ; preds = %5, %9, %1
ret void
}