mirror of
https://github.com/c3lang/c3c.git
synced 2026-02-27 12:01:16 +00:00
More efficient int[] a = {}; Disallow zero length arrays. Bump to 0.2.19 (#489)
More efficient int[] a = {}; Disallow zero length arrays. Bump to 0.2.19. Improve error on mistyped types.
This commit is contained in:
Christoffer Lerno
committed by
GitHub
GitHub
parent
8afbccd3fe
commit
002ee006c1
@@ -15,7 +15,6 @@ fn int test()
|
||||
{
|
||||
Baz ffe = { .x = 1 };
|
||||
int[1] azz = {};
|
||||
int[*] a = {};
|
||||
var $foo = { 11, 22, 33 };
|
||||
static int foo1 = $foo[1];
|
||||
int foo2 = $foo[2];
|
||||
@@ -49,7 +48,6 @@ define i32 @general_tests_test() #0 {
|
||||
entry:
|
||||
%ffe = alloca %Baz, align 8
|
||||
%azz = alloca [1 x i32], align 4
|
||||
%a = alloca [0 x i32], align 4
|
||||
%foo2 = alloca i32, align 4
|
||||
%str = alloca i8*, align 8
|
||||
%x = alloca i8, align 1
|
||||
@@ -57,9 +55,7 @@ entry:
|
||||
%b = alloca %Bar, align 4
|
||||
%z = alloca %Baz, align 8
|
||||
%sub = alloca %"int[]", align 8
|
||||
%literal1 = alloca [0 x i32], align 4
|
||||
%foo = alloca %"Bar[]", align 8
|
||||
%literal2 = alloca [0 x %Bar], align 4
|
||||
%baz = alloca [3 x %Baz], align 16
|
||||
%0 = bitcast %Baz* %ffe to i8*
|
||||
call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 8 %0, i8* align 8 bitcast ({ i32, [4 x i8] }* @.__const to i8*), i32 8, i1 false)
|
||||
@@ -86,17 +82,9 @@ entry:
|
||||
store i32 0, i32* %11, align 4
|
||||
%12 = bitcast %Baz* %z to i8*
|
||||
call void @llvm.memset.p0i8.i64(i8* align 8 %12, i8 0, i64 8, i1 false)
|
||||
store [0 x i32] zeroinitializer, [0 x i32]* %literal1, align 4
|
||||
%13 = bitcast [0 x i32]* %literal1 to i32*
|
||||
%14 = insertvalue %"int[]" undef, i32* %13, 0
|
||||
%15 = insertvalue %"int[]" %14, i64 0, 1
|
||||
store %"int[]" %15, %"int[]"* %sub, align 8
|
||||
store [0 x %Bar] zeroinitializer, [0 x %Bar]* %literal2, align 4
|
||||
%16 = bitcast [0 x %Bar]* %literal2 to %Bar*
|
||||
%17 = insertvalue %"Bar[]" undef, %Bar* %16, 0
|
||||
%18 = insertvalue %"Bar[]" %17, i64 0, 1
|
||||
store %"Bar[]" %18, %"Bar[]"* %foo, align 8
|
||||
%19 = bitcast [3 x %Baz]* %baz to i8*
|
||||
call void @llvm.memset.p0i8.i64(i8* align 16 %19, i8 0, i64 24, i1 false)
|
||||
store %"int[]" zeroinitializer, %"int[]"* %sub, align 8
|
||||
store %"Bar[]" zeroinitializer, %"Bar[]"* %foo, align 8
|
||||
%13 = bitcast [3 x %Baz]* %baz to i8*
|
||||
call void @llvm.memset.p0i8.i64(i8* align 16 %13, i8 0, i64 24, i1 false)
|
||||
ret i32 1
|
||||
}
|
||||
@@ -31,7 +31,6 @@ fn int main()
|
||||
libc::printf("Fofeo second element %d\n", fofeo[1]);
|
||||
Baz ffe = { .x = 1 };
|
||||
int[1] azz = {};
|
||||
int[*] a = {};
|
||||
|
||||
//var $foo = { 1, 2, 3 };
|
||||
bool xy = ! int[] { 1, 2, 3 };
|
||||
@@ -66,6 +65,7 @@ fn int main()
|
||||
@.str.8 = private unnamed_addr constant [25 x i8] c"Fofeo second element %d\0A\00", align 1
|
||||
@.__const = private unnamed_addr constant { i32, [4 x i8] } { i32 1, [4 x i8] undef }, align 8
|
||||
@.str.9 = private unnamed_addr constant [3 x i8] c"Ok\00", align 1
|
||||
|
||||
; Function Attrs: nounwind
|
||||
define i32 @main() #0 {
|
||||
entry:
|
||||
@@ -76,15 +76,12 @@ entry:
|
||||
%literal2 = alloca [3 x i32], align 4
|
||||
%ffe = alloca %Baz, align 8
|
||||
%azz = alloca [1 x i32], align 4
|
||||
%a = alloca [0 x i32], align 4
|
||||
%xy = alloca i8, align 1
|
||||
%literal6 = alloca [3 x i32], align 4
|
||||
%b = alloca %Bar, align 4
|
||||
%z = alloca %Baz, align 8
|
||||
%sub = alloca %"int[]", align 8
|
||||
%literal8 = alloca [0 x i32], align 4
|
||||
%foo = alloca %"Bar[]", align 8
|
||||
%literal9 = alloca [0 x %Bar], align 4
|
||||
%baz = alloca [3 x %Baz], align 16
|
||||
%0 = load %Bar*, %Bar** getelementptr inbounds (%"Bar[]", %"Bar[]"* @subarrays_arrbar, i32 0, i32 0), align 8
|
||||
%ptroffset = getelementptr inbounds %Bar, %Bar* %0, i64 1
|
||||
@@ -152,9 +149,11 @@ entry:
|
||||
%40 = trunc i8 %39 to i1
|
||||
%not7 = xor i1 %40, true
|
||||
br i1 %not7, label %if.then, label %if.exit
|
||||
|
||||
if.then: ; preds = %entry
|
||||
%41 = call i32 @std_io_println(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.9, i32 0, i32 0)) #3
|
||||
br label %if.exit
|
||||
|
||||
if.exit: ; preds = %if.then, %entry
|
||||
%42 = getelementptr inbounds %Bar, %Bar* %b, i32 0, i32 0
|
||||
store i32 0, i32* %42, align 4
|
||||
@@ -162,17 +161,9 @@ if.exit: ; preds = %if.then, %entry
|
||||
store i32 0, i32* %43, align 4
|
||||
%44 = bitcast %Baz* %z to i8*
|
||||
call void @llvm.memset.p0i8.i64(i8* align 8 %44, i8 0, i64 8, i1 false)
|
||||
store [0 x i32] zeroinitializer, [0 x i32]* %literal8, align 4
|
||||
%45 = bitcast [0 x i32]* %literal8 to i32*
|
||||
%46 = insertvalue %"int[]" undef, i32* %45, 0
|
||||
%47 = insertvalue %"int[]" %46, i64 0, 1
|
||||
store %"int[]" %47, %"int[]"* %sub, align 8
|
||||
store [0 x %Bar] zeroinitializer, [0 x %Bar]* %literal9, align 4
|
||||
%48 = bitcast [0 x %Bar]* %literal9 to %Bar*
|
||||
%49 = insertvalue %"Bar[]" undef, %Bar* %48, 0
|
||||
%50 = insertvalue %"Bar[]" %49, i64 0, 1
|
||||
store %"Bar[]" %50, %"Bar[]"* %foo, align 8
|
||||
%51 = bitcast [3 x %Baz]* %baz to i8*
|
||||
call void @llvm.memset.p0i8.i64(i8* align 16 %51, i8 0, i64 24, i1 false)
|
||||
store %"int[]" zeroinitializer, %"int[]"* %sub, align 8
|
||||
store %"Bar[]" zeroinitializer, %"Bar[]"* %foo, align 8
|
||||
%45 = bitcast [3 x %Baz]* %baz to i8*
|
||||
call void @llvm.memset.p0i8.i64(i8* align 16 %45, i8 0, i64 24, i1 false)
|
||||
ret i32 1
|
||||
}
|
||||
|
||||
4
test/test_suite/initializer_lists/zero_inferred_array.c3
Normal file
4
test/test_suite/initializer_lists/zero_inferred_array.c3
Normal file
@@ -0,0 +1,4 @@
|
||||
fn void test()
|
||||
{
|
||||
int[*] a = {}; // #error: Zero length arrays are not permitted.
|
||||
}
|
||||
@@ -20,7 +20,6 @@ fn int test()
|
||||
{
|
||||
Mega m = {};
|
||||
int[1] azz = {};
|
||||
int[*] a = {};
|
||||
Bar b = {};
|
||||
Baz z = {};
|
||||
int[] sub = {};
|
||||
@@ -39,13 +38,10 @@ define i32 @zero_init_test() #0 {
|
||||
entry:
|
||||
%m = alloca %Mega, align 4
|
||||
%azz = alloca [1 x i32], align 4
|
||||
%a = alloca [0 x i32], align 4
|
||||
%b = alloca %Bar, align 4
|
||||
%z = alloca %Baz, align 8
|
||||
%sub = alloca %"int[]", align 8
|
||||
%literal = alloca [0 x i32], align 4
|
||||
%foo = alloca %"Bar[]", align 8
|
||||
%literal1 = alloca [0 x %Bar], align 4
|
||||
%baz = alloca [3 x %Baz], align 16
|
||||
%0 = bitcast %Mega* %m to i8*
|
||||
call void @llvm.memset.p0i8.i64(i8* align 4 %0, i8 0, i64 40, i1 false)
|
||||
@@ -57,17 +53,9 @@ entry:
|
||||
store i32 0, i32* %3, align 4
|
||||
%4 = bitcast %Baz* %z to i8*
|
||||
call void @llvm.memset.p0i8.i64(i8* align 8 %4, i8 0, i64 8, i1 false)
|
||||
store [0 x i32] zeroinitializer, [0 x i32]* %literal, align 4
|
||||
%5 = bitcast [0 x i32]* %literal to i32*
|
||||
%6 = insertvalue %"int[]" undef, i32* %5, 0
|
||||
%7 = insertvalue %"int[]" %6, i64 0, 1
|
||||
store %"int[]" %7, %"int[]"* %sub, align 8
|
||||
store [0 x %Bar] zeroinitializer, [0 x %Bar]* %literal1, align 4
|
||||
%8 = bitcast [0 x %Bar]* %literal1 to %Bar*
|
||||
%9 = insertvalue %"Bar[]" undef, %Bar* %8, 0
|
||||
%10 = insertvalue %"Bar[]" %9, i64 0, 1
|
||||
store %"Bar[]" %10, %"Bar[]"* %foo, align 8
|
||||
%11 = bitcast [3 x %Baz]* %baz to i8*
|
||||
call void @llvm.memset.p0i8.i64(i8* align 16 %11, i8 0, i64 24, i1 false)
|
||||
store %"int[]" zeroinitializer, %"int[]"* %sub, align 8
|
||||
store %"Bar[]" zeroinitializer, %"Bar[]"* %foo, align 8
|
||||
%5 = bitcast [3 x %Baz]* %baz to i8*
|
||||
call void @llvm.memset.p0i8.i64(i8* align 16 %5, i8 0, i64 24, i1 false)
|
||||
ret i32 1
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user