#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_)) uint32_t uvisor_read(uint32_t addr, uint32_t op,
                                              uint32_t mask) {
  switch (op) {
  case (0x0):
    return *((uint32_t *)addr);
  case (0x1):
    return *((uint32_t *)addr) & mask;
  case (0x2):
    return *((uint32_t *)addr) | mask;
  case (0x3):
    return *((uint32_t *)addr) ^ mask;
  default:
    return 0;
  }
}


x86 assembly (clang, -O0):
<uvisor_read>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    %rax,-0x18(%rbp)
sub    $0x3,%rax
ja     1173 <uvisor_read+0x73>
mov    -0x18(%rbp),%rax
lea    0xed7(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movslq -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    117a <uvisor_read+0x7a>
movslq -0x8(%rbp),%rax
mov    (%rax),%eax
and    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    117a <uvisor_read+0x7a>
movslq -0x8(%rbp),%rax
mov    (%rax),%eax
or     -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    117a <uvisor_read+0x7a>
movslq -0x8(%rbp),%rax
mov    (%rax),%eax
xor    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    117a <uvisor_read+0x7a>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<uvisor_read>:
cmp    $0x3,%esi
ja     111f <uvisor_read+0x1f>
mov    %edx,%eax
mov    %esi,%ecx
lea    0xef0(%rip),%rdx
movslq (%rdx,%rcx,4),%rcx
add    %rdx,%rcx
jmp    *%rcx
movslq %edi,%rax
mov    (%rax),%eax
ret
xor    %eax,%eax
ret
movslq %edi,%rcx
and    (%rcx),%eax
ret
movslq %edi,%rcx
or     (%rcx),%eax
ret
movslq %edi,%rcx
xor    (%rcx),%eax
ret

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

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