void putstr(const char *s) {
  unsigned long serial_port;
  do {
    serial_port = 0x44400000;
    if ((*(volatile unsigned long *)(serial_port + (0x0))) == 0x3)
      break;
    serial_port = 0x44404000;
    if ((*(volatile unsigned long *)(serial_port + (0x0))) == 0x3)
      break;
  } while (0);
  for (; *s; s++) {
    while (!((*(volatile unsigned long *)(serial_port + (0x10))) & (1 << 2)))
      ;
    (*(volatile unsigned long *)(serial_port + (0x20))) = *s;
    if (*s == 10) {
      while (!((*(volatile unsigned long *)(serial_port + (0x10))) & (1 << 2)))
        ;
      (*(volatile unsigned long *)(serial_port + (0x20))) = 13;
    }
  }
}


x86 assembly (clang, -O0):
<putstr>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movq   $0x44400000,-0x10(%rbp)
44
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
cmp    $0x3,%rax
jne    1126 <putstr+0x26>
jmp    1149 <putstr+0x49>
movq   $0x44404000,-0x10(%rbp)
44
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
cmp    $0x3,%rax
jne    1144 <putstr+0x44>
jmp    1149 <putstr+0x49>
jmp    1149 <putstr+0x49>
jmp    114e <putstr+0x4e>
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
je     11f5 <putstr+0xf5>
jmp    1160 <putstr+0x60>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
and    $0x4,%rax
cmp    $0x0,%rax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    1182 <putstr+0x82>
jmp    1187 <putstr+0x87>
jmp    1160 <putstr+0x60>
mov    -0x8(%rbp),%rax
movsbq (%rax),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x20(%rax)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0xa,%eax
jne    11df <putstr+0xdf>
jmp    11ac <putstr+0xac>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
and    $0x4,%rax
cmp    $0x0,%rax
setne  %al
xor    $0xff,%al
test   $0x1,%al
jne    11ce <putstr+0xce>
jmp    11d3 <putstr+0xd3>
jmp    11ac <putstr+0xac>
mov    -0x10(%rbp),%rax
movq   $0xd,0x20(%rax)
jmp    11e4 <putstr+0xe4>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    114e <putstr+0x4e>
pop    %rbp
ret

x86 assembly (clang, -O2):
<putstr>:
mov    0x44400000,%rcx
44
mov    $0x44400000,%eax
cmp    $0x3,%rcx
je     1120 <putstr+0x20>
mov    0x44404000,%rax
44
mov    $0x44404000,%eax
mov    (%rdi),%dl
test   %dl,%dl
je     1172 <putstr+0x72>
mov    %rax,%rcx
or     $0x10,%rcx
or     $0x20,%rax
jmp    1140 <putstr+0x40>
mov    0x1(%rdi),%dl
add    $0x1,%rdi
test   %dl,%dl
je     1172 <putstr+0x72>
xchg   %ax,%ax
testq  $0x4,(%rcx)
je     1140 <putstr+0x40>
movsbq %dl,%rdx
mov    %rdx,(%rax)
cmpb   $0xa,(%rdi)
jne    1133 <putstr+0x33>
cs nopw 0x0(%rax,%rax,1)
nop
testq  $0x4,(%rcx)
je     1160 <putstr+0x60>
movq   $0xd,(%rax)
jmp    1133 <putstr+0x33>
ret

LLVM IR (-O0):
define void @putstr(i8* %0) {
%2 = alloca i8*
%3 = alloca i64
store i8* %0, i8** %2
br label %4
4: ; preds = %1
store i64 1145044992, i64* %3
%5 = load i64, i64* %3
%6 = add i64 %5, 0
%7 = inttoptr i64 %6 to i64*
%8 = load volatile i64, i64* %7
%9 = icmp eq i64 %8, 3
br i1 %9, label %10, label %11
10: ; preds = %4
br label %19
11: ; preds = %4
store i64 1145061376, i64* %3
%12 = load i64, i64* %3
%13 = add i64 %12, 0
%14 = inttoptr i64 %13 to i64*
%15 = load volatile i64, i64* %14
%16 = icmp eq i64 %15, 3
br i1 %16, label %17, label %18
17: ; preds = %11
br label %19
18: ; preds = %11
br label %19
19: ; preds = %18, %17, %10
br label %20
20: ; preds = %60, %19
%21 = load i8*, i8** %2
%22 = load i8, i8* %21
%23 = icmp ne i8 %22, 0
br i1 %23, label %24, label %63
24: ; preds = %20
br label %25
25: ; preds = %33, %24
%26 = load i64, i64* %3
%27 = add i64 %26, 16
%28 = inttoptr i64 %27 to i64*
%29 = load volatile i64, i64* %28
%30 = and i64 %29, 4
%31 = icmp ne i64 %30, 0
%32 = xor i1 %31, true
br i1 %32, label %33, label %34
33: ; preds = %25
br label %25
34: ; preds = %25
%35 = load i8*, i8** %2
%36 = load i8, i8* %35
%37 = sext i8 %36 to i64
%38 = load i64, i64* %3
%39 = add i64 %38, 32
%40 = inttoptr i64 %39 to i64*
store volatile i64 %37, i64* %40
%41 = load i8*, i8** %2
%42 = load i8, i8* %41
%43 = sext i8 %42 to i32
%44 = icmp eq i32 %43, 10
br i1 %44, label %45, label %59
45: ; preds = %34
br label %46
46: ; preds = %54, %45
%47 = load i64, i64* %3
%48 = add i64 %47, 16
%49 = inttoptr i64 %48 to i64*
%50 = load volatile i64, i64* %49
%51 = and i64 %50, 4
%52 = icmp ne i64 %51, 0
%53 = xor i1 %52, true
br i1 %53, label %54, label %55
54: ; preds = %46
br label %46
55: ; preds = %46
%56 = load i64, i64* %3
%57 = add i64 %56, 32
%58 = inttoptr i64 %57 to i64*
store volatile i64 13, i64* %58
br label %59
59: ; preds = %55, %34
br label %60
60: ; preds = %59
%61 = load i8*, i8** %2
%62 = getelementptr inbounds i8, i8* %61, i32 1
store i8* %62, i8** %2
br label %20
63: ; preds = %20
ret void
}

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