DieracDelta

.global _start

.text

this_creates_an_offset:
push %rbx

safe_hasher:

push %rbx

DieracDelta

.global _start

.text

safe_hasher:

push %rbx
#callq *0x30(%rbx)
callq _start
add (%rbx),%rax

DieracDelta

digraph {
node[shape=box];

subgraph "cluster_volume_offset_decoder" {
  label="volume_offset_decoder"
  
  "\%00120d02"[label="\%00120d02
00120d0e: #36419 := RSP\l00120d11: RSP := RSP - 0x18\l00120d14: CF := #36419 < 0x18\l00120d17: OF := high:1[(#36419 ^ 0x18) & (#36419 ^ RSP)]\l00120d1a: AF := 0x10 = (0x10 & (RSP ^ #36419 ^ 0x18))\l00120d1d: PF := ~low:1[let $1 = RSP >> 4 ^ RSP in let $2 = $1 >> 2 ^ $1 in\l$2 >> 1 ^ $2]\l00120d20: SF := high:1[RSP]\l00120d23: ZF := 0 = RSP\l00120d2a: RCX := RSI\l00120d31: RSI := RDX\l00120d38: RDI := RSP\l00120d3f: RDX := 0xFFFFFFFFFFFFFFFF\l00120d46: RAX := mem[FS_BASE + 0x28, el]:u64\l00120d4d: mem := mem with [RSP + 8, el]:u64 <- RAX\l00120d5a: RAX := 0\l00120d5d: AF := unknown[bits]:u1\l00120d60: ZF := 1\l00120d63: PF := 1\l00120d66: OF := 0\l00120d69: CF := 0\l00120d6c: SF := 0\l00120d75: RSP := RSP - 8\l00120d78: mem := mem with [RSP, el]:u64 <- 0x19275\l00120d7b: call @decode_signed_num.constprop.11 with return %00120d7d\l"]
  "\%00120d7d"[label="\%00120d7d
00120d88

DieracDelta

digraph {
node[shape=box];

subgraph "cluster_volume_offset_decoder" {
  label="volume_offset_decoder"
  
  "\%0011a9b0"[label="\%0011a9b0
0011a9bc: #36386 := RSP\l0011a9bf: RSP := RSP - 0x18\l0011a9c2: CF := #36386 < 0x18\l0011a9c5: OF := high:1[(#36386 ^ 0x18) & (#36386 ^ RSP)]\l0011a9c8: AF := 0x10 = (0x10 & (RSP ^ #36386 ^ 0x18))\l0011a9cb: PF := ~low:1[let $1 = RSP >> 4 ^ RSP in let $2 = $1 >> 2 ^ $1 in\l$2 >> 1 ^ $2]\l0011a9ce: SF := high:1[RSP]\l0011a9d1: ZF := 0 = RSP\l0011a9d8: RCX := RSI\l0011a9df: RSI := RDX\l0011a9e6: RDI := RSP\l0011a9ed: RDX := 0xFFFFFFFFFFFFFFFF\l0011a9f4: RAX := mem[FS_BASE + 0x28, el]:u64\l0011a9fb: mem := mem with [RSP + 8, el]:u64 <- RAX\l0011aa08: RAX := 0\l0011aa0b: AF := unknown[bits]:u1\l0011aa0e: ZF := 1\l0011aa11: PF := 1\l0011aa14: OF := 0\l0011aa17: CF := 0\l0011aa1a: SF := 0\l0011aa23: RSP := RSP - 8\l0011aa26: mem := mem with [RSP, el]:u64 <- 0x19109\l0011aa29: call @decode_signed_num.constprop.11 with return %0011aa2b\l"]
  "\%0011aa2b"[label="\%0011aa2b
0011aa36

DieracDelta

real	0m34.378s
user	0m30.835s
sys	0m3.477s
der(volume_offset_decoder_result)
0012d375: volume_offset_decoder_result :: out u32 = RAX
0011a9b0: 
0011a9bc: #36386 := RSP
0011a9bf: RSP := RSP - 0x18
0011a9c2: CF := #36386 < 0x18

DieracDelta

{ pkgs ? import <nixpkgs> {} } :
with builtins;
let inherit (pkgs) stdenv; in
with pkgs;
stdenv.mkDerivation {
  name = "next-dev";
  nativeBuildInputs = [
    pkgs.openssl.out
    pkgs.webkitgtk
    pkgs.sbcl