• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

daisytuner / sdfglib / 17651658650

11 Sep 2025 04:58PM UTC coverage: 61.012% (+1.3%) from 59.755%
17651658650

Pull #219

github

web-flow
Merge 742a12367 into f744ac9f5
Pull Request #219: stdlib Library Nodes and ConstantNodes

499 of 1681 new or added lines in 81 files covered. (29.68%)

95 existing lines in 36 files now uncovered.

9718 of 15928 relevant lines covered (61.01%)

108.0 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

21.44
/src/codegen/language_extensions/cpp_language_extension.cpp
1
#include "sdfg/codegen/language_extensions/cpp_language_extension.h"
2

3
#include "sdfg/codegen/utils.h"
4
#include "sdfg/data_flow/tasklet.h"
5

6
namespace sdfg {
7
namespace codegen {
8

9
constexpr const char* code_to_string(data_flow::TaskletCode c) {
×
10
    switch (c) {
×
11
        case data_flow::TaskletCode::assign:
12
            return "=";
×
13
        case data_flow::TaskletCode::neg:
14
            return "-";
×
15
        case data_flow::TaskletCode::add:
16
            return "+";
×
17
        case data_flow::TaskletCode::sub:
18
            return "-";
×
19
        case data_flow::TaskletCode::mul:
20
            return "*";
×
21
        case data_flow::TaskletCode::div:
22
            return "/";
×
23
        case data_flow::TaskletCode::fma:
24
            return "__daisy_fma";
×
25
        case data_flow::TaskletCode::mod:
26
            return "%";
×
27
        case data_flow::TaskletCode::max:
28
            return "__daisy_max";
×
29
        case data_flow::TaskletCode::min:
30
            return "__daisy_min";
×
31
        case data_flow::TaskletCode::minnum:
32
            return "minnum";
×
33
        case data_flow::TaskletCode::maxnum:
34
            return "maxnum";
×
35
        case data_flow::TaskletCode::minimum:
36
            return "minimum";
×
37
        case data_flow::TaskletCode::maximum:
38
            return "maximum";
×
39
        case data_flow::TaskletCode::trunc:
40
            return "trunc";
×
41
        case data_flow::TaskletCode::logical_and:
42
            return "&&";
×
43
        case data_flow::TaskletCode::logical_or:
44
            return "||";
×
45
        case data_flow::TaskletCode::bitwise_and:
46
            return "&";
×
47
        case data_flow::TaskletCode::bitwise_or:
48
            return "|";
×
49
        case data_flow::TaskletCode::bitwise_xor:
50
            return "^";
×
51
        case data_flow::TaskletCode::bitwise_not:
52
            return "~";
×
53
        case data_flow::TaskletCode::shift_left:
54
            return "<<";
×
55
        case data_flow::TaskletCode::shift_right:
56
            return ">>";
×
57
        case data_flow::TaskletCode::olt:
58
            return "<";
×
59
        case data_flow::TaskletCode::ole:
60
            return "<=";
×
61
        case data_flow::TaskletCode::oeq:
62
            return "==";
×
63
        case data_flow::TaskletCode::one:
64
            return "!=";
×
65
        case data_flow::TaskletCode::oge:
66
            return ">=";
×
67
        case data_flow::TaskletCode::ogt:
68
            return ">";
×
69
        case data_flow::TaskletCode::ord:
70
            return "==";
×
71
        case data_flow::TaskletCode::ult:
72
            return "<";
×
73
        case data_flow::TaskletCode::ule:
74
            return "<=";
×
75
        case data_flow::TaskletCode::ueq:
76
            return "==";
×
77
        case data_flow::TaskletCode::une:
78
            return "!=";
×
79
        case data_flow::TaskletCode::uge:
80
            return ">=";
×
81
        case data_flow::TaskletCode::ugt:
82
            return ">";
×
83
        case data_flow::TaskletCode::uno:
84
            return "!=";
×
85
        case data_flow::TaskletCode::abs:
86
            return "abs";
×
87
        case data_flow::TaskletCode::acos:
88
            return "acos";
×
89
        case data_flow::TaskletCode::acosf:
90
            return "acosf";
×
91
        case data_flow::TaskletCode::acosl:
92
            return "acosl";
×
93
        case data_flow::TaskletCode::acosh:
94
            return "acosh";
×
95
        case data_flow::TaskletCode::acoshf:
96
            return "acoshf";
×
97
        case data_flow::TaskletCode::acoshl:
98
            return "acoshl";
×
99
        case data_flow::TaskletCode::asin:
100
            return "asin";
×
101
        case data_flow::TaskletCode::asinf:
102
            return "asinf";
×
103
        case data_flow::TaskletCode::asinl:
104
            return "asinl";
×
105
        case data_flow::TaskletCode::asinh:
106
            return "asinh";
×
107
        case data_flow::TaskletCode::asinhf:
108
            return "asinhf";
×
109
        case data_flow::TaskletCode::asinhl:
110
            return "asinhl";
×
111
        case data_flow::TaskletCode::atan:
112
            return "atan";
×
113
        case data_flow::TaskletCode::atanf:
114
            return "atanf";
×
115
        case data_flow::TaskletCode::atanl:
116
            return "atanl";
×
117
        case data_flow::TaskletCode::atan2:
118
            return "atan2";
×
119
        case data_flow::TaskletCode::atan2f:
120
            return "atan2f";
×
121
        case data_flow::TaskletCode::atan2l:
122
            return "atan2l";
×
123
        case data_flow::TaskletCode::atanh:
124
            return "atanh";
×
125
        case data_flow::TaskletCode::atanhf:
126
            return "atanhf";
×
127
        case data_flow::TaskletCode::atanhl:
128
            return "atanhl";
×
129
        case data_flow::TaskletCode::cabs:
130
            return "cabs";
×
131
        case data_flow::TaskletCode::cabsf:
132
            return "cabsf";
×
133
        case data_flow::TaskletCode::cabsl:
134
            return "cabsl";
×
135
        case data_flow::TaskletCode::ceil:
136
            return "ceil";
×
137
        case data_flow::TaskletCode::ceilf:
138
            return "ceilf";
×
139
        case data_flow::TaskletCode::ceill:
140
            return "ceill";
×
141
        case data_flow::TaskletCode::copysign:
142
            return "copysign";
×
143
        case data_flow::TaskletCode::copysignf:
144
            return "copysignf";
×
145
        case data_flow::TaskletCode::copysignl:
146
            return "copysignl";
×
147
        case data_flow::TaskletCode::cos:
148
            return "cos";
×
149
        case data_flow::TaskletCode::cosf:
150
            return "cosf";
×
151
        case data_flow::TaskletCode::cosl:
152
            return "cosl";
×
153
        case data_flow::TaskletCode::cosh:
154
            return "cosh";
×
155
        case data_flow::TaskletCode::coshf:
156
            return "coshf";
×
157
        case data_flow::TaskletCode::coshl:
158
            return "coshl";
×
159
        case data_flow::TaskletCode::cbrt:
160
            return "cbrt";
×
161
        case data_flow::TaskletCode::cbrtf:
162
            return "cbrtf";
×
163
        case data_flow::TaskletCode::cbrtl:
164
            return "cbrtl";
×
165
        case data_flow::TaskletCode::erf:
166
            return "erf";
×
167
        case data_flow::TaskletCode::erff:
168
            return "erff";
×
169
        case data_flow::TaskletCode::erfl:
170
            return "erfl";
×
171
        case data_flow::TaskletCode::exp10:
172
            return "exp10";
×
173
        case data_flow::TaskletCode::exp10f:
174
            return "exp10f";
×
175
        case data_flow::TaskletCode::exp10l:
176
            return "exp10l";
×
177
        case data_flow::TaskletCode::exp2:
178
            return "exp2";
×
179
        case data_flow::TaskletCode::exp2f:
180
            return "exp2f";
×
181
        case data_flow::TaskletCode::exp2l:
182
            return "exp2l";
×
183
        case data_flow::TaskletCode::exp:
184
            return "exp";
×
185
        case data_flow::TaskletCode::expf:
186
            return "expf";
×
187
        case data_flow::TaskletCode::expl:
188
            return "expl";
×
189
        case data_flow::TaskletCode::expm1:
190
            return "expm1";
×
191
        case data_flow::TaskletCode::expm1f:
192
            return "expm1f";
×
193
        case data_flow::TaskletCode::expm1l:
194
            return "expm1l";
×
195
        case data_flow::TaskletCode::fabs:
196
            return "fabs";
×
197
        case data_flow::TaskletCode::fabsf:
198
            return "fabsf";
×
199
        case data_flow::TaskletCode::fabsl:
200
            return "fabsl";
×
201
        case data_flow::TaskletCode::floor:
202
            return "floor";
×
203
        case data_flow::TaskletCode::floorf:
204
            return "floorf";
×
205
        case data_flow::TaskletCode::floorl:
206
            return "floorl";
×
207
        case data_flow::TaskletCode::fls:
208
            return "fls";
×
209
        case data_flow::TaskletCode::flsl:
210
            return "flsl";
×
211
        case data_flow::TaskletCode::fmax:
212
            return "fmax";
×
213
        case data_flow::TaskletCode::fmaxf:
214
            return "fmaxf";
×
215
        case data_flow::TaskletCode::fmaxl:
216
            return "fmaxl";
×
217
        case data_flow::TaskletCode::fmin:
218
            return "fmin";
×
219
        case data_flow::TaskletCode::fminf:
220
            return "fminf";
×
221
        case data_flow::TaskletCode::fminl:
222
            return "fminl";
×
223
        case data_flow::TaskletCode::fmod:
224
            return "fmod";
×
225
        case data_flow::TaskletCode::fmodf:
226
            return "fmodf";
×
227
        case data_flow::TaskletCode::fmodl:
228
            return "fmodl";
×
229
        case data_flow::TaskletCode::frexp:
230
            return "frexp";
×
231
        case data_flow::TaskletCode::frexpf:
232
            return "frexpf";
×
233
        case data_flow::TaskletCode::frexpl:
234
            return "frexpl";
×
235
        case data_flow::TaskletCode::labs:
236
            return "labs";
×
237
        case data_flow::TaskletCode::ldexp:
238
            return "ldexp";
×
239
        case data_flow::TaskletCode::ldexpf:
240
            return "ldexpf";
×
241
        case data_flow::TaskletCode::ldexpl:
242
            return "ldexpl";
×
243
        case data_flow::TaskletCode::log10:
244
            return "log10";
×
245
        case data_flow::TaskletCode::log10f:
246
            return "log10f";
×
247
        case data_flow::TaskletCode::log10l:
248
            return "log10l";
×
249
        case data_flow::TaskletCode::log2:
250
            return "log2";
×
251
        case data_flow::TaskletCode::log2f:
252
            return "log2f";
×
253
        case data_flow::TaskletCode::log2l:
254
            return "log2l";
×
255
        case data_flow::TaskletCode::log:
256
            return "log";
×
257
        case data_flow::TaskletCode::logf:
258
            return "logf";
×
259
        case data_flow::TaskletCode::logl:
260
            return "logl";
×
261
        case data_flow::TaskletCode::logb:
262
            return "logb";
×
263
        case data_flow::TaskletCode::logbf:
264
            return "logbf";
×
265
        case data_flow::TaskletCode::logbl:
266
            return "logbl";
×
267
        case data_flow::TaskletCode::log1p:
268
            return "log1p";
×
269
        case data_flow::TaskletCode::log1pf:
270
            return "log1pf";
×
271
        case data_flow::TaskletCode::log1pl:
272
            return "log1pl";
×
273
        case data_flow::TaskletCode::modf:
274
            return "modf";
×
275
        case data_flow::TaskletCode::modff:
276
            return "modff";
×
277
        case data_flow::TaskletCode::modfl:
278
            return "modfl";
×
279
        case data_flow::TaskletCode::nearbyint:
280
            return "nearbyint";
×
281
        case data_flow::TaskletCode::nearbyintf:
282
            return "nearbyintf";
×
283
        case data_flow::TaskletCode::nearbyintl:
284
            return "nearbyintl";
×
285
        case data_flow::TaskletCode::pow:
286
            return "pow";
×
287
        case data_flow::TaskletCode::powf:
288
            return "powf";
×
289
        case data_flow::TaskletCode::powl:
290
            return "powl";
×
291
        case data_flow::TaskletCode::rint:
292
            return "rint";
×
293
        case data_flow::TaskletCode::rintf:
294
            return "rintf";
×
295
        case data_flow::TaskletCode::rintl:
296
            return "rintl";
×
297
        case data_flow::TaskletCode::lrint:
298
            return "lrint";
×
299
        case data_flow::TaskletCode::llrint:
300
            return "llrint";
×
301
        case data_flow::TaskletCode::lround:
302
            return "lround";
×
303
        case data_flow::TaskletCode::llround:
304
            return "llround";
×
305
        case data_flow::TaskletCode::round:
306
            return "round";
×
307
        case data_flow::TaskletCode::roundf:
308
            return "roundf";
×
309
        case data_flow::TaskletCode::roundl:
310
            return "roundl";
×
311
        case data_flow::TaskletCode::roundeven:
312
            return "roundeven";
×
313
        case data_flow::TaskletCode::roundevenf:
314
            return "roundevenf";
×
315
        case data_flow::TaskletCode::roundevenl:
316
            return "roundevenl";
×
317
        case data_flow::TaskletCode::sin:
318
            return "sin";
×
319
        case data_flow::TaskletCode::sinf:
320
            return "sinf";
×
321
        case data_flow::TaskletCode::sinl:
322
            return "sinl";
×
323
        case data_flow::TaskletCode::sinh:
324
            return "sinh";
×
325
        case data_flow::TaskletCode::sinhf:
326
            return "sinhf";
×
327
        case data_flow::TaskletCode::sinhl:
328
            return "sinhl";
×
329
        case data_flow::TaskletCode::sqrt:
330
            return "sqrt";
×
331
        case data_flow::TaskletCode::sqrtf:
332
            return "sqrtf";
×
333
        case data_flow::TaskletCode::sqrtl:
334
            return "sqrtl";
×
335
        case data_flow::TaskletCode::tan:
336
            return "tan";
×
337
        case data_flow::TaskletCode::tanf:
338
            return "tanf";
×
339
        case data_flow::TaskletCode::tanl:
340
            return "tanl";
×
341
        case data_flow::TaskletCode::tanh:
342
            return "tanh";
×
343
        case data_flow::TaskletCode::tanhf:
344
            return "tanhf";
×
345
        case data_flow::TaskletCode::tanhl:
346
            return "tanhl";
×
347
    };
348
    throw std::invalid_argument("Invalid tasklet code");
×
349
};
×
350

351
std::string CPPLanguageExtension::primitive_type(const types::PrimitiveType prim_type) {
22✔
352
    switch (prim_type) {
22✔
353
        case types::PrimitiveType::Void:
354
            return "void";
2✔
355
        case types::PrimitiveType::Bool:
356
            return "bool";
1✔
357
        case types::PrimitiveType::Int8:
358
            return "signed char";
1✔
359
        case types::PrimitiveType::Int16:
360
            return "short";
1✔
361
        case types::PrimitiveType::Int32:
362
            return "int";
6✔
363
        case types::PrimitiveType::Int64:
364
            return "long long";
1✔
365
        case types::PrimitiveType::Int128:
366
            return "__int128";
×
367
        case types::PrimitiveType::UInt8:
368
            return "char";
4✔
369
        case types::PrimitiveType::UInt16:
370
            return "unsigned short";
1✔
371
        case types::PrimitiveType::UInt32:
372
            return "unsigned int";
1✔
373
        case types::PrimitiveType::UInt64:
374
            return "unsigned long long";
1✔
375
        case types::PrimitiveType::UInt128:
376
            return "unsigned __int128";
×
377
        case types::PrimitiveType::Half:
378
            return "__fp16";
×
379
        case types::PrimitiveType::BFloat:
380
            return "__bf16";
×
381
        case types::PrimitiveType::Float:
382
            return "float";
2✔
383
        case types::PrimitiveType::Double:
384
            return "double";
1✔
385
        case types::PrimitiveType::X86_FP80:
386
            return "long double";
×
387
        case types::PrimitiveType::FP128:
388
            return "__float128";
×
389
        case types::PrimitiveType::PPC_FP128:
390
            return "__float128";
×
391
    }
392

393
    throw std::runtime_error("Unknown primitive type");
×
394
};
22✔
395

396
std::string CPPLanguageExtension::
397
    declaration(const std::string& name, const types::IType& type, bool use_initializer, bool use_alignment) {
21✔
398
    std::stringstream val;
21✔
399

400
    if (auto scalar_type = dynamic_cast<const types::Scalar*>(&type)) {
21✔
401
        val << primitive_type(scalar_type->primitive_type());
10✔
402
        val << " ";
10✔
403
        val << name;
10✔
404
    } else if (auto array_type = dynamic_cast<const types::Array*>(&type)) {
21✔
405
        auto& element_type = array_type->element_type();
3✔
406
        val << declaration(name + "[" + this->expression(array_type->num_elements()) + "]", element_type);
3✔
407
    } else if (auto pointer_type = dynamic_cast<const types::Pointer*>(&type)) {
11✔
408
        if (pointer_type->has_pointee_type()) {
4✔
409
            const types::IType& pointee = pointer_type->pointee_type();
3✔
410

411
            const bool pointee_is_function_or_array = dynamic_cast<const types::Function*>(&pointee) ||
6✔
412
                                                      dynamic_cast<const types::Array*>(&pointee);
3✔
413

414
            // Parenthesise *only* when it is needed to bind tighter than [] or ()
415
            std::string decorated = pointee_is_function_or_array ? "(*" + name + ")" : "*" + name;
3✔
416

417
            val << declaration(decorated, pointee);
3✔
418
        } else {
3✔
419
            val << "void*";
1✔
420
            val << " " << name;
1✔
421
        }
422
    } else if (auto ref_type = dynamic_cast<const Reference*>(&type)) {
8✔
423
        val << declaration("&" + name, ref_type->reference_type());
×
424
    } else if (auto structure_type = dynamic_cast<const types::Structure*>(&type)) {
4✔
425
        val << structure_type->name();
4✔
426
        val << " ";
4✔
427
        val << name;
4✔
428
    } else if (auto function_type = dynamic_cast<const types::Function*>(&type)) {
4✔
429
        std::stringstream params;
×
430
        for (size_t i = 0; i < function_type->num_params(); ++i) {
×
431
            params << declaration("", function_type->param_type(symbolic::integer(i)));
×
432
            if (i + 1 < function_type->num_params()) params << ", ";
×
433
        }
×
434
        if (function_type->is_var_arg()) {
×
435
            // ISO C++ forbids empty parameter lists before ...
NEW
436
            if (function_type->num_params() > 0) {
×
NEW
437
                params << ", ";
×
NEW
438
                params << "...";
×
NEW
439
            }
×
UNCOV
440
        }
×
441

442
        const std::string fun_name = name + "(" + params.str() + ")";
×
443
        val << declaration(fun_name, function_type->return_type());
×
444
    } else {
×
445
        throw std::runtime_error("Unknown declaration type");
×
446
    }
447

448
    if (use_alignment && type.alignment() > 0) {
21✔
449
        val << " __attribute__((aligned(" << type.alignment() << ")))";
×
450
    }
×
451
    if (use_initializer && !type.initializer().empty()) {
21✔
452
        val << " = " << type.initializer();
×
453
    }
×
454

455
    return val.str();
21✔
456
};
21✔
457

458
std::string CPPLanguageExtension::type_cast(const std::string& name, const types::IType& type) {
1✔
459
    std::stringstream val;
1✔
460

461
    val << "reinterpret_cast";
1✔
462
    val << "<";
1✔
463
    val << declaration("", type);
1✔
464
    val << ">";
1✔
465
    val << "(" << name << ")";
1✔
466

467
    return val.str();
1✔
468
};
1✔
469

470
std::string CPPLanguageExtension::subset(const Function& function, const types::IType& type, const data_flow::Subset& sub) {
3✔
471
    if (sub.empty()) {
3✔
472
        return "";
1✔
473
    }
474

475
    if (dynamic_cast<const types::Scalar*>(&type)) {
2✔
476
        return "";
×
477
    } else if (auto array_type = dynamic_cast<const types::Array*>(&type)) {
2✔
478
        std::string subset_str = "[" + this->expression(sub.at(0)) + "]";
1✔
479

480
        if (sub.size() > 1) {
1✔
481
            data_flow::Subset element_subset(sub.begin() + 1, sub.end());
×
482
            auto& element_type = array_type->element_type();
×
483
            return subset_str + subset(function, element_type, element_subset);
×
484
        } else {
×
485
            return subset_str;
1✔
486
        }
487
    } else if (auto pointer_type = dynamic_cast<const types::Pointer*>(&type)) {
2✔
488
        std::string subset_str = "[" + this->expression(sub.at(0)) + "]";
×
489

490
        data_flow::Subset element_subset(sub.begin() + 1, sub.end());
×
491
        auto& pointee_type = pointer_type->pointee_type();
×
492
        return subset_str + subset(function, pointee_type, element_subset);
×
493
    } else if (auto structure_type = dynamic_cast<const types::Structure*>(&type)) {
1✔
494
        auto& definition = function.structure(structure_type->name());
1✔
495

496
        std::string subset_str = ".member_" + this->expression(sub.at(0));
1✔
497
        if (sub.size() > 1) {
1✔
498
            auto member = SymEngine::rcp_dynamic_cast<const SymEngine::Integer>(sub.at(0));
×
499
            auto& member_type = definition.member_type(member);
×
500
            data_flow::Subset element_subset(sub.begin() + 1, sub.end());
×
501
            return subset_str + subset(function, member_type, element_subset);
×
502
        } else {
×
503
            return subset_str;
1✔
504
        }
505
    }
1✔
506

507
    throw std::invalid_argument("Invalid subset type");
×
508
};
3✔
509

510
std::string CPPLanguageExtension::expression(const symbolic::Expression& expr) {
11✔
511
    CPPSymbolicPrinter printer;
11✔
512
    return printer.apply(expr);
11✔
513
};
11✔
514

515
std::string CPPLanguageExtension::access_node(const data_flow::AccessNode& node) {
×
NEW
516
    if (dynamic_cast<const data_flow::ConstantNode*>(&node)) {
×
NEW
517
        std::string name = node.data();
×
NEW
518
        if (symbolic::is_nullptr(symbolic::symbol(name))) {
×
NEW
519
            return this->expression(symbolic::__nullptr__());
×
520
        }
NEW
521
        return name;
×
NEW
522
    } else {
×
NEW
523
        std::string name = node.data();
×
NEW
524
        if (this->external_variables_.find(name) != this->external_variables_.end()) {
×
NEW
525
            return "(&" + name + ")";
×
526
        }
NEW
527
        return name;
×
528
    }
×
529
};
×
530

531
std::string CPPLanguageExtension::tasklet(const data_flow::Tasklet& tasklet) {
×
532
    std::string op = code_to_string(tasklet.code());
×
533
    std::vector<std::string> arguments;
×
534
    for (size_t i = 0; i < tasklet.inputs().size(); ++i) {
×
535
        arguments.push_back(tasklet.input(i));
×
536
    }
×
537

538
    if (tasklet.code() == data_flow::TaskletCode::assign) {
×
539
        return arguments.at(0);
×
540
    } else if (data_flow::is_infix(tasklet.code())) {
×
541
        switch (data_flow::arity(tasklet.code())) {
×
542
            case 1:
543
                return op + arguments.at(0);
×
544
            case 2:
545
                return arguments.at(0) + " " + op + " " + arguments.at(1);
×
546
            default:
547
                throw std::runtime_error("Unsupported arity");
×
548
        }
549
    } else {
550
        return op + "(" + helpers::join(arguments, ", ") + ")";
×
551
    }
552
};
×
553

554
std::string CPPLanguageExtension::zero(const types::PrimitiveType prim_type) {
×
555
    switch (prim_type) {
×
556
        case types::Void:
557
            throw InvalidSDFGException("No zero for void type possible");
×
558
        case types::Bool:
559
            return "false";
×
560
        case types::Int8:
561
            return "0";
×
562
        case types::Int16:
563
            return "0";
×
564
        case types::Int32:
565
            return "0";
×
566
        case types::Int64:
567
            return "0ll";
×
568
        case types::Int128:
569
            return "0";
×
570
        case types::UInt8:
571
            return "0u";
×
572
        case types::UInt16:
573
            return "0u";
×
574
        case types::UInt32:
575
            return "0u";
×
576
        case types::UInt64:
577
            return "0ull";
×
578
        case types::UInt128:
579
            return "0u";
×
580
        case types::Half:
581
            throw InvalidSDFGException("Currently unsupported");
×
582
        case types::BFloat:
583
            throw InvalidSDFGException("Currently unsupported");
×
584
        case types::Float:
585
            return "0.0f";
×
586
        case types::Double:
587
            return "0.0";
×
588
        case types::X86_FP80:
589
            return "0.0l";
×
590
        case types::FP128:
591
            throw InvalidSDFGException("Currently unsupported");
×
592
        case types::PPC_FP128:
593
            throw InvalidSDFGException("Currently unsupported");
×
594
    }
×
595
}
×
596

597
void CPPSymbolicPrinter::bvisit(const SymEngine::Infty& x) {
×
598
    if (x.is_negative_infinity())
×
599
        str_ = "-INFINITY";
×
600
    else if (x.is_positive_infinity())
×
601
        str_ = "INFINITY";
×
602
};
×
603

604
void CPPSymbolicPrinter::bvisit(const SymEngine::BooleanAtom& x) { str_ = x.get_val() ? "true" : "false"; };
×
605

606
void CPPSymbolicPrinter::bvisit(const SymEngine::Symbol& x) {
5✔
607
    if (symbolic::is_nullptr(symbolic::symbol(x.get_name()))) {
5✔
608
        str_ = "nullptr";
×
609
        return;
×
610
    }
611
    str_ = x.get_name();
5✔
612
};
5✔
613

614
void CPPSymbolicPrinter::bvisit(const SymEngine::And& x) {
×
615
    std::ostringstream s;
×
616
    auto container = x.get_container();
×
617
    s << apply(*container.begin());
×
618
    for (auto it = ++(container.begin()); it != container.end(); ++it) {
×
619
        s << " && " << apply(*it);
×
620
    }
×
621
    str_ = parenthesize(s.str());
×
622
};
×
623

624
void CPPSymbolicPrinter::bvisit(const SymEngine::Or& x) {
×
625
    std::ostringstream s;
×
626
    auto container = x.get_container();
×
627
    s << apply(*container.begin());
×
628
    for (auto it = ++(container.begin()); it != container.end(); ++it) {
×
629
        s << " || " << apply(*it);
×
630
    }
×
631
    str_ = parenthesize(s.str());
×
632
};
×
633

634
void CPPSymbolicPrinter::bvisit(const SymEngine::Not& x) {
×
635
    str_ = "!" + apply(x.get_arg());
×
636
    str_ = parenthesize(str_);
×
637
};
×
638

639
void CPPSymbolicPrinter::bvisit(const SymEngine::Equality& x) {
×
640
    str_ = apply(x.get_args()[0]) + " == " + apply(x.get_args()[1]);
×
641
    str_ = parenthesize(str_);
×
642
};
×
643

644
void CPPSymbolicPrinter::bvisit(const SymEngine::Unequality& x) {
×
645
    str_ = apply(x.get_args()[0]) + " != " + apply(x.get_args()[1]);
×
646
    str_ = parenthesize(str_);
×
647
};
×
648

649
void CPPSymbolicPrinter::bvisit(const SymEngine::Min& x) {
×
650
    std::ostringstream s;
×
651
    auto container = x.get_args();
×
652
    if (container.size() == 1) {
×
653
        s << apply(*container.begin());
×
654
    } else {
×
655
        s << "__daisy_min(";
×
656
        s << apply(*container.begin());
×
657

658
        // Recursively apply __daisy_min to the arguments
659
        SymEngine::vec_basic subargs;
×
660
        for (auto it = ++(container.begin()); it != container.end(); ++it) {
×
661
            subargs.push_back(*it);
×
662
        }
×
663
        auto submin = SymEngine::min(subargs);
×
664
        s << ", " << apply(submin);
×
665

666
        s << ")";
×
667
    }
×
668

669
    str_ = s.str();
×
670
};
×
671

672
void CPPSymbolicPrinter::bvisit(const SymEngine::Max& x) {
×
673
    std::ostringstream s;
×
674
    auto container = x.get_args();
×
675
    if (container.size() == 1) {
×
676
        s << apply(*container.begin());
×
677
    } else {
×
678
        s << "__daisy_max(";
×
679
        s << apply(*container.begin());
×
680

681
        // Recursively apply __daisy_max to the arguments
682
        SymEngine::vec_basic subargs;
×
683
        for (auto it = ++(container.begin()); it != container.end(); ++it) {
×
684
            subargs.push_back(*it);
×
685
        }
×
686
        auto submax = SymEngine::max(subargs);
×
687
        s << ", " << apply(submax);
×
688

689
        s << ")";
×
690
    }
×
691

692
    str_ = s.str();
×
693
};
×
694

695
void CPPSymbolicPrinter::bvisit(const SymEngine::FunctionSymbol& x) {
1✔
696
    if (x.get_name() == "idiv") {
1✔
697
        str_ = "((" + apply(x.get_args()[0]) + ") / (" + apply(x.get_args()[1]) + "))";
×
698
    } else if (x.get_name() == "imod") {
1✔
699
        str_ = "((" + apply(x.get_args()[0]) + ") % (" + apply(x.get_args()[1]) + "))";
×
700
    } else if (x.get_name() == "sizeof") {
1✔
701
        auto& so = dynamic_cast<const symbolic::SizeOfTypeFunction&>(x);
1✔
702
        auto& type = so.get_type();
1✔
703
        CPPLanguageExtension lang;
1✔
704
        str_ = "sizeof(" + lang.declaration("", type) + ")";
1✔
705
    } else {
1✔
706
        throw std::runtime_error("Unsupported function symbol: " + x.get_name());
×
707
    }
708
};
1✔
709

710
void CPPSymbolicPrinter::_print_pow(
2✔
711
    std::ostringstream& o,
712
    const SymEngine::RCP<const SymEngine::Basic>& a,
713
    const SymEngine::RCP<const SymEngine::Basic>& b
714
) {
715
    if (SymEngine::eq(*a, *SymEngine::E)) {
2✔
716
        o << "exp(" << apply(b) << ")";
×
717
    } else if (SymEngine::eq(*b, *SymEngine::rational(1, 2))) {
2✔
718
        o << "sqrt(" << apply(a) << ")";
×
719
    } else if (SymEngine::eq(*b, *SymEngine::rational(1, 3))) {
2✔
720
        o << "cbrt(" << apply(a) << ")";
×
721
    } else if (SymEngine::eq(*b, *SymEngine::integer(2))) {
2✔
722
        o << "((" + apply(a) + ") * (" + apply(a) + "))";
2✔
723
    } else {
2✔
724
        o << "pow(" << apply(a) << ", " << apply(b) << ")";
×
725
    }
726
};
2✔
727

728
} // namespace codegen
729
} // namespace sdfg
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc