shishantbiswas/c3c
1
1
Fork 0
mirror of https://github.com/c3lang/c3c.git synced 2026-02-27 12:01:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Do not store direct parameters that are only read.

Browse Source
This commit is contained in:
Christoffer Lerno
2022-01-04 23:16:32 +01:00
parent 1d5ff71b21
commit 869aa7ed76
46 changed files with 606 additions and 709 deletions
Download Patch File Download Diff File Expand all files Collapse all files

59
test/test_suite/struct/struct_as_value.c3t
View File

@@ -15,38 +15,35 @@ fn Event test(int x)
// #expect: test.ll
@Event = linkonce_odr constant i8 1
@.__const = private constant %Event { i32 1 }, align 4
@.__const.1 = private constant %Event { i32 2 }, align 4
@Event = linkonce_odr constant i8 1
@.__const = private constant %Event { i32 1 }, align 4
@.__const.1 = private constant %Event { i32 2 }, align 4
; Function Attrs: nounwind
define i32 @test.test(i32 %0) #0 {
entry:
%x = alloca i32, align 4
%foo = alloca %Event, align 4
%bar = alloca %Event, align 4
%taddr = alloca %Event, align 4
store i32 %0, i32* %x, align 4
%1 = bitcast %Event* %foo to i8*
call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %1, i8* align 4 bitcast (%Event* @.__const to i8*), i32 4, i1 false)
%2 = bitcast %Event* %bar to i8*
call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %2, i8* align 4 bitcast (%Event* @.__const.1 to i8*), i32 4, i1 false)
%3 = load i32, i32* %x, align 4
%intbool = icmp ne i32 %3, 0
br i1 %intbool, label %cond.lhs, label %cond.rhs
; Function Attrs: nounwind
define i32 @test.test(i32 %0) #0 {
entry:
%foo = alloca %Event, align 4
%bar = alloca %Event, align 4
%taddr = alloca %Event, align 4
%1 = bitcast %Event* %foo to i8*
call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %1, i8* align 4 bitcast (%Event* @.__const to i8*), i32 4, i1 false)
%2 = bitcast %Event* %bar to i8*
call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %2, i8* align 4 bitcast (%Event* @.__const.1 to i8*), i32 4, i1 false)
%intbool = icmp ne i32 %0, 0
br i1 %intbool, label %cond.lhs, label %cond.rhs
cond.lhs: ; preds = %entry
%4 = load %Event, %Event* %foo, align 4
br label %cond.phi
cond.lhs: ; preds = %entry
%3 = load %Event, %Event* %foo, align 4
br label %cond.phi
cond.rhs: ; preds = %entry
%5 = load %Event, %Event* %bar, align 4
br label %cond.phi
cond.rhs: ; preds = %entry
%4 = load %Event, %Event* %bar, align 4
br label %cond.phi
cond.phi: ; preds = %cond.rhs, %cond.lhs
%val = phi %Event [ %4, %cond.lhs ], [ %5, %cond.rhs ]
store %Event %val, %Event* %taddr, align 4
%6 = getelementptr inbounds %Event, %Event* %taddr, i32 0, i32 0
%7 = load i32, i32* %6, align 4
ret i32 %7
}
cond.phi: ; preds = %cond.rhs, %cond.lhs
%val = phi %Event [ %3, %cond.lhs ], [ %4, %cond.rhs ]
store %Event %val, %Event* %taddr, align 4
%5 = getelementptr inbounds %Event, %Event* %taddr, i32 0, i32 0
%6 = load i32, i32* %5, align 4
ret i32 %6
}

21
test/test_suite/struct/struct_as_value_aarch64.c3t
View File

@@ -15,32 +15,31 @@ fn Event test(int x)
// #expect: test.ll
%x = alloca i32, align 4
define i64 @test.test(i32 %0) #0 {
entry:
%foo = alloca %Event, align 4
%bar = alloca %Event, align 4
%taddr = alloca %Event, align 4
store i32 %0, i32* %x, align 4
%1 = bitcast %Event* %foo to i8*
call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %1, i8* align 4 bitcast (%Event* @.__const to i8*), i32 4, i1 false)
%2 = bitcast %Event* %bar to i8*
call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %2, i8* align 4 bitcast (%Event* @.__const.1 to i8*), i32 4, i1 false)
%3 = load i32, i32* %x, align 4
%intbool = icmp ne i32 %3, 0
%intbool = icmp ne i32 %0, 0
br i1 %intbool, label %cond.lhs, label %cond.rhs
cond.lhs: ; preds = %entry
%4 = load %Event, %Event* %foo, align 4
%3 = load %Event, %Event* %foo, align 4
br label %cond.phi
cond.rhs: ; preds = %entry
%5 = load %Event, %Event* %bar, align 4
%4 = load %Event, %Event* %bar, align 4
br label %cond.phi
cond.phi: ; preds = %cond.rhs, %cond.lhs
%val = phi %Event [ %4, %cond.lhs ], [ %5, %cond.rhs ]
%val = phi %Event [ %3, %cond.lhs ], [ %4, %cond.rhs ]
store %Event %val, %Event* %taddr, align 4
%6 = getelementptr inbounds %Event, %Event* %taddr, i32 0, i32 0
%7 = load i32, i32* %6, align 4
%8 = zext i32 %7 to i64
ret i64 %8
%5 = getelementptr inbounds %Event, %Event* %taddr, i32 0, i32 0
%6 = load i32, i32* %5, align 4
%7 = zext i32 %6 to i64
ret i64 %7
}

17
test/test_suite/struct/struct_pack_and_align.c3t
View File

@@ -85,18 +85,15 @@ Foo6 foo6 = { 1, 2, 3 };
@struct2.test5
entry:
%x = alloca i8, align 1
%y = alloca %Foo5, align 16
store i8 %0, i8* %x, align 1
%1 = bitcast %Foo5* %y to i8*
call void @llvm.memset.p0i8.i64(i8* align 16 %1, i8 0, i64 32, i1 false)
%2 = getelementptr inbounds %Foo5, %Foo5* %y, i32 0, i32 2
%3 = load i8, i8* %x, align 1
store i8 %3, i8* %2, align 16
%4 = getelementptr inbounds %Foo5, %Foo5* %y, i32 0, i32 2
%5 = load i8, i8* %4, align 16
%sisiext = sext i8 %5 to i32
%6 = getelementptr inbounds %Foo5, %Foo5* %y, i32 0, i32 0
%7 = load i32, i32* %6, align 16
%add = add i32 %sisiext, %7
store i8 %0, i8* %2, align 16
%3 = getelementptr inbounds %Foo5, %Foo5* %y, i32 0, i32 2
%4 = load i8, i8* %3, align 16
%sisiext = sext i8 %4 to i32
%5 = getelementptr inbounds %Foo5, %Foo5* %y, i32 0, i32 0
%6 = load i32, i32* %5, align 16
%add = add i32 %sisiext, %6
ret i32 %add