unsigned int phy_read(unsigned char *mdio, unsigned int phy, unsigned int reg) {
  unsigned int val = 0xFFFFFFFF;
  volatile unsigned int ua0 = (unsigned int)mdio + 0x80;
  if (!(*(unsigned int *)ua0 & (1 << 31))) {
    *(unsigned int *)ua0 = 0;
    *(unsigned int *)ua0 = *(unsigned int *)ua0 & ~(1 << 30);
    *(unsigned int *)ua0 = *(unsigned int *)ua0 | (reg & 0x1F) << (21);
    *(unsigned int *)ua0 = *(unsigned int *)ua0 | (phy & 0x1F) << (16);
    *(unsigned int *)ua0 = *(unsigned int *)ua0 | (1 << 31);
    while ((*(unsigned int *)ua0 & (1 << 31)) &&
           !(*(unsigned int *)ua0 & (1 << 29)))
      ;
    return *(unsigned int *)ua0 & 0xFFFF;
  }
  return val;
}


x86 assembly (clang, -O0):
<phy_read>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
movl   $0xffffffff,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
add    $0x80,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    (%rax),%eax
and    $0x80000000,%eax
cmp    $0x0,%eax
jne    11f6 <phy_read+0xf6>
mov    -0x20(%rbp),%eax
mov    %eax,%eax
movl   $0x0,(%rax)
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    (%rax),%ecx
and    $0xbfffffff,%ecx
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    (%rax),%ecx
mov    -0x18(%rbp),%eax
and    $0x1f,%eax
shl    $0x15,%eax
or     %eax,%ecx
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    (%rax),%ecx
mov    -0x14(%rbp),%eax
and    $0x1f,%eax
shl    $0x10,%eax
or     %eax,%ecx
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    (%rax),%ecx
or     $0x80000000,%ecx
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    (%rax),%ecx
and    $0x80000000,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x21(%rbp)
je     11cd <phy_read+0xcd>
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    (%rax),%eax
and    $0x20000000,%eax
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
test   $0x1,%al
jne    11dd <phy_read+0xdd>
jmp    11e2 <phy_read+0xe2>
jmp    119b <phy_read+0x9b>
mov    -0x20(%rbp),%eax
mov    %eax,%eax
mov    (%rax),%eax
and    $0xffff,%eax
mov    %eax,-0x4(%rbp)
jmp    11fc <phy_read+0xfc>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<phy_read>:
sub    $0xffffff80,%edi
mov    %edi,-0x4(%rsp)
mov    -0x4(%rsp),%eax
cmpl   $0x0,(%rax)
js     117b <phy_read+0x7b>
mov    -0x4(%rsp),%eax
movl   $0x0,(%rax)
mov    -0x4(%rsp),%eax
mov    $0xbfffffff,%ecx
and    (%rax),%ecx
mov    -0x4(%rsp),%eax
mov    %ecx,(%rax)
mov    -0x4(%rsp),%eax
and    $0x1f,%edx
shl    $0x15,%edx
or     (%rax),%edx
mov    -0x4(%rsp),%eax
mov    %edx,(%rax)
mov    -0x4(%rsp),%eax
and    $0x1f,%esi
shl    $0x10,%esi
or     (%rax),%esi
mov    -0x4(%rsp),%eax
mov    %esi,(%rax)
mov    -0x4(%rsp),%eax
mov    $0x80000000,%ecx
or     (%rax),%ecx
mov    -0x4(%rsp),%eax
mov    %ecx,(%rax)
mov    -0x4(%rsp),%eax
cmpl   $0x0,(%rax)
jns    1173 <phy_read+0x73>
mov    -0x4(%rsp),%eax
testb  $0x20,0x3(%rax)
je     1160 <phy_read+0x60>
mov    -0x4(%rsp),%eax
movzwl (%rax),%eax
ret
mov    $0xffffffff,%eax
ret

