Re: skip instructions

Article View: comp.arch

Article #10632

#10632

From: Craig Burley
Date: Mon, 06 May 1991 07:07

8 lines
935 bytes

For what it's worth, one of the arguments I heard way back when as to why
branches were better than skips: "it is much easier to verify program
correctness when the architecture does not have skip instructions".

For the record, I never had any idea what that really meant.  :-)
--

James Craig Burley, Software Craftsperson    burley@gnu.ai.mit.edu

Technical Details

Message-ID: <BURLEY.91May6030744@albert.gnu.ai.mit.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!snorkelwacker.mit.edu!ai-lab!life!burley

References: <1182@opus.NMSU.Edu> <1991May05.174307.8952@iecc.cambridge.ma.us>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!snorkelwacker.mit.edu!ai-lab!life!burley
From: burley@albert.gnu.ai.mit.edu (Craig Burley)
Newsgroups: comp.arch
Subject: Re: skip instructions
Message-ID: <BURLEY.91May6030744@albert.gnu.ai.mit.edu>
Date: 6 May 91 07:07:44 GMT
References: <1182@opus.NMSU.Edu> <1991May05.174307.8952@iecc.cambridge.ma.us>
Sender: news@ai.mit.edu
Distribution: comp
Organization: Free Software Foundation 545 Tech Square Cambridge, MA 02139
Lines: 8
In-reply-to: johnl@iecc.cambridge.ma.us's message of 5 May 91 17:43:07 GMT

Reply to Parent Message