void test_tlb_mmio() {
  int entry;
  for (entry = 0; entry < 64; entry++) {
    ((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) = (0));
    ((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) =
         (0xFFFFFFFF));
    assert((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) ==
           0xFFFFFFFF);
    assert((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) ==
           0x00000104);
    ((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) =
         (0x00000000));
    assert((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) ==
           0x00000000);
    assert((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) ==
           0x00000000);
    ((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) =
         (0xFFFFFFFF));
    assert((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) ==
           0x1FFFFDFF);
    assert((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) ==
           0x00000300);
    ((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) =
         (0x00000000));
    assert((*((volatile unsigned long *)((0xF7000000 + (entry << 8))))) ==
           0x00000000);
    assert((*((volatile unsigned long *)((0xF6000000 + (entry << 8))))) ==
           0x00000000);
    ((*((volatile unsigned long *)((0xF7800000 + (entry << 8))))) =
         (0xFFFFFFFF));
    assert((*((volatile unsigned long *)((0xF7800000 + (entry << 8))))) ==
           0x0000000F);
    ((*((volatile unsigned long *)((0xF7800000 + (entry << 8))))) =
         (0x00000000));
    assert((*((volatile unsigned long *)((0xF7800000 + (entry << 8))))) ==
           0x00000000);
  }
  for (entry = 0; entry < 4; entry++) {
    ((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) = (0));
    ((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) =
         (0xFFFFFFFF));
    assert((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) ==
           0xFFFFFDFF);
    assert((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) ==
           0x00000100);
    ((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) =
         (0x00000000));
    assert((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) ==
           0x00000000);
    assert((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) ==
           0x00000000);
    ((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) =
         (0xFFFFFFFF));
    assert((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) ==
           0x1FFFFDDA);
    assert((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) ==
           0x00000100);
    ((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) =
         (0x00000000));
    assert((*((volatile unsigned long *)((0xF3000000 + (entry << 8))))) ==
           0x00000000);
    assert((*((volatile unsigned long *)((0xF2000000 + (entry << 8))))) ==
           0x00000000);
  }
}


