73 lines · plain
1// RUN: mlir-translate -mlir-to-cpp %s | FileCheck %s -check-prefix=CPP-DEFAULT2 3func.func @member(%arg0: !emitc.opaque<"mystruct">, %arg1: i32, %arg2: index) {4 %var0 = "emitc.variable"() <{value = #emitc.opaque<"">}> : () -> !emitc.lvalue<!emitc.opaque<"mystruct">>5 emitc.assign %arg0 : !emitc.opaque<"mystruct"> to %var0 : !emitc.lvalue<!emitc.opaque<"mystruct">>6 7 %0 = "emitc.member" (%var0) {member = "a"} : (!emitc.lvalue<!emitc.opaque<"mystruct">>) -> !emitc.lvalue<i32>8 emitc.assign %arg1 : i32 to %0 : !emitc.lvalue<i32> 9 10 %1 = "emitc.member" (%var0) {member = "b"} : (!emitc.lvalue<!emitc.opaque<"mystruct">>) -> !emitc.lvalue<i32>11 %2 = emitc.load %1 : !emitc.lvalue<i32>12 %3 = "emitc.variable"() <{value = #emitc.opaque<"">}> : () -> !emitc.lvalue<i32>13 emitc.assign %2 : i32 to %3 : !emitc.lvalue<i32>14 15 %4 = "emitc.member" (%var0) {member = "c"} : (!emitc.lvalue<!emitc.opaque<"mystruct">>) -> !emitc.array<2xi32>16 %5 = emitc.subscript %4[%arg2] : (!emitc.array<2xi32>, index) -> !emitc.lvalue<i32>17 %6 = emitc.load %5 : <i32>18 emitc.assign %6 : i32 to %3 : !emitc.lvalue<i32>19 20 %7 = "emitc.member" (%var0) {member = "d"} : (!emitc.lvalue<!emitc.opaque<"mystruct">>) -> !emitc.array<2xi32>21 %8 = emitc.subscript %7[%arg2] : (!emitc.array<2xi32>, index) -> !emitc.lvalue<i32>22 emitc.assign %arg1 : i32 to %8 : !emitc.lvalue<i32>23 24 return25}26 27// CPP-DEFAULT: void member(mystruct [[V0:[^ ]*]], int32_t [[V1:[^ ]*]], size_t [[Index:[^ ]*]]) {28// CPP-DEFAULT-NEXT: mystruct [[V2:[^ ]*]];29// CPP-DEFAULT-NEXT: [[V2]] = [[V0]];30// CPP-DEFAULT-NEXT: [[V2]].a = [[V1]];31// CPP-DEFAULT-NEXT: int32_t [[V3:[^ ]*]] = [[V2]].b;32// CPP-DEFAULT-NEXT: int32_t [[V4:[^ ]*]];33// CPP-DEFAULT-NEXT: [[V4]] = [[V3]];34// CPP-DEFAULT-NEXT: int32_t [[V5:[^ ]*]] = [[V2]].c[[[Index]]];35// CPP-DEFAULT-NEXT: [[V4]] = [[V5]];36// CPP-DEFAULT-NEXT: [[V2]].d[[[Index]]] = [[V1]];37 38 39func.func @member_of_pointer(%arg0: !emitc.ptr<!emitc.opaque<"mystruct">>, %arg1: i32, %arg2: index) {40 %var0 = "emitc.variable"() <{value = #emitc.opaque<"">}> : () -> !emitc.lvalue<!emitc.ptr<!emitc.opaque<"mystruct">>>41 emitc.assign %arg0 : !emitc.ptr<!emitc.opaque<"mystruct">> to %var0 : !emitc.lvalue<!emitc.ptr<!emitc.opaque<"mystruct">>>42 43 %0 = "emitc.member_of_ptr" (%var0) {member = "a"} : (!emitc.lvalue<!emitc.ptr<!emitc.opaque<"mystruct">>>) -> !emitc.lvalue<i32>44 emitc.assign %arg1 : i32 to %0 : !emitc.lvalue<i32>45 46 %1 = "emitc.member_of_ptr" (%var0) {member = "b"} : (!emitc.lvalue<!emitc.ptr<!emitc.opaque<"mystruct">>>) -> !emitc.lvalue<i32>47 %2 = emitc.load %1 : !emitc.lvalue<i32>48 %3 = "emitc.variable"() <{value = #emitc.opaque<"">}> : () -> !emitc.lvalue<i32>49 emitc.assign %2 : i32 to %3 : !emitc.lvalue<i32>50 51 %4 = "emitc.member_of_ptr" (%var0) {member = "c"} : (!emitc.lvalue<!emitc.ptr<!emitc.opaque<"mystruct">>>) -> !emitc.array<2xi32>52 %5 = emitc.subscript %4[%arg2] : (!emitc.array<2xi32>, index) -> !emitc.lvalue<i32>53 %6 = emitc.load %5 : <i32>54 emitc.assign %6 : i32 to %3 : !emitc.lvalue<i32>55 56 %7 = "emitc.member_of_ptr" (%var0) {member = "d"} : (!emitc.lvalue<!emitc.ptr<!emitc.opaque<"mystruct">>>) -> !emitc.array<2xi32>57 %8 = emitc.subscript %7[%arg2] : (!emitc.array<2xi32>, index) -> !emitc.lvalue<i32>58 emitc.assign %arg1 : i32 to %8 : !emitc.lvalue<i32>59 60 return61}62 63// CPP-DEFAULT: void member_of_pointer(mystruct* [[V0:[^ ]*]], int32_t [[V1:[^ ]*]], size_t [[Index:[^ ]*]]) {64// CPP-DEFAULT-NEXT: mystruct* [[V2:[^ ]*]];65// CPP-DEFAULT-NEXT: [[V2]] = [[V0]];66// CPP-DEFAULT-NEXT: [[V2]]->a = [[V1]];67// CPP-DEFAULT-NEXT: int32_t [[V3:[^ ]*]] = [[V2]]->b;68// CPP-DEFAULT-NEXT: int32_t [[V4:[^ ]*]];69// CPP-DEFAULT-NEXT: [[V4]] = [[V3]];70// CPP-DEFAULT-NEXT: int32_t [[V5:[^ ]*]] = [[V2]]->c[[[Index]]];71// CPP-DEFAULT-NEXT: [[V4]] = [[V5]];72// CPP-DEFAULT-NEXT: [[V2]]->d[[[Index]]] = [[V1]];73