;%ifdef CONFIG
;{
;  "RegData": {
;    "RAX": "0xddccbbaa"
;  },
;  "MemoryRegions": {
;    "0x100000": "4096"
;  },
;  "MemoryData": {
;    "0x100000": "AA BB CC DD"
;  }
;}
;%endif

(%ssa1) IRHeader %ssa2, #0
  (%ssa2) CodeBlock %start, %end, %ssa1
    (%start i0) BeginBlock %ssa2
    %Addr i64 = Constant #0x100000
    %Val i32 = LoadMem GPR, #8, %Addr i64, %Invalid, #8, SXTX, #1
    (%Store i64) StoreContext #8, GPR, %Val i64, #8
    (%brk i0) Break {0.11.0.128}
    (%end i0) EndBlock %ssa2