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

/* Variables and functions */
__attribute__((always_)) void uvisor_write(uint32_t addr, uint32_t val,
                                           uint32_t op, uint32_t mask) {
  switch (op) {
  case ((1 << 4) | (0x0)):
    *((uint32_t *)addr) = val;
  case ((1 << 4) | (0x1)):
    *((uint32_t *)addr) &= val | ~mask;
  case ((1 << 4) | (0x2)):
    *((uint32_t *)addr) |= val & mask;
  case ((1 << 4) | (0x3)):
    *((uint32_t *)addr) ^= val & mask;
  default:
    return;
  }
}


x86 assembly (clang, -O0):
<uvisor_write>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
add    $0xfffffff0,%eax
mov    %eax,%ecx
mov    %rcx,-0x18(%rbp)
sub    $0x3,%eax
ja     1171 <uvisor_write+0x71>
mov    -0x18(%rbp),%rax
lea    0xed0(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x8(%rbp),%ecx
movslq -0x4(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%ecx
mov    -0x10(%rbp),%eax
xor    $0xffffffff,%eax
or     %eax,%ecx
movslq -0x4(%rbp),%rax
and    (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%ecx
and    -0x10(%rbp),%ecx
movslq -0x4(%rbp),%rax
or     (%rax),%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%ecx
and    -0x10(%rbp),%ecx
movslq -0x4(%rbp),%rax
xor    (%rax),%ecx
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<uvisor_write>:
add    $0xfffffff0,%edx
cmp    $0x3,%edx
ja     113c <uvisor_write+0x3c>
lea    0xef1(%rip),%rax
movslq (%rax,%rdx,4),%rdx
add    %rax,%rdx
jmp    *%rdx
movslq %edi,%rax
mov    %esi,(%rax)
jmp    1122 <uvisor_write+0x22>
movslq %edi,%rax
mov    %ecx,%edx
not    %edx
or     %esi,%edx
and    %edx,(%rax)
jmp    112f <uvisor_write+0x2f>
movslq %edi,%rax
and    %esi,%ecx
or     %ecx,(%rax)
jmp    113a <uvisor_write+0x3a>
and    %esi,%ecx
movslq %edi,%rax
xor    %ecx,(%rax)
ret

LLVM IR (-O0):
define void @uvisor_write(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%9 = load i32, i32* %7
switch i32 %9, label %43 [
i32 16, label %10
i32 17, label %15
i32 18, label %25
i32 19, label %34
]
10: ; preds = %4
%11 = load i32, i32* %6
%12 = load i32, i32* %5
%13 = sext i32 %12 to i64
%14 = inttoptr i64 %13 to i32*
store i32 %11, i32* %14
br label %15
15: ; preds = %4, %10
%16 = load i32, i32* %6
%17 = load i32, i32* %8
%18 = xor i32 %17, -1
%19 = or i32 %16, %18
%20 = load i32, i32* %5
%21 = sext i32 %20 to i64
%22 = inttoptr i64 %21 to i32*
%23 = load i32, i32* %22
%24 = and i32 %23, %19
store i32 %24, i32* %22
br label %25
25: ; preds = %4, %15
%26 = load i32, i32* %6
%27 = load i32, i32* %8
%28 = and i32 %26, %27
%29 = load i32, i32* %5
%30 = sext i32 %29 to i64
%31 = inttoptr i64 %30 to i32*
%32 = load i32, i32* %31
%33 = or i32 %32, %28
store i32 %33, i32* %31
br label %34
34: ; preds = %4, %25
%35 = load i32, i32* %6
%36 = load i32, i32* %8
%37 = and i32 %35, %36
%38 = load i32, i32* %5
%39 = sext i32 %38 to i64
%40 = inttoptr i64 %39 to i32*
%41 = load i32, i32* %40
%42 = xor i32 %41, %37
store i32 %42, i32* %40
br label %43
43: ; preds = %4, %34
ret void
}

LLVM IR (-O2):
define void @uvisor_write(i32 %0, i32 %1, i32 %2, i32 %3) {
switch i32 %2, label %34 [
i32 16, label %15
i32 17, label %5
i32 18, label %8
i32 19, label %11
]
5: ; preds = %4
%6 = sext i32 %0 to i64
%7 = inttoptr i64 %6 to i32*
br label %18
8: ; preds = %4
%9 = sext i32 %0 to i64
%10 = inttoptr i64 %9 to i32*
br label %24
11: ; preds = %4
%12 = and i32 %3, %1
%13 = sext i32 %0 to i64
%14 = inttoptr i64 %13 to i32*
br label %29
15: ; preds = %4
%16 = sext i32 %0 to i64
%17 = inttoptr i64 %16 to i32*
store i32 %1, i32* %17
br label %18
18: ; preds = %5, %15
%19 = phi i32* [ %7, %5 ], [ %17, %15 ]
%20 = xor i32 %3, -1
%21 = or i32 %20, %1
%22 = load i32, i32* %19
%23 = and i32 %22, %21
store i32 %23, i32* %19
br label %24
24: ; preds = %8, %18
%25 = phi i32* [ %10, %8 ], [ %19, %18 ]
%26 = and i32 %3, %1
%27 = load i32, i32* %25
%28 = or i32 %27, %26
store i32 %28, i32* %25
br label %29
29: ; preds = %11, %24
%30 = phi i32* [ %14, %11 ], [ %25, %24 ]
%31 = phi i32 [ %12, %11 ], [ %26, %24 ]
%32 = load i32, i32* %30
%33 = xor i32 %32, %31
store i32 %33, i32* %30
br label %34
34: ; preds = %4, %29
ret void
}