Home | History | Annotate | Download | only in padding 
      1 // RUN: %Slang %s
      2 
      3 // RUN: %rs-filecheck-wrapper %s --check-prefix=CHECK-LL
      4 //
      5 //     Check that the data types are properly padded:
      6 //
      7 // CHECK-LL: %struct.char_struct{{(\.[0-9]+)?}} = type { i16, [6 x i8], i64 }
      8 // CHECK-LL: %struct.five_struct{{(\.[0-9]+)?}} = type { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }
      9 //
     10 //     Check that the helper function for unpacking an invokable's arguments
     11 //     accesses a properly padded struct:
     12 //
     13 // CHECK-LL: define void @.helper_check_char_struct({ i16, [6 x i8], i64 }* nocapture)
     14 // CHECK-LL: [[C_F1_ADDR:%[0-9]+]] = getelementptr inbounds { i16, [6 x i8], i64 }, { i16, [6 x i8], i64 }* %0, i{{[0-9]+}} 0, i32 0
     15 // CHECK-LL: [[C_F1_VAL:%[0-9]+]] = load i16, i16* [[C_F1_ADDR]]
     16 // CHECK-LL: [[C_F2_ADDR:%[0-9]+]] = getelementptr inbounds { i16, [6 x i8], i64 }, { i16, [6 x i8], i64 }* %0, i{{[0-9]+}} 0, i32 2
     17 // CHECK-LL: [[C_F2_VAL:%[0-9]+]] = load i64, i64* [[C_F2_ADDR]]
     18 // CHECK-LL: tail call void @check_char_struct(i16 [[C_F1_VAL]], i64 [[C_F2_VAL]])
     19 //
     20 // CHECK-LL: define void @.helper_check_five_struct({ i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }* nocapture)
     21 // CHECK-LL: [[F_F1_ADDR:%[0-9]+]] = getelementptr inbounds { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }, { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }* %0, i{{[0-9]+}} 0, i32 0
     22 // CHECK-LL: [[F_F1_VAL:%[0-9]+]] = load i8, i8* [[F_F1_ADDR]]
     23 // CHECK-LL: [[F_F2_ADDR:%[0-9]+]] = getelementptr inbounds { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }, { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }* %0, i{{[0-9]+}} 0, i32 2
     24 // CHECK-LL: [[F_F2_VAL:%[0-9]+]] = load i64, i64* [[F_F2_ADDR]]
     25 // CHECK-LL: [[F_F3_ADDR:%[0-9]+]] = getelementptr inbounds { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }, { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }* %0, i{{[0-9]+}} 0, i32 3
     26 // CHECK-LL: [[F_F3_VAL:%[0-9]+]] = load i16, i16* [[F_F3_ADDR]]
     27 // CHECK-LL: [[F_F4_ADDR:%[0-9]+]] = getelementptr inbounds { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }, { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }* %0, i{{[0-9]+}} 0, i32 5
     28 // CHECK-LL: [[F_F4_VAL:%[0-9]+]] = load i64, i64* [[F_F4_ADDR]]
     29 // CHECK-LL: [[F_F5_ADDR:%[0-9]+]] = getelementptr inbounds { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }, { i8, [7 x i8], i64, i16, [6 x i8], i64, half, [6 x i8] }* %0, i{{[0-9]+}} 0, i32 6
     30 // CHECK-LL: [[F_F5_VAL:%[0-9]+]] = load half, half* [[F_F5_ADDR]]
     31 // CHECK-LL: tail call void @check_five_struct(i8 [[F_F1_VAL]], i64 [[F_F2_VAL]], i16 [[F_F3_VAL]], i64 [[F_F4_VAL]], half [[F_F5_VAL]])
     32 
     33 // RUN: %scriptc-filecheck-wrapper --lang=Java --type=char_struct --check-prefix=CHECK-JAVA-CHAR-STRUCT %s
     34 // CHECK-JAVA-CHAR-STRUCT:      public static Element createElement(RenderScript rs) {
     35 // CHECK-JAVA-CHAR-STRUCT-NEXT:     Element.Builder eb = new Element.Builder(rs);
     36 // CHECK-JAVA-CHAR-STRUCT-NEXT:     eb.add(Element.I16(rs), "f1");
     37 // CHECK-JAVA-CHAR-STRUCT-NEXT:     eb.add(Element.U32(rs), "#rs_padding_1");
     38 // CHECK-JAVA-CHAR-STRUCT-NEXT:     eb.add(Element.U16(rs), "#rs_padding_2");
     39 // CHECK-JAVA-CHAR-STRUCT-NEXT:     eb.add(Element.I64(rs), "f2");
     40 // CHECK-JAVA-CHAR-STRUCT-NEXT:     return eb.create();
     41 // CHECK-JAVA-CHAR-STRUCT-NEXT: }
     42 
     43 // RUN: %scriptc-filecheck-wrapper --lang=Java --type=five_struct --check-prefix=CHECK-JAVA-FIVE-STRUCT %s
     44 // CHECK-JAVA-FIVE-STRUCT:      public static Element createElement(RenderScript rs) {
     45 // CHECK-JAVA-FIVE-STRUCT-NEXT:     Element.Builder eb = new Element.Builder(rs);
     46 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.I8(rs), "f1");
     47 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.U32(rs), "#rs_padding_1");
     48 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.U16(rs), "#rs_padding_2");
     49 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.U8(rs), "#rs_padding_3");
     50 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.I64(rs), "f2");
     51 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.I16(rs), "f3");
     52 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.U32(rs), "#rs_padding_4");
     53 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.U16(rs), "#rs_padding_5");
     54 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.I64(rs), "f4");
     55 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.F16(rs), "f5");
     56 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.U32(rs), "#rs_padding_6");
     57 // CHECK-JAVA-FIVE-STRUCT-NEXT:     eb.add(Element.U16(rs), "#rs_padding_7");
     58 // CHECK-JAVA-FIVE-STRUCT-NEXT:     return eb.create();
     59 // CHECK-JAVA-FIVE-STRUCT-NEXT: }
     60 
     61 // RUN: %scriptc-filecheck-wrapper --lang=Java --check-prefix=CHECK-JAVA-INVOKE %s
     62 //
     63 // CHECK-JAVA-INVOKE:      public void invoke_check_char_struct(short arg1, long arg2) {
     64 // CHECK-JAVA-INVOKE-NEXT:     FieldPacker check_char_struct_fp = new FieldPacker(16);
     65 // CHECK-JAVA-INVOKE-NEXT:     check_char_struct_fp.addI16(arg1);
     66 // CHECK-JAVA-INVOKE-NEXT:     check_char_struct_fp.skip(6);
     67 // CHECK-JAVA-INVOKE-NEXT:     check_char_struct_fp.addI64(arg2);
     68 // CHECK-JAVA-INVOKE-NEXT:     invoke(mExportFuncIdx_check_char_struct, check_char_struct_fp);
     69 // CHECK-JAVA-INVOKE-NEXT: }
     70 //
     71 // CHECK-JAVA-INVOKE:      public void invoke_check_five_struct(byte arg1, long arg2, short arg3, long arg4, short arg5) {
     72 // CHECK-JAVA-INVOKE-NEXT:     FieldPacker check_five_struct_fp = new FieldPacker(40);
     73 // CHECK-JAVA-INVOKE-NEXT:     check_five_struct_fp.addI8(arg1);
     74 // CHECK-JAVA-INVOKE-NEXT:     check_five_struct_fp.skip(7);
     75 // CHECK-JAVA-INVOKE-NEXT:     check_five_struct_fp.addI64(arg2);
     76 // CHECK-JAVA-INVOKE-NEXT:     check_five_struct_fp.addI16(arg3);
     77 // CHECK-JAVA-INVOKE-NEXT:     check_five_struct_fp.skip(6);
     78 // CHECK-JAVA-INVOKE-NEXT:     check_five_struct_fp.addI64(arg4);
     79 // CHECK-JAVA-INVOKE-NEXT:     check_five_struct_fp.addI16(arg5);
     80 // CHECK-JAVA-INVOKE-NEXT:     check_five_struct_fp.skip(6);
     81 // CHECK-JAVA-INVOKE-NEXT:     invoke(mExportFuncIdx_check_five_struct, check_five_struct_fp);
     82 // CHECK-JAVA-INVOKE-NEXT: }
     83 
     84 // Some more structs with different field types and/or more fields.
     85 
     86 #pragma version(1)
     87 #pragma rs java_package_name(foo)
     88 
     89 typedef struct char_struct {
     90     short f1;
     91     // expect 6 bytes of padding here
     92     long f2;
     93 } char_struct;
     94 
     95 char_struct g_char_struct;
     96 
     97 typedef struct five_struct {
     98     char f1;
     99     // expect 7 bytes of padding here
    100     long f2;
    101     short f3;
    102     // expect 6 bytes of padding here
    103     long f4;
    104     half f5;
    105     // expect 6 bytes of padding here
    106 } five_struct;
    107 
    108 five_struct g_five_struct;
    109 
    110 bool failed = false;
    111 
    112 void check_char_struct(short arg1, long arg2) {
    113     failed |= ((g_char_struct.f1 != arg1) || (g_char_struct.f2 != arg2));
    114 }
    115 
    116 void check_five_struct(char arg1, long arg2, short arg3, long arg4, half arg5) {
    117     failed |= ((g_five_struct.f1 != arg1) ||
    118                (g_five_struct.f2 != arg2) ||
    119                (g_five_struct.f3 != arg3) ||
    120                (g_five_struct.f4 != arg4) ||
    121                (g_five_struct.f5 != arg5));
    122 }
    123