x86 assembly (clang, -O0):
<test_tlb_mmio>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
movl   $0x0,-0x4(%rbp)
cmpl   $0x40,-0x4(%rbp)
jge    132e <test_tlb_mmio+0x21e>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7000000,%eax
mov    %eax,%eax
movq   $0x0,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf6000000,%eax
mov    %eax,%eax
mov    $0xffffffff,%ecx
mov    %rcx,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf6000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
mov    $0xffffffff,%ecx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x104,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf6000000,%eax
mov    %eax,%eax
movq   $0x0,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf6000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7000000,%eax
mov    %eax,%eax
mov    $0xffffffff,%ecx
mov    %rcx,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x1ffffdff,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf6000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x300,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7000000,%eax
mov    %eax,%eax
movq   $0x0,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf6000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7800000,%eax
mov    %eax,%eax
mov    $0xffffffff,%ecx
mov    %rcx,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7800000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0xf,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7800000,%eax
mov    %eax,%eax
movq   $0x0,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf7800000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    111f <test_tlb_mmio+0xf>
movl   $0x0,-0x4(%rbp)
cmpl   $0x4,-0x4(%rbp)
jge    14d5 <test_tlb_mmio+0x3c5>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf3000000,%eax
mov    %eax,%eax
movq   $0x0,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf2000000,%eax
mov    %eax,%eax
mov    $0xffffffff,%ecx
mov    %rcx,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf2000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
mov    $0xfffffdff,%ecx
cmp    %rcx,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf3000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x100,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf2000000,%eax
mov    %eax,%eax
movq   $0x0,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf2000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf3000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf3000000,%eax
mov    %eax,%eax
mov    $0xffffffff,%ecx
mov    %rcx,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf3000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x1ffffdda,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf2000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x100,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf3000000,%eax
mov    %eax,%eax
movq   $0x0,(%rax)
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf3000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
shl    $0x8,%eax
add    $0xf2000000,%eax
mov    %eax,%eax
mov    (%rax),%rax
cmp    $0x0,%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1335 <test_tlb_mmio+0x225>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_tlb_mmio>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    $0xffffffff,%r14d
lea    -0x87fffff(%r14),%rbx
mov    $0x40,%r15d
nopl   0x0(%rax,%rax,1)
movq   $0x0,-0x800000(%rbx)
mov    %r14,-0x1800000(%rbx)
mov    -0x1800000(%rbx),%rax
xor    %edi,%edi
cmp    %r14,%rax
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
mov    -0x800000(%rbx),%rax
xor    %edi,%edi
cmp    $0x104,%rax
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
movq   $0x0,-0x1800000(%rbx)
xor    %edi,%edi
cmpq   $0x0,-0x1800000(%rbx)
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
xor    %edi,%edi
cmpq   $0x0,-0x800000(%rbx)
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
mov    %r14,-0x800000(%rbx)
mov    -0x800000(%rbx),%rax
xor    %edi,%edi
cmp    $0x1ffffdff,%rax
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
mov    -0x1800000(%rbx),%rax
xor    %edi,%edi
cmp    $0x300,%rax
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
movq   $0x0,-0x800000(%rbx)
xor    %edi,%edi
cmpq   $0x0,-0x800000(%rbx)
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
xor    %edi,%edi
cmpq   $0x0,-0x1800000(%rbx)
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
mov    %r14,(%rbx)
mov    (%rbx),%rax
xor    %edi,%edi
cmp    $0xf,%rax
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
movq   $0x0,(%rbx)
xor    %edi,%edi
cmpq   $0x0,(%rbx)
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
add    $0x100,%rbx
add    $0xffffffffffffffff,%r15
jne    1130 <test_tlb_mmio+0x20>
lea    -0xdffffff(%r14),%rbx
mov    $0x4,%r15d
lea    -0x200(%r14),%r12
nopl   0x0(%rax)
movq   $0x0,0x1000000(%rbx)
mov    %r14,(%rbx)
mov    (%rbx),%rax
xor    %edi,%edi
cmp    %r12,%rax
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
mov    0x1000000(%rbx),%rax
xor    %edi,%edi
cmp    $0x100,%rax
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
movq   $0x0,(%rbx)
xor    %edi,%edi
cmpq   $0x0,(%rbx)
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
xor    %edi,%edi
cmpq   $0x0,0x1000000(%rbx)
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
mov    %r14,0x1000000(%rbx)
mov    0x1000000(%rbx),%rax
xor    %edi,%edi
cmp    $0x1ffffdda,%rax
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
mov    (%rbx),%rax
xor    %edi,%edi
cmp    $0x100,%rax
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
movq   $0x0,0x1000000(%rbx)
xor    %edi,%edi
cmpq   $0x0,0x1000000(%rbx)
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
xor    %edi,%edi
cmpq   $0x0,(%rbx)
sete   %dil
xor    %eax,%eax
call   1030 <assert@plt>
add    $0x100,%rbx
add    $0xffffffffffffffff,%r15
jne    1270 <test_tlb_mmio+0x160>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @test_tlb_mmio() {
%1 = alloca i32
store i32 0, i32* %1
br label %2
2: ; preds = %131, %0
%3 = load i32, i32* %1
%4 = icmp slt i32 %3, 64
br i1 %4, label %5, label %134
5: ; preds = %2
%6 = load i32, i32* %1
%7 = shl i32 %6, 8
%8 = add i32 -150994944, %7
%9 = zext i32 %8 to i64
%10 = inttoptr i64 %9 to i64*
store volatile i64 0, i64* %10
%11 = load i32, i32* %1
%12 = shl i32 %11, 8
%13 = add i32 -167772160, %12
%14 = zext i32 %13 to i64
%15 = inttoptr i64 %14 to i64*
store volatile i64 4294967295, i64* %15
%16 = load i32, i32* %1
%17 = shl i32 %16, 8
%18 = add i32 -167772160, %17
%19 = zext i32 %18 to i64
%20 = inttoptr i64 %19 to i64*
%21 = load volatile i64, i64* %20
%22 = icmp eq i64 %21, 4294967295
%23 = zext i1 %22 to i32
%24 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %23)
%25 = load i32, i32* %1
%26 = shl i32 %25, 8
%27 = add i32 -150994944, %26
%28 = zext i32 %27 to i64
%29 = inttoptr i64 %28 to i64*
%30 = load volatile i64, i64* %29
%31 = icmp eq i64 %30, 260
%32 = zext i1 %31 to i32
%33 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %32)
%34 = load i32, i32* %1
%35 = shl i32 %34, 8
%36 = add i32 -167772160, %35
%37 = zext i32 %36 to i64
%38 = inttoptr i64 %37 to i64*
store volatile i64 0, i64* %38
%39 = load i32, i32* %1
%40 = shl i32 %39, 8
%41 = add i32 -167772160, %40
%42 = zext i32 %41 to i64
%43 = inttoptr i64 %42 to i64*
%44 = load volatile i64, i64* %43
%45 = icmp eq i64 %44, 0
%46 = zext i1 %45 to i32
%47 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %46)
%48 = load i32, i32* %1
%49 = shl i32 %48, 8
%50 = add i32 -150994944, %49
%51 = zext i32 %50 to i64
%52 = inttoptr i64 %51 to i64*
%53 = load volatile i64, i64* %52
%54 = icmp eq i64 %53, 0
%55 = zext i1 %54 to i32
%56 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %55)
%57 = load i32, i32* %1
%58 = shl i32 %57, 8
%59 = add i32 -150994944, %58
%60 = zext i32 %59 to i64
%61 = inttoptr i64 %60 to i64*
store volatile i64 4294967295, i64* %61
%62 = load i32, i32* %1
%63 = shl i32 %62, 8
%64 = add i32 -150994944, %63
%65 = zext i32 %64 to i64
%66 = inttoptr i64 %65 to i64*
%67 = load volatile i64, i64* %66
%68 = icmp eq i64 %67, 536870399
%69 = zext i1 %68 to i32
%70 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %69)
%71 = load i32, i32* %1
%72 = shl i32 %71, 8
%73 = add i32 -167772160, %72
%74 = zext i32 %73 to i64
%75 = inttoptr i64 %74 to i64*
%76 = load volatile i64, i64* %75
%77 = icmp eq i64 %76, 768
%78 = zext i1 %77 to i32
%79 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %78)
%80 = load i32, i32* %1
%81 = shl i32 %80, 8
%82 = add i32 -150994944, %81
%83 = zext i32 %82 to i64
%84 = inttoptr i64 %83 to i64*
store volatile i64 0, i64* %84
%85 = load i32, i32* %1
%86 = shl i32 %85, 8
%87 = add i32 -150994944, %86
%88 = zext i32 %87 to i64
%89 = inttoptr i64 %88 to i64*
%90 = load volatile i64, i64* %89
%91 = icmp eq i64 %90, 0
%92 = zext i1 %91 to i32
%93 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %92)
%94 = load i32, i32* %1
%95 = shl i32 %94, 8
%96 = add i32 -167772160, %95
%97 = zext i32 %96 to i64
%98 = inttoptr i64 %97 to i64*
%99 = load volatile i64, i64* %98
%100 = icmp eq i64 %99, 0
%101 = zext i1 %100 to i32
%102 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %101)
%103 = load i32, i32* %1
%104 = shl i32 %103, 8
%105 = add i32 -142606336, %104
%106 = zext i32 %105 to i64
%107 = inttoptr i64 %106 to i64*
store volatile i64 4294967295, i64* %107
%108 = load i32, i32* %1
%109 = shl i32 %108, 8
%110 = add i32 -142606336, %109
%111 = zext i32 %110 to i64
%112 = inttoptr i64 %111 to i64*
%113 = load volatile i64, i64* %112
%114 = icmp eq i64 %113, 15
%115 = zext i1 %114 to i32
%116 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %115)
%117 = load i32, i32* %1
%118 = shl i32 %117, 8
%119 = add i32 -142606336, %118
%120 = zext i32 %119 to i64
%121 = inttoptr i64 %120 to i64*
store volatile i64 0, i64* %121
%122 = load i32, i32* %1
%123 = shl i32 %122, 8
%124 = add i32 -142606336, %123
%125 = zext i32 %124 to i64
%126 = inttoptr i64 %125 to i64*
%127 = load volatile i64, i64* %126
%128 = icmp eq i64 %127, 0
%129 = zext i1 %128 to i32
%130 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %129)
br label %131
131: ; preds = %5
%132 = load i32, i32* %1
%133 = add nsw i32 %132, 1
store i32 %133, i32* %1
br label %2
134: ; preds = %2
store i32 0, i32* %1
br label %135
135: ; preds = %236, %134
%136 = load i32, i32* %1
%137 = icmp slt i32 %136, 4
br i1 %137, label %138, label %239
138: ; preds = %135
%139 = load i32, i32* %1
%140 = shl i32 %139, 8
%141 = add i32 -218103808, %140
%142 = zext i32 %141 to i64
%143 = inttoptr i64 %142 to i64*
store volatile i64 0, i64* %143
%144 = load i32, i32* %1
%145 = shl i32 %144, 8
%146 = add i32 -234881024, %145
%147 = zext i32 %146 to i64
%148 = inttoptr i64 %147 to i64*
store volatile i64 4294967295, i64* %148
%149 = load i32, i32* %1
%150 = shl i32 %149, 8
%151 = add i32 -234881024, %150
%152 = zext i32 %151 to i64
%153 = inttoptr i64 %152 to i64*
%154 = load volatile i64, i64* %153
%155 = icmp eq i64 %154, 4294966783
%156 = zext i1 %155 to i32
%157 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %156)
%158 = load i32, i32* %1
%159 = shl i32 %158, 8
%160 = add i32 -218103808, %159
%161 = zext i32 %160 to i64
%162 = inttoptr i64 %161 to i64*
%163 = load volatile i64, i64* %162
%164 = icmp eq i64 %163, 256
%165 = zext i1 %164 to i32
%166 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %165)
%167 = load i32, i32* %1
%168 = shl i32 %167, 8
%169 = add i32 -234881024, %168
%170 = zext i32 %169 to i64
%171 = inttoptr i64 %170 to i64*
store volatile i64 0, i64* %171
%172 = load i32, i32* %1
%173 = shl i32 %172, 8
%174 = add i32 -234881024, %173
%175 = zext i32 %174 to i64
%176 = inttoptr i64 %175 to i64*
%177 = load volatile i64, i64* %176
%178 = icmp eq i64 %177, 0
%179 = zext i1 %178 to i32
%180 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %179)
%181 = load i32, i32* %1
%182 = shl i32 %181, 8
%183 = add i32 -218103808, %182
%184 = zext i32 %183 to i64
%185 = inttoptr i64 %184 to i64*
%186 = load volatile i64, i64* %185
%187 = icmp eq i64 %186, 0
%188 = zext i1 %187 to i32
%189 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %188)
%190 = load i32, i32* %1
%191 = shl i32 %190, 8
%192 = add i32 -218103808, %191
%193 = zext i32 %192 to i64
%194 = inttoptr i64 %193 to i64*
store volatile i64 4294967295, i64* %194
%195 = load i32, i32* %1
%196 = shl i32 %195, 8
%197 = add i32 -218103808, %196
%198 = zext i32 %197 to i64
%199 = inttoptr i64 %198 to i64*
%200 = load volatile i64, i64* %199
%201 = icmp eq i64 %200, 536870362
%202 = zext i1 %201 to i32
%203 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %202)
%204 = load i32, i32* %1
%205 = shl i32 %204, 8
%206 = add i32 -234881024, %205
%207 = zext i32 %206 to i64
%208 = inttoptr i64 %207 to i64*
%209 = load volatile i64, i64* %208
%210 = icmp eq i64 %209, 256
%211 = zext i1 %210 to i32
%212 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %211)
%213 = load i32, i32* %1
%214 = shl i32 %213, 8
%215 = add i32 -218103808, %214
%216 = zext i32 %215 to i64
%217 = inttoptr i64 %216 to i64*
store volatile i64 0, i64* %217
%218 = load i32, i32* %1
%219 = shl i32 %218, 8
%220 = add i32 -218103808, %219
%221 = zext i32 %220 to i64
%222 = inttoptr i64 %221 to i64*
%223 = load volatile i64, i64* %222
%224 = icmp eq i64 %223, 0
%225 = zext i1 %224 to i32
%226 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %225)
%227 = load i32, i32* %1
%228 = shl i32 %227, 8
%229 = add i32 -234881024, %228
%230 = zext i32 %229 to i64
%231 = inttoptr i64 %230 to i64*
%232 = load volatile i64, i64* %231
%233 = icmp eq i64 %232, 0
%234 = zext i1 %233 to i32
%235 = call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %234)
br label %236
236: ; preds = %138
%237 = load i32, i32* %1
%238 = add nsw i32 %237, 1
store i32 %238, i32* %1
br label %135
239: ; preds = %135
ret void
}

