Element dari Bahasa Pemrograman Assembler
Bahasa assembly dikategorikan sebagai bahasa tingkat rendah (low level languange). Ini untuk menggambarkan kekhususannya sebagai bahasa yang berorientasi pada machine dependent. Untuk membandingkan bahasa mesin dan bahasa assembly, kita dapat melihatnya dari tiga karakteristik berikut :
1. Mnemonic operation code. Sebagai pengganti numeric operation code (opcodes) yang digunakan pada bahasa mesin, digunakankanlah mnemonic code pada bahasa assembly. Selain kemudahan dalam penulisannya dibandingkan dari bahasa mesin juga mendukung pelacakan kesalahan seperti kesalahan penulisan operation code. Lihat gambar berikut ini:
gambar 1.1 menunjukkan daftar instuksi operation codes dari bahasa dan bahasa assembly.
2. Symbolic operand specification. Penamaan simbol diasosiasikan sebagai suatu data atau instruksi. Operand lebih menunjukkan symbolic reference dibandingkan dengan alamat mesin suatu data atau instruksi. Hal ini akan mempermudah pada saat harus dilakukan modifikasi program.
3. Declaration of data/storage area. Data dapat dinyatakan dalam notasi desimal. Ini dilakukan untuk mencegah konversi secara manual dari konstanta ke dalam representasi internal mesin.
Sebagai contoh :
-5 menjadi (11111010)2 atau 10.5 menjadi (41A80000)16
Suatu statement bahasa assembly mempunyai bentuk umum sebagai berikut :
[Label] Menmonic OpCode Operand [operand…]
Tanda kurung siku menunjukkan isi di dalamnya boleh digunakan atau tidak dalam statement tersebut, sebagai contoh : label bersifat optional. Jika label digunakan, hal tersebut menujukkan suatu symbolic name akan dibuat dalam machine word untuk keperluan assembly statement. Bila digunakan lebih dari satu operand, digunakan tanda “koma” untuk memisahkannya. Jika digunakan index, nomor index register ditunjukan dalam sebuah simbol, seperti contoh berikut :
AGAIN LOAD NUMBER(4)
Dimana ‘4’ menunjukkan register yang memiliki index. AGAIN diasosiasikan dengan instruksi mesin yang dihasilkan untuk statement LOAD. Lihat gambar berikut ini mengilustrasikan program bahasa mesin yang dipersamakan dengan bahasa assembly.
(a) program bahasa mesin (b) eguivalent bahasa program assembly
Program assembly mengenal tiga jenis statement yaitu:
Imperative Statement
Statement imperative dalam bahasa assembly ditunjukan dengan suatu tindakan yang dikerjakan selama eksekusi program assembly. Karena itu setiap statement imperative ditranslasikan ke dalam instruksi mesin.
Format instruksi :
Declarative Statement
Statement declarative dalam bahasa assembly menunjukkan konstanta atau storage area pada suatu program. Sebagai contoh :
A DS 1
secara sederhana storage area sebesar 1 word ditunjukkan dengan sebuah label A. DS di sini menunjukkan Declare Storage (DS).
Suatu konstanta dideklarasikan melalui Declare Constant (DC) statement, contohnya :
ONE DC ‘1’
maksud dari statement di atas adalah label ONE berisi konstanta 1. Programmer dapat mendeklarasikan kontanta dalam desimal, binary, hexadesimal, dsb. Assembler akan mengkonversi bentuk tersebut ke dalam bentuk internal yang tepat.
Beberapa assembler sering pula menggunakan’literal’ khususnya pada konstanta yang dipakai sebagai operand, seperti contoh berikut :
Penggunaan tanda “=” pada posisi awal suatu operand menunjukkan sebuah literal. Nilai konstanta yang ditulis dengan cara demikian sama dengan nilai yang dihasilkan bila menggunakan statement DC.
Assembler Directive
Statement jenis ini tidak merepresentasikan instruksi mesin ke dalm suatu objek program atau mengalokasikan storage untuk konstanta atau variable program. Sebaliknya, statement ini secara langsung mengarahkan assembler untukmengambil alih aksi selama proses assembling program. Statement ini digunakan untuk menunjukkan bagaimana input program assembly dibentuk,
sebagi contoh : START 100
statement tersebut merupakan kata pertama dari objek program yang dibuat oleh assembler untuk menempatkan lokasi mesin pada alamat ‘100’. Begitupula dengan statement : END, yang mengindikasikan tidak ada lagi bahasa statement bahasa assembly yang akan diproses.
Proses Assembly
Untuk membangun skema proses translasi dari satu bahasa ke bentuk lainnya, hal pertama yang harus dilakukan adalah mengindentifikasikan tugas-tugas dasar yang harus dikerjakannya dalam proses translasi tersebut.
Secara umum model proses translasi dapat direpresentasikan sebagai berikut :
Model di atas diterapkan untuk mentranslasikan dari sautu bahasa pemrograman ke bentuk lain, translasi dari satu bahasa natural (Inggris, Perancis) ke bentuk coding / decoding pesan rahasia. Untuk mengaplikasikan model di atas, kita perlu menentukan komponen-komponen yang dibutuhkan selama proses analisis dan sintesis.
Dalam fase analisis, focus perhatian kita adalah kepada penentuan arti dari source text. Untuk memahami arti dari source text tersebut, kita mengetahui aturan yang membentuk source text tersebut. Dalam aturan struktur tatabahasa (grammar), dikenal istilah syntax dan semantic. Perhatikan statement berikut :
AGAIN LOAD RESULT + 4
Dalam statement di atas, AGAIN menunjukkan label field, LOAD menunjukkan opcode mnemonic field dan RESULT + 4 menunjukkan operand field. Bila kita melihat lebih dalam lagi ke dalam operand field, kita dapat menukan bahwa RESULT + 4 adalah expression operand yang valid dan sesuai dengan aturan bahasa. Dalam bahasa assembly, aturan penulisan suatu statement sangat sederhana. Pembahasan mengenai tata bahasa akan dilanjutkan pada materi-materi berikutnya.
Dalam fase sintesis, dilakukan pemilihan machine operation code yang sesuai dengan mnemonic LOAD dan menempatkannya pada machine instruction opcode field. Evaluasi korespondensi pengalamatan dilakukan untuk operand expression ’RESULT + 4’ dan menempatkannya pada alamat dari machine instruction.
Fase Analysis
- Mengisolasikan / memisahkan label, mnemonic operation code dan operand field yang ada pada statement
- Memasukkan simbol yang ditemukan pada label field dan alamat yang akan dituju machine word ke dalam Symbol table.
- Melakukan validasi menmonic operation code dengan melihat pada Mnemonic table
- Menentukan alamat yang dibutuhkan statement berdasar pada mnemonic operation code dan operand field pada statement. Proses penghitungan alamat awal machine word mengikuti target code yang dibangkitkan untuk statement tersebut (Location Counter (LC) processing).
Fase Syntesis
- Menghasilkan machine operation code yang berkorespondensi dengan mnemonic operation code yang telah dicari pada mnemonic table
- Menghasilkan alamat operand dari Symbol table
- Melakukan sintesa instruksi machine
- Pass Structure pada Assembler
Pada pembahasan di atas, kita telah mengidentifikasikan fungsi fase analisi dan sintesis dari assembler. Sekarang kita akan melihat fase program assembly ini berdasarkan statment demi statement hingga menghasilkan target program, seperti terlihat dari gambar 1.2 berikut ini :
gambar 1.2 Translasi statement demi statement program bahasa assembly.
Perhatikan contoh program assembly berikut ini :
Pada contoh di atas terlihat bahwa FIVE merupakan label yang menunjuk pada alamat dimana isi dari FIVE tersebut disimpan. Dalam kasus ini FIVE tidak terdefinisi sebelumnya . Oleh karena ini, penterjemahan bentuk ini disebut forward reference. Pada kasus forward reference alamat dari label harus dikenali dalam jenisnya untuk diterjemahkan ke dalam suatu program yang semestinya. Solusi yang ditawarkan adalah kita perlu melakukan proses terhadap source statement lebih dari satu kali atau dilakukan secara beberapa tahap. Hal ini dikenal dengan konsep translator pass.
Translator pass adalah penelusuran secara menyeluruh source program input oleh translator hingga mencapai equivalent representation.
Translasi yang dilakukan statement demi statement disebut single pass translation, sedangkan translasi yang dilakukan sekelompok statement yang membutuhkan banyak pass disebut multipass translation.
A. Multi-Pass Translation
Multi pass translation dalam program bahasa assembly dapat menangani masalah forward reference. Unit pada source program digunakan untuk tujuan mentranslasi semua bagian program. Ketika fase analisis statement program pertama kali dilakukan, proses LC akan dikerjakan dan simbol yang didefinisikan dalam program dimasukkan ke dalam simbol table. Selama second pass, statement diproses dengan tujuan mensintesa target form. Semua simbol dan alamat yang dapat ditemukan dalam simbol table tidak akan menimbulkan forward reference pada assembly.
Kalimat “equivalent representation” digunakan pada translasi yang membutuhkan elaborasi. Sering kali ketika proses pemisahan field label, mnemonic opcode dan operand field terjadi duplikasi. Untuk mengurangi duplikasi tersebut, hasil analisa source statement dari first pass direpresentasikan dalam internal form pada source statement. Bentuk ini disebut intermediate code. Ilustrasi dari skema two pass assembler dengan menggunakan intermediate code form dapat dilihat pada gambar 1.3 berikut ini :
gambar 1.3 Skema Multi-Pass assembler
Selain membangun intermediate code, suatu assembler pass juga membangun dan/atau mengganti data base yang digunakan subsequent pass. Karena kebutuhan untuk membangun dan memproses intermediate code, suatu multi pass translator menjalankan fungsinya lebih lambat dibandingkan dengan single pass translation.
B. Single Pass Translation
Dalam single pass translation, pemecahan forward reference dapat ditangani sebagai berikut : instruksi yang memuat forward reference dapat ditinggalkan dalam keadaan tidak selesai hingga alamat reference symbol diketahui. Untuk meletakkan alamat operand pada bagain akhir dapat disimpan pada Table of Incomplete Instruction (TII). Di akhir program assembly, semua masukan pada table dapat diproses secara lengkap sesuai instruksinya.
Keuntungan menggunakan single pass translation adalah setiap source statement hanya diproses satu kali. Proses ini lebih cepat bila dibandingkan dengan multi pass translation. Namun demikian, ada kekurangan yang terdapat pada single pass translation, yaitu besarnya area storage yang dibutuhkan oleh assembler, sebagai akibat dijalankannya fase analysis dan synthesis pada pass yang sama.
Secara umum dikenal ada dua macam tipe single pass translation / one pass, yaitu :
- single pass translation yang menghasilkan kode objek langsung ke memori, yang mengakibatkan eksekusi menjadi lebih cepat.
- single pass translation yang menghasilkan berbagai tipe pemrograman untuk keperluan eksekusi selanjutnya.
Perancangan Two Pass Assembler
Pass I
- memisahkan symbol, mnemonic opcode dan operand field
- menentukan storage yang dibutuhkan untuk setiap statement bahasa assembly dan meng-update location counter
- membangun symbol table
- merancang intermediate code untuk setiap statement bahasa assembly
Pass II
mensintesa target code dengan memproses intermediate code yang dibangkitkan selama pass I
Flowchart yang menggambarkan Pass I assembler dapat dilihat di bawah ini :
gambar 1.4 Pass I assembler
Pada Pass I digunakan beberapa table, yaitu :
(i) OPTAB : table mnemonic opcode dan informasi lain yang terkait
(ii) SYMTAB : symbol table
(iii) LITTAB : table literal yang digunakan dalam program
