29 lines · plain
1// RUN: mlir-translate -mlir-to-cpp %s | FileCheck %s2 3emitc.func @lvalue_variables(%v1: i32, %v2: i32) -> i32 {4 %val = emitc.mul %v1, %v2 : (i32, i32) -> i325 %variable = "emitc.variable"() {value = #emitc.opaque<"">} : () -> !emitc.lvalue<i32> 6 emitc.assign %val : i32 to %variable : !emitc.lvalue<i32>7 %addr = emitc.apply "&"(%variable) : (!emitc.lvalue<i32>) -> !emitc.ptr<i32>8 emitc.call @zero (%addr) : (!emitc.ptr<i32>) -> ()9 %updated_val = emitc.load %variable : !emitc.lvalue<i32>10 %neg_one = "emitc.constant"() {value = -1 : i32} : () -> i3211 emitc.assign %neg_one : i32 to %variable : !emitc.lvalue<i32>12 emitc.return %updated_val : i3213}14// CHECK-LABEL: int32_t lvalue_variables(15// CHECK-SAME: int32_t [[V1:[^ ]*]], int32_t [[V2:[^ ]*]])16// CHECK-NEXT: int32_t [[VAL:[^ ]*]] = [[V1]] * [[V2]];17// CHECK-NEXT: int32_t [[VAR:[^ ]*]];18// CHECK-NEXT: [[VAR]] = [[VAL]];19// CHECK-NEXT: int32_t* [[VAR_PTR:[^ ]*]] = &[[VAR]];20// CHECK-NEXT: zero([[VAR_PTR]]);21// CHECK-NEXT: int32_t [[VAR_LOAD:[^ ]*]] = [[VAR]]; 22// CHECK-NEXT: int32_t [[NEG_ONE:[^ ]*]] = -1; 23// CHECK-NEXT: [[VAR]] = [[NEG_ONE]];24// CHECK-NEXT: return [[VAR_LOAD]];25 26 27emitc.func @zero(%arg0: !emitc.ptr<i32>) attributes {specifiers = ["extern"]}28// CHECK-LABEL: extern void zero(int32_t*);29