LLVM IR (-O2):
define void @test_tlb_mmio() {
br label %1
1: ; preds = %0, %1
%2 = phi i64 [ 0, %0 ], [ %53, %1 ]
%3 = shl nuw nsw i64 %2, 8
%4 = add nuw i64 %3, 4143972352
%5 = and i64 %4, 4294967040
%6 = inttoptr i64 %5 to i64*
store volatile i64 0, i64* %6
%7 = add nuw i64 %3, 4127195136
%8 = and i64 %7, 4294967040
%9 = inttoptr i64 %8 to i64*
store volatile i64 4294967295, i64* %9
%10 = load volatile i64, i64* %9
%11 = icmp eq i64 %10, 4294967295
%12 = zext i1 %11 to i32
%13 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %12)
%14 = load volatile i64, i64* %6
%15 = icmp eq i64 %14, 260
%16 = zext i1 %15 to i32
%17 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %16)
store volatile i64 0, i64* %9
%18 = load volatile i64, i64* %9
%19 = icmp eq i64 %18, 0
%20 = zext i1 %19 to i32
%21 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %20)
%22 = load volatile i64, i64* %6
%23 = icmp eq i64 %22, 0
%24 = zext i1 %23 to i32
%25 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %24)
store volatile i64 4294967295, i64* %6
%26 = load volatile i64, i64* %6
%27 = icmp eq i64 %26, 536870399
%28 = zext i1 %27 to i32
%29 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %28)
%30 = load volatile i64, i64* %9
%31 = icmp eq i64 %30, 768
%32 = zext i1 %31 to i32
%33 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %32)
store volatile i64 0, i64* %6
%34 = load volatile i64, i64* %6
%35 = icmp eq i64 %34, 0
%36 = zext i1 %35 to i32
%37 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %36)
%38 = load volatile i64, i64* %9
%39 = icmp eq i64 %38, 0
%40 = zext i1 %39 to i32
%41 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %40)
%42 = add nuw i64 %3, 4152360960
%43 = and i64 %42, 4294967040
%44 = inttoptr i64 %43 to i64*
store volatile i64 4294967295, i64* %44
%45 = load volatile i64, i64* %44
%46 = icmp eq i64 %45, 15
%47 = zext i1 %46 to i32
%48 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %47)
store volatile i64 0, i64* %44
%49 = load volatile i64, i64* %44
%50 = icmp eq i64 %49, 0
%51 = zext i1 %50 to i32
%52 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %51)
%53 = add nuw nsw i64 %2, 1
%54 = icmp eq i64 %53, 64
br i1 %54, label %55, label %1
55: ; preds = %1, %55
%56 = phi i64 [ %96, %55 ], [ 0, %1 ]
%57 = shl nuw nsw i64 %56, 8
%58 = add nuw i64 %57, 4076863488
%59 = and i64 %58, 4294967040
%60 = inttoptr i64 %59 to i64*
store volatile i64 0, i64* %60
%61 = add nuw i64 %57, 4060086272
%62 = and i64 %61, 4294967040
%63 = inttoptr i64 %62 to i64*
store volatile i64 4294967295, i64* %63
%64 = load volatile i64, i64* %63
%65 = icmp eq i64 %64, 4294966783
%66 = zext i1 %65 to i32
%67 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %66)
%68 = load volatile i64, i64* %60
%69 = icmp eq i64 %68, 256
%70 = zext i1 %69 to i32
%71 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %70)
store volatile i64 0, i64* %63
%72 = load volatile i64, i64* %63
%73 = icmp eq i64 %72, 0
%74 = zext i1 %73 to i32
%75 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %74)
%76 = load volatile i64, i64* %60
%77 = icmp eq i64 %76, 0
%78 = zext i1 %77 to i32
%79 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %78)
store volatile i64 4294967295, i64* %60
%80 = load volatile i64, i64* %60
%81 = icmp eq i64 %80, 536870362
%82 = zext i1 %81 to i32
%83 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %82)
%84 = load volatile i64, i64* %63
%85 = icmp eq i64 %84, 256
%86 = zext i1 %85 to i32
%87 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %86)
store volatile i64 0, i64* %60
%88 = load volatile i64, i64* %60
%89 = icmp eq i64 %88, 0
%90 = zext i1 %89 to i32
%91 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %90)
%92 = load volatile i64, i64* %63
%93 = icmp eq i64 %92, 0
%94 = zext i1 %93 to i32
%95 = tail call i32 (i32, ...) bitcast (i32 (...)* @assert to i32 (i32, ...)*)(i32 %94)
%96 = add nuw nsw i64 %56, 1
%97 = icmp eq i64 %96, 4
br i1 %97, label %98, label %55
98: ; preds = %55
ret void
}