[ 0:00] + cp /home/xrockai/src/divine/next-staging/test/lang-c/ptr-arith.c . [ 0:00] + sim ptr-arith.c [ 0:00] compiling ptr-arith.c [ 0:00] [ 0:03] ^ —————. —.— . . —.— . . .————— . . [ 0:03] ——— | | | | | | |\ | | | | [ 0:03] —(o)— | | | | | | | \ | |———— '————| [ 0:03] ——————— | | | \ / | | \| | | [ 0:03] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:03] [ 0:03] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:03] # executing __boot at /dios/config/common.hpp:28 [ 0:03] > start [ 0:03] ▶ state #1 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #2 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #3 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #4 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #5 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #6 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #7 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #8 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #9 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #10 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #11 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #12 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #13 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #14 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #15 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #16 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #17 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #18 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #19 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #20 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #21 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #22 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #23 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #24 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #25 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #26 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #27 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #28 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #29 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #30 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #31 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #32 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #33 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #34 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #35 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #36 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #37 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #38 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #39 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #40 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #41 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #42 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #43 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #44 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #45 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #46 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #47 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #48 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #49 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #50 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #51 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #52 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #53 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #54 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #55 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #56 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #57 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #58 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #59 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #60 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #61 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #62 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #63 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #64 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #65 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #66 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #67 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #68 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #69 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #70 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #71 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #72 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #73 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #74 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #75 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #76 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #77 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #78 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #79 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #80 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #81 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #82 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #83 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #84 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #85 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #86 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #87 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #88 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #89 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #90 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #91 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #92 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #93 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #94 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #95 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #96 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #97 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #98 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #99 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #100 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #101 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #102 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #103 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #104 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #105 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #106 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #107 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #108 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #109 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #110 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #111 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #112 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #113 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #114 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #115 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #116 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #117 [new] -- active threads: [0:0] -- [ 0:03] ▶ state #118 [new] -- active threads: [0:0] -- [ 0:03] # executing main at ptr-arith.c:6 [ 0:03] > step --over [ 0:03] %01 = alloca [i32 1 d] # [alloca* 70fe04e 0 ddp] [ 0:03] # executing main at ptr-arith.c:7 [ 0:03] > step --over [ 0:03] call @llvm.lifetime.start.p0i8 [i64 8 d] %02 [ 0:03] %05 = call @malloc [i64 4 d] # [global* 0 0 uun] [ 0:03] store %05 %01 [ 0:03] # executing main at ptr-arith.c:8 [ 0:03] > step --over [ 0:03] vm.test.crit %06 [i32 8 d] [i32 2 d] __dios_reschedule [ 0:03] ▶ state #119 [new] -- active threads: [0:0] -- [ 0:03] %0a = load %01 # [global* 0 0 ddn] [ 0:03] vm.test.crit %09 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:03] ▶ state #120 [new] -- active threads: [0:0] -- [ 0:03] %0c = getelementptr %0a [i64 1 d] # [global* 0 1 ddn] [ 0:03] %0e = load %01 # [global* 0 0 ddn] [ 0:03] vm.test.crit %0d [i32 8 d] [i32 1 d] __dios_reschedule [ 0:03] ▶ state #121 [new] -- active threads: [0:0] -- [ 0:03] %10 = ptrtoint %0c # [i64 1 d] [ 0:03] %11 = ptrtoint %0e # [i64 0 d] [ 0:03] %12 = sub %10 %11 # [i64 1 d] [ 0:03] %13 = icmp.eq %12 [i64 1 d] # [i1 1 1] [ 0:03] br %13 label %cond.false label %cond.true [ 0:03] br label %cond.end [ 0:03] # executing main at ptr-arith.c:9 [ 0:03] [ 0:04] = expected ========== [ 0:04] + ^# executing __boot [ 0:04] > start [ 0:04] + ^# executing main [ 0:04] > step --over [ 0:04] + ^# executing main at ptr-arith.c:7 [ 0:04] > step --over [ 0:04] + ^# executing main at ptr-arith.c:8 [ 0:04] > step --over [ 0:04] + ^# executing main at ptr-arith.c:9 [ 0:04] [ 0:04] = matched =========== [ 0:04] # executing __boot at /dios/config/common.hpp:28 | ^# executing __boot [ 0:04] > start | ^> start [ 0:04] # executing main at ptr-arith.c:6 | ^# executing main [ 0:04] > step --over | ^> step --over [ 0:04] # executing main at ptr-arith.c:7 | ^# executing main at ptr-arith.c:7 [ 0:04] > step --over | ^> step --over [ 0:04] # executing main at ptr-arith.c:8 | ^# executing main at ptr-arith.c:8 [ 0:04] > step --over | ^> step --over [ 0:04] # executing main at ptr-arith.c:9 | ^# executing main at ptr-arith.c:9 [ 0:04] + sim ptr-arith.c [ 0:04] compiling ptr-arith.c [ 0:04] [ 0:06] ^ —————. —.— . . —.— . . .————— . . [ 0:06] ——— | | | | | | |\ | | | | [ 0:06] —(o)— | | | | | | | \ | |———— '————| [ 0:06] ——————— | | | \ / | | \| | | [ 0:06] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:06] [ 0:06] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:06] # executing __boot at /dios/config/common.hpp:28 [ 0:06] > start [ 0:06] ▶ state #1 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #2 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #3 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #4 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #5 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #6 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #7 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #8 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #9 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #10 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #11 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #12 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #13 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #14 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #15 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #16 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #17 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #18 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #19 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #20 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #21 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #22 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #23 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #24 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #25 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #26 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #27 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #28 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #29 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #30 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #31 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #32 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #33 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #34 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #35 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #36 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #37 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #38 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #39 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #40 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #41 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #42 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #43 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #44 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #45 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #46 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #47 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #48 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #49 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #50 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #51 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #52 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #53 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #54 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #55 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #56 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #57 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #58 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #59 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #60 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #61 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #62 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #63 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #64 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #65 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #66 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #67 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #68 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #69 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #70 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #71 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #72 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #73 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #74 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #75 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #76 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #77 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #78 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #79 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #80 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #81 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #82 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #83 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #84 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #85 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #86 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #87 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #88 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #89 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #90 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #91 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #92 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #93 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #94 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #95 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #96 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #97 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #98 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #99 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #100 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #101 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #102 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #103 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #104 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #105 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #106 [new] -- active threads: [0:0] -- [ 0:06] ▶ state #107 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #108 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #109 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #110 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #111 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #112 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #113 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #114 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #115 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #116 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #117 [new] -- active threads: [0:0] -- [ 0:07] ▶ state #118 [new] -- active threads: [0:0] -- [ 0:07] # executing main at ptr-arith.c:6 [ 0:07] > step [ 0:07] %01 = alloca [i32 1 d] # [alloca* 70fe04e 0 ddp] [ 0:07] # executing main at ptr-arith.c:7 [ 0:07] > step [ 0:07] call @llvm.lifetime.start.p0i8 [i64 8 d] %02 [ 0:07] %05 = call @malloc [i64 4 d] # [global* 0 0 uun] [ 0:07] store %05 %01 [ 0:07] # executing main at ptr-arith.c:8 [ 0:07] > step [ 0:07] vm.test.crit %06 [i32 8 d] [i32 2 d] __dios_reschedule [ 0:07] ▶ state #119 [new] -- active threads: [0:0] -- [ 0:07] %0a = load %01 # [global* 0 0 ddn] [ 0:07] vm.test.crit %09 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:07] ▶ state #120 [new] -- active threads: [0:0] -- [ 0:07] %0c = getelementptr %0a [i64 1 d] # [global* 0 1 ddn] [ 0:07] %0e = load %01 # [global* 0 0 ddn] [ 0:07] vm.test.crit %0d [i32 8 d] [i32 1 d] __dios_reschedule [ 0:07] ▶ state #121 [new] -- active threads: [0:0] -- [ 0:07] %10 = ptrtoint %0c # [i64 1 d] [ 0:07] %11 = ptrtoint %0e # [i64 0 d] [ 0:07] %12 = sub %10 %11 # [i64 1 d] [ 0:07] %13 = icmp.eq %12 [i64 1 d] # [i1 1 1] [ 0:07] br %13 label %cond.false label %cond.true [ 0:07] br label %cond.end [ 0:07] # executing main at ptr-arith.c:9 [ 0:07] [ 0:07] = expected ========== [ 0:07] + ^# executing __boot [ 0:07] > start [ 0:07] + ^# executing main [ 0:07] > step [ 0:07] + ^# executing main at ptr-arith.c:7 [ 0:07] > step [ 0:07] + ^# executing main at ptr-arith.c:8 [ 0:07] > step [ 0:07] + ^# executing main at ptr-arith.c:9 [ 0:07] [ 0:07] = matched =========== [ 0:07] # executing __boot at /dios/config/common.hpp:28 | ^# executing __boot [ 0:07] > start | ^> start [ 0:07] # executing main at ptr-arith.c:6 | ^# executing main [ 0:07] > step | ^> step [ 0:07] # executing main at ptr-arith.c:7 | ^# executing main at ptr-arith.c:7 [ 0:07] > step | ^> step [ 0:07] # executing main at ptr-arith.c:8 | ^# executing main at ptr-arith.c:8 [ 0:07] > step | ^> step [ 0:07] # executing main at ptr-arith.c:9 | ^# executing main at ptr-arith.c:9 [ 0:07] + sim ptr-arith.c [ 0:07] compiling ptr-arith.c [ 0:07] [ 0:10] ^ —————. —.— . . —.— . . .————— . . [ 0:10] ——— | | | | | | |\ | | | | [ 0:10] —(o)— | | | | | | | \ | |———— '————| [ 0:10] ——————— | | | \ / | | \| | | [ 0:10] ————————— —————' —'— ' —'— ' ' '————— ' [ 0:10] [ 0:10] Welcome to 'divine sim', an interactive debugger. Type 'help' to get started. [ 0:10] # executing __boot at /dios/config/common.hpp:28 [ 0:10] > setup --debug-everything [ 0:10] # executing __boot at /dios/config/common.hpp:28 [ 0:10] > start [ 0:10] ▶ state #1 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #2 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #3 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #4 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #5 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #6 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #7 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #8 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #9 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #10 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #11 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #12 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #13 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #14 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #15 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #16 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #17 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #18 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #19 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #20 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #21 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #22 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #23 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #24 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #25 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #26 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #27 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #28 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #29 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #30 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #31 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #32 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #33 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #34 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #35 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #36 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #37 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #38 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #39 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #40 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #41 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #42 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #43 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #44 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #45 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #46 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #47 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #48 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #49 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #50 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #51 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #52 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #53 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #54 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #55 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #56 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #57 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #58 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #59 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #60 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #61 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #62 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #63 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #64 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #65 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #66 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #67 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #68 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #69 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #70 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #71 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #72 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #73 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #74 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #75 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #76 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #77 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #78 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #79 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #80 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #81 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #82 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #83 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #84 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #85 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #86 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #87 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #88 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #89 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #90 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #91 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #92 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #93 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #94 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #95 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #96 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #97 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #98 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #99 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #100 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #101 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #102 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #103 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #104 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #105 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #106 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #107 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #108 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #109 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #110 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #111 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #112 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #113 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #114 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #115 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #116 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #117 [new] -- active threads: [0:0] -- [ 0:10] ▶ state #118 [new] -- active threads: [0:0] -- [ 0:10] # executing main at ptr-arith.c:6 [ 0:10] > step --over [ 0:10] %01 = alloca [i32 1 d] # [alloca* 70fe04e 0 ddp] [ 0:10] # executing main at ptr-arith.c:7 [ 0:10] > step --over [ 0:10] call @llvm.lifetime.start.p0i8 [i64 8 d] %02 [ 0:10] %05 = call @malloc [i64 4 d] # [global* 0 0 uun] [ 0:10] %06 = vm.ctl.get [i32 7 d] # [global* 0 0 ddn] [ 0:10] %07 = ptrtoint %06 # [i64 0 d] [ 0:10] %08 = and %07 [i64 32 d] # [i64 0 d] [ 0:10] %09 = icmp.ne %08 [i64 0 d] # [i1 0 1] [ 0:10] %0b = load [global* 6 0 ddp] # [i8 1 d] [ 0:10] %0c = and %0b [i8 1 d] # [i8 1 d] [ 0:10] %0d = icmp.eq %0c [i8 0 d] # [i1 0 1] [ 0:10] %0e = or %0d %09 # [i1 0 1] [ 0:10] br %0e label %cond.true label %cond.end [ 0:10] %11 = vm.choose [i32 2 d] # [i32 0 d] [ 0:10] %12 = icmp.ne %11 [i32 0 d] # [i1 0 1] [ 0:10] br label %cond.end [ 0:10] %16 = icmp.ne [i64 4 d] [i64 0 d] # [i1 1 1] [ 0:10] %17 = and %16 %15 # [i1 0 1] [ 0:10] br %17 label %if.else label %if.then [ 0:10] %1e = icmp.eq [i64 4 d] [i64 0 d] # [i1 0 1] [ 0:10] br %1e label %if.else18 label %for.cond.preheader [ 0:10] %46 = call @__errno_location # [global* 0 0 uun] [ 0:10] %01 = call @__dios_this_task # [global* 0 0 uun] [ 0:10] %01 = vm.ctl.get [i32 4 d] # [heap* 65fbc4d5 0 ddp] [ 0:10] ret %02 [ 0:10] %02 = getelementptr %01 [i64 0 d] [i32 0 d] # [heap* 65fbc4d5 0 ddp] [ 0:10] ret %02 [ 0:10] store [i32 12 d] %46 [ 0:10] br label %cleanup20 [ 0:10] ret %4a [ 0:10] store %05 %01 [ 0:10] # executing main at ptr-arith.c:8 [ 0:10] > step --over [ 0:10] vm.test.crit %06 [i32 8 d] [i32 2 d] __dios_reschedule [ 0:10] %01 = vm.ctl.get [i32 7 d] # [global* 0 0 ddn] [ 0:10] %02 = ptrtoint %01 # [i64 0 d] [ 0:10] %04 = and %02 [i64 65536 d] # [i64 0 d] [ 0:10] %05 = icmp.eq %04 [i64 0 d] # [i1 1 1] [ 0:10] br %05 label %if.then label %if.end [ 0:10] %0b = and %02 [i64 32 d] # [i64 0 d] [ 0:10] %0c = icmp.eq %0b [i64 0 d] # [i1 1 1] [ 0:10] br %0c label %if.then4 label %if.end5 [ 0:10] %12 = vm.ctl.flag [i64 131072 d] [i64 0 d] # [i64 0 d] [ 0:10] %13 = vm.ctl.get [i32 3 d] # [heap* c7395708 0 ddp] [ 0:10] %14 = icmp.eq %13 [global* 0 0 ddn] # [i1 0 1] [ 0:10] br %14 label %if.then9 label %if.end11 [ 0:10] %18 = call @__dios_this_frame # [global* 0 0 uun] [ 0:10] %01 = vm.ctl.get [i32 2 d] # [heap* 7d9ddd66 0 ddp] [ 0:10] %02 = getelementptr %01 [i64 8 d] # [heap* 7d9ddd66 8 ddp] [ 0:10] %04 = load %03 # [alloca* 100010 0 ddp] [ 0:10] ret %04 [ 0:10] %19 = getelementptr %18 [i64 0 d] [i32 1 d] # [alloca* 100010 8 ddp] [ 0:10] %1b = load %1a # [i64 11360415478351659008 dp] [ 0:10] store %1b %1c [ 0:10] br label %if.end11 [ 0:10] vm.ctl.set [i32 2 d] [global* 0 0 ddn] [ 0:10] %01 = call @_ZN6__diosL9get_stateINS_7ContextEEERT_v # [global* 0 0 uun] [ 0:10] %01 = vm.ctl.get [i32 11 d] # [heap* 78cdf456 0 ddp] [ 0:10] ret %02 [ 0:10] %03 = getelementptr %01 [i64 0 d] [i32 0 d] # [heap* 78cdf456 20h ddp] [ 0:10] [i32 0 d] [i32 1 d] [i32 0 d] [i32 1 d] [ 0:10] dbg.call %03 [ 0:10] _ZNK6__dios9SchedulerINS_5ClockINS_12NondetChooseINS_4BaseEEEEEE10traceTasksEv [ 0:10] ▶ state #119 [new] -- active threads: [0:0] -- [ 0:10] %05 = call @_ZN6__dios9SchedulerINS_5ClockINS_12NondetChooseINS_4BaseEEEEEE10chooseTaskEv # [global* 0 0 uun] [ 0:10] %03 [ 0:10] %07 = getelementptr [heap* 78cdf456 20h ddp] # [heap* 78cdf456 60h ddp] [ 0:10] [i64 0 d] [i32 1 d] [i32 0 d] [i32 0 d] [ 0:10] %09 = load %07 # [heap* 2be94543 0 ddp] [ 0:10] vm.test.crit %08 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %0b = icmp.eq %09 [global* 0 0 ddn] # [i1 0 1] [ 0:10] br %0b label %0d label %return [ 0:10] %11 = vm.obj.size %10 # [i32 8 d] [ 0:10] %12 = ashr %11 [i32 3 d] # [i32 1 d] [ 0:10] %13 = vm.choose %12 # [i32 0 d] [ 0:10] %17 = load %07 # [heap* 2be94543 0 ddp] [ 0:10] vm.test.crit %16 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %19 = sext %13 # [i64 0 d] [ 0:10] %1a = getelementptr %17 [i64 0 d] [i32 0 d] %19 # [heap* 2be94543 0 ddp] [ 0:10] [i32 0 d] [i32 0 d] [i32 0 d] [ 0:10] %1c = load %1a # [heap* c7395708 0 ddp] [ 0:10] vm.test.crit %1b [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] br label %return [ 0:10] ret %20 [ 0:10] %07 = icmp.eq %05 [global* 0 0 ddn] # [i1 0 1] [ 0:10] br %07 label %if.then label %if.end7 [ 0:10] vm.trace [i32 4 d] %05 [ 0:10] %0b = getelementptr %05 [i64 0 d] [i32 0 d] # [heap* c7395708 0 ddp] [ 0:10] %0d = load %0b # [heap* 9da84db0 0 ddp] [ 0:10] vm.test.crit %0c [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %0f = icmp.eq %0d [global* 0 0 ddn] # [i1 0 1] [ 0:10] br %0f label %if.then5 label %if.end7 [ 0:10] %16 = getelementptr %05 [i64 0 d] [i32 2 d] # [heap* c7395708 10h ddp] [ 0:10] %18 = load %16 # [heap* abc38420 0 ddp] [ 0:10] vm.test.crit %17 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %1a = getelementptr %18 [i64 0 d] [i32 2 d] # [heap* abc38420 10h ddp] [ 0:10] %1c = load %1a # [heap* 10000001 0 ddp] [ 0:10] vm.test.crit %1b [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] vm.ctl.set [i32 1 d] %1c [ 0:10] vm.ctl.set [i32 3 d] %1f [ 0:10] %22 = getelementptr %05 [i64 0 d] [i32 1 d] # [heap* c7395708 8 ddp] [ 0:10] %25 = load %23 # [heap* 65fbc4d5 0 ddp] [ 0:10] vm.test.crit %24 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] vm.ctl.set [i32 4 d] %25 [ 0:10] %28 = getelementptr %01 [i64 0 d] [i32 0 d] # [heap* 78cdf456 68h ddp] [ 0:10] [i32 0 d] [i32 1 d] [i32 0 d] [i32 1 d] [i32 2 d] [ 0:10] %2b = load %29 # [weak* fe138bda 0 ddp] [ 0:10] vm.test.crit %2a [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] vm.ctl.set [i32 5 d] %2b [ 0:10] %30 = getelementptr %03 [i64 0 d] [i32 0 d] # [heap* 78cdf456 20h ddp] [ 0:10] [i32 0 d] [i32 0 d] [i32 0 d] [i32 0 d] [ 0:10] call @_ZN6__dios14MonitorManagerINS_11BaseContextEE11runMonitorsEv %30 [ 0:10] %06 = getelementptr [heap* 78cdf456 20h ddp] # [heap* 78cdf456 28h ddp] [ 0:10] [i64 0 d] [i32 1 d] [ 0:10] %08 = load %06 # [global* 0 0 ddn] [ 0:10] vm.test.crit %07 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %0a = icmp.eq %08 [global* 0 0 ddn] # [i1 1 1] [ 0:10] br %0a label %tailrecurse.i label %if.end [ 0:10] ret [ 0:10] %36 = load %34 # [heap* 9da84db0 0 ddp] [ 0:10] vm.test.crit %35 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %39 = vm.ctl.flag [i64 35 d] [i64 0 d] # [i64 35 d] [ 0:10] vm.ctl.set [i32 2 d] %36 [ 0:10] %0a = load %01 # [global* 0 0 ddn] [ 0:10] vm.test.crit %09 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %01 = vm.ctl.get [i32 7 d] # [global* 0 0 ddn] [ 0:10] %02 = ptrtoint %01 # [i64 0 d] [ 0:10] %04 = and %02 [i64 65536 d] # [i64 0 d] [ 0:10] %05 = icmp.eq %04 [i64 0 d] # [i1 1 1] [ 0:10] br %05 label %if.then label %if.end [ 0:10] %0b = and %02 [i64 32 d] # [i64 0 d] [ 0:10] %0c = icmp.eq %0b [i64 0 d] # [i1 1 1] [ 0:10] br %0c label %if.then4 label %if.end5 [ 0:10] %12 = vm.ctl.flag [i64 131072 d] [i64 0 d] # [i64 0 d] [ 0:10] %13 = vm.ctl.get [i32 3 d] # [heap* c7395708 0 ddp] [ 0:10] %14 = icmp.eq %13 [global* 0 0 ddn] # [i1 0 1] [ 0:10] br %14 label %if.then9 label %if.end11 [ 0:10] %18 = call @__dios_this_frame # [global* 0 0 uun] [ 0:10] %01 = vm.ctl.get [i32 2 d] # [heap* b871f137 0 ddp] [ 0:10] %02 = getelementptr %01 [i64 8 d] # [heap* b871f137 8 ddp] [ 0:10] %04 = load %03 # [alloca* 100011 0 ddp] [ 0:10] ret %04 [ 0:10] %19 = getelementptr %18 [i64 0 d] [i32 1 d] # [alloca* 100011 8 ddp] [ 0:10] %1b = load %1a # [i64 11360415478351659008 dp] [ 0:10] store %1b %1c [ 0:10] br label %if.end11 [ 0:10] vm.ctl.set [i32 2 d] [global* 0 0 ddn] [ 0:10] %01 = call @_ZN6__diosL9get_stateINS_7ContextEEERT_v # [global* 0 0 uun] [ 0:10] %01 = vm.ctl.get [i32 11 d] # [heap* 78cdf456 0 ddp] [ 0:10] ret %02 [ 0:10] %03 = getelementptr %01 [i64 0 d] [i32 0 d] # [heap* 78cdf456 20h ddp] [ 0:10] [i32 0 d] [i32 1 d] [i32 0 d] [i32 1 d] [ 0:10] dbg.call %03 [ 0:10] _ZNK6__dios9SchedulerINS_5ClockINS_12NondetChooseINS_4BaseEEEEEE10traceTasksEv [ 0:10] ▶ state #120 [new] -- active threads: [0:0] -- [ 0:10] %05 = call @_ZN6__dios9SchedulerINS_5ClockINS_12NondetChooseINS_4BaseEEEEEE10chooseTaskEv # [global* 0 0 uun] [ 0:10] %03 [ 0:10] %07 = getelementptr [heap* 78cdf456 20h ddp] # [heap* 78cdf456 60h ddp] [ 0:10] [i64 0 d] [i32 1 d] [i32 0 d] [i32 0 d] [ 0:10] %09 = load %07 # [heap* 2be94543 0 ddp] [ 0:10] vm.test.crit %08 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %0b = icmp.eq %09 [global* 0 0 ddn] # [i1 0 1] [ 0:10] br %0b label %0d label %return [ 0:10] %11 = vm.obj.size %10 # [i32 8 d] [ 0:10] %12 = ashr %11 [i32 3 d] # [i32 1 d] [ 0:10] %13 = vm.choose %12 # [i32 0 d] [ 0:10] %17 = load %07 # [heap* 2be94543 0 ddp] [ 0:10] vm.test.crit %16 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %19 = sext %13 # [i64 0 d] [ 0:10] %1a = getelementptr %17 [i64 0 d] [i32 0 d] %19 # [heap* 2be94543 0 ddp] [ 0:10] [i32 0 d] [i32 0 d] [i32 0 d] [ 0:10] %1c = load %1a # [heap* c7395708 0 ddp] [ 0:10] vm.test.crit %1b [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] br label %return [ 0:10] ret %20 [ 0:10] %07 = icmp.eq %05 [global* 0 0 ddn] # [i1 0 1] [ 0:10] br %07 label %if.then label %if.end7 [ 0:10] vm.trace [i32 4 d] %05 [ 0:10] %0b = getelementptr %05 [i64 0 d] [i32 0 d] # [heap* c7395708 0 ddp] [ 0:10] %0d = load %0b # [heap* 9da84db0 0 ddp] [ 0:10] vm.test.crit %0c [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %0f = icmp.eq %0d [global* 0 0 ddn] # [i1 0 1] [ 0:10] br %0f label %if.then5 label %if.end7 [ 0:10] %16 = getelementptr %05 [i64 0 d] [i32 2 d] # [heap* c7395708 10h ddp] [ 0:10] %18 = load %16 # [heap* abc38420 0 ddp] [ 0:10] vm.test.crit %17 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %1a = getelementptr %18 [i64 0 d] [i32 2 d] # [heap* abc38420 10h ddp] [ 0:10] %1c = load %1a # [heap* 10000001 0 ddp] [ 0:10] vm.test.crit %1b [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] vm.ctl.set [i32 1 d] %1c [ 0:10] vm.ctl.set [i32 3 d] %1f [ 0:10] %22 = getelementptr %05 [i64 0 d] [i32 1 d] # [heap* c7395708 8 ddp] [ 0:10] %25 = load %23 # [heap* 65fbc4d5 0 ddp] [ 0:10] vm.test.crit %24 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] vm.ctl.set [i32 4 d] %25 [ 0:10] %28 = getelementptr %01 [i64 0 d] [i32 0 d] # [heap* 78cdf456 68h ddp] [ 0:10] [i32 0 d] [i32 1 d] [i32 0 d] [i32 1 d] [i32 2 d] [ 0:10] %2b = load %29 # [weak* fe138bda 0 ddp] [ 0:10] vm.test.crit %2a [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] vm.ctl.set [i32 5 d] %2b [ 0:10] %30 = getelementptr %03 [i64 0 d] [i32 0 d] # [heap* 78cdf456 20h ddp] [ 0:10] [i32 0 d] [i32 0 d] [i32 0 d] [i32 0 d] [ 0:10] call @_ZN6__dios14MonitorManagerINS_11BaseContextEE11runMonitorsEv %30 [ 0:10] %06 = getelementptr [heap* 78cdf456 20h ddp] # [heap* 78cdf456 28h ddp] [ 0:10] [i64 0 d] [i32 1 d] [ 0:10] %08 = load %06 # [global* 0 0 ddn] [ 0:10] vm.test.crit %07 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %0a = icmp.eq %08 [global* 0 0 ddn] # [i1 1 1] [ 0:10] br %0a label %tailrecurse.i label %if.end [ 0:10] ret [ 0:10] %36 = load %34 # [heap* 9da84db0 0 ddp] [ 0:10] vm.test.crit %35 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %39 = vm.ctl.flag [i64 35 d] [i64 0 d] # [i64 35 d] [ 0:10] vm.ctl.set [i32 2 d] %36 [ 0:10] %0c = getelementptr %0a [i64 1 d] # [global* 0 1 ddn] [ 0:10] %0e = load %01 # [global* 0 0 ddn] [ 0:10] vm.test.crit %0d [i32 8 d] [i32 1 d] __dios_reschedule [ 0:10] %01 = vm.ctl.get [i32 7 d] # [global* 0 0 ddn] [ 0:10] %02 = ptrtoint %01 # [i64 0 d] [ 0:10] %04 = and %02 [i64 65536 d] # [i64 0 d] [ 0:10] %05 = icmp.eq %04 [i64 0 d] # [i1 1 1] [ 0:10] br %05 label %if.then label %if.end [ 0:10] %0b = and %02 [i64 32 d] # [i64 0 d] [ 0:10] %0c = icmp.eq %0b [i64 0 d] # [i1 1 1] [ 0:10] br %0c label %if.then4 label %if.end5 [ 0:10] %12 = vm.ctl.flag [i64 131072 d] [i64 0 d] # [i64 0 d] [ 0:10] %13 = vm.ctl.get [i32 3 d] # [heap* c7395708 0 ddp] [ 0:10] %14 = icmp.eq %13 [global* 0 0 ddn] # [i1 0 1] [ 0:10] br %14 label %if.then9 label %if.end11 [ 0:10] %18 = call @__dios_this_frame # [global* 0 0 uun] [ 0:10] %01 = vm.ctl.get [i32 2 d] # [heap* 7fbcf581 0 ddp] [ 0:10] %02 = getelementptr %01 [i64 8 d] # [heap* 7fbcf581 8 ddp] [ 0:10] %04 = load %03 # [alloca* 100011 0 ddp] [ 0:10] ret %04 [ 0:10] %19 = getelementptr %18 [i64 0 d] [i32 1 d] # [alloca* 100011 8 ddp] [ 0:10] %1b = load %1a # [i64 11360415478351659008 dp] [ 0:10] store %1b %1c [ 0:11] br label %if.end11 [ 0:11] vm.ctl.set [i32 2 d] [global* 0 0 ddn] [ 0:11] %01 = call @_ZN6__diosL9get_stateINS_7ContextEEERT_v # [global* 0 0 uun] [ 0:11] %01 = vm.ctl.get [i32 11 d] # [heap* 78cdf456 0 ddp] [ 0:11] ret %02 [ 0:11] %03 = getelementptr %01 [i64 0 d] [i32 0 d] # [heap* 78cdf456 20h ddp] [ 0:11] [i32 0 d] [i32 1 d] [i32 0 d] [i32 1 d] [ 0:11] dbg.call %03 [ 0:11] _ZNK6__dios9SchedulerINS_5ClockINS_12NondetChooseINS_4BaseEEEEEE10traceTasksEv [ 0:11] ▶ state #121 [new] -- active threads: [0:0] -- [ 0:11] %05 = call @_ZN6__dios9SchedulerINS_5ClockINS_12NondetChooseINS_4BaseEEEEEE10chooseTaskEv # [global* 0 0 uun] [ 0:11] %03 [ 0:11] %07 = getelementptr [heap* 78cdf456 20h ddp] # [heap* 78cdf456 60h ddp] [ 0:11] [i64 0 d] [i32 1 d] [i32 0 d] [i32 0 d] [ 0:11] %09 = load %07 # [heap* 2be94543 0 ddp] [ 0:11] vm.test.crit %08 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:11] %0b = icmp.eq %09 [global* 0 0 ddn] # [i1 0 1] [ 0:11] br %0b label %0d label %return [ 0:11] %11 = vm.obj.size %10 # [i32 8 d] [ 0:11] %12 = ashr %11 [i32 3 d] # [i32 1 d] [ 0:11] %13 = vm.choose %12 # [i32 0 d] [ 0:11] %17 = load %07 # [heap* 2be94543 0 ddp] [ 0:11] vm.test.crit %16 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:11] %19 = sext %13 # [i64 0 d] [ 0:11] %1a = getelementptr %17 [i64 0 d] [i32 0 d] %19 # [heap* 2be94543 0 ddp] [ 0:11] [i32 0 d] [i32 0 d] [i32 0 d] [ 0:11] %1c = load %1a # [heap* c7395708 0 ddp] [ 0:11] vm.test.crit %1b [i32 8 d] [i32 1 d] __dios_reschedule [ 0:11] br label %return [ 0:11] ret %20 [ 0:11] %07 = icmp.eq %05 [global* 0 0 ddn] # [i1 0 1] [ 0:11] br %07 label %if.then label %if.end7 [ 0:11] vm.trace [i32 4 d] %05 [ 0:11] %0b = getelementptr %05 [i64 0 d] [i32 0 d] # [heap* c7395708 0 ddp] [ 0:11] %0d = load %0b # [heap* 9da84db0 0 ddp] [ 0:11] vm.test.crit %0c [i32 8 d] [i32 1 d] __dios_reschedule [ 0:11] %0f = icmp.eq %0d [global* 0 0 ddn] # [i1 0 1] [ 0:11] br %0f label %if.then5 label %if.end7 [ 0:11] %16 = getelementptr %05 [i64 0 d] [i32 2 d] # [heap* c7395708 10h ddp] [ 0:11] %18 = load %16 # [heap* abc38420 0 ddp] [ 0:11] vm.test.crit %17 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:11] %1a = getelementptr %18 [i64 0 d] [i32 2 d] # [heap* abc38420 10h ddp] [ 0:11] %1c = load %1a # [heap* 10000001 0 ddp] [ 0:11] vm.test.crit %1b [i32 8 d] [i32 1 d] __dios_reschedule [ 0:11] vm.ctl.set [i32 1 d] %1c [ 0:11] vm.ctl.set [i32 3 d] %1f [ 0:11] %22 = getelementptr %05 [i64 0 d] [i32 1 d] # [heap* c7395708 8 ddp] [ 0:11] %25 = load %23 # [heap* 65fbc4d5 0 ddp] [ 0:11] vm.test.crit %24 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:11] vm.ctl.set [i32 4 d] %25 [ 0:11] %28 = getelementptr %01 [i64 0 d] [i32 0 d] # [heap* 78cdf456 68h ddp] [ 0:11] [i32 0 d] [i32 1 d] [i32 0 d] [i32 1 d] [i32 2 d] [ 0:11] %2b = load %29 # [weak* fe138bda 0 ddp] [ 0:11] vm.test.crit %2a [i32 8 d] [i32 1 d] __dios_reschedule [ 0:11] vm.ctl.set [i32 5 d] %2b [ 0:11] %30 = getelementptr %03 [i64 0 d] [i32 0 d] # [heap* 78cdf456 20h ddp] [ 0:11] [i32 0 d] [i32 0 d] [i32 0 d] [i32 0 d] [ 0:11] call @_ZN6__dios14MonitorManagerINS_11BaseContextEE11runMonitorsEv %30 [ 0:11] %06 = getelementptr [heap* 78cdf456 20h ddp] # [heap* 78cdf456 28h ddp] [ 0:11] [i64 0 d] [i32 1 d] [ 0:11] %08 = load %06 # [global* 0 0 ddn] [ 0:11] vm.test.crit %07 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:11] %0a = icmp.eq %08 [global* 0 0 ddn] # [i1 1 1] [ 0:11] br %0a label %tailrecurse.i label %if.end [ 0:11] ret [ 0:11] %36 = load %34 # [heap* 9da84db0 0 ddp] [ 0:11] vm.test.crit %35 [i32 8 d] [i32 1 d] __dios_reschedule [ 0:11] %39 = vm.ctl.flag [i64 35 d] [i64 0 d] # [i64 35 d] [ 0:11] vm.ctl.set [i32 2 d] %36 [ 0:11] %10 = ptrtoint %0c # [i64 1 d] [ 0:11] %11 = ptrtoint %0e # [i64 0 d] [ 0:11] %12 = sub %10 %11 # [i64 1 d] [ 0:11] %13 = icmp.eq %12 [i64 1 d] # [i1 1 1] [ 0:11] br %13 label %cond.false label %cond.true [ 0:11] br label %cond.end [ 0:11] # executing main at ptr-arith.c:9 [ 0:11] [ 0:11] = expected ========== [ 0:11] + ^# executing __boot [ 0:11] > setup --debug-everything [ 0:11] > start [ 0:11] + ^# executing main [ 0:11] > step --over [ 0:11] + ^# executing main at ptr-arith.c:7 [ 0:11] > step --over [ 0:11] + ^# executing main at ptr-arith.c:8 [ 0:11] > step --over [ 0:11] + ^# executing main at ptr-arith.c:9 [ 0:11] [ 0:11] = matched =========== [ 0:11] # executing __boot at /dios/config/common.hpp:28 | ^# executing __boot [ 0:11] > setup --debug-everything | ^> setup --debug-everything [ 0:11] > start | ^> start [ 0:11] # executing main at ptr-arith.c:6 | ^# executing main [ 0:11] > step --over | ^> step --over [ 0:11] # executing main at ptr-arith.c:7 | ^# executing main at ptr-arith.c:7 [ 0:11] > step --over | ^> step --over [ 0:11] # executing main at ptr-arith.c:8 | ^# executing main at ptr-arith.c:8 [ 0:11] > step --over | ^> step --over [ 0:11] # executing main at ptr-arith.c:9 | ^# executing main at ptr-arith.c:9 [ 0:11] + check debris [ 0:11] + test -e warning