lit-tests/padding/small_struct.rs

// RUN: %Slang %s

// RUN: %rs-filecheck-wrapper %s --check-prefix=CHECK-LL
//     Check that the data type small_struct is properly padded:
// CHECK-LL: %struct.small_struct{{(\.[0-9]+)?}} = type { i32, [4 x i8], i64 }
//     Check that the helper function for unpacking an invokable's arguments
//     accesses a properly padded struct:
// CHECK-LL: define void @.helper_checkStruct({ i32, [4 x i8], i64 }* nocapture)
// CHECK-LL: [[FIELD_I_ADDR:%[0-9]+]] = getelementptr inbounds { i32, [4 x i8], i64 }, { i32, [4 x i8], i64 }* %0, i{{[0-9]+}} 0, i32 0
// CHECK-LL: [[FIELD_I_VAL:%[0-9]+]] = load i32, i32* [[FIELD_I_ADDR]]
// CHECK-LL: [[FIELD_L_ADDR:%[0-9]+]] = getelementptr inbounds { i32, [4 x i8], i64 }, { i32, [4 x i8], i64 }* %0, i{{[0-9]+}} 0, i32 2
// CHECK-LL: [[FIELD_L_VAL:%[0-9]+]] = load i64, i64* [[FIELD_L_ADDR]]
// CHECK-LL: call void @checkStruct(i32 [[FIELD_I_VAL]], i64 [[FIELD_L_VAL]])

// RUN: %scriptc-filecheck-wrapper --lang=Java --type=small_struct --check-prefix=CHECK-JAVA-STRUCT %s
// CHECK-JAVA-STRUCT:      public static Element createElement(RenderScript rs) {
// CHECK-JAVA-STRUCT-NEXT:     Element.Builder eb = new Element.Builder(rs);
// CHECK-JAVA-STRUCT-NEXT:     eb.add(Element.I32(rs), "i");
// CHECK-JAVA-STRUCT-NEXT:     eb.add(Element.U32(rs), "#rs_padding_1");
// CHECK-JAVA-STRUCT-NEXT:     eb.add(Element.I64(rs), "l");
// CHECK-JAVA-STRUCT-NEXT:     return eb.create();
// CHECK-JAVA-STRUCT-NEXT: }

// RUN: %scriptc-filecheck-wrapper --lang=Java --check-prefix=CHECK-JAVA-INVOKE %s
// CHECK-JAVA-INVOKE:      public void invoke_checkStruct(int argI, long argL) {
// CHECK-JAVA-INVOKE-NEXT:     FieldPacker checkStruct_fp = new FieldPacker(16);
// CHECK-JAVA-INVOKE-NEXT:     checkStruct_fp.addI32(argI);
// CHECK-JAVA-INVOKE-NEXT:     checkStruct_fp.skip(4);
// CHECK-JAVA-INVOKE-NEXT:     checkStruct_fp.addI64(argL);
// CHECK-JAVA-INVOKE-NEXT:     invoke(mExportFuncIdx_checkStruct, checkStruct_fp);
// CHECK-JAVA-INVOKE-NEXT: }

// Same as small_struct_2.rs except for order of fields (hence location of padding) in struct small_struct[_2].

#pragma version(1)
#pragma rs java_package_name(foo)

typedef struct small_struct {
    int i;
    // expect 4 bytes of padding here
    long l;
} small_struct;

small_struct g_small_struct;

bool failed = false;

void checkStruct(int argI, long argL) {
    failed |= ((g_small_struct.i != argI) || (g_small_struct.l != argL));
}