private static void add_use(Block b,IcOper i,IcStmt inst){
		if(i instanceof IcVar){
			//add to block's info
			if(!b.def.contains(i))
				b.use.add((IcVar)i);
			//add to inst's info
			inst.use_var.add((IcVar)i);
		}
	}