66 |
| (I.BV{labs,b,x,...},false) => I.BV{labs=labs,b=b,x=x,n=n} |
| (I.BV{labs,b,x,...},false) => I.BV{labs=labs,b=b,x=x,n=n} |
67 |
| (I.BE{labs,b,d,sr,...},false) => I.BE{labs=labs,b=b,d=d,sr=sr,n=n} |
| (I.BE{labs,b,d,sr,...},false) => I.BE{labs=labs,b=b,d=d,sr=sr,n=n} |
68 |
| (I.BLR{x,t,labs,...},false) => I.BLR{x=x,t=t,labs=labs,n=n} |
| (I.BLR{x,t,labs,...},false) => I.BLR{x=x,t=t,labs=labs,n=n} |
69 |
| (I.BL{lab,t,defs,uses,mem,...},false) => |
| (I.BL{lab,t,defs,uses,cutsTo,mem,...},false) => |
70 |
I.BL{lab=lab,t=t,defs=defs,uses=uses,mem=mem,n=n} |
I.BL{lab=lab,t=t,defs=defs,uses=uses,cutsTo=cutsTo,mem=mem,n=n} |
71 |
| (I.LONGJUMP{lab,tmp,tmpLab,...},false) => |
| (I.LONGJUMP{lab,tmp,tmpLab,...},false) => |
72 |
I.LONGJUMP{lab=lab,tmp=tmp,tmpLab=tmpLab,n=n} |
I.LONGJUMP{lab=lab,tmp=tmp,tmpLab=tmpLab,n=n} |
73 |
| (I.ANNOTATION{i,a},_) => |
| (I.ANNOTATION{i,a},_) => |