178 lines · plain
1; RUN: %if spirv-tools %{ llc -mtriple=spirv-unknown-vulkan-compute -O0 %s -o - | spirv-as --preserve-numeric-ids - -o - | spirv-val %}2;3; Source HLSL:4;5; int process() {6; int val = 0;7;8; for (int i = 0; i < 10; ++i) {9; if (i < 5) {10; break;11; }12; val = i;13; {14; break;15; }16; break; // No SPIR-V should be emitted for this statement.17; val++; // No SPIR-V should be emitted for this statement.18; while(true); // No SPIR-V should be emitted for this statement.19; }20;21; ////////////////////////////////////////////////////////////////////////////////22; // Nested for loops with break statements //23; // Each break statement should branch to the corresponding loop's break block //24; ////////////////////////////////////////////////////////////////////////////////25; for (int j = 0; j < 10; ++j) {26; val = j+5;27; for ( ; val < 20; ++val) {28; int k = val + j;29; {30; {31; break;32; }33; }34; k++; // No SPIR-V should be emitted for this statement.35; }36;37; // FIXME: val--; generates add nsw i32 ..., -138; // This is compiled into a OpIAdd %val, MAX_INT.39; val -= 1;40; break;41; break; // No SPIR-V should be emitted for this statement.42; val = val*10; // No SPIR-V should be emitted for this statement.43; }44;45; return val;46; }47;48; [numthreads(1, 1, 1)]49; void main() {50; process();51; }52 53target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-G1"54target triple = "spirv-unknown-vulkan1.3-compute"55 56; Function Attrs: convergent noinline nounwind optnone57define spir_func noundef i32 @_Z7processv() #0 {58entry:59 %0 = call token @llvm.experimental.convergence.entry()60 %val = alloca i32, align 461 %i = alloca i32, align 462 %j = alloca i32, align 463 %k = alloca i32, align 464 store i32 0, ptr %val, align 465 store i32 0, ptr %i, align 466 br label %for.cond67 68for.cond: ; preds = %for.inc, %entry69 %1 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %0) ]70 %2 = load i32, ptr %i, align 471 %cmp = icmp slt i32 %2, 1072 br i1 %cmp, label %for.body, label %for.end73 74for.body: ; preds = %for.cond75 %3 = load i32, ptr %i, align 476 %cmp1 = icmp slt i32 %3, 577 br i1 %cmp1, label %if.then, label %if.end78 79if.then: ; preds = %for.body80 br label %for.end81 82if.end: ; preds = %for.body83 %4 = load i32, ptr %i, align 484 store i32 %4, ptr %val, align 485 br label %for.end86 87for.inc: ; No predecessors!88 %5 = load i32, ptr %i, align 489 %inc = add nsw i32 %5, 190 store i32 %inc, ptr %i, align 491 br label %for.cond92 93for.end: ; preds = %if.end, %if.then, %for.cond94 store i32 0, ptr %j, align 495 br label %for.cond296 97for.cond2: ; preds = %for.inc12, %for.end98 %6 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %0) ]99 %7 = load i32, ptr %j, align 4100 %cmp3 = icmp slt i32 %7, 10101 br i1 %cmp3, label %for.body4, label %for.end14102 103for.body4: ; preds = %for.cond2104 %8 = load i32, ptr %j, align 4105 %add = add nsw i32 %8, 5106 store i32 %add, ptr %val, align 4107 br label %for.cond5108 109for.cond5: ; preds = %for.inc9, %for.body4110 %9 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %6) ]111 %10 = load i32, ptr %val, align 4112 %cmp6 = icmp slt i32 %10, 20113 br i1 %cmp6, label %for.body7, label %for.end11114 115for.body7: ; preds = %for.cond5116 %11 = load i32, ptr %val, align 4117 %12 = load i32, ptr %j, align 4118 %add8 = add nsw i32 %11, %12119 store i32 %add8, ptr %k, align 4120 br label %for.end11121 122for.inc9: ; No predecessors!123 %13 = load i32, ptr %val, align 4124 %inc10 = add nsw i32 %13, 1125 store i32 %inc10, ptr %val, align 4126 br label %for.cond5127 128for.end11: ; preds = %for.body7, %for.cond5129 %14 = load i32, ptr %val, align 4130 %sub = sub nsw i32 %14, 1131 store i32 %sub, ptr %val, align 4132 br label %for.end14133 134for.inc12: ; No predecessors!135 %15 = load i32, ptr %j, align 4136 %inc13 = add nsw i32 %15, 1137 store i32 %inc13, ptr %j, align 4138 br label %for.cond2139 140for.end14: ; preds = %for.end11, %for.cond2141 %16 = load i32, ptr %val, align 4142 ret i32 %16143}144 145; Function Attrs: convergent nocallback nofree nosync nounwind willreturn memory(none)146declare token @llvm.experimental.convergence.entry() #1147 148; Function Attrs: convergent nocallback nofree nosync nounwind willreturn memory(none)149declare token @llvm.experimental.convergence.loop() #1150 151; Function Attrs: convergent noinline norecurse nounwind optnone152define internal spir_func void @main() #2 {153entry:154 %0 = call token @llvm.experimental.convergence.entry()155 %call1 = call spir_func noundef i32 @_Z7processv() #4 [ "convergencectrl"(token %0) ]156 ret void157}158 159; Function Attrs: convergent norecurse160define void @main.1() #3 {161entry:162 call void @main()163 ret void164}165 166attributes #0 = { convergent noinline nounwind optnone "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }167attributes #1 = { convergent nocallback nofree nosync nounwind willreturn memory(none) }168attributes #2 = { convergent noinline norecurse nounwind optnone "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }169attributes #3 = { convergent norecurse "frame-pointer"="all" "hlsl.numthreads"="1,1,1" "hlsl.shader"="compute" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }170attributes #4 = { convergent }171 172!llvm.module.flags = !{!0, !1, !2}173 174!0 = !{i32 1, !"wchar_size", i32 4}175!1 = !{i32 4, !"dx.disable_optimizations", i32 1}176!2 = !{i32 7, !"frame-pointer", i32 2}177 178