LLVM IR (-O0):
define i32 @phy_read(i8* %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 -1, i32* %8
%10 = load i8*, i8** %5
%11 = ptrtoint i8* %10 to i32
%12 = add i32 %11, 128
store volatile i32 %12, i32* %9
%13 = load volatile i32, i32* %9
%14 = zext i32 %13 to i64
%15 = inttoptr i64 %14 to i32*
%16 = load i32, i32* %15
%17 = and i32 %16, -2147483648
%18 = icmp ne i32 %17, 0
br i1 %18, label %85, label %19
19: ; preds = %3
%20 = load volatile i32, i32* %9
%21 = zext i32 %20 to i64
%22 = inttoptr i64 %21 to i32*
store i32 0, i32* %22
%23 = load volatile i32, i32* %9
%24 = zext i32 %23 to i64
%25 = inttoptr i64 %24 to i32*
%26 = load i32, i32* %25
%27 = and i32 %26, -1073741825
%28 = load volatile i32, i32* %9
%29 = zext i32 %28 to i64
%30 = inttoptr i64 %29 to i32*
store i32 %27, i32* %30
%31 = load volatile i32, i32* %9
%32 = zext i32 %31 to i64
%33 = inttoptr i64 %32 to i32*
%34 = load i32, i32* %33
%35 = load i32, i32* %7
%36 = and i32 %35, 31
%37 = shl i32 %36, 21
%38 = or i32 %34, %37
%39 = load volatile i32, i32* %9
%40 = zext i32 %39 to i64
%41 = inttoptr i64 %40 to i32*
store i32 %38, i32* %41
%42 = load volatile i32, i32* %9
%43 = zext i32 %42 to i64
%44 = inttoptr i64 %43 to i32*
%45 = load i32, i32* %44
%46 = load i32, i32* %6
%47 = and i32 %46, 31
%48 = shl i32 %47, 16
%49 = or i32 %45, %48
%50 = load volatile i32, i32* %9
%51 = zext i32 %50 to i64
%52 = inttoptr i64 %51 to i32*
store i32 %49, i32* %52
%53 = load volatile i32, i32* %9
%54 = zext i32 %53 to i64
%55 = inttoptr i64 %54 to i32*
%56 = load i32, i32* %55
%57 = or i32 %56, -2147483648
%58 = load volatile i32, i32* %9
%59 = zext i32 %58 to i64
%60 = inttoptr i64 %59 to i32*
store i32 %57, i32* %60
br label %61
61: ; preds = %78, %19
%62 = load volatile i32, i32* %9
%63 = zext i32 %62 to i64
%64 = inttoptr i64 %63 to i32*
%65 = load i32, i32* %64
%66 = and i32 %65, -2147483648
%67 = icmp ne i32 %66, 0
br i1 %67, label %68, label %76
68: ; preds = %61
%69 = load volatile i32, i32* %9
%70 = zext i32 %69 to i64
%71 = inttoptr i64 %70 to i32*
%72 = load i32, i32* %71
%73 = and i32 %72, 536870912
%74 = icmp ne i32 %73, 0
%75 = xor i1 %74, true
br label %76
76: ; preds = %68, %61
%77 = phi i1 [ false, %61 ], [ %75, %68 ]
br i1 %77, label %78, label %79
78: ; preds = %76
br label %61
79: ; preds = %76
%80 = load volatile i32, i32* %9
%81 = zext i32 %80 to i64
%82 = inttoptr i64 %81 to i32*
%83 = load i32, i32* %82
%84 = and i32 %83, 65535
store i32 %84, i32* %4
br label %87
85: ; preds = %3
%86 = load i32, i32* %8
store i32 %86, i32* %4
br label %87
87: ; preds = %85, %79
%88 = load i32, i32* %4
ret i32 %88
}

LLVM IR (-O2):
define i32 @phy_read(i8* %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = bitcast i32* %4 to i8*
%6 = ptrtoint i8* %0 to i64
%7 = trunc i64 %6 to i32
%8 = add i32 %7, 128
store volatile i32 %8, i32* %4
%9 = load volatile i32, i32* %4
%10 = zext i32 %9 to i64
%11 = inttoptr i64 %10 to i32*
%12 = load i32, i32* %11
%13 = icmp sgt i32 %12, -1
br i1 %13, label %14, label %73
14: ; preds = %3
%15 = load volatile i32, i32* %4
%16 = zext i32 %15 to i64
%17 = inttoptr i64 %16 to i32*
store i32 0, i32* %17
%18 = load volatile i32, i32* %4
%19 = zext i32 %18 to i64
%20 = inttoptr i64 %19 to i32*
%21 = load i32, i32* %20
%22 = and i32 %21, -1073741825
%23 = load volatile i32, i32* %4
%24 = zext i32 %23 to i64
%25 = inttoptr i64 %24 to i32*
store i32 %22, i32* %25
%26 = load volatile i32, i32* %4
%27 = zext i32 %26 to i64
%28 = inttoptr i64 %27 to i32*
%29 = load i32, i32* %28
%30 = shl i32 %2, 21
%31 = and i32 %30, 65011712
%32 = or i32 %29, %31
%33 = load volatile i32, i32* %4
%34 = zext i32 %33 to i64
%35 = inttoptr i64 %34 to i32*
store i32 %32, i32* %35
%36 = load volatile i32, i32* %4
%37 = zext i32 %36 to i64
%38 = inttoptr i64 %37 to i32*
%39 = load i32, i32* %38
%40 = shl i32 %1, 16
%41 = and i32 %40, 2031616
%42 = or i32 %39, %41
%43 = load volatile i32, i32* %4
%44 = zext i32 %43 to i64
%45 = inttoptr i64 %44 to i32*
store i32 %42, i32* %45
%46 = load volatile i32, i32* %4
%47 = zext i32 %46 to i64
%48 = inttoptr i64 %47 to i32*
%49 = load i32, i32* %48
%50 = or i32 %49, -2147483648
%51 = load volatile i32, i32* %4
%52 = zext i32 %51 to i64
%53 = inttoptr i64 %52 to i32*
store i32 %50, i32* %53
br label %54
54: ; preds = %60, %14
%55 = load volatile i32, i32* %4
%56 = zext i32 %55 to i64
%57 = inttoptr i64 %56 to i32*
%58 = load i32, i32* %57
%59 = icmp sgt i32 %58, -1
br i1 %59, label %67, label %60
60: ; preds = %54
%61 = load volatile i32, i32* %4
%62 = zext i32 %61 to i64
%63 = inttoptr i64 %62 to i32*
%64 = load i32, i32* %63
%65 = and i32 %64, 536870912
%66 = icmp eq i32 %65, 0
br i1 %66, label %54, label %67
67: ; preds = %54, %60
%68 = load volatile i32, i32* %4
%69 = zext i32 %68 to i64
%70 = inttoptr i64 %69 to i32*
%71 = load i32, i32* %70
%72 = and i32 %71, 65535
br label %73
73: ; preds = %3, %67
%74 = phi i32 [ %72, %67 ], [ -1, %3 ]
ret i32 %74
}