| ... | @@ -12,7 +12,7 @@ pub fn addCases(ctx: *TestContext) !void { | ... | @@ -12,7 +12,7 @@ pub fn addCases(ctx: *TestContext) !void { |
| 12 | ctx.c("empty start function", linux_x64, | 12 | ctx.c("empty start function", linux_x64, |
| 13 | \\export fn _start() noreturn {} | 13 | \\export fn _start() noreturn {} |
| 14 | , | 14 | , |
| 15 | \\noreturn void _start(void) {} | 15 | \\zig_noreturn void _start(void) {} |
| 16 | \\ | 16 | \\ |
| 17 | ); | 17 | ); |
| 18 | ctx.c("less empty start function", linux_x64, | 18 | ctx.c("less empty start function", linux_x64, |
| ... | @@ -22,19 +22,19 @@ pub fn addCases(ctx: *TestContext) !void { | ... | @@ -22,19 +22,19 @@ pub fn addCases(ctx: *TestContext) !void { |
| 22 | \\ main(); | 22 | \\ main(); |
| 23 | \\} | 23 | \\} |
| 24 | , | 24 | , |
| 25 | \\noreturn void main(void); | 25 | \\zig_noreturn void main(void); |
| 26 | \\ | 26 | \\ |
| 27 | \\noreturn void _start(void) { | 27 | \\zig_noreturn void _start(void) { |
| 28 | \\ main(); | 28 | \\ main(); |
| 29 | \\} | 29 | \\} |
| 30 | \\ | 30 | \\ |
| 31 | \\noreturn void main(void) {} | 31 | \\zig_noreturn void main(void) {} |
| 32 | \\ | 32 | \\ |
| 33 | ); | 33 | ); |
| 34 | // TODO: implement return values | 34 | // TODO: implement return values |
| 35 | // TODO: figure out a way to prevent asm constants from being generated | 35 | // TODO: figure out a way to prevent asm constants from being generated |
| 36 | ctx.c("inline asm", linux_x64, | 36 | ctx.c("inline asm", linux_x64, |
| 37 | \\fn exitGood() void { | 37 | \\fn exitGood() noreturn { |
| 38 | \\ asm volatile ("syscall" | 38 | \\ asm volatile ("syscall" |
| 39 | \\ : | 39 | \\ : |
| 40 | \\ : [number] "{rax}" (231), | 40 | \\ : [number] "{rax}" (231), |
| ... | @@ -48,21 +48,20 @@ pub fn addCases(ctx: *TestContext) !void { | ... | @@ -48,21 +48,20 @@ pub fn addCases(ctx: *TestContext) !void { |
| 48 | , | 48 | , |
| 49 | \\#include <stddef.h> | 49 | \\#include <stddef.h> |
| 50 | \\ | 50 | \\ |
| 51 | \\void exitGood(void); | 51 | \\zig_noreturn void exitGood(void); |
| 52 | \\ | 52 | \\ |
| 53 | \\const char *const exitGood__anon_0 = "{rax}"; | 53 | \\const char *const exitGood__anon_0 = "{rax}"; |
| 54 | \\const char *const exitGood__anon_1 = "{rdi}"; | 54 | \\const char *const exitGood__anon_1 = "{rdi}"; |
| 55 | \\const char *const exitGood__anon_2 = "syscall"; | 55 | \\const char *const exitGood__anon_2 = "syscall"; |
| 56 | \\ | 56 | \\ |
| 57 | \\noreturn void _start(void) { | 57 | \\zig_noreturn void _start(void) { |
| 58 | \\ exitGood(); | 58 | \\ exitGood(); |
| 59 | \\} | 59 | \\} |
| 60 | \\ | 60 | \\ |
| 61 | \\void exitGood(void) { | 61 | \\zig_noreturn void exitGood(void) { |
| 62 | \\ register size_t rax_constant __asm__("rax") = 231; | 62 | \\ register size_t rax_constant __asm__("rax") = 231; |
| 63 | \\ register size_t rdi_constant __asm__("rdi") = 0; | 63 | \\ register size_t rdi_constant __asm__("rdi") = 0; |
| 64 | \\ __asm volatile ("syscall" :: ""(rax_constant), ""(rdi_constant)); | 64 | \\ __asm volatile ("syscall" :: ""(rax_constant), ""(rdi_constant)); |
| 65 | \\ return; | | |
| 66 | \\} | 65 | \\} |
| 67 | \\ | 66 | \\ |
| 68 | ); | 67 | ); |