Lines Matching refs:__msg
21 __msg(": R0_w=0xffffffff80000000")
23 __msg(": R0_w=0x7fffffff")
25 __msg(": R0_w=0")
27 __msg(": R0_w=0x8000000000000000 R1_w=0x8000000000000000")
29 __msg(": R0_w=0x7fffffffffffffff R1_w=0x7fffffffffffffff")
32 __msg(": R0_w=scalar(id=1,smax=0x7ffffffe)")
34 __msg(": R0_w=scalar(id=1,smax=-1,umin=0x8000000000000000,var_off=(0x8000000000000000; 0x7fffffffff…
36 __msg(": R0_w=scalar(id=1,smax=0xffffffff7fffffff")
39 __msg(": R0_w=scalar(id=1,smax=0x7fffffff)")
41 __msg(": R0_w=scalar(id=1,smax=0)")
43 __msg(": R0_w=scalar(id=1,smax=0xffffffff80000000")
46 __msg(": R0_w=scalar(id=1,smin=umin=0x80000000,umax=0x7fffffffffffffff,var_off=(0x0; 0x7fffffffffff…
48 __msg(": R0_w=scalar(id=1,smin=umin=1,umax=0x7fffffffffffffff,var_off=(0x0; 0x7fffffffffffffff))")
50 __msg(": R0_w=scalar(id=1,smin=0xffffffff80000001")
53 __msg(": R0_w=scalar(id=1,smin=umin=0x7fffffff,umax=0x7fffffffffffffff,var_off=(0x0; 0x7fffffffffff…
55 __msg(": R0_w=scalar(id=1,smin=0,umax=0x7fffffffffffffff,var_off=(0x0; 0x7fffffffffffffff))")
57 __msg(": R0_w=scalar(id=1,smin=0xffffffff80000000")
62 __msg(": R0=0 R1=ctx() R2=scalar(smin=0xffffffff80000002,smax=smax32=0x7ffffffd,smin32=0x80000002) …
78 __msg(": R1=ctx() R2=scalar(smin=umin=smin32=umin32=4096,smax=umax=smax32=umax32=8192,var_off=(0x0;…
89 __msg(": R0=0 R1=ctx() R2=4096 R10=fp0")
106 __msg(": R1=ctx() R2=4096 R10=fp0")
117 __msg(": R1=pkt(off=64,r=64) R2=pkt_end() R6=pkt(r=64) R10=fp0")
128 __failure __msg("At program exit the register R1 has smin=64 smax=64")