286 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 void print(const char *msg) const { owner->print(msg); }102 };103 104 Iterator begin() const {105 print("begin()");106 return Iterator(this, 2);107 }108 109 Iterator end() const {110 print("end()");111 return Iterator(this, -1);112 }113 114 void print(const char *msg, ...) const {115 va_list args;116 va_start(args, msg);117 printf("[%s] ", name);118 vprintf(msg, args);119 printf("\n");120 va_end(args);121 }122};123 124int main() {125 printf("do\n");126#pragma omp parallel for collapse(3) num_threads(1)127 for (int i = 0; i < 3; ++i)128#pragma omp reverse129 for (Reporter c{"init-stmt"}; auto &&v : Reporter("range"))130 for (int k = 0; k < 3; ++k)131 printf("i=%d j=%d k=%d\n", i, v, k);132 printf("done\n");133 return EXIT_SUCCESS;134}135 136#endif /* HEADER */137 138// CHECK: do139// CHECK-NEXT: [init-stmt] ctor140// CHECK-NEXT: [range] ctor141// CHECK-NEXT: [range] end()142// CHECK-NEXT: [range] begin()143// CHECK-NEXT: [range] begin()144// CHECK-NEXT: [range] iterator distance: 3145// CHECK-NEXT: [range] iterator advance: 0 += 2146// CHECK-NEXT: [range] iterator move assign147// CHECK-NEXT: [range] iterator deref: 2148// CHECK-NEXT: i=0 j=2 k=0149// CHECK-NEXT: [range] iterator dtor150// CHECK-NEXT: [range] iterator advance: 0 += 2151// CHECK-NEXT: [range] iterator move assign152// CHECK-NEXT: [range] iterator deref: 2153// CHECK-NEXT: i=0 j=2 k=1154// CHECK-NEXT: [range] iterator dtor155// CHECK-NEXT: [range] iterator advance: 0 += 2156// CHECK-NEXT: [range] iterator move assign157// CHECK-NEXT: [range] iterator deref: 2158// CHECK-NEXT: i=0 j=2 k=2159// CHECK-NEXT: [range] iterator dtor160// CHECK-NEXT: [range] iterator advance: 0 += 1161// CHECK-NEXT: [range] iterator move assign162// CHECK-NEXT: [range] iterator deref: 1163// CHECK-NEXT: i=0 j=1 k=0164// CHECK-NEXT: [range] iterator dtor165// CHECK-NEXT: [range] iterator advance: 0 += 1166// CHECK-NEXT: [range] iterator move assign167// CHECK-NEXT: [range] iterator deref: 1168// CHECK-NEXT: i=0 j=1 k=1169// CHECK-NEXT: [range] iterator dtor170// CHECK-NEXT: [range] iterator advance: 0 += 1171// CHECK-NEXT: [range] iterator move assign172// CHECK-NEXT: [range] iterator deref: 1173// CHECK-NEXT: i=0 j=1 k=2174// CHECK-NEXT: [range] iterator dtor175// CHECK-NEXT: [range] iterator advance: 0 += 0176// CHECK-NEXT: [range] iterator move assign177// CHECK-NEXT: [range] iterator deref: 0178// CHECK-NEXT: i=0 j=0 k=0179// CHECK-NEXT: [range] iterator dtor180// CHECK-NEXT: [range] iterator advance: 0 += 0181// CHECK-NEXT: [range] iterator move assign182// CHECK-NEXT: [range] iterator deref: 0183// CHECK-NEXT: i=0 j=0 k=1184// CHECK-NEXT: [range] iterator dtor185// CHECK-NEXT: [range] iterator advance: 0 += 0186// CHECK-NEXT: [range] iterator move assign187// CHECK-NEXT: [range] iterator deref: 0188// CHECK-NEXT: i=0 j=0 k=2189// CHECK-NEXT: [range] iterator dtor190// CHECK-NEXT: [range] iterator advance: 0 += 2191// CHECK-NEXT: [range] iterator move assign192// CHECK-NEXT: [range] iterator deref: 2193// CHECK-NEXT: i=1 j=2 k=0194// CHECK-NEXT: [range] iterator dtor195// CHECK-NEXT: [range] iterator advance: 0 += 2196// CHECK-NEXT: [range] iterator move assign197// CHECK-NEXT: [range] iterator deref: 2198// CHECK-NEXT: i=1 j=2 k=1199// CHECK-NEXT: [range] iterator dtor200// CHECK-NEXT: [range] iterator advance: 0 += 2201// CHECK-NEXT: [range] iterator move assign202// CHECK-NEXT: [range] iterator deref: 2203// CHECK-NEXT: i=1 j=2 k=2204// CHECK-NEXT: [range] iterator dtor205// CHECK-NEXT: [range] iterator advance: 0 += 1206// CHECK-NEXT: [range] iterator move assign207// CHECK-NEXT: [range] iterator deref: 1208// CHECK-NEXT: i=1 j=1 k=0209// CHECK-NEXT: [range] iterator dtor210// CHECK-NEXT: [range] iterator advance: 0 += 1211// CHECK-NEXT: [range] iterator move assign212// CHECK-NEXT: [range] iterator deref: 1213// CHECK-NEXT: i=1 j=1 k=1214// CHECK-NEXT: [range] iterator dtor215// CHECK-NEXT: [range] iterator advance: 0 += 1216// CHECK-NEXT: [range] iterator move assign217// CHECK-NEXT: [range] iterator deref: 1218// CHECK-NEXT: i=1 j=1 k=2219// CHECK-NEXT: [range] iterator dtor220// CHECK-NEXT: [range] iterator advance: 0 += 0221// CHECK-NEXT: [range] iterator move assign222// CHECK-NEXT: [range] iterator deref: 0223// CHECK-NEXT: i=1 j=0 k=0224// CHECK-NEXT: [range] iterator dtor225// CHECK-NEXT: [range] iterator advance: 0 += 0226// CHECK-NEXT: [range] iterator move assign227// CHECK-NEXT: [range] iterator deref: 0228// CHECK-NEXT: i=1 j=0 k=1229// CHECK-NEXT: [range] iterator dtor230// CHECK-NEXT: [range] iterator advance: 0 += 0231// CHECK-NEXT: [range] iterator move assign232// CHECK-NEXT: [range] iterator deref: 0233// CHECK-NEXT: i=1 j=0 k=2234// CHECK-NEXT: [range] iterator dtor235// CHECK-NEXT: [range] iterator advance: 0 += 2236// CHECK-NEXT: [range] iterator move assign237// CHECK-NEXT: [range] iterator deref: 2238// CHECK-NEXT: i=2 j=2 k=0239// CHECK-NEXT: [range] iterator dtor240// CHECK-NEXT: [range] iterator advance: 0 += 2241// CHECK-NEXT: [range] iterator move assign242// CHECK-NEXT: [range] iterator deref: 2243// CHECK-NEXT: i=2 j=2 k=1244// CHECK-NEXT: [range] iterator dtor245// CHECK-NEXT: [range] iterator advance: 0 += 2246// CHECK-NEXT: [range] iterator move assign247// CHECK-NEXT: [range] iterator deref: 2248// CHECK-NEXT: i=2 j=2 k=2249// CHECK-NEXT: [range] iterator dtor250// CHECK-NEXT: [range] iterator advance: 0 += 1251// CHECK-NEXT: [range] iterator move assign252// CHECK-NEXT: [range] iterator deref: 1253// CHECK-NEXT: i=2 j=1 k=0254// CHECK-NEXT: [range] iterator dtor255// CHECK-NEXT: [range] iterator advance: 0 += 1256// CHECK-NEXT: [range] iterator move assign257// CHECK-NEXT: [range] iterator deref: 1258// CHECK-NEXT: i=2 j=1 k=1259// CHECK-NEXT: [range] iterator dtor260// CHECK-NEXT: [range] iterator advance: 0 += 1261// CHECK-NEXT: [range] iterator move assign262// CHECK-NEXT: [range] iterator deref: 1263// CHECK-NEXT: i=2 j=1 k=2264// CHECK-NEXT: [range] iterator dtor265// CHECK-NEXT: [range] iterator advance: 0 += 0266// CHECK-NEXT: [range] iterator move assign267// CHECK-NEXT: [range] iterator deref: 0268// CHECK-NEXT: i=2 j=0 k=0269// CHECK-NEXT: [range] iterator dtor270// CHECK-NEXT: [range] iterator advance: 0 += 0271// CHECK-NEXT: [range] iterator move assign272// CHECK-NEXT: [range] iterator deref: 0273// CHECK-NEXT: i=2 j=0 k=1274// CHECK-NEXT: [range] iterator dtor275// CHECK-NEXT: [range] iterator advance: 0 += 0276// CHECK-NEXT: [range] iterator move assign277// CHECK-NEXT: [range] iterator deref: 0278// CHECK-NEXT: i=2 j=0 k=2279// CHECK-NEXT: [range] iterator dtor280// CHECK-NEXT: [range] iterator dtor281// CHECK-NEXT: [range] iterator dtor282// CHECK-NEXT: [range] iterator dtor283// CHECK-NEXT: [range] dtor284// CHECK-NEXT: [init-stmt] dtor285// CHECK-NEXT: done286