void mark_pages_status(unsigned int base_address, unsigned int range_size,
                       unsigned char is_special) {
  unsigned int base_page, page_count, i;
  unsigned int *pageTable = (unsigned int *)0x700000;
  base_page = base_address >> 12;
  page_count = (range_size >> 12) + ((range_size & 0xFFF) == 0 ? 0 : 1);
  for (i = 0; i < page_count; i++) {
    if (base_page + i < 0xB00)
      continue;
    if (is_special)
      pageTable[base_page + i] |= 0x400;
    else
      pageTable[base_page + i] &= ~((unsigned int)0xE00);
  }
}


x86 assembly (clang, -O0):
<mark_pages_status>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %al,-0x9(%rbp)
mov    $0x700000,%eax
mov    %rax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
shr    $0xc,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%eax
shr    $0xc,%eax
mov    -0x8(%rbp),%esi
and    $0xfff,%esi
mov    $0x1,%ecx
xor    %edx,%edx
cmp    $0x0,%esi
cmove  %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    11bd <mark_pages_status+0xbd>
mov    -0x10(%rbp),%eax
add    -0x18(%rbp),%eax
cmp    $0xb00,%eax
jae    116b <mark_pages_status+0x6b>
jmp    11af <mark_pages_status+0xaf>
cmpb   $0x0,-0x9(%rbp)
je     1192 <mark_pages_status+0x92>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    -0x18(%rbp),%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%edx
or     $0x400,%edx
mov    %edx,(%rax,%rcx,4)
jmp    11aa <mark_pages_status+0xaa>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%ecx
add    -0x18(%rbp),%ecx
mov    %ecx,%ecx
mov    (%rax,%rcx,4),%edx
and    $0xfffff1ff,%edx
mov    %edx,(%rax,%rcx,4)
jmp    11af <mark_pages_status+0xaf>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1149 <mark_pages_status+0x49>
pop    %rbp
ret

x86 assembly (clang, -O2):
<mark_pages_status>:
mov    %esi,%ecx
shr    $0xc,%ecx
xor    %eax,%eax
test   $0xfff,%esi
setne  %al
add    %ecx,%eax
je     1153 <mark_pages_status+0x53>
shr    $0xc,%edi
mov    %eax,%r8d
cmp    $0x1,%eax
jne    1154 <mark_pages_status+0x54>
xor    %eax,%eax
test   $0x1,%r8b
je     1153 <mark_pages_status+0x53>
add    %rdi,%rax
cmp    $0xb00,%rax
jb     1153 <mark_pages_status+0x53>
mov    0x700000(,%rax,4),%ecx
mov    %ecx,%esi
or     $0x400,%esi
and    $0xfffff1ff,%ecx
test   %dl,%dl
cmovne %esi,%ecx
mov    %ecx,0x700000(,%rax,4)
ret
mov    $0x700000,%r9d
mov    %r8d,%r10d
and    $0x1ffffe,%r10d
lea    0x1(%rdi),%rsi
xor    %eax,%eax
jmp    117d <mark_pages_status+0x7d>
nopl   0x0(%rax)
add    $0x2,%rax
add    $0x2,%rsi
cmp    %rax,%r10
je     1121 <mark_pages_status+0x21>
lea    -0x1(%rsi),%rcx
cmp    $0xb00,%rcx
jb     11aa <mark_pages_status+0xaa>
mov    -0x4(%r9,%rsi,4),%ecx
mov    %ecx,%r11d
or     $0x400,%r11d
and    $0xfffff1ff,%ecx
test   %dl,%dl
cmovne %r11d,%ecx
mov    %ecx,-0x4(%r9,%rsi,4)
cmp    $0xb00,%rsi
jb     1170 <mark_pages_status+0x70>
mov    (%r9,%rsi,4),%ecx
mov    %ecx,%r11d
or     $0x400,%r11d
and    $0xfffff1ff,%ecx
test   %dl,%dl
cmovne %r11d,%ecx
mov    %ecx,(%r9,%rsi,4)
jmp    1170 <mark_pages_status+0x70>

