Files
c3c/test/test_suite/bitstruct/array_with_boolean.c3t
2023-01-11 18:00:08 +01:00

71 lines
2.0 KiB
C

// #target: macos-x64
module foo;
bitstruct BitField : char[3]
{
int a : 0..2;
int b : 3..8;
int c : 9..18;
bool d : 19;
bool e : 20;
}
extern fn void printf(char*, ...);
fn void main()
{
BitField xx = { 2, 3, 15, true, false };
BitField xy = { 2, 3, 15, false, true };
printf("%x, %x, %x, %d, %d\n", xx.a, xx.b, xx.c, xx.d, xx.e);
}
/* #expect: foo.ll
define void @foo_main() #0 {
entry:
%xx = alloca [3 x i8], align 1
%xy = alloca [3 x i8], align 1
store [3 x i8] c"\1A\1E\08", ptr %xx, align 1
store [3 x i8] c"\1A\1E\10", ptr %xy, align 1
%0 = getelementptr inbounds [3 x i8], ptr %xx, i64 0, i64 0
%1 = load i8, ptr %0, align 1
%zext = zext i8 %1 to i32
%shl = shl i32 %zext, 29
%ashr = ashr i32 %shl, 29
%2 = getelementptr inbounds [3 x i8], ptr %xx, i64 0, i64 0
%3 = load i8, ptr %2, align 1
%zext1 = zext i8 %3 to i32
%lshrl = lshr i32 %zext1, 3
%4 = getelementptr inbounds [3 x i8], ptr %xx, i64 0, i64 1
%5 = load i8, ptr %4, align 1
%zext2 = zext i8 %5 to i32
%shl3 = shl i32 %zext2, 5
%6 = or i32 %shl3, %lshrl
%shl4 = shl i32 %6, 26
%ashr5 = ashr i32 %shl4, 26
%7 = getelementptr inbounds [3 x i8], ptr %xx, i64 0, i64 1
%8 = load i8, ptr %7, align 1
%zext6 = zext i8 %8 to i32
%lshrl7 = lshr i32 %zext6, 1
%9 = getelementptr inbounds [3 x i8], ptr %xx, i64 0, i64 2
%10 = load i8, ptr %9, align 1
%zext8 = zext i8 %10 to i32
%shl9 = shl i32 %zext8, 7
%11 = or i32 %shl9, %lshrl7
%shl10 = shl i32 %11, 22
%ashr11 = ashr i32 %shl10, 22
%12 = getelementptr inbounds [3 x i8], ptr %xx, i64 0, i64 2
%13 = load i8, ptr %12, align 1
%lshrl12 = lshr i8 %13, 3
%14 = trunc i8 %lshrl12 to i1
%boolsi = zext i1 %14 to i32
%15 = getelementptr inbounds [3 x i8], ptr %xx, i64 0, i64 2
%16 = load i8, ptr %15, align 1
%lshrl13 = lshr i8 %16, 4
%17 = trunc i8 %lshrl13 to i1
%boolsi14 = zext i1 %17 to i32
call void (ptr, ...) @printf(ptr @.str, i32 %ashr, i32 %ashr5, i32 %ashr11, i32 %boolsi, i32 %boolsi14)
ret void
}