341 lines · cpp
1// RUN: %libomp-cxx20-compile-and-run | FileCheck %s --match-full-lines2 3#ifndef HEADER4#define HEADER5 6#include <cstdlib>7#include <cstdarg>8#include <cstdio>9#include <vector>10 11struct Reporter {12 const char *name;13 14 Reporter(const char *name) : name(name) { print("ctor"); }15 16 Reporter() : name("<anon>") { print("ctor"); }17 18 Reporter(const Reporter &that) : name(that.name) { print("copy ctor"); }19 20 Reporter(Reporter &&that) : name(that.name) { print("move ctor"); }21 22 ~Reporter() { print("dtor"); }23 24 const Reporter &operator=(const Reporter &that) {25 print("copy assign");26 this->name = that.name;27 return *this;28 }29 30 const Reporter &operator=(Reporter &&that) {31 print("move assign");32 this->name = that.name;33 return *this;34 }35 36 struct Iterator {37 const Reporter *owner;38 int pos;39 40 Iterator(const Reporter *owner, int pos) : owner(owner), pos(pos) {}41 42 Iterator(const Iterator &that) : owner(that.owner), pos(that.pos) {43 owner->print("iterator copy ctor");44 }45 46 Iterator(Iterator &&that) : owner(that.owner), pos(that.pos) {47 owner->print("iterator move ctor");48 }49 50 ~Iterator() { owner->print("iterator dtor"); }51 52 const Iterator &operator=(const Iterator &that) {53 owner->print("iterator copy assign");54 this->owner = that.owner;55 this->pos = that.pos;56 return *this;57 }58 59 const Iterator &operator=(Iterator &&that) {60 owner->print("iterator move assign");61 this->owner = that.owner;62 this->pos = that.pos;63 return *this;64 }65 66 bool operator==(const Iterator &that) const {67 owner->print("iterator %d == %d", 2 - this->pos, 2 - that.pos);68 return this->pos == that.pos;69 }70 71 Iterator &operator++() {72 owner->print("iterator prefix ++");73 pos -= 1;74 return *this;75 }76 77 Iterator operator++(int) {78 owner->print("iterator postfix ++");79 auto result = *this;80 pos -= 1;81 return result;82 }83 84 int operator*() const {85 int result = 2 - pos;86 owner->print("iterator deref: %i", result);87 return result;88 }89 90 size_t operator-(const Iterator &that) const {91 int result = (2 - this->pos) - (2 - that.pos);92 owner->print("iterator distance: %d", result);93 return result;94 }95 96 Iterator operator+(int steps) const {97 owner->print("iterator advance: %i += %i", 2 - this->pos, steps);98 return Iterator(owner, pos - steps);99 }100 };101 102 Iterator begin() const {103 print("begin()");104 return Iterator(this, 2);105 }106 107 Iterator end() const {108 print("end()");109 return Iterator(this, -1);110 }111 112 void print(const char *msg, ...) const {113 va_list args;114 va_start(args, msg);115 printf("[%s] ", name);116 vprintf(msg, args);117 printf("\n");118 va_end(args);119 }120};121 122int main() {123 printf("do\n");124#pragma omp parallel for collapse(3) num_threads(1)125 for (int i = 0; i < 2; ++i)126#pragma omp interchange127 for (Reporter c{"C"}; auto &&v : Reporter("A"))128 for (Reporter d{"D"}; auto &&w : Reporter("B"))129 for (int k = 0; k < 2; ++k)130 printf("i=%d v=%d w=%d k=%d\n", i, v, w, k);131 printf("done\n");132 return EXIT_SUCCESS;133}134 135#endif /* HEADER */136 137// CHECK: do138// CHECK-NEXT: [C] ctor139// CHECK-NEXT: [A] ctor140// CHECK-NEXT: [A] end()141// CHECK-NEXT: [A] begin()142// CHECK-NEXT: [A] begin()143// CHECK-NEXT: [A] iterator distance: 3144// CHECK-NEXT: [D] ctor145// CHECK-NEXT: [B] ctor146// CHECK-NEXT: [B] end()147// CHECK-NEXT: [B] begin()148// CHECK-NEXT: [B] begin()149// CHECK-NEXT: [B] iterator distance: 3150// CHECK-NEXT: [B] iterator advance: 0 += 0151// CHECK-NEXT: [B] iterator move assign152// CHECK-NEXT: [B] iterator deref: 0153// CHECK-NEXT: [A] iterator advance: 0 += 0154// CHECK-NEXT: [A] iterator move assign155// CHECK-NEXT: [A] iterator deref: 0156// CHECK-NEXT: i=0 v=0 w=0 k=0157// CHECK-NEXT: i=0 v=0 w=0 k=1158// CHECK-NEXT: [A] iterator dtor159// CHECK-NEXT: [B] iterator dtor160// CHECK-NEXT: [B] iterator advance: 0 += 0161// CHECK-NEXT: [B] iterator move assign162// CHECK-NEXT: [B] iterator deref: 0163// CHECK-NEXT: [A] iterator advance: 0 += 1164// CHECK-NEXT: [A] iterator move assign165// CHECK-NEXT: [A] iterator deref: 1166// CHECK-NEXT: i=0 v=1 w=0 k=0167// CHECK-NEXT: i=0 v=1 w=0 k=1168// CHECK-NEXT: [A] iterator dtor169// CHECK-NEXT: [B] iterator dtor170// CHECK-NEXT: [B] iterator advance: 0 += 0171// CHECK-NEXT: [B] iterator move assign172// CHECK-NEXT: [B] iterator deref: 0173// CHECK-NEXT: [A] iterator advance: 0 += 2174// CHECK-NEXT: [A] iterator move assign175// CHECK-NEXT: [A] iterator deref: 2176// CHECK-NEXT: i=0 v=2 w=0 k=0177// CHECK-NEXT: i=0 v=2 w=0 k=1178// CHECK-NEXT: [A] iterator dtor179// CHECK-NEXT: [B] iterator dtor180// CHECK-NEXT: [B] iterator advance: 0 += 1181// CHECK-NEXT: [B] iterator move assign182// CHECK-NEXT: [B] iterator deref: 1183// CHECK-NEXT: [A] iterator advance: 0 += 0184// CHECK-NEXT: [A] iterator move assign185// CHECK-NEXT: [A] iterator deref: 0186// CHECK-NEXT: i=0 v=0 w=1 k=0187// CHECK-NEXT: i=0 v=0 w=1 k=1188// CHECK-NEXT: [A] iterator dtor189// CHECK-NEXT: [B] iterator dtor190// CHECK-NEXT: [B] iterator advance: 0 += 1191// CHECK-NEXT: [B] iterator move assign192// CHECK-NEXT: [B] iterator deref: 1193// CHECK-NEXT: [A] iterator advance: 0 += 1194// CHECK-NEXT: [A] iterator move assign195// CHECK-NEXT: [A] iterator deref: 1196// CHECK-NEXT: i=0 v=1 w=1 k=0197// CHECK-NEXT: i=0 v=1 w=1 k=1198// CHECK-NEXT: [A] iterator dtor199// CHECK-NEXT: [B] iterator dtor200// CHECK-NEXT: [B] iterator advance: 0 += 1201// CHECK-NEXT: [B] iterator move assign202// CHECK-NEXT: [B] iterator deref: 1203// CHECK-NEXT: [A] iterator advance: 0 += 2204// CHECK-NEXT: [A] iterator move assign205// CHECK-NEXT: [A] iterator deref: 2206// CHECK-NEXT: i=0 v=2 w=1 k=0207// CHECK-NEXT: i=0 v=2 w=1 k=1208// CHECK-NEXT: [A] iterator dtor209// CHECK-NEXT: [B] iterator dtor210// CHECK-NEXT: [B] iterator advance: 0 += 2211// CHECK-NEXT: [B] iterator move assign212// CHECK-NEXT: [B] iterator deref: 2213// CHECK-NEXT: [A] iterator advance: 0 += 0214// CHECK-NEXT: [A] iterator move assign215// CHECK-NEXT: [A] iterator deref: 0216// CHECK-NEXT: i=0 v=0 w=2 k=0217// CHECK-NEXT: i=0 v=0 w=2 k=1218// CHECK-NEXT: [A] iterator dtor219// CHECK-NEXT: [B] iterator dtor220// CHECK-NEXT: [B] iterator advance: 0 += 2221// CHECK-NEXT: [B] iterator move assign222// CHECK-NEXT: [B] iterator deref: 2223// CHECK-NEXT: [A] iterator advance: 0 += 1224// CHECK-NEXT: [A] iterator move assign225// CHECK-NEXT: [A] iterator deref: 1226// CHECK-NEXT: i=0 v=1 w=2 k=0227// CHECK-NEXT: i=0 v=1 w=2 k=1228// CHECK-NEXT: [A] iterator dtor229// CHECK-NEXT: [B] iterator dtor230// CHECK-NEXT: [B] iterator advance: 0 += 2231// CHECK-NEXT: [B] iterator move assign232// CHECK-NEXT: [B] iterator deref: 2233// CHECK-NEXT: [A] iterator advance: 0 += 2234// CHECK-NEXT: [A] iterator move assign235// CHECK-NEXT: [A] iterator deref: 2236// CHECK-NEXT: i=0 v=2 w=2 k=0237// CHECK-NEXT: i=0 v=2 w=2 k=1238// CHECK-NEXT: [A] iterator dtor239// CHECK-NEXT: [B] iterator dtor240// CHECK-NEXT: [B] iterator advance: 0 += 0241// CHECK-NEXT: [B] iterator move assign242// CHECK-NEXT: [B] iterator deref: 0243// CHECK-NEXT: [A] iterator advance: 0 += 0244// CHECK-NEXT: [A] iterator move assign245// CHECK-NEXT: [A] iterator deref: 0246// CHECK-NEXT: i=1 v=0 w=0 k=0247// CHECK-NEXT: i=1 v=0 w=0 k=1248// CHECK-NEXT: [A] iterator dtor249// CHECK-NEXT: [B] iterator dtor250// CHECK-NEXT: [B] iterator advance: 0 += 0251// CHECK-NEXT: [B] iterator move assign252// CHECK-NEXT: [B] iterator deref: 0253// CHECK-NEXT: [A] iterator advance: 0 += 1254// CHECK-NEXT: [A] iterator move assign255// CHECK-NEXT: [A] iterator deref: 1256// CHECK-NEXT: i=1 v=1 w=0 k=0257// CHECK-NEXT: i=1 v=1 w=0 k=1258// CHECK-NEXT: [A] iterator dtor259// CHECK-NEXT: [B] iterator dtor260// CHECK-NEXT: [B] iterator advance: 0 += 0261// CHECK-NEXT: [B] iterator move assign262// CHECK-NEXT: [B] iterator deref: 0263// CHECK-NEXT: [A] iterator advance: 0 += 2264// CHECK-NEXT: [A] iterator move assign265// CHECK-NEXT: [A] iterator deref: 2266// CHECK-NEXT: i=1 v=2 w=0 k=0267// CHECK-NEXT: i=1 v=2 w=0 k=1268// CHECK-NEXT: [A] iterator dtor269// CHECK-NEXT: [B] iterator dtor270// CHECK-NEXT: [B] iterator advance: 0 += 1271// CHECK-NEXT: [B] iterator move assign272// CHECK-NEXT: [B] iterator deref: 1273// CHECK-NEXT: [A] iterator advance: 0 += 0274// CHECK-NEXT: [A] iterator move assign275// CHECK-NEXT: [A] iterator deref: 0276// CHECK-NEXT: i=1 v=0 w=1 k=0277// CHECK-NEXT: i=1 v=0 w=1 k=1278// CHECK-NEXT: [A] iterator dtor279// CHECK-NEXT: [B] iterator dtor280// CHECK-NEXT: [B] iterator advance: 0 += 1281// CHECK-NEXT: [B] iterator move assign282// CHECK-NEXT: [B] iterator deref: 1283// CHECK-NEXT: [A] iterator advance: 0 += 1284// CHECK-NEXT: [A] iterator move assign285// CHECK-NEXT: [A] iterator deref: 1286// CHECK-NEXT: i=1 v=1 w=1 k=0287// CHECK-NEXT: i=1 v=1 w=1 k=1288// CHECK-NEXT: [A] iterator dtor289// CHECK-NEXT: [B] iterator dtor290// CHECK-NEXT: [B] iterator advance: 0 += 1291// CHECK-NEXT: [B] iterator move assign292// CHECK-NEXT: [B] iterator deref: 1293// CHECK-NEXT: [A] iterator advance: 0 += 2294// CHECK-NEXT: [A] iterator move assign295// CHECK-NEXT: [A] iterator deref: 2296// CHECK-NEXT: i=1 v=2 w=1 k=0297// CHECK-NEXT: i=1 v=2 w=1 k=1298// CHECK-NEXT: [A] iterator dtor299// CHECK-NEXT: [B] iterator dtor300// CHECK-NEXT: [B] iterator advance: 0 += 2301// CHECK-NEXT: [B] iterator move assign302// CHECK-NEXT: [B] iterator deref: 2303// CHECK-NEXT: [A] iterator advance: 0 += 0304// CHECK-NEXT: [A] iterator move assign305// CHECK-NEXT: [A] iterator deref: 0306// CHECK-NEXT: i=1 v=0 w=2 k=0307// CHECK-NEXT: i=1 v=0 w=2 k=1308// CHECK-NEXT: [A] iterator dtor309// CHECK-NEXT: [B] iterator dtor310// CHECK-NEXT: [B] iterator advance: 0 += 2311// CHECK-NEXT: [B] iterator move assign312// CHECK-NEXT: [B] iterator deref: 2313// CHECK-NEXT: [A] iterator advance: 0 += 1314// CHECK-NEXT: [A] iterator move assign315// CHECK-NEXT: [A] iterator deref: 1316// CHECK-NEXT: i=1 v=1 w=2 k=0317// CHECK-NEXT: i=1 v=1 w=2 k=1318// CHECK-NEXT: [A] iterator dtor319// CHECK-NEXT: [B] iterator dtor320// CHECK-NEXT: [B] iterator advance: 0 += 2321// CHECK-NEXT: [B] iterator move assign322// CHECK-NEXT: [B] iterator deref: 2323// CHECK-NEXT: [A] iterator advance: 0 += 2324// CHECK-NEXT: [A] iterator move assign325// CHECK-NEXT: [A] iterator deref: 2326// CHECK-NEXT: i=1 v=2 w=2 k=0327// CHECK-NEXT: i=1 v=2 w=2 k=1328// CHECK-NEXT: [A] iterator dtor329// CHECK-NEXT: [B] iterator dtor330// CHECK-NEXT: [B] iterator dtor331// CHECK-NEXT: [B] iterator dtor332// CHECK-NEXT: [B] iterator dtor333// CHECK-NEXT: [B] dtor334// CHECK-NEXT: [D] dtor335// CHECK-NEXT: [A] iterator dtor336// CHECK-NEXT: [A] iterator dtor337// CHECK-NEXT: [A] iterator dtor338// CHECK-NEXT: [A] dtor339// CHECK-NEXT: [C] dtor340// CHECK-NEXT: done341