LLVM IR (-O0):
define void @mark_pages_status(i32 %0, i32 %1, i8 zeroext %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32*
store i32 %0, i32* %4
store i32 %1, i32* %5
store i8 %2, i8* %6
store i32* inttoptr (i64 7340032 to i32*), i32** %10
%11 = load i32, i32* %4
%12 = lshr i32 %11, 12
store i32 %12, i32* %7
%13 = load i32, i32* %5
%14 = lshr i32 %13, 12
%15 = load i32, i32* %5
%16 = and i32 %15, 4095
%17 = icmp eq i32 %16, 0
%18 = zext i1 %17 to i64
%19 = select i1 %17, i32 0, i32 1
%20 = add i32 %14, %19
store i32 %20, i32* %8
store i32 0, i32* %9
br label %21
21: ; preds = %53, %3
%22 = load i32, i32* %9
%23 = load i32, i32* %8
%24 = icmp ult i32 %22, %23
br i1 %24, label %25, label %56
25: ; preds = %21
%26 = load i32, i32* %7
%27 = load i32, i32* %9
%28 = add i32 %26, %27
%29 = icmp ult i32 %28, 2816
br i1 %29, label %30, label %31
30: ; preds = %25
br label %53
31: ; preds = %25
%32 = load i8, i8* %6
%33 = icmp ne i8 %32, 0
br i1 %33, label %34, label %43
34: ; preds = %31
%35 = load i32*, i32** %10
%36 = load i32, i32* %7
%37 = load i32, i32* %9
%38 = add i32 %36, %37
%39 = zext i32 %38 to i64
%40 = getelementptr inbounds i32, i32* %35, i64 %39
%41 = load i32, i32* %40
%42 = or i32 %41, 1024
store i32 %42, i32* %40
br label %52
43: ; preds = %31
%44 = load i32*, i32** %10
%45 = load i32, i32* %7
%46 = load i32, i32* %9
%47 = add i32 %45, %46
%48 = zext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %44, i64 %48
%50 = load i32, i32* %49
%51 = and i32 %50, -3585
store i32 %51, i32* %49
br label %52
52: ; preds = %43, %34
br label %53
53: ; preds = %52, %30
%54 = load i32, i32* %9
%55 = add i32 %54, 1
store i32 %55, i32* %9
br label %21
56: ; preds = %21
ret void
}

LLVM IR (-O2):
define void @mark_pages_status(i32 %0, i32 %1, i8 zeroext %2) {
%4 = lshr i32 %1, 12
%5 = and i32 %1, 4095
%6 = icmp ne i32 %5, 0
%7 = zext i1 %6 to i32
%8 = add nuw nsw i32 %4, %7
%9 = icmp eq i32 %8, 0
br i1 %9, label %56, label %10
10: ; preds = %3
%11 = lshr i32 %0, 12
%12 = icmp eq i8 %2, 0
%13 = zext i32 %11 to i64
%14 = zext i32 %8 to i64
%15 = and i64 %14, 1
%16 = icmp eq i32 %8, 1
br i1 %16, label %44, label %17
17: ; preds = %10
%18 = and i64 %14, 2097150
br label %19
19: ; preds = %40, %17
%20 = phi i64 [ 0, %17 ], [ %41, %40 ]
%21 = phi i64 [ 0, %17 ], [ %42, %40 ]
%22 = add nuw nsw i64 %20, %13
%23 = icmp ult i64 %22, 2816
br i1 %23, label %30, label %24
24: ; preds = %19
%25 = getelementptr inbounds i32, i32* inttoptr (i64 7340032 to i32*), i64 %22
%26 = load i32, i32* %25
%27 = or i32 %26, 1024
%28 = and i32 %26, -3585
%29 = select i1 %12, i32 %28, i32 %27
store i32 %29, i32* %25
br label %30
30: ; preds = %24, %19
%31 = or i64 %20, 1
%32 = add nuw nsw i64 %31, %13
%33 = icmp ult i64 %32, 2816
br i1 %33, label %40, label %34
34: ; preds = %30
%35 = getelementptr inbounds i32, i32* inttoptr (i64 7340032 to i32*), i64 %32
%36 = load i32, i32* %35
%37 = or i32 %36, 1024
%38 = and i32 %36, -3585
%39 = select i1 %12, i32 %38, i32 %37
store i32 %39, i32* %35
br label %40
40: ; preds = %34, %30
%41 = add nuw nsw i64 %20, 2
%42 = add i64 %21, 2
%43 = icmp eq i64 %42, %18
br i1 %43, label %44, label %19
44: ; preds = %40, %10
%45 = phi i64 [ 0, %10 ], [ %41, %40 ]
%46 = icmp eq i64 %15, 0
br i1 %46, label %56, label %47
47: ; preds = %44
%48 = add nuw nsw i64 %45, %13
%49 = icmp ult i64 %48, 2816
br i1 %49, label %56, label %50
50: ; preds = %47
%51 = getelementptr inbounds i32, i32* inttoptr (i64 7340032 to i32*), i64 %48
%52 = load i32, i32* %51
%53 = or i32 %52, 1024
%54 = and i32 %52, -3585
%55 = select i1 %12, i32 %54, i32 %53
store i32 %55, i32* %51
br label %56
56: ; preds = %44, %50, %47, %3
ret void
}