OSDev.org

The Place to Start for Operating System Developers
It is currently Fri Aug 07, 2020 9:48 pm

All times are UTC - 6 hours




Post new topic Reply to topic  [ 32 posts ]  Go to page Previous  1, 2, 3
Author Message
 Post subject: Re: assert that with (have you hugged your compiler today)
PostPosted: Fri Mar 20, 2020 1:47 am 
Online
Member
Member

Joined: Mon Mar 25, 2013 7:01 pm
Posts: 2169
mikegonta wrote:
No actual assembly language is generated and there is no assembler.

It still sounds like an assembler to me, even if the language you're using is "put the u32 into the other u32;" instead of "mov esi, [esp+4]; mov edi, [esp+8]; mov eax, [esi]; mov [edi], eax;".

mikegonta wrote:
The generation of x64, elf for Linux, C and object file format are on my todo list.

Perhaps you should consider generating LLVM IR. It'll speed up porting to other binary formats, and LLVM includes an optimizer for it.


Top
 Profile  
 
 Post subject: Re: assert that with (have you hugged your compiler today)
PostPosted: Fri Mar 20, 2020 2:32 am 
Offline
Member
Member
User avatar

Joined: Sat Mar 31, 2012 3:07 am
Posts: 3888
Location: Chichester, UK
As a general comment on this subject, you might like to look at Eiffel which supports a framework of contracts and assertions far superior to the simple assertions discussed here. It's not my favourite language but it's worth looking at if you are interested in assertions of program correctness.


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 32 posts ]  Go to page Previous  1, 2, 3

All times are UTC - 6 hours


Who is online

Users browsing this forum: No registered users and 4 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group