পূর্ববর্তী উত্তরগুলির কোনওটিই আমার নিজের বিভ্রান্তির নীচে পৌঁছায় না, তাই আমি নিজের নিজের যুক্ত করতে চাই।
আমি যেটা অনুপস্থিত ছিল তা হ'ল leaঅপারেশনগুলি হ'ল বন্ধনীগুলির ব্যবহারের চেয়ে কীভাবে আলাদাmov তার করে।
সি এর কথা চিন্তা করুন আসুন longআমি বলি যে আমি কল করি তার একটি অ্যারে রয়েছে array। array[i]ঠিকানায় মেমরি থেকে মান লোড করে এখন এক্সপ্রেশনটি একটি বিন্যাস সম্পাদন করেarray + i * sizeof(long) [1]।
অন্যদিকে, ভাবটি বিবেচনা করুন &array[i]। এটি এখনও সাব-এক্সপ্রেশন ধারণ করে array[i], তবে কোনও ডেরেফারেন্সিং করা হয় না! এর অর্থ array[i]বদলে গেছে। এটি আর কোনও শ্রদ্ধা সম্পাদন করার অর্থ নয় বরং পরিবর্তে এক ধরণের স্পেসিফিকেশন হিসাবে কাজ করে , &আমরা কী মেমরি ঠিকানা খুঁজছি তা জানিয়ে । আপনি যদি চান, আপনি বিকল্পভাবে চিন্তা করতে পারে& হিসাবে বিবেচ্যতা "বাতিল" হিসাবে ।
যেহেতু দুটি ব্যবহারের ক্ষেত্রে বিভিন্নভাবে একই রকম থাকে, তারা সিনট্যাক্স ভাগ করে array[i], তবে &কীভাবে সিনট্যাক্সটিকে ব্যাখ্যা করা হয় তার পরিবর্তনের অস্তিত্ব বা অনুপস্থিতি । ব্যতীত &, এটি একটি বিন্যাস এবং আসলে অ্যারে থেকে পড়ে। সাথে &, এটা না। মূল্যarray + i * sizeof(long) এখনও গণনা করা হয়, তবে এটির নির্ধারণ করা হয় না।
পরিস্থিতি movএবং এর সাথে খুব মিল lea। সাথে mov, একটি ডিরিফারেন্স ঘটে যা এর সাথে ঘটে না lea। এটি উভয় ক্ষেত্রেই প্রথম বন্ধনী ব্যবহার করা সত্ত্বেও। উদাহরণস্বরূপ, movq (%r8), %r9এবং leaq (%r8), %r9। এর সাথে mov, এই প্রথম বন্ধনীর অর্থ "অবজ্ঞা"; সাথে lea, তারা না। এটি নেই যেখানে array[i]কেবল "ডিরিফারেন্স" এর অর্থ কী& ।
একটি উদাহরণ ক্রমযুক্ত।
কোডটি বিবেচনা করুন
movq (%rdi, %rsi, 8), %rbp
এটি %rdi + %rsi * 8রেজিস্টারটিতে মেমরির অবস্থানের মানটি লোড করে %rbp। হয় যে: রেজিস্টার মান পেতে %rdiএবং রেজিস্টার মান %rsi। পরবর্তীগুলি 8 দ্বারা গুণান এবং তারপরে এটি পূর্বের সাথে যুক্ত করুন। এই অবস্থানটিতে মানটি সন্ধান করুন এবং এটি রেজিস্টারে রাখুন %rbp।
এই কোড সি লাইন অনুরূপ x = array[i];, যেখানে arrayহয়ে %rdiএবং iহয়ে %rsiএবং xহয়ে %rbp। দ্য8অ্যারের মধ্যে অন্তর্ভুক্ত ডাটা টাইপ দৈর্ঘ্য হয়।
এখন একই জাতীয় কোড যা ব্যবহার করে তা বিবেচনা করুন lea:
leaq (%rdi, %rsi, 8), %rbp
শুধু ব্যবহার হিসাবে movqdereferencing অনুরূপ, ব্যবহার leaqএখানে অনুরূপ না dereferencing। সমাবেশের এই লাইনটি সি লাইনের সাথে মিলে যায় x = &array[i];। স্মরণ করুন যে ডিফারেন্সিং থেকে শুরু করে কোনও অবস্থানকে সুনির্দিষ্ট করে &তোলার অর্থ পরিবর্তন করে array[i]। তেমনিভাবে, ব্যবহারকে ডিফেরেন্সিং থেকে শুরু করে কোনও অবস্থান নির্দিষ্ট leaqকরার অর্থ পরিবর্তিত হয় (%rdi, %rsi, 8)।
কোডটির এই লাইনটির শব্দার্থবিজ্ঞান নীচে রয়েছে: রেজিস্টারে %rdiমান এবং রেজিস্টারে মান পান %rsi। পরবর্তীগুলি 8 দ্বারা গুণান এবং তারপরে এটি পূর্বের সাথে যুক্ত করুন। এই মানটি রেজিস্টারে রাখুন %rbp। মেমরি থেকে কোনও বোঝা জড়িত নয়, কেবল গাণিতিক ক্রিয়াকলাপ [2]।
মনে রাখবেন যে আমার বর্ণনার leaqএবং এর মধ্যে একমাত্র পার্থক্য movqহ'ল এটি movqএকটি শ্রদ্ধাবোধ করে, এবং leaqনা। প্রকৃতপক্ষে, leaqবর্ণনাটি লিখতে , আমি মূলত অনুলিপিটি + পোস্ট করে দিয়েছিলাম movqএবং তারপরে "এই স্থানে মানটি সন্ধান করি" removed
সংক্ষেপ করার জন্য: movqবনাম leaqচতুর কারণ তারা প্রথম বন্ধনী ব্যবহার আচরণ হিসাবে, (%rsi)এবং (%rdi, %rsi, 8), ভিন্নভাবে। ইন movq(এবং ব্যতীত অন্য সব নির্দেশ lea), এই প্রথম বন্ধনী একটি জেনুইন ডি-রেফারেন্স বোঝাতে মধ্যে যেহেতু leaqতারা না এবং বিশুদ্ধরূপে সুবিধাজনক সিনট্যাক্স হয়।
[1] আমি বলেছি যে যখন arrayকোনও অ্যারে হয় longতখন অভিব্যক্তি array[i]ঠিকানা থেকে মান বোঝায় array + i * sizeof(long)। এটি সত্য, তবে একটি সূক্ষ্মতা রয়েছে যা মোকাবিলা করা উচিত। আমি যদি সি কোড লিখি
long x = array[5];
এটি টাইপিংয়ের মতো নয়
long x = *(array + 5 * sizeof(long));
দেখে মনে হচ্ছে এটি আমার আগের বক্তব্যগুলির ভিত্তিতে হওয়া উচিত , তবে তা নয় not
যা চলছে তা সি পয়েন্টার সংযোজনটির একটি কৌশল আছে। বলুন আমার কাছে pটাইপের মানগুলির দিকে নির্দেশকারী একটি পয়েন্টার রয়েছে T। অভিব্যক্তি p + iকরে না মানে "এ অবস্থান pপ্লাস iবাইট"। পরিবর্তে, অভিব্যক্তিটির অর্থ p + i আসলে " pপ্লাস i * sizeof(T)বাইটে অবস্থান "।
এর সুবিধাটি হ'ল "পরবর্তী মান" পেতে কেবল আমাদের p + 1পরিবর্তে লিখতে হবে p + 1 * sizeof(T)।
এর অর্থ সি কোডটি long x = array[5];আসলে সমান
long x = *(array + 5)
কারণ সি স্বয়ংক্রিয়ভাবে এর 5দ্বারা গুণিত করবে sizeof(long)।
সুতরাং এই স্ট্যাকওভারফ্লো প্রশ্নটির প্রসঙ্গে, এটি কীভাবে প্রাসঙ্গিক? এর অর্থ হ'ল আমি যখন "ঠিকানা array + i * sizeof(long)" বলি, তখন আমি " " এর অর্থ সি অভিব্যক্তি হিসাবে ব্যাখ্যা করি নাarray + i * sizeof(long) । sizeof(long)আমার উত্তরটি আরও সুস্পষ্ট করার জন্য আমি নিজে থেকে গুণটি করছি, তবে বুঝতে পারি যে এর কারণে এই অভিব্যক্তিটি সি হিসাবে পড়তে হবে না ঠিক যেমন সি সিট্যাক্স ব্যবহার করে এমন সাধারণ গণিত।
[২] পার্শ্ব দ্রষ্টব্য: যেহেতু leaসমস্তগুলি পাটিগণিতের ক্রিয়াকলাপ, তাই তার যুক্তিগুলিকে আসলে বৈধ ঠিকানাগুলি উল্লেখ করতে হবে না। এই কারণে, এটি প্রায়শই মানগুলিতে বিশুদ্ধ গাণিতিক সম্পাদন করতে ব্যবহৃত হয় যা অবধারিত হওয়ার উদ্দেশ্যে নয়। উদাহরণস্বরূপ, অনুকূলিতকরণ অনুবাদ ccসঙ্গে-O2
long f(long x) {
return x * 5;
}
নিম্নলিখিতগুলিতে (অপ্রাসঙ্গিক লাইনগুলি সরানো):
f:
leaq (%rdi, %rdi, 4), %rax # set %rax to %rdi + %rdi * 4
ret