[ 0:00] + cat [ 0:00] + sim file.cpp [ 0:00] compiling file.cpp [ 0:00] [ 0:11] ^ —————. —.— . . —.— . . .————— . . [ 0:11] ——— | | | | | | |\ | | | | [ 0:11] —(o)— | | | | | | | \ | |———— '————| [ 0:11] ——————— | | | \ / | | \| | | [ 0:11] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:11] [ 0:11] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:11] # executing __boot at /divine/src/dios/core/dios.cpp:169 [ 0:11] > start [ 0:11] # a new program state was stored as #1 [ 0:14] # active threads: [0:0] [ 0:14] # a new program state was stored as #2 [ 0:15] # active threads: [0:0] [ 0:15] # executing main at file.cpp:4 [ 0:15] > bitcode [ 0:15] label %entry: [ 0:15] >> %01 = alloca [i32 1 d] # [global* 0 0 uun] [ 0:15] %02 = alloca [i32 1 d] # [global* 0 0 uun] [ 0:15] dbg.declare x [ 0:15] %04 = dbg.bitcast %01 to i8* # [global* 0 0 uun] [ 0:15] store [i32 4 d] %01 [ 0:15] vm.interrupt.mem %04 [i32 4 d] [i32 2 d] [code* 0 0 ddp] [ 0:15] dbg.declare fun [ 0:15] store [code* 2 4 ddp] %02 [ 0:15] %09 = load %02 # [global* 0 0 uun] [ 0:15] %0a = call %09 %01 [i32 4 d] # [i32 0 u] [ 0:15] store [code* 1 4 ddp] %02 [ 0:15] %0c = load %02 # [global* 0 0 uun] [ 0:15] %0d = call %0c %01 [i32 4 d] # [i32 0 u] [ 0:15] ret %0d [ 0:15] # executing main at file.cpp:4 [ 0:15] [ 0:16] = expected ========== [ 0:16] + ^# executing __boot at [ 0:16] > start [ 0:16] - ^# executing [ 0:16] + ^# executing main at [ 0:16] > bitcode [ 0:16] + >>.*alloca [ 0:16] + call .*%.*%.*[i32 4 d] [ 0:16] + call .*%.*%.*[i32 4 d] [ 0:16] + ret [ 0:16] [ 0:16] = matched =========== [ 0:16] # executing __boot at /divine/src/dios/core/dios.cpp:169 | ^# executing __boot at [ 0:16] > start | ^> start [ 0:16] # executing main at file.cpp:4 | ^# executing main at [ 0:16] > bitcode | ^> bitcode [ 0:16] >> %01 = alloca [i32 1 d] # [global* 0 0 uun] | >>.*alloca [ 0:16] %0a = call %09 %01 [i32 4 d] # [i32 0 u] | call .*%.*%.*[i32 4 d] [ 0:16] %0d = call %0c %01 [i32 4 d] # [i32 0 u] | call .*%.*%.*[i32 4 d] [ 0:16] ret %0d | ret [ 0:16] + check debris