return %2 : !emitc.opaque<"status_t">
}
-func.func @apply(%arg0: i32) -> !emitc.opaque<"int32_t*"> {
+func.func @apply(%arg0: i32) -> !emitc.ptr<i32> {
// CHECK: int32_t* [[V2]] = &[[V1]];
- %0 = emitc.apply "&"(%arg0) : (i32) -> !emitc.opaque<"int32_t*">
+ %0 = emitc.apply "&"(%arg0) : (i32) -> !emitc.ptr<i32>
// CHECK: int32_t [[V3]] = *[[V2]];
- %1 = emitc.apply "*"(%0) : (!emitc.opaque<"int32_t*">) -> (i32)
- return %0 : !emitc.opaque<"int32_t*">
+ %1 = emitc.apply "*"(%0) : (!emitc.ptr<i32>) -> (i32)
+ return %0 : !emitc.ptr<i32>
}