223 lines · plain
1; RUN: llc -mtriple=spirv-unknown-vulkan-compute -O0 %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-vulkan-compute %s -o - -filetype=obj | spirv-val %}3 4;5; int fn() { return true; }6;7; int process() {8; int a = 0;9; int b = 0;10; int val = 0;11;12; // Use in control flow13; if (a || b) val++;14;15; // Operand with side effects16; if (fn() || fn()) val++;17; if (a || fn()) val++;18; if (fn() || b) val++;19; return val;20; }21;22; [numthreads(1, 1, 1)]23; void main() {24; process();25; }26 27; CHECK: %[[#func_10:]] = OpFunction %[[#uint:]] DontInline %[[#]]28; CHECK: %[[#bb52:]] = OpLabel29; CHECK: OpReturnValue %[[#]]30; CHECK: OpFunctionEnd31; CHECK: %[[#func_11:]] = OpFunction %[[#uint:]] DontInline %[[#]]32; CHECK: %[[#bb53:]] = OpLabel33; CHECK: OpSelectionMerge %[[#bb54:]] None34; CHECK: OpBranchConditional %[[#]] %[[#bb55:]] %[[#bb56:]]35; CHECK: %[[#bb55:]] = OpLabel36; CHECK: OpSelectionMerge %[[#bb57:]] None37; CHECK: OpBranchConditional %[[#]] %[[#bb57:]] %[[#bb58:]]38; CHECK: %[[#bb56:]] = OpLabel39; CHECK: %[[#bb58:]] = OpLabel40; CHECK: OpBranchConditional %[[#]] %[[#bb57:]] %[[#bb59:]]41; CHECK: %[[#bb59:]] = OpLabel42; CHECK: OpBranch %[[#bb57:]]43; CHECK: %[[#bb57:]] = OpLabel44; CHECK: OpBranchConditional %[[#]] %[[#bb60:]] %[[#bb54:]]45; CHECK: %[[#bb60:]] = OpLabel46; CHECK: OpBranch %[[#bb54:]]47; CHECK: %[[#bb54:]] = OpLabel48; CHECK: OpSelectionMerge %[[#bb61:]] None49; CHECK: OpBranchConditional %[[#]] %[[#bb62:]] %[[#bb63:]]50; CHECK: %[[#bb62:]] = OpLabel51; CHECK: OpSelectionMerge %[[#bb64:]] None52; CHECK: OpBranchConditional %[[#]] %[[#bb64:]] %[[#bb65:]]53; CHECK: %[[#bb63:]] = OpLabel54; CHECK: %[[#bb65:]] = OpLabel55; CHECK: OpBranchConditional %[[#]] %[[#bb64:]] %[[#bb66:]]56; CHECK: %[[#bb66:]] = OpLabel57; CHECK: OpBranch %[[#bb64:]]58; CHECK: %[[#bb64:]] = OpLabel59; CHECK: OpBranchConditional %[[#]] %[[#bb67:]] %[[#bb61:]]60; CHECK: %[[#bb67:]] = OpLabel61; CHECK: OpBranch %[[#bb61:]]62; CHECK: %[[#bb61:]] = OpLabel63; CHECK: OpSelectionMerge %[[#bb68:]] None64; CHECK: OpBranchConditional %[[#]] %[[#bb69:]] %[[#bb70:]]65; CHECK: %[[#bb69:]] = OpLabel66; CHECK: OpSelectionMerge %[[#bb71:]] None67; CHECK: OpBranchConditional %[[#]] %[[#bb71:]] %[[#bb72:]]68; CHECK: %[[#bb70:]] = OpLabel69; CHECK: %[[#bb72:]] = OpLabel70; CHECK: OpBranchConditional %[[#]] %[[#bb71:]] %[[#bb73:]]71; CHECK: %[[#bb73:]] = OpLabel72; CHECK: OpBranch %[[#bb71:]]73; CHECK: %[[#bb71:]] = OpLabel74; CHECK: OpBranchConditional %[[#]] %[[#bb74:]] %[[#bb68:]]75; CHECK: %[[#bb74:]] = OpLabel76; CHECK: OpBranch %[[#bb68:]]77; CHECK: %[[#bb68:]] = OpLabel78; CHECK: OpSelectionMerge %[[#bb75:]] None79; CHECK: OpBranchConditional %[[#]] %[[#bb76:]] %[[#bb77:]]80; CHECK: %[[#bb76:]] = OpLabel81; CHECK: OpSelectionMerge %[[#bb78:]] None82; CHECK: OpBranchConditional %[[#]] %[[#bb78:]] %[[#bb79:]]83; CHECK: %[[#bb77:]] = OpLabel84; CHECK: %[[#bb79:]] = OpLabel85; CHECK: OpBranchConditional %[[#]] %[[#bb78:]] %[[#bb80:]]86; CHECK: %[[#bb80:]] = OpLabel87; CHECK: OpBranch %[[#bb78:]]88; CHECK: %[[#bb78:]] = OpLabel89; CHECK: OpBranchConditional %[[#]] %[[#bb81:]] %[[#bb75:]]90; CHECK: %[[#bb81:]] = OpLabel91; CHECK: OpBranch %[[#bb75:]]92; CHECK: %[[#bb75:]] = OpLabel93; CHECK: OpReturnValue %[[#]]94; CHECK: OpFunctionEnd95; CHECK: %[[#func_48:]] = OpFunction %[[#void:]] DontInline %[[#]]96; CHECK: %[[#bb82:]] = OpLabel97; CHECK: OpReturn98; CHECK: OpFunctionEnd99; CHECK: %[[#func_50:]] = OpFunction %[[#void:]] None %[[#]]100; CHECK: %[[#bb83:]] = OpLabel101; CHECK: OpReturn102; CHECK: OpFunctionEnd103 104target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-G1"105target triple = "spirv-unknown-vulkan1.3-compute"106 107; Function Attrs: convergent noinline norecurse nounwind optnone108define spir_func noundef i32 @_Z2fnv() #0 {109entry:110 %0 = call token @llvm.experimental.convergence.entry()111 ret i32 1112}113 114; Function Attrs: convergent nocallback nofree nosync nounwind willreturn memory(none)115declare token @llvm.experimental.convergence.entry() #1116 117; Function Attrs: convergent noinline norecurse nounwind optnone118define spir_func noundef i32 @_Z7processv() #0 {119entry:120 %0 = call token @llvm.experimental.convergence.entry()121 %a = alloca i32, align 4122 %b = alloca i32, align 4123 %val = alloca i32, align 4124 store i32 0, ptr %a, align 4125 store i32 0, ptr %b, align 4126 store i32 0, ptr %val, align 4127 %1 = load i32, ptr %a, align 4128 %tobool = icmp ne i32 %1, 0129 br i1 %tobool, label %if.then, label %lor.lhs.false130 131lor.lhs.false: ; preds = %entry132 %2 = load i32, ptr %b, align 4133 %tobool1 = icmp ne i32 %2, 0134 br i1 %tobool1, label %if.then, label %if.end135 136if.then: ; preds = %lor.lhs.false, %entry137 %3 = load i32, ptr %val, align 4138 %inc = add nsw i32 %3, 1139 store i32 %inc, ptr %val, align 4140 br label %if.end141 142if.end: ; preds = %if.then, %lor.lhs.false143 %call2 = call spir_func noundef i32 @_Z2fnv() #3 [ "convergencectrl"(token %0) ]144 %tobool3 = icmp ne i32 %call2, 0145 br i1 %tobool3, label %if.then7, label %lor.lhs.false4146 147lor.lhs.false4: ; preds = %if.end148 %call5 = call spir_func noundef i32 @_Z2fnv() #3 [ "convergencectrl"(token %0) ]149 %tobool6 = icmp ne i32 %call5, 0150 br i1 %tobool6, label %if.then7, label %if.end9151 152if.then7: ; preds = %lor.lhs.false4, %if.end153 %4 = load i32, ptr %val, align 4154 %inc8 = add nsw i32 %4, 1155 store i32 %inc8, ptr %val, align 4156 br label %if.end9157 158if.end9: ; preds = %if.then7, %lor.lhs.false4159 %5 = load i32, ptr %a, align 4160 %tobool10 = icmp ne i32 %5, 0161 br i1 %tobool10, label %if.then14, label %lor.lhs.false11162 163lor.lhs.false11: ; preds = %if.end9164 %call12 = call spir_func noundef i32 @_Z2fnv() #3 [ "convergencectrl"(token %0) ]165 %tobool13 = icmp ne i32 %call12, 0166 br i1 %tobool13, label %if.then14, label %if.end16167 168if.then14: ; preds = %lor.lhs.false11, %if.end9169 %6 = load i32, ptr %val, align 4170 %inc15 = add nsw i32 %6, 1171 store i32 %inc15, ptr %val, align 4172 br label %if.end16173 174if.end16: ; preds = %if.then14, %lor.lhs.false11175 %call17 = call spir_func noundef i32 @_Z2fnv() #3 [ "convergencectrl"(token %0) ]176 %tobool18 = icmp ne i32 %call17, 0177 br i1 %tobool18, label %if.then21, label %lor.lhs.false19178 179lor.lhs.false19: ; preds = %if.end16180 %7 = load i32, ptr %b, align 4181 %tobool20 = icmp ne i32 %7, 0182 br i1 %tobool20, label %if.then21, label %if.end23183 184if.then21: ; preds = %lor.lhs.false19, %if.end16185 %8 = load i32, ptr %val, align 4186 %inc22 = add nsw i32 %8, 1187 store i32 %inc22, ptr %val, align 4188 br label %if.end23189 190if.end23: ; preds = %if.then21, %lor.lhs.false19191 %9 = load i32, ptr %val, align 4192 ret i32 %9193}194 195; Function Attrs: convergent noinline norecurse nounwind optnone196define internal spir_func void @main() #0 {197entry:198 %0 = call token @llvm.experimental.convergence.entry()199 %call1 = call spir_func noundef i32 @_Z7processv() #3 [ "convergencectrl"(token %0) ]200 ret void201}202 203; Function Attrs: convergent norecurse204define void @main.1() #2 {205entry:206 call void @main()207 ret void208}209 210attributes #0 = { convergent noinline norecurse nounwind optnone "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }211attributes #1 = { convergent nocallback nofree nosync nounwind willreturn memory(none) }212attributes #2 = { convergent norecurse "frame-pointer"="all" "hlsl.numthreads"="1,1,1" "hlsl.shader"="compute" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }213attributes #3 = { convergent }214 215!llvm.module.flags = !{!0, !1, !2}216 217 218!0 = !{i32 1, !"wchar_size", i32 4}219!1 = !{i32 4, !"dx.disable_optimizations", i32 1}220!2 = !{i32 7, !"frame-pointer", i32 2}221 222 223