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