184 lines · c
1// RUN: %clang_cc1 -triple x86_64-linux-gnu -gkey-instructions -x c++ %s -debug-info-kind=line-tables-only -emit-llvm -o - \2// RUN: | FileCheck %s --implicit-check-not atomGroup --implicit-check-not atomRank3 4// RUN: %clang_cc1 -triple x86_64-linux-gnu -gkey-instructions -x c %s -debug-info-kind=line-tables-only -emit-llvm -o - \5// RUN: | FileCheck %s --implicit-check-not atomGroup --implicit-check-not atomRank6 7// Perennial question: should the inc be its own source atom or not8// (currently it is).9 10// TODO: See do.c and while.c regarding cmp and cond br groups.11 12void a(int A) {13// CHECK: entry:14// CHECK: store i32 0, ptr %i{{.*}}, !dbg [[G1R1:!.*]]15// CHECK: for.cond:16// CHECK: %cmp = icmp slt i32 %0, %1, !dbg [[G2R1:!.*]]17// CHECK: br i1 %cmp, label %for.body, label %for.end, !dbg [[G3R1:!.*]]18 19// TODO: The unconditional br is given an atom group here which is useful for20// O0. Since we're no longer targeting O0 we should reevaluate whether this21// adds any value.22// CHECK: for.body:23// CHECK-NEXT: br label %for.inc, !dbg [[G5R1:!.*]]24 25// CHECK: for.inc:26// CHECK: %inc = add{{.*}}, !dbg [[G4R2:!.*]]27// CHECK: store i32 %inc, ptr %i{{.*}}, !dbg [[G4R1:!.*]]28 for (int i = 0; i < A; ++i) {29 }30// CHECK: ret{{.*}}, !dbg [[RET:!.*]]31}32 33void b(int A) {34// CHECK: entry:35// CHECK: store i32 0, ptr %i{{.*}}, !dbg [[bG1R1:!.*]]36// CHECK: for.cond:37// CHECK: %cmp = icmp slt i32 %0, %1, !dbg [[bG2R1:!.*]]38// CHECK: br i1 %cmp, label %for.body, label %for.end, !dbg [[bG3R1:!.*]]39 40// CHECK: for.body:41// CHECK-NEXT: %2 = load i32, ptr %A.addr42// - If stmt atom:43// CHECK-NEXT: %cmp1 = icmp sgt i32 %2, 1, !dbg [[bG4R2:!.*]]44// CHECK-NEXT: br i1 %cmp1, label %if.then, label %if.end, !dbg [[bG4R1:!.*]]45// CHECK: if.then:46// CHECK-NEXT: br label %if.end47 48// - For closing brace.49// CHECK: if.end:50// CHECK-NEXT: br label %for.inc, !dbg [[bG6R1:!.*]]51 52// CHECK: for.inc:53// CHECK: %inc = add{{.*}}, !dbg [[bG5R2:!.*]]54// CHECK: store i32 %inc, ptr %i{{.*}}, !dbg [[bG5R1:!.*]]55 for (int i = 0; i < A; ++i) {56 if (A > 1)57 ;58 }59// CHECK: ret{{.*}}, !dbg [[bRET:!.*]]60}61 62void c(int A) {63// CHECK: entry:64// CHECK: for.cond:65// CHECK-NEXT: %0 = load i32, ptr %A.addr66// - If stmt atom:67// CHECK-NEXT: %cmp = icmp sgt i32 %0, 1, !dbg [[cG1R2:!.*]]68// CHECK-NEXT: br i1 %cmp, label %if.then, label %if.end, !dbg [[cG1R1:!.*]]69// CHECK: if.then:70// CHECK-NEXT: br label %if.end71 72// - For closing brace.73// CHECK: if.end:74// CHECK-NEXT: br label %for.inc, !dbg [[cG3R1:!.*]]75 76// CHECK: for.inc:77// CHECK-NEXT: %1 = load i32, ptr %A.addr78// CHECK-NEXT: %inc = add{{.*}}, !dbg [[cG2R2:!.*]]79// CHECK-NEXT: store i32 %inc, ptr %A.addr{{.*}}, !dbg [[cG2R1:!.*]]80 for (; /*no cond*/ ; ++A) {81 if (A > 1)82 ;83 }84}85 86void d() {87// - Check the `for` keyword gets an atom group.88// CHECK: entry:89// CHECK-NEXT: br label %for.cond90 91// CHECK: for.cond:92// CHECK: br label %for.cond, !dbg [[dG1R1:!.*]], !llvm.loop93 for ( ; ; )94 {95 }96}97 98int x, i;99void ee();100void e() {101// - Check we assign an atom group to `for.body`s `br`, even without braces.102// - TODO: Investigate whether this is needed.103// CHECK: entry:104 105// CHECK: for.cond:106// CHECK-NEXT: %0 = load i32, ptr @i107// CHECK-NEXT: %cmp = icmp slt i32 %0, 3, !dbg [[eG1R1:!.*]]108// CHECK-NEXT: br i1 %cmp, label %for.body, label %for.end, !dbg [[eG2R1:!.*]]109 110// CHECK: for.body:111// CHECK-NEXT: %1 = load i32, ptr @i{{.*}}, !dbg [[eG3R2:!.*]]112// CHECK-NEXT: store i32 %1, ptr @x{{.*}}, !dbg [[eG3R1:!.*]]113// CHECK-NEXT: br label %for.inc, !dbg [[eG4R1:!.*]]114 for (; i < 3; ee())115 x = i;116// CHECK: ret{{.*}}, !dbg [[eRET:!.*]]117}118 119 120void f() {121// - Check the `continue` keyword gets an atom group.122// CHECK: entry:123// CHECK-NEXT: br label %for.cond124 125// CHECK: for.cond:126// CHECK: br label %for.cond, !dbg [[fG1R1:!.*]], !llvm.loop127 for ( ; ; )128 {129 continue;130 }131}132 133void g() {134// - Check the `break` keyword gets an atom group.135// CHECK: entry:136// CHECK-NEXT: br label %for.cond137 138// CHECK: for.cond:139// CHECK: br label %for.end, !dbg [[gG1R1:!.*]]140 for ( ; ; )141 {142 break;143 }144// CHECK: ret{{.*}}, !dbg [[gRET:!.*]]145}146 147// CHECK: [[G1R1]] = !DILocation({{.*}}, atomGroup: 1, atomRank: 1)148// CHECK: [[G2R1]] = !DILocation({{.*}}, atomGroup: 2, atomRank: 1)149// CHECK: [[G3R1]] = !DILocation({{.*}}, atomGroup: 3, atomRank: 1)150// CHECK: [[G5R1]] = !DILocation(line: 29,{{.*}} atomGroup: 5, atomRank: 1)151// CHECK: [[G4R2]] = !DILocation({{.*}}, atomGroup: 4, atomRank: 2)152// CHECK: [[G4R1]] = !DILocation({{.*}}, atomGroup: 4, atomRank: 1)153// CHECK: [[RET]] = !DILocation({{.*}}, atomGroup: 6, atomRank: 1)154 155// CHECK: [[bG1R1]] = !DILocation({{.*}}, atomGroup: 1, atomRank: 1)156// CHECK: [[bG2R1]] = !DILocation({{.*}}, atomGroup: 2, atomRank: 1)157// CHECK: [[bG3R1]] = !DILocation({{.*}}, atomGroup: 3, atomRank: 1)158// CHECK: [[bG4R2]] = !DILocation({{.*}}, atomGroup: 4, atomRank: 2)159// CHECK: [[bG4R1]] = !DILocation({{.*}}, atomGroup: 4, atomRank: 1)160// CHECK: [[bG6R1]] = !DILocation(line: 58,{{.*}} atomGroup: 6, atomRank: 1)161// CHECK: [[bG5R2]] = !DILocation({{.*}}, atomGroup: 5, atomRank: 2)162// CHECK: [[bG5R1]] = !DILocation({{.*}}, atomGroup: 5, atomRank: 1)163// CHECK: [[bRET]] = !DILocation({{.*}}, atomGroup: 7, atomRank: 1)164 165// CHECK: [[cG1R2]] = !DILocation({{.*}}, atomGroup: 1, atomRank: 2)166// CHECK: [[cG1R1]] = !DILocation({{.*}}, atomGroup: 1, atomRank: 1)167// CHECK: [[cG3R1]] = !DILocation(line: 83,{{.*}} atomGroup: 3, atomRank: 1)168// CHECK: [[cG2R2]] = !DILocation({{.*}}, atomGroup: 2, atomRank: 2)169// CHECK: [[cG2R1]] = !DILocation({{.*}}, atomGroup: 2, atomRank: 1)170 171// CHECK: [[dG1R1]] = !DILocation(line: 93, column: 3, scope: ![[#]], atomGroup: 1, atomRank: 1)172 173// CHECK: [[eG1R1]] = !DILocation({{.*}}, atomGroup: 1, atomRank: 1)174// CHECK: [[eG2R1]] = !DILocation({{.*}}, atomGroup: 2, atomRank: 1)175// CHECK: [[eG3R2]] = !DILocation({{.*}}, atomGroup: 3, atomRank: 2)176// CHECK: [[eG3R1]] = !DILocation({{.*}}, atomGroup: 3, atomRank: 1)177// CHECK: [[eG4R1]] = !DILocation(line: 115, column: 5, scope: ![[#]], atomGroup: 4, atomRank: 1)178// CHECK: [[eRET]] = !DILocation({{.*}}, atomGroup: 5, atomRank: 1)179 180// CHECK: [[fG1R1]] = !DILocation(line: 129, column: 5, scope: ![[#]], atomGroup: 1, atomRank: 1)181 182// CHECK: [[gG1R1]] = !DILocation(line: 142, column: 5, scope: ![[#]], atomGroup: 1, atomRank: 1)183// CHECK: [[gRET]] = !DILocation({{.*}}, atomGroup: 2, atomRank: 1)184