3 ms·

I feel that your answer proves the point my original comment - that there is literally Silicon level support for completely avoiding gotos. I stand by my disgus

I feel that your answer proves the point my original comment - that there is literally Silicon level support for completely avoiding gotos. I stand by my disgust at finding that they exist in any non-legacy code, especially in something I generally think of as high quality (iOS[1]/OS X). (combined with a global pointer to a stack, a few instructions and a jmp should be enough to reimplement functions, including storing the return jmp address somewhere, obviously. As I think I made clear, I believe we invented compilers so that we don't have to know how this stuff is actually implemented. I do realise that I'm never going to know more about assembly than the set of HN readers who will pounce on this kind of comment - I was just trying to show that I have heard of jmp, and that I know it is spat out by compilers to implement high level language features, and that any nontrivial compiled program will contain many jmp instructions. A bug from using goto where a switch or if/else statement would have worked is inexcusable, and also nothing to do with assembly instructions.) [1] actually, iOS 7? I take that back.

lutusp 13y ago
> I feel that your answer proves the point my original comment - that there is literally Silicon level support for completely avoiding gotos. Yes, and there's a reason -- chip design should reflect how computers are programmed at a higher level, and function calls produce code that's easier to understand, create and maintain. The reason is that function calls obey a logical hierarchy that often reflects the meaning of the algorithm being executed. To see the point, try creating a recursive-descent parser that uses GOTO and avoids function calls. This understanding isn't limited to an HN gaggle of nattering bystanders: http://www.u.arizona.edu/~rubinson/copyright_violations/Go_To_Considered_Harmful.html http://www.u.arizona.edu/~rubinson/copyright_violations/Go_T... > I was just trying to show that I have heard of jmp, and that I know it is spat out by compilers to implement high level language features, and that any nontrivial compiled program will contain many jmp instructions. Yes, but what a compiler does, and what a high-level language does, are often completely different. As one example, many recursive algorithms are compiled into functionally equivalent loops, to make them more efficient and to keep from blowing up the stack. My point is that a compiler's output doesn't have to be read by a human, so it can break every rule. Not so for a high-level code listing that might have to be understood and maintained over decades.
- tehwalrus 13y ago
  Then I think we agree on everything, my ignorance of the details of x86 assembly language included! :)
  - lutusp 13y ago
    Not if you think using GOTO in modern code represents acceptable programming. Remember? The topic?
    - tehwalrus 13y ago
      ...I don't. I was never arguing that. See my first comment.

lutusp 13y ago

> I feel that your answer proves the point my original comment - that there is literally Silicon level support for completely avoiding gotos. Yes, and there's a reason -- chip design should reflect how computers are programmed at a higher level, and function calls produce code that's easier to understand, create and maintain. The reason is that function calls obey a logical hierarchy that often reflects the meaning of the algorithm being executed. To see the point, try creating a recursive-descent parser that uses GOTO and avoids function calls. This understanding isn't limited to an HN gaggle of nattering bystanders: http://www.u.arizona.edu/~rubinson/copyright_violations/Go_To_Considered_Harmful.html http://www.u.arizona.edu/~rubinson/copyright_violations/Go_T... > I was just trying to show that I have heard of jmp, and that I know it is spat out by compilers to implement high level language features, and that any nontrivial compiled program will contain many jmp instructions. Yes, but what a compiler does, and what a high-level language does, are often completely different. As one example, many recursive algorithms are compiled into functionally equivalent loops, to make them more efficient and to keep from blowing up the stack. My point is that a compiler's output doesn't have to be read by a human, so it can break every rule. Not so for a high-level code listing that might have to be understood and maintained over decades.

tehwalrus 13y ago
Then I think we agree on everything, my ignorance of the details of x86 assembly language included! :)
- lutusp 13y ago
  Not if you think using GOTO in modern code represents acceptable programming. Remember? The topic?
  - tehwalrus 13y ago
    ...I don't. I was never arguing that. See my first comment.