// File: CMU-SAFARI[P]ramulator/src/Cache.h
// Function: ramulator::Cache::check_unlock(long)
bool check_unlock(long addr) {
    auto it = cache_lines.find(get_index(addr));
    if (it == cache_lines.end()) {
      return true;
    } else {
      auto& lines = it->second;
      auto line = find_if(lines.begin(), lines.end(),
          [addr, this](Line l){return (l.tag == get_tag(addr));});
      if (line == lines.end()) {
        return true;
      } else {
        bool check = !line->lock;
        if (!is_first_level) {
          for (auto hc : higher_cache) {
            if (!check) {
              return check;
            }
            check = check && hc->check_unlock(line->addr);
          }
        }
        return check;
      }
    }
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movq %rdi, -0x98(%rbp)
movq %rdi, %rax
addq $0x6c0, %rax            # imm = 0x6C0
movq %rax, -0xa0(%rbp)
movq -0x18(%rbp), %rsi
callq 0x180750
movq -0xa0(%rbp), %rdi
movl %eax, -0x24(%rbp)
leaq -0x24(%rbp), %rsi
callq 0x180720
movq -0x98(%rbp), %rdi
movq %rax, -0x20(%rbp)
addq $0x6c0, %rdi            # imm = 0x6C0
callq 0x1807b0
movq %rax, -0x30(%rbp)
leaq -0x20(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x181080
testb $0x1, %al
jne 0x184618
jmp 0x184621
movb $0x1, -0x1(%rbp)
jmp 0x184794
leaq -0x20(%rbp), %rdi
callq 0x1807e0
addq $0x8, %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rdi
callq 0x180800
movq %rax, -0x48(%rbp)
movq -0x38(%rbp), %rdi
callq 0x180690
movq %rax, %rcx
movq -0x98(%rbp), %rax
movq %rcx, -0x50(%rbp)
movq -0x18(%rbp), %rcx
movq %rcx, -0x60(%rbp)
movq %rax, -0x58(%rbp)
movq -0x48(%rbp), %rdi
movq -0x50(%rbp), %rsi
movq -0x60(%rbp), %rdx
movq -0x58(%rbp), %rcx
callq 0x1847b0
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rdi
callq 0x180690
movq %rax, -0x68(%rbp)
leaq -0x40(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0x180660
testb $0x1, %al
jne 0x18469b
jmp 0x1846a4
movb $0x1, -0x1(%rbp)
jmp 0x184794
leaq -0x40(%rbp), %rdi
callq 0x180300
movq %rax, %rcx
movq -0x98(%rbp), %rax
movb 0x10(%rcx), %cl
xorb $-0x1, %cl
andb $0x1, %cl
movb %cl, -0x69(%rbp)
testb $0x1, 0x660(%rax)
jne 0x18478c
movq -0x98(%rbp), %rax
addq $0x640, %rax            # imm = 0x640
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rdi
callq 0x180940
movq %rax, -0x80(%rbp)
movq -0x78(%rbp), %rdi
callq 0x180970
movq %rax, -0x88(%rbp)
leaq -0x80(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x1809a0
testb $0x1, %al
jne 0x184714
jmp 0x18478a
leaq -0x80(%rbp), %rdi
callq 0x1809e0
movq (%rax), %rax
movq %rax, -0x90(%rbp)
testb $0x1, -0x69(%rbp)
jne 0x184737
movb -0x69(%rbp), %al
andb $0x1, %al
movb %al, -0x1(%rbp)
jmp 0x184794
xorl %eax, %eax
testb $0x1, -0x69(%rbp)
movb %al, -0xa1(%rbp)
je 0x184771
movq -0x90(%rbp), %rax
movq %rax, -0xb0(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x180300
movq -0xb0(%rbp), %rdi
movq (%rax), %rsi
callq 0x1845a0
movb %al, -0xa1(%rbp)
movb -0xa1(%rbp), %al
andb $0x1, %al
movb %al, -0x69(%rbp)
leaq -0x80(%rbp), %rdi
callq 0x180a00
jmp 0x1846fe
jmp 0x18478c
movb -0x69(%rbp), %al
andb $0x1, %al
movb %al, -0x1(%rbp)
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0xb0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
nopl (%rax)