Intermediate Code Generation: Procedure Calls | इंटरमीडिएट कोड जनरेशन में प्रोसीजर कॉल्स
इंटरमीडिएट कोड जनरेशन में प्रोसीजर कॉल्स (Procedure Calls in Intermediate Code Generation)
Procedure Calls या Function Calls Compiler Design में उन स्थितियों को दर्शाते हैं जहाँ एक प्रोग्राम के अंदर किसी अन्य Subroutine या Function को निष्पादित किया जाता है। Intermediate Code Generation के दौरान, Compiler इन Procedure Calls को एक मशीन-स्वतंत्र रूप में परिवर्तित करता है ताकि Stack Management, Parameter Passing, और Control Transfer को कुशलता से संभाला जा सके।
परिचय (Introduction)
प्रोग्रामिंग भाषाओं में, Procedure या Function को बार-बार उपयोग किए जाने वाले कोड को पुनः प्रयोग (reuse) करने के लिए परिभाषित किया जाता है। जब कोई Function Call होता है, तो Compiler को कई महत्वपूर्ण कार्य करने पड़ते हैं — जैसे Parameter Values पास करना, Return Address सहेजना, और Local Variables के लिए Stack Frame बनाना।
Intermediate Code Generation चरण में, Compiler इन कार्यों को मशीन-स्वतंत्र रूप में दर्शाने के लिए विशेष प्रकार का कोड उत्पन्न करता है जिसे Activation Record और Call Sequence कहा जाता है।
Procedure Call की आवश्यकता (Need for Procedure Calls)
- Code Reusability और Modularity प्राप्त करने के लिए।
- Complex Programs को छोटे Subprograms में विभाजित करने के लिए।
- Recursion और Nested Function Calls को संभालने के लिए।
- Memory और Execution Control को संगठित करने के लिए।
Procedure Call की प्रक्रिया (Procedure Call Process)
एक Function Call में Compiler को निम्नलिखित कार्य करने होते हैं:
- Parameters को Pass करना।
- Return Address को Stack में सहेजना।
- Local Variables के लिए Memory Allocate करना।
- Control को Called Function की ओर Transfer करना।
- Function Execution पूरा होने पर Control को वापस लाना।
Activation Record (एक्टिवेशन रिकॉर्ड)
Compiler प्रत्येक Procedure Call के लिए एक Activation Record बनाता है जो Function Call की सभी जानकारियाँ संग्रहीत करता है।
Activation Record Structure:
| Field | Description |
|---|---|
| Return Address | Function समाप्त होने पर कहाँ लौटना है। |
| Parameters | Called Function को दिए गए Arguments। |
| Control Link | Caller Function के Stack Frame का Pointer। |
| Access Link | Non-local Variable Access के लिए Pointer। |
| Local Variables | Function के अंदर उपयोग किए गए Data। |
| Temporary Data | Intermediate Results। |
Intermediate Code Generation for Procedure Calls
Compiler Procedure Calls के लिए निम्नलिखित Intermediate Instructions बनाता है:
- Parameter Passing: सभी Actual Parameters को Evaluate कर Stack में Push किया जाता है।
- Function Invocation: CALL Instruction का उपयोग कर Function को Control Transfer किया जाता है।
- Return Handling: Function Execution पूरा होने पर RETURN Instruction से Control वापस Caller को भेजा जाता है।
उदाहरण:
call sum(a, b)
Intermediate Code Representation:
param a param b call sum, 2
यहाँ ‘2’ का अर्थ है कि दो Parameters Function को भेजे जा रहे हैं।
Function Definition (Intermediate Code):
sum: t1 = a + b return t1
Return Values का प्रबंधन (Return Value Handling)
Return Values को संभालने के लिए Compiler दो मुख्य रणनीतियाँ अपनाता है:
- Register-Based Return: Return Value को एक विशेष Register में संग्रहित किया जाता है।
- Memory-Based Return: Return Address पर एक Temporary Location में Value Store की जाती है।
उदाहरण:
t1 = call sum, 2 x = t1
Parameter Passing Mechanisms in Intermediate Code
- Call by Value: Actual Parameter की एक Copy पास की जाती है।
- Call by Reference: Actual Parameter का Address पास किया जाता है।
- Call by Name: Expression के रूप में पास किया जाता है (जैसे ALGOL)।
Example (Call by Reference):
param &a param &b call swap, 2
Nested and Recursive Calls
Recursive Calls के लिए Compiler को Stack Frames को व्यवस्थित रूप से प्रबंधित करना पड़ता है ताकि हर Function Call के लिए अलग Activation Record बने।
उदाहरण (Recursion):
factorial(n): if n == 0 return 1 else return n * factorial(n - 1)
Intermediate Code Representation:
factorial: if n == 0 goto L1 t1 = n - 1 param t1 t2 = call factorial, 1 t3 = n * t2 return t3 L1: return 1
Procedure Call Optimization Techniques
- Tail Recursion Elimination: Recursive Call को Iterative Loop में बदलना।
- Inline Expansion: छोटे Functions को Inline Code में बदलना।
- Register Allocation: Frequent Variables के लिए Registers Reserve करना।
- Dead Parameter Elimination: Unused Arguments को हटाना।
Error Handling and Procedure Calls
Compiler यह सुनिश्चित करता है कि Function Calls के दौरान:
- Parameter Count और Type सही हों।
- Return Type Expected Type से मेल खाता हो।
- Stack Overflow / Underflow न हो।
- Recursive Calls Infinite न हों।
निष्कर्ष (Conclusion)
Intermediate Code Generation में Procedure Calls Compiler के सबसे महत्वपूर्ण पहलुओं में से एक हैं। यह Control Transfer, Stack Management, और Parameter Handling को मशीन-स्वतंत्र रूप में दर्शाते हैं। एक सुव्यवस्थित Activation Record और Parameter Passing Scheme Compiler को Memory Optimization, Efficiency, और Execution Control में सहायता प्रदान करते हैं। Procedure Calls Compiler Architecture का वह हिस्सा हैं जो High-Level Function Calls को Low-Level Machine Code से जोड़ता है।
Related Post
- Introduction of Compiler | कंपाइलर का परिचय - Working, Structure, and Importance in Compiler Design
- Major Data Structures in Compiler | कंपाइलर में उपयोग होने वाले प्रमुख डेटा स्ट्रक्चर
- Bootstrapping and Porting in Compiler Design | बूटस्ट्रैपिंग और पोर्टिंग क्या है? कार्य, चरण और उदाहरण सहित
- Compiler Structure: Analysis–Synthesis Model of Compilation | कंपाइलर की संरचना और विश्लेषण-संश्लेषण मॉडल
- Various Phases of a Compiler | कंपाइलर के विभिन्न चरण और उनका कार्य (With Diagram & Examples)
- Lexical Analysis in Compiler Design | लेक्सिकल एनालिसिस क्या है? प्रक्रिया, टोकन, बफरिंग और उदाहरण सहित
- Input Buffering in Compiler Design | इनपुट बफरिंग क्या है? डबल बफरिंग तकनीक और उदाहरण सहित
- Specification and Recognition of Tokens in Compiler Design | टोकन की स्पेसिफिकेशन और पहचान - रेगुलर एक्सप्रेशन एवं फाइनाइट ऑटोमाटा सहित
- LEX in Compiler Design | LEX टूल क्या है? संरचना, कार्यप्रणाली और उदाहरण सहित पूर्ण व्याख्या
- Syntax Analysis and Context-Free Grammars (CFGs) | वाक्य विश्लेषण और संदर्भ-मुक्त व्याकरण - Compiler Design Notes 2025
- Top-Down Parsing (Brute Force & Recursive Descent) | टॉप-डाउन पार्सिंग - सिद्धांत, एल्गोरिथ्म और उदाहरण सहित
- Grammar Transformations and Predictive Parsing | व्याकरण रूपांतरण एवं प्रेडिक्टिव पार्सिंग - Compiler Design Notes 2025
- Bottom-Up Parsing and Operator Precedence Parsing | बॉटम-अप पार्सिंग और ऑपरेटर प्रीसीडेंस पार्सिंग - Compiler Design Notes 2025
- LR Parsers (SLR, LALR, Canonical LR) | एलआर पार्सर्स - सिद्धांत, निर्माण प्रक्रिया और उदाहरण सहित
- Parser Generation | पार्सर निर्माण प्रक्रिया - Compiler Design Notes 2025 (Hindi + English)
- Syntax Directed Definitions (SDD) and Construction of Syntax Trees | सिंटैक्स निर्देशित परिभाषाएँ और सिंटैक्स वृक्ष निर्माण - Compiler Design Notes 2025
- Bottom-Up Evaluation of S-Attributed Definitions | एस-एट्रीब्यूटेड डेफिनिशन्स का बॉटम-अप मूल्यांकन - Compiler Design Notes 2025
- L-Attributed Definitions and Top-Down Translation | एल-एट्रीब्यूटेड डेफिनिशन्स और टॉप-डाउन अनुवाद - Compiler Design Notes 2025
- Bottom-Up Evaluation of Inherited Attributes | इनहेरिटेड एट्रीब्यूट्स का बॉटम-अप मूल्यांकन - Compiler Design Notes 2025
- Recursive Evaluation and Syntax Directed Definition Analysis | रिकर्सिव मूल्यांकन और सिंटैक्स निर्देशित परिभाषा विश्लेषण - Compiler Design Notes 2025
- Type System | टाइप सिस्टम क्या है?
- Specification of Simple Type Checker | सरल टाइप चेकर का विश्लेषण
- Equivalence of Expressions and Types in Compiler Design | कंपाइलर डिज़ाइन में अभिव्यक्तियों और टाइप्स की समानता
- Type Conversion in Compiler Design | कंपाइलर डिज़ाइन में टाइप रूपांतरण
- Overloading of Functions and Operations in Compiler Design | कंपाइलर डिज़ाइन में फ़ंक्शन और ऑपरेशन का ओवरलोडिंग
- Polymorphic Functions in Compiler Design | कंपाइलर डिज़ाइन में बहुरूपी फ़ंक्शन
- Storage Organization in Compiler Design | कंपाइलर डिज़ाइन में स्टोरेज संगठन
- Storage Allocation Strategies in Compiler Design | कंपाइलर डिज़ाइन में स्टोरेज आबंटन रणनीतियाँ
- Parameter Passing in Compiler Design | कंपाइलर डिज़ाइन में पैरामीटर पासिंग
- Dynamic Storage Allocation in Compiler Design | कंपाइलर डिज़ाइन में डायनेमिक स्टोरेज आबंटन
- Symbol Table in Compiler Design | कंपाइलर डिज़ाइन में सिंबल टेबल
- Intermediate Code Generation: Declarations | इंटरमीडिएट कोड जनरेशन में घोषणाएँ
- Intermediate Code Generation: Assignment Statements | इंटरमीडिएट कोड जनरेशन में असाइनमेंट स्टेटमेंट्स
- Intermediate Code Generation: Boolean Expressions | इंटरमीडिएट कोड जनरेशन में बूलियन अभिव्यक्तियाँ
- Intermediate Code Generation: Case Statements | इंटरमीडिएट कोड जनरेशन में केस स्टेटमेंट्स
- Intermediate Code Generation: Backpatching | इंटरमीडिएट कोड जनरेशन में बैकपैचिंग
- Intermediate Code Generation: Procedure Calls | इंटरमीडिएट कोड जनरेशन में प्रोसीजर कॉल्स
- Code Generation: Issues in the Design of Code Generator | कोड जनरेटर के डिज़ाइन में समस्याएँ
- Basic Blocks and Flow Graphs | बेसिक ब्लॉक्स और फ्लो ग्राफ़्स
- Register Allocation and Assignment | रजिस्टर आबंटन और असाइनमेंट
- DAG Representation of Basic Blocks | बेसिक ब्लॉक्स का DAG प्रतिनिधित्व
- Peephole Optimization | पीपहोल ऑप्टिमाइज़ेशन
- Generating Code from DAG | DAG से कोड जनरेशन
- Introduction to Code Optimization | कोड ऑप्टिमाइज़ेशन का परिचय
- Sources of Optimization of Basic Blocks | बेसिक ब्लॉक्स के ऑप्टिमाइज़ेशन के स्रोत
- Loops in Flow Graphs | फ्लो ग्राफ़्स में लूप्स
- Dead Code Elimination | डेड कोड एलिमिनेशन
- Loop Optimization | लूप ऑप्टिमाइज़ेशन
- Introduction to Global Data Flow Analysis | ग्लोबल डेटा फ्लो एनालिसिस का परिचय
- Code Improving Transformations in Compiler Design | कोड सुधार परिवर्तन की उन्नत तकनीकें
- Data Flow Analysis of Structured Flow Graph | स्ट्रक्चर्ड फ्लो ग्राफ का डेटा फ्लो विश्लेषण
- Symbolic Debugging of Optimized Code | ऑप्टिमाइज़्ड कोड का प्रतीकात्मक डीबगिंग