1// RUN: mlir-translate -mlir-to-cpp -declare-variables-at-top %s | FileCheck %s -check-prefix=CPP-DECLTOP 2 3// simple(10, true) -> 20 4// simple(10, false) -> 30 5func @simple(i64, i1) -> i64 { 6^bb0(%a: i64, %cond: i1): 7 cond_br %cond, ^bb1, ^bb2 8^bb1: 9 br ^bb3(%a: i64) 10^bb2: 11 %b = emitc.call "add"(%a, %a) : (i64, i64) -> i64 12 br ^bb3(%b: i64) 13^bb3(%c: i64): 14 br ^bb4(%c, %a : i64, i64) 15^bb4(%d : i64, %e : i64): 16 %0 = emitc.call "add"(%d, %e) : (i64, i64) -> i64 17 return %0 : i64 18} 19 // CPP-DECLTOP: int64_t simple(int64_t [[A:[^ ]*]], bool [[COND:[^ ]*]]) { 20 // CPP-DECLTOP-NEXT: int64_t [[B:[^ ]*]]; 21 // CPP-DECLTOP-NEXT: int64_t [[V0:[^ ]*]]; 22 // CPP-DECLTOP-NEXT: int64_t [[C:[^ ]*]]; 23 // CPP-DECLTOP-NEXT: int64_t [[D:[^ ]*]]; 24 // CPP-DECLTOP-NEXT: int64_t [[E:[^ ]*]]; 25 // CPP-DECLTOP-NEXT: [[BB0:[^ ]*]]: 26 // CPP-DECLTOP-NEXT: if ([[COND]]) { 27 // CPP-DECLTOP-NEXT: goto [[BB1:[^ ]*]]; 28 // CPP-DECLTOP-NEXT: } else { 29 // CPP-DECLTOP-NEXT: goto [[BB2:[^ ]*]]; 30 // CPP-DECLTOP-NEXT: } 31 // CPP-DECLTOP-NEXT: [[BB1]]: 32 // CPP-DECLTOP-NEXT: [[C]] = [[A]]; 33 // CPP-DECLTOP-NEXT: goto [[BB3:[^ ]*]]; 34 // CPP-DECLTOP-NEXT: [[BB2]]: 35 // CPP-DECLTOP-NEXT: [[B]] = add([[A]], [[A]]); 36 // CPP-DECLTOP-NEXT: [[C]] = [[B]]; 37 // CPP-DECLTOP-NEXT: goto [[BB3]]; 38 // CPP-DECLTOP-NEXT: [[BB3]]: 39 // CPP-DECLTOP-NEXT: [[D]] = [[C]]; 40 // CPP-DECLTOP-NEXT: [[E]] = [[A]]; 41 // CPP-DECLTOP-NEXT: goto [[BB4:[^ ]*]]; 42 // CPP-DECLTOP-NEXT: [[BB4]]: 43 // CPP-DECLTOP-NEXT: [[V0]] = add([[D]], [[E]]); 44 // CPP-DECLTOP-NEXT: return [[V0]]; 45 46 47func @block_labels0() { 48^bb1: 49 br ^bb2 50^bb2: 51 return 52} 53// CPP-DECLTOP: void block_labels0() { 54 // CPP-DECLTOP-NEXT: label1: 55 // CPP-DECLTOP-NEXT: goto label2; 56 // CPP-DECLTOP-NEXT: label2: 57 // CPP-DECLTOP-NEXT: return; 58 // CPP-DECLTOP-NEXT: } 59 60 61// Repeat the same function to make sure the names of the block labels get reset. 62func @block_labels1() { 63^bb1: 64 br ^bb2 65^bb2: 66 return 67} 68// CPP-DECLTOP: void block_labels1() { 69 // CPP-DECLTOP-NEXT: label1: 70 // CPP-DECLTOP-NEXT: goto label2; 71 // CPP-DECLTOP-NEXT: label2: 72 // CPP-DECLTOP-NEXT: return; 73 // CPP-DECLTOP-NEXT: } 74