mirror of
https://github.com/c3lang/c3c.git
synced 2026-02-27 12:01:16 +00:00
- Detect unaligned loads #1951.
- Fix issue where aligned bitstructs did not store/load with the given alignment.
This commit is contained in:
Christoffer Lerno
40
test/test_suite/bitstruct/bitstruct_align.c3t
Normal file
40
test/test_suite/bitstruct/bitstruct_align.c3t
Normal file
@@ -0,0 +1,40 @@
|
||||
// #target: macos-x64
|
||||
module test;
|
||||
import std::io;
|
||||
|
||||
Foo y;
|
||||
bitstruct Foo : ushort @align(1)
|
||||
{
|
||||
int a : 0..10;
|
||||
}
|
||||
fn int main(String[] args)
|
||||
{
|
||||
Foo z = y;
|
||||
Foo* y = &z;
|
||||
y.a = 123;
|
||||
return 0;
|
||||
}
|
||||
|
||||
/* #expect: test.ll
|
||||
|
||||
@test.y = local_unnamed_addr global i16 0, align 1
|
||||
|
||||
define i32 @test.main(ptr %0, i64 %1) #0 {
|
||||
entry:
|
||||
%args = alloca %"char[][]", align 8
|
||||
%z = alloca i16, align 1
|
||||
%y = alloca ptr, align 8
|
||||
store ptr %0, ptr %args, align 8
|
||||
%ptradd = getelementptr inbounds i8, ptr %args, i64 8
|
||||
store i64 %1, ptr %ptradd, align 8
|
||||
%2 = load i16, ptr @test.y, align 1
|
||||
store i16 %2, ptr %z, align 1
|
||||
store ptr %z, ptr %y, align 8
|
||||
%3 = load ptr, ptr %y, align 8
|
||||
%4 = load i16, ptr %3, align 1
|
||||
%5 = and i16 %4, -2048
|
||||
%6 = or i16 %5, 123
|
||||
store i16 %6, ptr %3, align 1
|
||||
ret i32 0
|
||||
}
|
||||
|
||||
82
test/test_suite/builtins/unaligned_access.c3t
Normal file
82
test/test_suite/builtins/unaligned_access.c3t
Normal file
@@ -0,0 +1,82 @@
|
||||
// #target: macos-x64
|
||||
// #safe: yes
|
||||
module test;
|
||||
import std::io;
|
||||
|
||||
fn int main()
|
||||
{
|
||||
char[10] buf;
|
||||
|
||||
int* i = (int*)(&buf[1]);
|
||||
int z = *i;
|
||||
int z2 = @unaligned_load(*i, 1);
|
||||
*i = 5;
|
||||
@unaligned_store(*i, 6, 1);
|
||||
int y = *i;
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
||||
/* #expect: test.ll
|
||||
|
||||
store ptr %ptradd9, ptr %i, align 8
|
||||
%0 = load ptr, ptr %i, align 8
|
||||
%checknull = icmp eq ptr %0, null
|
||||
%1 = call i1 @llvm.expect.i1(i1 %checknull, i1 false)
|
||||
br i1 %1, label %panic, label %checkok
|
||||
|
||||
checkok: ; preds = %entry
|
||||
%2 = ptrtoint ptr %0 to i64
|
||||
%3 = urem i64 %2, 4
|
||||
%4 = icmp ne i64 %3, 0
|
||||
%5 = call i1 @llvm.expect.i1(i1 %4, i1 false)
|
||||
br i1 %5, label %panic10, label %checkok13
|
||||
|
||||
checkok13: ; preds = %checkok
|
||||
%6 = load i32, ptr %0, align 4
|
||||
store i32 %6, ptr %z, align 4
|
||||
%7 = load ptr, ptr %i, align 8
|
||||
%checknull14 = icmp eq ptr %7, null
|
||||
%8 = call i1 @llvm.expect.i1(i1 %checknull14, i1 false)
|
||||
br i1 %8, label %panic15, label %checkok16
|
||||
|
||||
checkok16: ; preds = %checkok13
|
||||
%9 = load i32, ptr %7, align 1
|
||||
store i32 %9, ptr %z2, align 4
|
||||
%10 = load ptr, ptr %i, align 8
|
||||
%checknull17 = icmp eq ptr %10, null
|
||||
%11 = call i1 @llvm.expect.i1(i1 %checknull17, i1 false)
|
||||
br i1 %11, label %panic18, label %checkok19
|
||||
|
||||
checkok19: ; preds = %checkok16
|
||||
%12 = ptrtoint ptr %10 to i64
|
||||
%13 = urem i64 %12, 4
|
||||
%14 = icmp ne i64 %13, 0
|
||||
%15 = call i1 @llvm.expect.i1(i1 %14, i1 false)
|
||||
br i1 %15, label %panic20, label %checkok27
|
||||
|
||||
checkok27: ; preds = %checkok19
|
||||
store i32 5, ptr %10, align 4
|
||||
%16 = load ptr, ptr %i, align 8
|
||||
%checknull28 = icmp eq ptr %16, null
|
||||
%17 = call i1 @llvm.expect.i1(i1 %checknull28, i1 false)
|
||||
br i1 %17, label %panic29, label %checkok30
|
||||
|
||||
checkok30: ; preds = %checkok27
|
||||
store i32 6, ptr %16, align 1
|
||||
%18 = load ptr, ptr %i, align 8
|
||||
%checknull31 = icmp eq ptr %18, null
|
||||
%19 = call i1 @llvm.expect.i1(i1 %checknull31, i1 false)
|
||||
br i1 %19, label %panic32, label %checkok33
|
||||
|
||||
checkok33: ; preds = %checkok30
|
||||
%20 = ptrtoint ptr %18 to i64
|
||||
%21 = urem i64 %20, 4
|
||||
%22 = icmp ne i64 %21, 0
|
||||
%23 = call i1 @llvm.expect.i1(i1 %22, i1 false)
|
||||
br i1 %23, label %panic34, label %checkok41
|
||||
|
||||
checkok41: ; preds = %checkok33
|
||||
%24 = load i32, ptr %18, align 4
|
||||
store i32 %24, ptr %y, align 4
|
||||
ret i32 0
|
||||
@@ -14,18 +14,47 @@ define void @foo.main() #0 {
|
||||
entry:
|
||||
%x = alloca ptr, align 8
|
||||
%y = alloca i32, align 4
|
||||
%taddr = alloca i64, align 8
|
||||
%taddr2 = alloca i64, align 8
|
||||
%varargslots = alloca [2 x %any], align 16
|
||||
%indirectarg = alloca %"any[]", align 8
|
||||
store ptr null, ptr %x, align 8
|
||||
%0 = load ptr, ptr %x, align 8
|
||||
%checknull = icmp eq ptr %0, null
|
||||
%1 = call i1 @llvm.expect.i1(i1 %checknull, i1 false)
|
||||
br i1 %1, label %panic, label %checkok
|
||||
|
||||
checkok: ; preds = %entry
|
||||
%2 = load i32, ptr %0, align 4
|
||||
store i32 %2, ptr %y, align 4
|
||||
%2 = ptrtoint ptr %0 to i64
|
||||
%3 = urem i64 %2, 4
|
||||
%4 = icmp ne i64 %3, 0
|
||||
%5 = call i1 @llvm.expect.i1(i1 %4, i1 false)
|
||||
br i1 %5, label %panic1, label %checkok3
|
||||
|
||||
checkok3: ; preds = %checkok
|
||||
%6 = load i32, ptr %0, align 4
|
||||
store i32 %6, ptr %y, align 4
|
||||
ret void
|
||||
|
||||
panic: ; preds = %entry
|
||||
%3 = load ptr, ptr @std.core.builtin.panic, align 8
|
||||
call void %3(ptr @.panic_msg, i64 42, ptr @.file, i64 8, ptr @.func, i64 4, i32 6)
|
||||
%7 = load ptr, ptr @std.core.builtin.panic, align 8
|
||||
call void %7(ptr @.panic_msg, i64 42, ptr @.file, i64 8, ptr @.func, i64 4, i32 6) #2
|
||||
unreachable
|
||||
|
||||
panic1: ; preds = %checkok
|
||||
store i64 4, ptr %taddr, align 8
|
||||
%8 = insertvalue %any undef, ptr %taddr, 0
|
||||
%9 = insertvalue %any %8, i64 ptrtoint (ptr @"$ct.ulong" to i64), 1
|
||||
store i64 %3, ptr %taddr2, align 8
|
||||
%10 = insertvalue %any undef, ptr %taddr2, 0
|
||||
%11 = insertvalue %any %10, i64 ptrtoint (ptr @"$ct.ulong" to i64), 1
|
||||
store %any %9, ptr %varargslots, align 16
|
||||
%ptradd = getelementptr inbounds i8, ptr %varargslots, i64 16
|
||||
store %any %11, ptr %ptradd, align 16
|
||||
%12 = insertvalue %"any[]" undef, ptr %varargslots, 0
|
||||
%"$$temp" = insertvalue %"any[]" %12, i64 2, 1
|
||||
store %"any[]" %"$$temp", ptr %indirectarg, align 8
|
||||
call void @std.core.builtin.panicf(ptr @.panic_msg.1, i64 94, ptr @.file, i64 8, ptr @.func, i64 4, i32 6, ptr byval(%"any[]") align 8 %indirectarg) #2
|
||||
unreachable
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user