Target/Cpp/control_flow.mlir

1 // RUN: mlir-translate -mlir-to-cpp -declare-variables-at-top %s | FileCheck %s -check-prefix=CPP-D…
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]];
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: }
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: }