#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*/ DEBUG_ASSERT(int);
unsigned long uDMAIntStatus(void) {
  DEBUG_ASSERT(!((((*((volatile unsigned long *)(0x400FE000))) & 0x70000000) ==
                  0x00000000) ||
                 (((*((volatile unsigned long *)(0x400FE000))) &
                   (0x70000000 | 0x00FF0000)) == (0x10000000 | 0x00000000))));
  DEBUG_ASSERT(!(((*((volatile unsigned long *)(0x400FE000))) &
                  (0x70000000 | 0x00FF0000)) == (0x10000000 | 0x00010000)));
  DEBUG_ASSERT(!(((*((volatile unsigned long *)(0x400FE000))) &
                  (0x70000000 | 0x00FF0000)) == (0x10000000 | 0x00030000)));
  DEBUG_ASSERT(!(((*((volatile unsigned long *)(0x400FE000))) &
                  (0x70000000 | 0x00FF0000)) == (0x10000000 | 0x00040000)));
  return ((*((volatile unsigned long *)(0x400FF504))));
}


x86 assembly (clang, -O0):
<uDMAIntStatus>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    $0x400fe000,%eax
mov    (%rax),%rcx
and    $0x70000000,%rcx
mov    $0x1,%al
cmp    $0x0,%rcx
mov    %al,-0x1(%rbp)
je     1150 <uDMAIntStatus+0x40>
mov    $0x400fe000,%eax
mov    (%rax),%rax
and    $0x70ff0000,%rax
cmp    $0x10000000,%rax
sete   %al
mov    %al,-0x1(%rbp)
mov    -0x1(%rbp),%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    $0x400fe000,%eax
mov    (%rax),%rax
and    $0x70ff0000,%rax
cmp    $0x10010000,%rax
sete   %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    $0x400fe000,%eax
mov    (%rax),%rax
and    $0x70ff0000,%rax
cmp    $0x10030000,%rax
sete   %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    $0x400fe000,%eax
mov    (%rax),%rax
and    $0x70ff0000,%rax
cmp    $0x10040000,%rax
sete   %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    $0x400ff504,%eax
mov    (%rax),%rax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<uDMAIntStatus>:
push   %rax
testq  $0x70000000,0x400fe000
je     1139 <uDMAIntStatus+0x29>
mov    0x400fe000,%rax
40
and    $0x70ff0000,%eax
xor    %edi,%edi
cmp    $0x10000000,%eax
setne  %dil
jmp    113b <uDMAIntStatus+0x2b>
xor    %edi,%edi
call   1030 <DEBUG_ASSERT@plt>
mov    0x400fe000,%rax
40
and    $0x70ff0000,%eax
xor    %edi,%edi
cmp    $0x10010000,%eax
setne  %dil
call   1030 <DEBUG_ASSERT@plt>
mov    0x400fe000,%rax
40
and    $0x70ff0000,%eax
xor    %edi,%edi
cmp    $0x10030000,%eax
setne  %dil
call   1030 <DEBUG_ASSERT@plt>
mov    0x400fe000,%rax
40
and    $0x70ff0000,%eax
xor    %edi,%edi
cmp    $0x10040000,%eax
setne  %dil
call   1030 <DEBUG_ASSERT@plt>
mov    0x400ff504,%rax
40
pop    %rcx
ret

LLVM IR (-O0):
define i64 @uDMAIntStatus() {
%1 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%2 = and i64 %1, 1879048192
%3 = icmp eq i64 %2, 0
br i1 %3, label %8, label %4
4: ; preds = %0
%5 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%6 = and i64 %5, 1895759872
%7 = icmp eq i64 %6, 268435456
br label %8
8: ; preds = %4, %0
%9 = phi i1 [ true, %0 ], [ %7, %4 ]
%10 = xor i1 %9, true
%11 = zext i1 %10 to i32
%12 = call i32 @DEBUG_ASSERT(i32 %11)
%13 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%14 = and i64 %13, 1895759872
%15 = icmp eq i64 %14, 268500992
%16 = xor i1 %15, true
%17 = zext i1 %16 to i32
%18 = call i32 @DEBUG_ASSERT(i32 %17)
%19 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%20 = and i64 %19, 1895759872
%21 = icmp eq i64 %20, 268632064
%22 = xor i1 %21, true
%23 = zext i1 %22 to i32
%24 = call i32 @DEBUG_ASSERT(i32 %23)
%25 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%26 = and i64 %25, 1895759872
%27 = icmp eq i64 %26, 268697600
%28 = xor i1 %27, true
%29 = zext i1 %28 to i32
%30 = call i32 @DEBUG_ASSERT(i32 %29)
%31 = load volatile i64, i64* inttoptr (i64 1074787588 to i64*)
ret i64 %31
}

LLVM IR (-O2):
define i64 @uDMAIntStatus() {
%1 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%2 = and i64 %1, 1879048192
%3 = icmp eq i64 %2, 0
br i1 %3, label %9, label %4
4: ; preds = %0
%5 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%6 = and i64 %5, 1895759872
%7 = icmp ne i64 %6, 268435456
%8 = zext i1 %7 to i32
br label %9
9: ; preds = %4, %0
%10 = phi i32 [ 0, %0 ], [ %8, %4 ]
%11 = tail call i32 @DEBUG_ASSERT(i32 %10)
%12 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%13 = and i64 %12, 1895759872
%14 = icmp ne i64 %13, 268500992
%15 = zext i1 %14 to i32
%16 = tail call i32 @DEBUG_ASSERT(i32 %15)
%17 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%18 = and i64 %17, 1895759872
%19 = icmp ne i64 %18, 268632064
%20 = zext i1 %19 to i32
%21 = tail call i32 @DEBUG_ASSERT(i32 %20)
%22 = load volatile i64, i64* inttoptr (i64 1074782208 to i64*)
%23 = and i64 %22, 1895759872
%24 = icmp ne i64 %23, 268697600
%25 = zext i1 %24 to i32
%26 = tail call i32 @DEBUG_ASSERT(i32 %25)
%27 = load volatile i64, i64* inttoptr (i64 1074787588 to i64*)
ret i64 %27
}