From 7c1aa1026ebf7cb7f29aaf5859e9fc99af2cb044 Mon Sep 17 00:00:00 2001 From: John Kessenich Date: Thu, 15 Oct 2015 13:29:11 -0600 Subject: [PATCH] SPV: Implement short circuiting of && and || when emitting SPIR-V. --- SPIRV/GlslangToSpv.cpp | 149 +- Test/baseResults/spv.300layoutp.vert.out | 62 +- Test/baseResults/spv.Operations.frag.out | 480 ++--- Test/baseResults/spv.conversion.frag.out | 442 ++--- Test/baseResults/spv.loops.frag.out | 1944 ++++++++++---------- Test/baseResults/spv.shortCircuit.frag.out | 237 +++ Test/spv.shortCircuit.frag | 50 + Test/test-spirv-list | 3 + glslang/Include/revision.h | 4 +- 9 files changed, 1942 insertions(+), 1429 deletions(-) create mode 100644 Test/baseResults/spv.shortCircuit.frag.out create mode 100755 Test/spv.shortCircuit.frag diff --git a/SPIRV/GlslangToSpv.cpp b/SPIRV/GlslangToSpv.cpp index 508ebed21..c005197fe 100755 --- a/SPIRV/GlslangToSpv.cpp +++ b/SPIRV/GlslangToSpv.cpp @@ -115,6 +115,9 @@ protected: void addDecoration(spv::Id id, spv::Decoration dec); void addMemberDecoration(spv::Id id, int member, spv::Decoration dec); spv::Id createSpvConstant(const glslang::TType& type, const glslang::TConstUnionArray&, int& nextConst); + bool isTrivialLeaf(const glslang::TIntermTyped* node); + bool isTrivial(const glslang::TIntermTyped* node); + spv::Id createShortCircuit(glslang::TOperator, glslang::TIntermTyped& left, glslang::TIntermTyped& right); spv::Function* shaderEntry; int sequenceDepth; @@ -725,6 +728,21 @@ bool TGlslangToSpvTraverser::visitBinary(glslang::TVisit /* visit */, glslang::T builder.accessChainPushSwizzle(swizzle, convertGlslangToSpvType(node->getLeft()->getType())); } return false; + case glslang::EOpLogicalOr: + case glslang::EOpLogicalAnd: + { + + // These may require short circuiting, but can sometimes be done as straight + // binary operations. The right operand must be short circuited if it has + // side effects, and should probably be if it is complex. + if (isTrivial(node->getRight()->getAsTyped())) + break; // handle below as a normal binary operation + // otherwise, we need to do dynamic short circuiting on the right operand + spv::Id result = createShortCircuit(node->getOp(), *node->getLeft()->getAsTyped(), *node->getRight()->getAsTyped()); + builder.clearAccessChain(); + builder.setAccessChainRValue(result); + } + return false; default: break; } @@ -2177,7 +2195,9 @@ spv::Id TGlslangToSpvTraverser::createBinaryOperation(glslang::TOperator op, spv break; } + // handle mapped binary operations (should be non-comparison) if (binOp != spv::OpNop) { + assert(comparison == false); if (builder.isMatrix(left) || builder.isMatrix(right)) { switch (binOp) { case spv::OpMatrixTimesScalar: @@ -2215,7 +2235,7 @@ spv::Id TGlslangToSpvTraverser::createBinaryOperation(glslang::TOperator op, spv if (! comparison) return 0; - // Comparison instructions + // Handle comparison instructions if (reduceComparison && (builder.isVector(left) || builder.isMatrix(left) || builder.isAggregate(left))) { assert(op == glslang::EOpEqual || op == glslang::EOpNotEqual); @@ -3025,6 +3045,133 @@ spv::Id TGlslangToSpvTraverser::createSpvConstant(const glslang::TType& glslangT return builder.makeCompositeConstant(typeId, spvConsts); } +// Return true if the node is a constant or symbol whose reading has no +// non-trivial observable cost or effect. +bool TGlslangToSpvTraverser::isTrivialLeaf(const glslang::TIntermTyped* node) +{ + // don't know what this is + if (node == nullptr) + return false; + + // a constant is safe + if (node->getAsConstantUnion() != nullptr) + return true; + + // not a symbol means non-trivial + if (node->getAsSymbolNode() == nullptr) + return false; + + // a symbol, depends on what's being read + switch (node->getType().getQualifier().storage) { + case glslang::EvqTemporary: + case glslang::EvqGlobal: + case glslang::EvqIn: + case glslang::EvqInOut: + case glslang::EvqConst: + case glslang::EvqConstReadOnly: + case glslang::EvqUniform: + return true; + default: + return false; + } +} + +// A node is trivial if it is a single operation with no side effects. +// Error on the side of saying non-trivial. +// Return true if trivial. +bool TGlslangToSpvTraverser::isTrivial(const glslang::TIntermTyped* node) +{ + if (node == nullptr) + return false; + + // symbols and constants are trivial + if (isTrivialLeaf(node)) + return true; + + // otherwise, it needs to be a simple operation or one or two leaf nodes + + // not a simple operation + const glslang::TIntermBinary* binaryNode = node->getAsBinaryNode(); + const glslang::TIntermUnary* unaryNode = node->getAsUnaryNode(); + if (binaryNode == nullptr && unaryNode == nullptr) + return false; + + // not on leaf nodes + if (binaryNode && (! isTrivialLeaf(binaryNode->getLeft()) || ! isTrivialLeaf(binaryNode->getRight()))) + return false; + + if (unaryNode && ! isTrivialLeaf(unaryNode->getOperand())) { + return false; + } + + switch (node->getAsOperator()->getOp()) { + case glslang::EOpLogicalNot: + case glslang::EOpConvIntToBool: + case glslang::EOpConvUintToBool: + case glslang::EOpConvFloatToBool: + case glslang::EOpConvDoubleToBool: + case glslang::EOpEqual: + case glslang::EOpNotEqual: + case glslang::EOpLessThan: + case glslang::EOpGreaterThan: + case glslang::EOpLessThanEqual: + case glslang::EOpGreaterThanEqual: + case glslang::EOpIndexDirect: + case glslang::EOpIndexDirectStruct: + case glslang::EOpLogicalXor: + case glslang::EOpAny: + case glslang::EOpAll: + return true; + default: + return false; + } +} + +// Emit short-circuiting code, where 'right' is never evaluated unless +// the left side is true (for &&) or false (for ||). +spv::Id TGlslangToSpvTraverser::createShortCircuit(glslang::TOperator op, glslang::TIntermTyped& left, glslang::TIntermTyped& right) +{ + spv::Id boolTypeId = builder.makeBoolType(); + + // emit left operand + builder.clearAccessChain(); + left.traverse(this); + spv::Id leftId = builder.accessChainLoad(boolTypeId); + + // Operands to accumulate OpPhi operands + std::vector phiOperands; + // accumulate left operand's phi information + phiOperands.push_back(leftId); + phiOperands.push_back(builder.getBuildPoint()->getId()); + + // Make the two kinds of operation symmetric with a "!" + // || => emit "if (! left) result = right" + // && => emit "if ( left) result = right" + // + // TODO: this runtime "not" for || could be avoided by adding functionality + // to 'builder' to have an "else" without an "then" + if (op == glslang::EOpLogicalOr) + leftId = builder.createUnaryOp(spv::OpLogicalNot, boolTypeId, leftId); + + // make an "if" based on the left value + spv::Builder::If ifBuilder(leftId, builder); + + // emit right operand as the "then" part of the "if" + builder.clearAccessChain(); + right.traverse(this); + spv::Id rightId = builder.accessChainLoad(boolTypeId); + + // accumulate left operand's phi information + phiOperands.push_back(rightId); + phiOperands.push_back(builder.getBuildPoint()->getId()); + + // finish the "if" + ifBuilder.makeEndIf(); + + // phi together the two results + return builder.createOp(spv::OpPhi, boolTypeId, phiOperands); +} + }; // end anonymous namespace namespace glslang { diff --git a/Test/baseResults/spv.300layoutp.vert.out b/Test/baseResults/spv.300layoutp.vert.out index 3a8d03f00..50d37a695 100755 --- a/Test/baseResults/spv.300layoutp.vert.out +++ b/Test/baseResults/spv.300layoutp.vert.out @@ -5,7 +5,7 @@ Linked vertex stage: // Module Version 99 // Generated by (magic number): 51a00bb -// Id's are bound by 111 +// Id's are bound by 114 Source ESSL 300 Capability Shader @@ -40,8 +40,8 @@ Linked vertex stage: MemberName 77(S) 0 "c" MemberName 77(S) 1 "f" Name 79 "s" - Name 109 "gl_VertexID" - Name 110 "gl_InstanceID" + Name 112 "gl_VertexID" + Name 113 "gl_InstanceID" Decorate 9(pos) Smooth Decorate 11(p) Location 3 MemberDecorate 17(Transform) 0 RowMajor @@ -67,10 +67,10 @@ Linked vertex stage: Decorate 53(c) Location 7 Decorate 61(iout) Flat Decorate 73(aiv2) Location 9 - Decorate 109(gl_VertexID) BuiltIn VertexId - Decorate 109(gl_VertexID) NoStaticUse - Decorate 110(gl_InstanceID) BuiltIn InstanceId - Decorate 110(gl_InstanceID) NoStaticUse + Decorate 112(gl_VertexID) BuiltIn VertexId + Decorate 112(gl_VertexID) NoStaticUse + Decorate 113(gl_InstanceID) BuiltIn InstanceId + Decorate 113(gl_InstanceID) NoStaticUse 2: TypeVoid 3: TypeFunction 2 6: TypeFloat 32 @@ -124,12 +124,12 @@ Linked vertex stage: 89: 6(float) Constant 1065353216 90: 14(fvec3) ConstantComposite 89 89 89 91: TypeVector 42(bool) 3 - 94: TypePointer Uniform 30(ivec3) - 97: 29(int) Constant 5 - 98: 30(ivec3) ConstantComposite 97 97 97 - 108: TypePointer Input 16(int) -109(gl_VertexID): 108(ptr) Variable Input -110(gl_InstanceID): 108(ptr) Variable Input + 97: TypePointer Uniform 30(ivec3) + 100: 29(int) Constant 5 + 101: 30(ivec3) ConstantComposite 100 100 100 + 111: TypePointer Input 16(int) +112(gl_VertexID): 111(ptr) Variable Input +113(gl_InstanceID): 111(ptr) Variable Input 4(main): 2 Function None 3 5: Label 12: 7(fvec4) Load 11(p) @@ -174,20 +174,26 @@ Linked vertex stage: 88: 14(fvec3) Load 87 92: 91(bvec3) FOrdNotEqual 88 90 93: 42(bool) Any 92 - 95: 94(ptr) AccessChain 35 62 55 - 96: 30(ivec3) Load 95 - 99: 91(bvec3) INotEqual 96 98 - 100: 42(bool) Any 99 - 101: 42(bool) LogicalOr 93 100 - SelectionMerge 103 None - BranchConditional 101 102 103 - 102: Label - 104: 50(ptr) AccessChain 79(s) 20 - 105: 14(fvec3) Load 104 - 106: 14(fvec3) CompositeConstruct 89 89 89 - 107: 14(fvec3) FAdd 105 106 - Store 104 107 - Branch 103 - 103: Label + 94: 42(bool) LogicalNot 93 + SelectionMerge 96 None + BranchConditional 94 95 96 + 95: Label + 98: 97(ptr) AccessChain 35 62 55 + 99: 30(ivec3) Load 98 + 102: 91(bvec3) INotEqual 99 101 + 103: 42(bool) Any 102 + Branch 96 + 96: Label + 104: 42(bool) Phi 93 5 103 95 + SelectionMerge 106 None + BranchConditional 104 105 106 + 105: Label + 107: 50(ptr) AccessChain 79(s) 20 + 108: 14(fvec3) Load 107 + 109: 14(fvec3) CompositeConstruct 89 89 89 + 110: 14(fvec3) FAdd 108 109 + Store 107 110 + Branch 106 + 106: Label Return FunctionEnd diff --git a/Test/baseResults/spv.Operations.frag.out b/Test/baseResults/spv.Operations.frag.out index 26960ce06..e9ea4cf46 100755 --- a/Test/baseResults/spv.Operations.frag.out +++ b/Test/baseResults/spv.Operations.frag.out @@ -5,7 +5,7 @@ Linked fragment stage: // Module Version 99 // Generated by (magic number): 51a00bb -// Id's are bound by 398 +// Id's are bound by 416 Source GLSL 130 Capability Shader @@ -20,15 +20,15 @@ Linked fragment stage: Name 22 "ui" Name 169 "uf" Name 216 "b" - Name 242 "ub41" - Name 244 "ub42" - Name 301 "f" - Name 377 "gl_FragColor" - Name 395 "uiv4" - Name 397 "ub" - Decorate 377(gl_FragColor) BuiltIn FragColor - Decorate 395(uiv4) NoStaticUse - Decorate 397(ub) NoStaticUse + Name 250 "ub41" + Name 252 "ub42" + Name 316 "f" + Name 395 "gl_FragColor" + Name 413 "uiv4" + Name 415 "ub" + Decorate 395(gl_FragColor) BuiltIn FragColor + Decorate 413(uiv4) NoStaticUse + Decorate 415(ub) NoStaticUse 2: TypeVoid 3: TypeFunction 2 6: TypeFloat 32 @@ -45,31 +45,31 @@ Linked fragment stage: 214: TypeBool 215: TypePointer Function 214(bool) 219: TypeVector 214(bool) 4 - 241: TypePointer UniformConstant 219(bvec4) - 242(ub41): 241(ptr) Variable UniformConstant - 244(ub42): 241(ptr) Variable UniformConstant - 291: 18(int) Constant 2 - 298: 18(int) Constant 1 - 300: TypePointer Function 6(float) - 330: TypeVector 6(float) 3 - 346: 6(float) Constant 1073741824 - 353: 6(float) Constant 1065353216 - 358: 18(int) Constant 66 - 364: 18(int) Constant 17 - 376: TypePointer Output 7(fvec4) -377(gl_FragColor): 376(ptr) Variable Output - 393: TypeVector 18(int) 4 - 394: TypePointer UniformConstant 393(ivec4) - 395(uiv4): 394(ptr) Variable UniformConstant - 396: TypePointer UniformConstant 214(bool) - 397(ub): 396(ptr) Variable UniformConstant + 249: TypePointer UniformConstant 219(bvec4) + 250(ub41): 249(ptr) Variable UniformConstant + 252(ub42): 249(ptr) Variable UniformConstant + 306: 18(int) Constant 2 + 313: 18(int) Constant 1 + 315: TypePointer Function 6(float) + 345: TypeVector 6(float) 3 + 364: 6(float) Constant 1073741824 + 371: 6(float) Constant 1065353216 + 376: 18(int) Constant 66 + 382: 18(int) Constant 17 + 394: TypePointer Output 7(fvec4) +395(gl_FragColor): 394(ptr) Variable Output + 411: TypeVector 18(int) 4 + 412: TypePointer UniformConstant 411(ivec4) + 413(uiv4): 412(ptr) Variable UniformConstant + 414: TypePointer UniformConstant 214(bool) + 415(ub): 414(ptr) Variable UniformConstant 4(main): 2 Function None 3 5: Label 9(v): 8(ptr) Variable Function 20(i): 19(ptr) Variable Function 216(b): 215(ptr) Variable Function - 301(f): 300(ptr) Variable Function - 378: 8(ptr) Variable Function + 316(f): 315(ptr) Variable Function + 396: 8(ptr) Variable Function 12: 7(fvec4) Load 11(uv4) 13: 7(fvec4) ExtInst 1(GLSL.std.450) 11(Radians) 12 Store 9(v) 13 @@ -315,199 +315,241 @@ Linked fragment stage: 221: 214(bool) Any 220 Store 216(b) 221 222: 214(bool) Load 216(b) - 223: 7(fvec4) Load 9(v) - 224: 7(fvec4) Load 11(uv4) - 225: 219(bvec4) FOrdLessThanEqual 223 224 - 226: 214(bool) Any 225 - 227: 214(bool) LogicalAnd 222 226 - Store 216(b) 227 - 228: 214(bool) Load 216(b) - 229: 7(fvec4) Load 9(v) - 230: 7(fvec4) Load 11(uv4) - 231: 219(bvec4) FOrdGreaterThan 229 230 - 232: 214(bool) Any 231 - 233: 214(bool) LogicalAnd 228 232 - Store 216(b) 233 - 234: 214(bool) Load 216(b) - 235: 7(fvec4) Load 9(v) - 236: 7(fvec4) Load 11(uv4) - 237: 219(bvec4) FOrdGreaterThanEqual 235 236 - 238: 214(bool) Any 237 - 239: 214(bool) LogicalAnd 234 238 - Store 216(b) 239 - 240: 214(bool) Load 216(b) - 243: 219(bvec4) Load 242(ub41) - 245: 219(bvec4) Load 244(ub42) - 246: 219(bvec4) IEqual 243 245 - 247: 214(bool) Any 246 - 248: 214(bool) LogicalAnd 240 247 - Store 216(b) 248 - 249: 214(bool) Load 216(b) - 250: 219(bvec4) Load 242(ub41) - 251: 219(bvec4) Load 244(ub42) - 252: 219(bvec4) INotEqual 250 251 - 253: 214(bool) Any 252 - 254: 214(bool) LogicalAnd 249 253 - Store 216(b) 254 - 255: 214(bool) Load 216(b) - 256: 219(bvec4) Load 242(ub41) - 257: 214(bool) Any 256 - 258: 214(bool) LogicalAnd 255 257 - Store 216(b) 258 - 259: 214(bool) Load 216(b) - 260: 219(bvec4) Load 242(ub41) - 261: 214(bool) All 260 - 262: 214(bool) LogicalAnd 259 261 - Store 216(b) 262 - 263: 214(bool) Load 216(b) - 264: 219(bvec4) Load 242(ub41) - 265: 219(bvec4) LogicalNot 264 - 266: 214(bool) Any 265 - 267: 214(bool) LogicalAnd 263 266 - Store 216(b) 267 - 268: 18(int) Load 20(i) - 269: 18(int) Load 22(ui) - 270: 18(int) IAdd 268 269 - 271: 18(int) Load 20(i) - 272: 18(int) IMul 270 271 - 273: 18(int) Load 22(ui) - 274: 18(int) ISub 272 273 - 275: 18(int) Load 20(i) - 276: 18(int) SDiv 274 275 - Store 20(i) 276 - 277: 18(int) Load 20(i) - 278: 18(int) Load 22(ui) - 279: 18(int) SMod 277 278 - Store 20(i) 279 + SelectionMerge 224 None + BranchConditional 222 223 224 + 223: Label + 225: 7(fvec4) Load 9(v) + 226: 7(fvec4) Load 11(uv4) + 227: 219(bvec4) FOrdLessThanEqual 225 226 + 228: 214(bool) Any 227 + Branch 224 + 224: Label + 229: 214(bool) Phi 222 5 228 223 + Store 216(b) 229 + 230: 214(bool) Load 216(b) + SelectionMerge 232 None + BranchConditional 230 231 232 + 231: Label + 233: 7(fvec4) Load 9(v) + 234: 7(fvec4) Load 11(uv4) + 235: 219(bvec4) FOrdGreaterThan 233 234 + 236: 214(bool) Any 235 + Branch 232 + 232: Label + 237: 214(bool) Phi 230 224 236 231 + Store 216(b) 237 + 238: 214(bool) Load 216(b) + SelectionMerge 240 None + BranchConditional 238 239 240 + 239: Label + 241: 7(fvec4) Load 9(v) + 242: 7(fvec4) Load 11(uv4) + 243: 219(bvec4) FOrdGreaterThanEqual 241 242 + 244: 214(bool) Any 243 + Branch 240 + 240: Label + 245: 214(bool) Phi 238 232 244 239 + Store 216(b) 245 + 246: 214(bool) Load 216(b) + SelectionMerge 248 None + BranchConditional 246 247 248 + 247: Label + 251: 219(bvec4) Load 250(ub41) + 253: 219(bvec4) Load 252(ub42) + 254: 219(bvec4) IEqual 251 253 + 255: 214(bool) Any 254 + Branch 248 + 248: Label + 256: 214(bool) Phi 246 240 255 247 + Store 216(b) 256 + 257: 214(bool) Load 216(b) + SelectionMerge 259 None + BranchConditional 257 258 259 + 258: Label + 260: 219(bvec4) Load 250(ub41) + 261: 219(bvec4) Load 252(ub42) + 262: 219(bvec4) INotEqual 260 261 + 263: 214(bool) Any 262 + Branch 259 + 259: Label + 264: 214(bool) Phi 257 248 263 258 + Store 216(b) 264 + 265: 214(bool) Load 216(b) + 266: 219(bvec4) Load 250(ub41) + 267: 214(bool) Any 266 + 268: 214(bool) LogicalAnd 265 267 + Store 216(b) 268 + 269: 214(bool) Load 216(b) + 270: 219(bvec4) Load 250(ub41) + 271: 214(bool) All 270 + 272: 214(bool) LogicalAnd 269 271 + Store 216(b) 272 + 273: 214(bool) Load 216(b) + SelectionMerge 275 None + BranchConditional 273 274 275 + 274: Label + 276: 219(bvec4) Load 250(ub41) + 277: 219(bvec4) LogicalNot 276 + 278: 214(bool) Any 277 + Branch 275 + 275: Label + 279: 214(bool) Phi 273 259 278 274 + Store 216(b) 279 280: 18(int) Load 20(i) 281: 18(int) Load 22(ui) - 282: 214(bool) IEqual 280 281 + 282: 18(int) IAdd 280 281 283: 18(int) Load 20(i) - 284: 18(int) Load 22(ui) - 285: 214(bool) INotEqual 283 284 - 286: 18(int) Load 20(i) - 287: 18(int) Load 22(ui) - 288: 214(bool) IEqual 286 287 - 289: 214(bool) LogicalAnd 285 288 - 290: 18(int) Load 20(i) - 292: 214(bool) INotEqual 290 291 - 293: 214(bool) LogicalNotEqual 289 292 - 294: 214(bool) LogicalOr 282 293 - SelectionMerge 296 None - BranchConditional 294 295 296 - 295: Label - 297: 18(int) Load 20(i) - 299: 18(int) IAdd 297 298 - Store 20(i) 299 - Branch 296 - 296: Label - 302: 6(float) Load 169(uf) - 303: 6(float) Load 169(uf) - 304: 6(float) FAdd 302 303 - 305: 6(float) Load 169(uf) - 306: 6(float) FMul 304 305 - 307: 6(float) Load 169(uf) - 308: 6(float) FSub 306 307 - 309: 6(float) Load 169(uf) - 310: 6(float) FDiv 308 309 - Store 301(f) 310 - 311: 7(fvec4) Load 9(v) - 312: 6(float) ExtInst 1(GLSL.std.450) 65(Length) 311 - 313: 6(float) Load 301(f) - 314: 6(float) FAdd 313 312 - Store 301(f) 314 - 315: 7(fvec4) Load 9(v) - 316: 7(fvec4) Load 9(v) - 317: 6(float) ExtInst 1(GLSL.std.450) 66(Distance) 315 316 - 318: 6(float) Load 301(f) - 319: 6(float) FAdd 318 317 - Store 301(f) 319 - 320: 7(fvec4) Load 9(v) - 321: 7(fvec4) Load 9(v) - 322: 6(float) Dot 320 321 - 323: 6(float) Load 301(f) - 324: 6(float) FAdd 323 322 - Store 301(f) 324 - 325: 6(float) Load 301(f) - 326: 6(float) Load 169(uf) - 327: 6(float) FMul 325 326 - 328: 6(float) Load 301(f) + 284: 18(int) IMul 282 283 + 285: 18(int) Load 22(ui) + 286: 18(int) ISub 284 285 + 287: 18(int) Load 20(i) + 288: 18(int) SDiv 286 287 + Store 20(i) 288 + 289: 18(int) Load 20(i) + 290: 18(int) Load 22(ui) + 291: 18(int) SMod 289 290 + Store 20(i) 291 + 292: 18(int) Load 20(i) + 293: 18(int) Load 22(ui) + 294: 214(bool) IEqual 292 293 + 295: 214(bool) LogicalNot 294 + SelectionMerge 297 None + BranchConditional 295 296 297 + 296: Label + 298: 18(int) Load 20(i) + 299: 18(int) Load 22(ui) + 300: 214(bool) INotEqual 298 299 + 301: 18(int) Load 20(i) + 302: 18(int) Load 22(ui) + 303: 214(bool) IEqual 301 302 + 304: 214(bool) LogicalAnd 300 303 + 305: 18(int) Load 20(i) + 307: 214(bool) INotEqual 305 306 + 308: 214(bool) LogicalNotEqual 304 307 + Branch 297 + 297: Label + 309: 214(bool) Phi 294 275 308 296 + SelectionMerge 311 None + BranchConditional 309 310 311 + 310: Label + 312: 18(int) Load 20(i) + 314: 18(int) IAdd 312 313 + Store 20(i) 314 + Branch 311 + 311: Label + 317: 6(float) Load 169(uf) + 318: 6(float) Load 169(uf) + 319: 6(float) FAdd 317 318 + 320: 6(float) Load 169(uf) + 321: 6(float) FMul 319 320 + 322: 6(float) Load 169(uf) + 323: 6(float) FSub 321 322 + 324: 6(float) Load 169(uf) + 325: 6(float) FDiv 323 324 + Store 316(f) 325 + 326: 7(fvec4) Load 9(v) + 327: 6(float) ExtInst 1(GLSL.std.450) 65(Length) 326 + 328: 6(float) Load 316(f) 329: 6(float) FAdd 328 327 - Store 301(f) 329 + Store 316(f) 329 + 330: 7(fvec4) Load 9(v) 331: 7(fvec4) Load 9(v) - 332: 330(fvec3) VectorShuffle 331 331 0 1 2 - 333: 7(fvec4) Load 9(v) - 334: 330(fvec3) VectorShuffle 333 333 0 1 2 - 335: 330(fvec3) ExtInst 1(GLSL.std.450) 67(Cross) 332 334 - 336: 6(float) CompositeExtract 335 0 - 337: 6(float) Load 301(f) - 338: 6(float) FAdd 337 336 - Store 301(f) 338 - 339: 6(float) Load 301(f) - 340: 6(float) Load 169(uf) - 341: 214(bool) FOrdEqual 339 340 - 342: 6(float) Load 301(f) - 343: 6(float) Load 169(uf) - 344: 214(bool) FOrdNotEqual 342 343 - 345: 6(float) Load 301(f) - 347: 214(bool) FOrdNotEqual 345 346 - 348: 214(bool) LogicalAnd 344 347 - 349: 214(bool) LogicalOr 341 348 - SelectionMerge 351 None - BranchConditional 349 350 351 - 350: Label - 352: 6(float) Load 301(f) - 354: 6(float) FAdd 352 353 - Store 301(f) 354 - Branch 351 - 351: Label - 355: 18(int) Load 22(ui) - 356: 18(int) Load 20(i) - 357: 18(int) BitwiseAnd 356 355 - Store 20(i) 357 - 359: 18(int) Load 20(i) - 360: 18(int) BitwiseOr 359 358 - Store 20(i) 360 - 361: 18(int) Load 22(ui) - 362: 18(int) Load 20(i) - 363: 18(int) BitwiseXor 362 361 - Store 20(i) 363 - 365: 18(int) Load 20(i) - 366: 18(int) SMod 365 364 - Store 20(i) 366 - 367: 18(int) Load 20(i) - 368: 18(int) ShiftRightArithmetic 367 291 - Store 20(i) 368 - 369: 18(int) Load 22(ui) - 370: 18(int) Load 20(i) - 371: 18(int) ShiftLeftLogical 370 369 - Store 20(i) 371 - 372: 18(int) Load 20(i) - 373: 18(int) Not 372 - Store 20(i) 373 - 374: 214(bool) Load 216(b) - 375: 214(bool) LogicalNot 374 - Store 216(b) 375 - 379: 214(bool) Load 216(b) - SelectionMerge 381 None - BranchConditional 379 380 390 - 380: Label - 382: 18(int) Load 20(i) - 383: 6(float) ConvertSToF 382 - 384: 7(fvec4) CompositeConstruct 383 383 383 383 - 385: 6(float) Load 301(f) - 386: 7(fvec4) CompositeConstruct 385 385 385 385 - 387: 7(fvec4) FAdd 384 386 - 388: 7(fvec4) Load 9(v) - 389: 7(fvec4) FAdd 387 388 - Store 378 389 - Branch 381 - 390: Label - 391: 7(fvec4) Load 9(v) - Store 378 391 - Branch 381 - 381: Label - 392: 7(fvec4) Load 378 - Store 377(gl_FragColor) 392 + 332: 6(float) ExtInst 1(GLSL.std.450) 66(Distance) 330 331 + 333: 6(float) Load 316(f) + 334: 6(float) FAdd 333 332 + Store 316(f) 334 + 335: 7(fvec4) Load 9(v) + 336: 7(fvec4) Load 9(v) + 337: 6(float) Dot 335 336 + 338: 6(float) Load 316(f) + 339: 6(float) FAdd 338 337 + Store 316(f) 339 + 340: 6(float) Load 316(f) + 341: 6(float) Load 169(uf) + 342: 6(float) FMul 340 341 + 343: 6(float) Load 316(f) + 344: 6(float) FAdd 343 342 + Store 316(f) 344 + 346: 7(fvec4) Load 9(v) + 347: 345(fvec3) VectorShuffle 346 346 0 1 2 + 348: 7(fvec4) Load 9(v) + 349: 345(fvec3) VectorShuffle 348 348 0 1 2 + 350: 345(fvec3) ExtInst 1(GLSL.std.450) 67(Cross) 347 349 + 351: 6(float) CompositeExtract 350 0 + 352: 6(float) Load 316(f) + 353: 6(float) FAdd 352 351 + Store 316(f) 353 + 354: 6(float) Load 316(f) + 355: 6(float) Load 169(uf) + 356: 214(bool) FOrdEqual 354 355 + 357: 214(bool) LogicalNot 356 + SelectionMerge 359 None + BranchConditional 357 358 359 + 358: Label + 360: 6(float) Load 316(f) + 361: 6(float) Load 169(uf) + 362: 214(bool) FOrdNotEqual 360 361 + 363: 6(float) Load 316(f) + 365: 214(bool) FOrdNotEqual 363 364 + 366: 214(bool) LogicalAnd 362 365 + Branch 359 + 359: Label + 367: 214(bool) Phi 356 311 366 358 + SelectionMerge 369 None + BranchConditional 367 368 369 + 368: Label + 370: 6(float) Load 316(f) + 372: 6(float) FAdd 370 371 + Store 316(f) 372 + Branch 369 + 369: Label + 373: 18(int) Load 22(ui) + 374: 18(int) Load 20(i) + 375: 18(int) BitwiseAnd 374 373 + Store 20(i) 375 + 377: 18(int) Load 20(i) + 378: 18(int) BitwiseOr 377 376 + Store 20(i) 378 + 379: 18(int) Load 22(ui) + 380: 18(int) Load 20(i) + 381: 18(int) BitwiseXor 380 379 + Store 20(i) 381 + 383: 18(int) Load 20(i) + 384: 18(int) SMod 383 382 + Store 20(i) 384 + 385: 18(int) Load 20(i) + 386: 18(int) ShiftRightArithmetic 385 306 + Store 20(i) 386 + 387: 18(int) Load 22(ui) + 388: 18(int) Load 20(i) + 389: 18(int) ShiftLeftLogical 388 387 + Store 20(i) 389 + 390: 18(int) Load 20(i) + 391: 18(int) Not 390 + Store 20(i) 391 + 392: 214(bool) Load 216(b) + 393: 214(bool) LogicalNot 392 + Store 216(b) 393 + 397: 214(bool) Load 216(b) + SelectionMerge 399 None + BranchConditional 397 398 408 + 398: Label + 400: 18(int) Load 20(i) + 401: 6(float) ConvertSToF 400 + 402: 7(fvec4) CompositeConstruct 401 401 401 401 + 403: 6(float) Load 316(f) + 404: 7(fvec4) CompositeConstruct 403 403 403 403 + 405: 7(fvec4) FAdd 402 404 + 406: 7(fvec4) Load 9(v) + 407: 7(fvec4) FAdd 405 406 + Store 396 407 + Branch 399 + 408: Label + 409: 7(fvec4) Load 9(v) + Store 396 409 + Branch 399 + 399: Label + 410: 7(fvec4) Load 396 + Store 395(gl_FragColor) 410 Return FunctionEnd diff --git a/Test/baseResults/spv.conversion.frag.out b/Test/baseResults/spv.conversion.frag.out index 6de712156..31d49801e 100755 --- a/Test/baseResults/spv.conversion.frag.out +++ b/Test/baseResults/spv.conversion.frag.out @@ -5,7 +5,7 @@ Linked fragment stage: // Module Version 99 // Generated by (magic number): 51a00bb -// Id's are bound by 443 +// Id's are bound by 452 Source GLSL 130 Capability Shader @@ -34,50 +34,50 @@ Linked fragment stage: Name 114 "f3" Name 118 "f4" Name 157 "i_i4" - Name 312 "gl_FragColor" - Name 405 "cv2" - Name 406 "cv5" - Name 416 "u_b" - Name 418 "u_b2" - Name 420 "u_b3" - Name 422 "u_b4" - Name 424 "u_i2" - Name 426 "u_i3" - Name 428 "u_i4" - Name 429 "i_b" - Name 430 "i_b2" - Name 431 "i_b3" - Name 432 "i_b4" - Name 434 "i_i2" - Name 436 "i_i3" - Name 438 "i_f2" - Name 440 "i_f3" - Name 442 "i_f4" + Name 321 "gl_FragColor" + Name 414 "cv2" + Name 415 "cv5" + Name 425 "u_b" + Name 427 "u_b2" + Name 429 "u_b3" + Name 431 "u_b4" + Name 433 "u_i2" + Name 435 "u_i3" + Name 437 "u_i4" + Name 438 "i_b" + Name 439 "i_b2" + Name 440 "i_b3" + Name 441 "i_b4" + Name 443 "i_i2" + Name 445 "i_i3" + Name 447 "i_f2" + Name 449 "i_f3" + Name 451 "i_f4" Decorate 39(i_i) Flat Decorate 53(i_f) Smooth Decorate 157(i_i4) Flat - Decorate 312(gl_FragColor) BuiltIn FragColor - Decorate 416(u_b) NoStaticUse - Decorate 418(u_b2) NoStaticUse - Decorate 420(u_b3) NoStaticUse - Decorate 422(u_b4) NoStaticUse - Decorate 424(u_i2) NoStaticUse - Decorate 426(u_i3) NoStaticUse - Decorate 428(u_i4) NoStaticUse - Decorate 429(i_b) NoStaticUse - Decorate 430(i_b2) NoStaticUse - Decorate 431(i_b3) NoStaticUse - Decorate 432(i_b4) NoStaticUse - Decorate 434(i_i2) Flat - Decorate 434(i_i2) NoStaticUse - Decorate 436(i_i3) Flat - Decorate 436(i_i3) NoStaticUse - Decorate 438(i_f2) Smooth - Decorate 438(i_f2) NoStaticUse - Decorate 440(i_f3) Smooth - Decorate 440(i_f3) NoStaticUse - Decorate 442(i_f4) Smooth - Decorate 442(i_f4) NoStaticUse + Decorate 321(gl_FragColor) BuiltIn FragColor + Decorate 425(u_b) NoStaticUse + Decorate 427(u_b2) NoStaticUse + Decorate 429(u_b3) NoStaticUse + Decorate 431(u_b4) NoStaticUse + Decorate 433(u_i2) NoStaticUse + Decorate 435(u_i3) NoStaticUse + Decorate 437(u_i4) NoStaticUse + Decorate 438(i_b) NoStaticUse + Decorate 439(i_b2) NoStaticUse + Decorate 440(i_b3) NoStaticUse + Decorate 441(i_b4) NoStaticUse + Decorate 443(i_i2) Flat + Decorate 443(i_i2) NoStaticUse + Decorate 445(i_i3) Flat + Decorate 445(i_i3) NoStaticUse + Decorate 447(i_f2) Smooth + Decorate 447(i_f2) NoStaticUse + Decorate 449(i_f3) Smooth + Decorate 449(i_f3) NoStaticUse + Decorate 451(i_f4) Smooth + Decorate 451(i_f4) NoStaticUse 2: TypeVoid 3: TypeFunction 2 6: TypeBool @@ -140,36 +140,36 @@ Linked fragment stage: 157(i_i4): 156(ptr) Variable Input 159: TypeVector 13(int) 4 160: 159(ivec4) ConstantComposite 14 14 14 14 - 311: TypePointer Output 95(fvec4) -312(gl_FragColor): 311(ptr) Variable Output - 415: TypePointer UniformConstant 6(bool) - 416(u_b): 415(ptr) Variable UniformConstant - 417: TypePointer UniformConstant 23(bvec2) - 418(u_b2): 417(ptr) Variable UniformConstant - 419: TypePointer UniformConstant 31(bvec3) - 420(u_b3): 419(ptr) Variable UniformConstant - 421: TypePointer UniformConstant 43(bvec4) - 422(u_b4): 421(ptr) Variable UniformConstant - 423: TypePointer UniformConstant 66(ivec2) - 424(u_i2): 423(ptr) Variable UniformConstant - 425: TypePointer UniformConstant 79(ivec3) - 426(u_i3): 425(ptr) Variable UniformConstant - 427: TypePointer UniformConstant 92(ivec4) - 428(u_i4): 427(ptr) Variable UniformConstant - 429(i_b): 415(ptr) Variable UniformConstant - 430(i_b2): 417(ptr) Variable UniformConstant - 431(i_b3): 419(ptr) Variable UniformConstant - 432(i_b4): 421(ptr) Variable UniformConstant - 433: TypePointer Input 66(ivec2) - 434(i_i2): 433(ptr) Variable Input - 435: TypePointer Input 79(ivec3) - 436(i_i3): 435(ptr) Variable Input - 437: TypePointer Input 69(fvec2) - 438(i_f2): 437(ptr) Variable Input - 439: TypePointer Input 82(fvec3) - 440(i_f3): 439(ptr) Variable Input - 441: TypePointer Input 95(fvec4) - 442(i_f4): 441(ptr) Variable Input + 320: TypePointer Output 95(fvec4) +321(gl_FragColor): 320(ptr) Variable Output + 424: TypePointer UniformConstant 6(bool) + 425(u_b): 424(ptr) Variable UniformConstant + 426: TypePointer UniformConstant 23(bvec2) + 427(u_b2): 426(ptr) Variable UniformConstant + 428: TypePointer UniformConstant 31(bvec3) + 429(u_b3): 428(ptr) Variable UniformConstant + 430: TypePointer UniformConstant 43(bvec4) + 431(u_b4): 430(ptr) Variable UniformConstant + 432: TypePointer UniformConstant 66(ivec2) + 433(u_i2): 432(ptr) Variable UniformConstant + 434: TypePointer UniformConstant 79(ivec3) + 435(u_i3): 434(ptr) Variable UniformConstant + 436: TypePointer UniformConstant 92(ivec4) + 437(u_i4): 436(ptr) Variable UniformConstant + 438(i_b): 424(ptr) Variable UniformConstant + 439(i_b2): 426(ptr) Variable UniformConstant + 440(i_b3): 428(ptr) Variable UniformConstant + 441(i_b4): 430(ptr) Variable UniformConstant + 442: TypePointer Input 66(ivec2) + 443(i_i2): 442(ptr) Variable Input + 444: TypePointer Input 79(ivec3) + 445(i_i3): 444(ptr) Variable Input + 446: TypePointer Input 69(fvec2) + 447(i_f2): 446(ptr) Variable Input + 448: TypePointer Input 82(fvec3) + 449(i_f3): 448(ptr) Variable Input + 450: TypePointer Input 95(fvec4) + 451(i_f4): 450(ptr) Variable Input 4(main): 2 Function None 3 5: Label 8(b): 7(ptr) Variable Function @@ -184,11 +184,11 @@ Linked fragment stage: 110(f2): 109(ptr) Variable Function 114(f3): 113(ptr) Variable Function 118(f4): 117(ptr) Variable Function - 288: 105(ptr) Variable Function - 298: 105(ptr) Variable Function - 313: 117(ptr) Variable Function - 405(cv2): 93(ptr) Variable Function - 406(cv5): 44(ptr) Variable Function + 297: 105(ptr) Variable Function + 307: 105(ptr) Variable Function + 322: 117(ptr) Variable Function + 414(cv2): 93(ptr) Variable Function + 415(cv5): 44(ptr) Variable Function 12: 9(int) Load 11(u_i) 15: 6(bool) INotEqual 12 14 19: 16(float) Load 18(u_f) @@ -408,170 +408,188 @@ Linked fragment stage: 266: 9(int) Load 58(i) 267: 16(float) ConvertSToF 266 268: 6(bool) FOrdLessThan 265 267 - 269: 9(int) Load 58(i) - 270: 16(float) ConvertSToF 269 - 271: 16(float) Load 106(f) - 272: 6(bool) FOrdLessThan 270 271 - 273: 6(bool) LogicalOr 268 272 - 274: 69(fvec2) Load 110(f2) - 275: 66(ivec2) Load 68(i2) - 276: 69(fvec2) ConvertSToF 275 - 277: 23(bvec2) FOrdEqual 274 276 - 278: 6(bool) All 277 - 279: 6(bool) LogicalOr 273 278 - 280: 79(ivec3) Load 81(i3) - 281: 82(fvec3) ConvertSToF 280 - 282: 82(fvec3) Load 114(f3) - 283: 31(bvec3) FOrdNotEqual 281 282 - 284: 6(bool) Any 283 - 285: 6(bool) LogicalOr 279 284 - SelectionMerge 287 None - BranchConditional 285 286 287 - 286: Label - 289: 6(bool) Load 8(b) - SelectionMerge 291 None - BranchConditional 289 290 294 - 290: Label - 292: 9(int) Load 58(i) - 293: 16(float) ConvertSToF 292 - Store 288 293 - Branch 291 - 294: Label - 295: 69(fvec2) Load 110(f2) - 296: 16(float) CompositeExtract 295 0 - Store 288 296 - Branch 291 - 291: Label - 297: 16(float) Load 288 - 299: 23(bvec2) Load 25(b2) - 300: 6(bool) CompositeExtract 299 0 - SelectionMerge 302 None - BranchConditional 300 301 305 - 301: Label - 303: 82(fvec3) Load 114(f3) - 304: 16(float) CompositeExtract 303 0 - Store 298 304 - Branch 302 - 305: Label - 306: 66(ivec2) Load 68(i2) - 307: 9(int) CompositeExtract 306 1 - 308: 16(float) ConvertSToF 307 - Store 298 308 - Branch 302 - 302: Label - 309: 16(float) Load 298 - 310: 16(float) FAdd 297 309 - Store 106(f) 310 - Branch 287 - 287: Label - 314: 6(bool) Load 8(b) - 315: 23(bvec2) Load 25(b2) - 316: 6(bool) CompositeExtract 315 0 - 317: 6(bool) LogicalOr 314 316 - 318: 23(bvec2) Load 25(b2) - 319: 6(bool) CompositeExtract 318 1 - 320: 6(bool) LogicalOr 317 319 - 321: 31(bvec3) Load 33(b3) - 322: 6(bool) CompositeExtract 321 0 - 323: 6(bool) LogicalOr 320 322 - 324: 31(bvec3) Load 33(b3) - 325: 6(bool) CompositeExtract 324 1 + 269: 6(bool) LogicalNot 268 + SelectionMerge 271 None + BranchConditional 269 270 271 + 270: Label + 272: 9(int) Load 58(i) + 273: 16(float) ConvertSToF 272 + 274: 16(float) Load 106(f) + 275: 6(bool) FOrdLessThan 273 274 + Branch 271 + 271: Label + 276: 6(bool) Phi 268 5 275 270 + 277: 6(bool) LogicalNot 276 + SelectionMerge 279 None + BranchConditional 277 278 279 + 278: Label + 280: 69(fvec2) Load 110(f2) + 281: 66(ivec2) Load 68(i2) + 282: 69(fvec2) ConvertSToF 281 + 283: 23(bvec2) FOrdEqual 280 282 + 284: 6(bool) All 283 + Branch 279 + 279: Label + 285: 6(bool) Phi 276 271 284 278 + 286: 6(bool) LogicalNot 285 + SelectionMerge 288 None + BranchConditional 286 287 288 + 287: Label + 289: 79(ivec3) Load 81(i3) + 290: 82(fvec3) ConvertSToF 289 + 291: 82(fvec3) Load 114(f3) + 292: 31(bvec3) FOrdNotEqual 290 291 + 293: 6(bool) Any 292 + Branch 288 + 288: Label + 294: 6(bool) Phi 285 279 293 287 + SelectionMerge 296 None + BranchConditional 294 295 296 + 295: Label + 298: 6(bool) Load 8(b) + SelectionMerge 300 None + BranchConditional 298 299 303 + 299: Label + 301: 9(int) Load 58(i) + 302: 16(float) ConvertSToF 301 + Store 297 302 + Branch 300 + 303: Label + 304: 69(fvec2) Load 110(f2) + 305: 16(float) CompositeExtract 304 0 + Store 297 305 + Branch 300 + 300: Label + 306: 16(float) Load 297 + 308: 23(bvec2) Load 25(b2) + 309: 6(bool) CompositeExtract 308 0 + SelectionMerge 311 None + BranchConditional 309 310 314 + 310: Label + 312: 82(fvec3) Load 114(f3) + 313: 16(float) CompositeExtract 312 0 + Store 307 313 + Branch 311 + 314: Label + 315: 66(ivec2) Load 68(i2) + 316: 9(int) CompositeExtract 315 1 + 317: 16(float) ConvertSToF 316 + Store 307 317 + Branch 311 + 311: Label + 318: 16(float) Load 307 + 319: 16(float) FAdd 306 318 + Store 106(f) 319 + Branch 296 + 296: Label + 323: 6(bool) Load 8(b) + 324: 23(bvec2) Load 25(b2) + 325: 6(bool) CompositeExtract 324 0 326: 6(bool) LogicalOr 323 325 - 327: 31(bvec3) Load 33(b3) - 328: 6(bool) CompositeExtract 327 2 + 327: 23(bvec2) Load 25(b2) + 328: 6(bool) CompositeExtract 327 1 329: 6(bool) LogicalOr 326 328 - 330: 43(bvec4) Load 45(b4) + 330: 31(bvec3) Load 33(b3) 331: 6(bool) CompositeExtract 330 0 332: 6(bool) LogicalOr 329 331 - 333: 43(bvec4) Load 45(b4) + 333: 31(bvec3) Load 33(b3) 334: 6(bool) CompositeExtract 333 1 335: 6(bool) LogicalOr 332 334 - 336: 43(bvec4) Load 45(b4) + 336: 31(bvec3) Load 33(b3) 337: 6(bool) CompositeExtract 336 2 338: 6(bool) LogicalOr 335 337 339: 43(bvec4) Load 45(b4) - 340: 6(bool) CompositeExtract 339 3 + 340: 6(bool) CompositeExtract 339 0 341: 6(bool) LogicalOr 338 340 - SelectionMerge 343 None - BranchConditional 341 342 403 - 342: Label - 344: 9(int) Load 58(i) - 345: 66(ivec2) Load 68(i2) - 346: 9(int) CompositeExtract 345 0 - 347: 9(int) IAdd 344 346 - 348: 66(ivec2) Load 68(i2) - 349: 9(int) CompositeExtract 348 1 - 350: 9(int) IAdd 347 349 - 351: 79(ivec3) Load 81(i3) - 352: 9(int) CompositeExtract 351 0 - 353: 9(int) IAdd 350 352 - 354: 79(ivec3) Load 81(i3) - 355: 9(int) CompositeExtract 354 1 + 342: 43(bvec4) Load 45(b4) + 343: 6(bool) CompositeExtract 342 1 + 344: 6(bool) LogicalOr 341 343 + 345: 43(bvec4) Load 45(b4) + 346: 6(bool) CompositeExtract 345 2 + 347: 6(bool) LogicalOr 344 346 + 348: 43(bvec4) Load 45(b4) + 349: 6(bool) CompositeExtract 348 3 + 350: 6(bool) LogicalOr 347 349 + SelectionMerge 352 None + BranchConditional 350 351 412 + 351: Label + 353: 9(int) Load 58(i) + 354: 66(ivec2) Load 68(i2) + 355: 9(int) CompositeExtract 354 0 356: 9(int) IAdd 353 355 - 357: 79(ivec3) Load 81(i3) - 358: 9(int) CompositeExtract 357 2 + 357: 66(ivec2) Load 68(i2) + 358: 9(int) CompositeExtract 357 1 359: 9(int) IAdd 356 358 - 360: 92(ivec4) Load 94(i4) + 360: 79(ivec3) Load 81(i3) 361: 9(int) CompositeExtract 360 0 362: 9(int) IAdd 359 361 - 363: 92(ivec4) Load 94(i4) + 363: 79(ivec3) Load 81(i3) 364: 9(int) CompositeExtract 363 1 365: 9(int) IAdd 362 364 - 366: 92(ivec4) Load 94(i4) + 366: 79(ivec3) Load 81(i3) 367: 9(int) CompositeExtract 366 2 368: 9(int) IAdd 365 367 369: 92(ivec4) Load 94(i4) - 370: 9(int) CompositeExtract 369 3 + 370: 9(int) CompositeExtract 369 0 371: 9(int) IAdd 368 370 - 372: 16(float) ConvertSToF 371 - 373: 16(float) Load 106(f) - 374: 16(float) FAdd 372 373 - 375: 69(fvec2) Load 110(f2) - 376: 16(float) CompositeExtract 375 0 - 377: 16(float) FAdd 374 376 - 378: 69(fvec2) Load 110(f2) - 379: 16(float) CompositeExtract 378 1 - 380: 16(float) FAdd 377 379 - 381: 82(fvec3) Load 114(f3) - 382: 16(float) CompositeExtract 381 0 - 383: 16(float) FAdd 380 382 - 384: 82(fvec3) Load 114(f3) - 385: 16(float) CompositeExtract 384 1 + 372: 92(ivec4) Load 94(i4) + 373: 9(int) CompositeExtract 372 1 + 374: 9(int) IAdd 371 373 + 375: 92(ivec4) Load 94(i4) + 376: 9(int) CompositeExtract 375 2 + 377: 9(int) IAdd 374 376 + 378: 92(ivec4) Load 94(i4) + 379: 9(int) CompositeExtract 378 3 + 380: 9(int) IAdd 377 379 + 381: 16(float) ConvertSToF 380 + 382: 16(float) Load 106(f) + 383: 16(float) FAdd 381 382 + 384: 69(fvec2) Load 110(f2) + 385: 16(float) CompositeExtract 384 0 386: 16(float) FAdd 383 385 - 387: 82(fvec3) Load 114(f3) - 388: 16(float) CompositeExtract 387 2 + 387: 69(fvec2) Load 110(f2) + 388: 16(float) CompositeExtract 387 1 389: 16(float) FAdd 386 388 - 390: 95(fvec4) Load 118(f4) + 390: 82(fvec3) Load 114(f3) 391: 16(float) CompositeExtract 390 0 392: 16(float) FAdd 389 391 - 393: 95(fvec4) Load 118(f4) + 393: 82(fvec3) Load 114(f3) 394: 16(float) CompositeExtract 393 1 395: 16(float) FAdd 392 394 - 396: 95(fvec4) Load 118(f4) + 396: 82(fvec3) Load 114(f3) 397: 16(float) CompositeExtract 396 2 398: 16(float) FAdd 395 397 399: 95(fvec4) Load 118(f4) - 400: 16(float) CompositeExtract 399 3 + 400: 16(float) CompositeExtract 399 0 401: 16(float) FAdd 398 400 - 402: 95(fvec4) CompositeConstruct 401 401 401 401 - Store 313 402 - Branch 343 - 403: Label - Store 313 151 - Branch 343 - 343: Label - 404: 95(fvec4) Load 313 - Store 312(gl_FragColor) 404 - Store 405(cv2) 102 - 407: 92(ivec4) Load 405(cv2) - 408: 43(bvec4) INotEqual 407 160 - Store 406(cv5) 408 - 409: 43(bvec4) Load 406(cv5) - 410: 95(fvec4) Select 409 151 150 - 411: 16(float) CompositeExtract 410 0 - 412: 95(fvec4) Load 312(gl_FragColor) - 413: 95(fvec4) CompositeConstruct 411 411 411 411 - 414: 95(fvec4) FAdd 412 413 - Store 312(gl_FragColor) 414 + 402: 95(fvec4) Load 118(f4) + 403: 16(float) CompositeExtract 402 1 + 404: 16(float) FAdd 401 403 + 405: 95(fvec4) Load 118(f4) + 406: 16(float) CompositeExtract 405 2 + 407: 16(float) FAdd 404 406 + 408: 95(fvec4) Load 118(f4) + 409: 16(float) CompositeExtract 408 3 + 410: 16(float) FAdd 407 409 + 411: 95(fvec4) CompositeConstruct 410 410 410 410 + Store 322 411 + Branch 352 + 412: Label + Store 322 151 + Branch 352 + 352: Label + 413: 95(fvec4) Load 322 + Store 321(gl_FragColor) 413 + Store 414(cv2) 102 + 416: 92(ivec4) Load 414(cv2) + 417: 43(bvec4) INotEqual 416 160 + Store 415(cv5) 417 + 418: 43(bvec4) Load 415(cv5) + 419: 95(fvec4) Select 418 151 150 + 420: 16(float) CompositeExtract 419 0 + 421: 95(fvec4) Load 321(gl_FragColor) + 422: 95(fvec4) CompositeConstruct 420 420 420 420 + 423: 95(fvec4) FAdd 421 422 + Store 321(gl_FragColor) 423 Return FunctionEnd diff --git a/Test/baseResults/spv.loops.frag.out b/Test/baseResults/spv.loops.frag.out index 6dc80cb25..f2d2fea5d 100755 --- a/Test/baseResults/spv.loops.frag.out +++ b/Test/baseResults/spv.loops.frag.out @@ -7,7 +7,7 @@ Linked fragment stage: // Module Version 99 // Generated by (magic number): 51a00bb -// Id's are bound by 749 +// Id's are bound by 753 Source GLSL 130 Capability Shader @@ -22,74 +22,74 @@ Linked fragment stage: Name 51 "bigColor" Name 62 "bigColor1_1" Name 92 "d2" - Name 97 "d3" - Name 101 "bigColor1_2" - Name 112 "bigColor1_3" - Name 118 "d4" - Name 129 "i" - Name 136 "Count" - Name 139 "bigColor2" - Name 157 "bigColor3" - Name 162 "i" - Name 177 "i" - Name 215 "i" - Name 240 "i" - Name 268 "i" - Name 305 "bigColor4" - Name 343 "d5" - Name 347 "bigColor5" - Name 365 "d6" - Name 377 "bigColor6" - Name 412 "d7" - Name 446 "bigColor7" - Name 471 "d8" - Name 517 "d9" - Name 549 "d10" - Name 559 "d11" - Name 571 "d12" - Name 599 "bigColor8" - Name 627 "gl_FragColor" - Name 634 "d14" - Name 639 "d15" - Name 657 "d16" - Name 695 "d17" - Name 701 "d18" - Name 732 "d13" - Name 733 "d19" - Name 734 "d20" - Name 735 "d21" - Name 736 "d22" - Name 737 "d23" - Name 738 "d24" - Name 739 "d25" - Name 740 "d26" - Name 741 "d27" - Name 742 "d28" - Name 743 "d29" - Name 744 "d30" - Name 745 "d31" - Name 746 "d32" - Name 747 "d33" - Name 748 "d34" + Name 99 "d3" + Name 103 "bigColor1_2" + Name 114 "bigColor1_3" + Name 120 "d4" + Name 131 "i" + Name 138 "Count" + Name 141 "bigColor2" + Name 159 "bigColor3" + Name 164 "i" + Name 179 "i" + Name 217 "i" + Name 242 "i" + Name 270 "i" + Name 307 "bigColor4" + Name 345 "d5" + Name 349 "bigColor5" + Name 367 "d6" + Name 379 "bigColor6" + Name 414 "d7" + Name 448 "bigColor7" + Name 473 "d8" + Name 519 "d9" + Name 551 "d10" + Name 561 "d11" + Name 573 "d12" + Name 601 "bigColor8" + Name 629 "gl_FragColor" + Name 636 "d14" + Name 641 "d15" + Name 659 "d16" + Name 699 "d17" + Name 705 "d18" + Name 736 "d13" + Name 737 "d19" + Name 738 "d20" + Name 739 "d21" + Name 740 "d22" + Name 741 "d23" + Name 742 "d24" + Name 743 "d25" + Name 744 "d26" + Name 745 "d27" + Name 746 "d28" + Name 747 "d29" + Name 748 "d30" + Name 749 "d31" + Name 750 "d32" + Name 751 "d33" + Name 752 "d34" Decorate 11(BaseColor) Smooth - Decorate 627(gl_FragColor) BuiltIn FragColor - Decorate 732(d13) NoStaticUse - Decorate 733(d19) NoStaticUse - Decorate 734(d20) NoStaticUse - Decorate 735(d21) NoStaticUse - Decorate 736(d22) NoStaticUse - Decorate 737(d23) NoStaticUse - Decorate 738(d24) NoStaticUse - Decorate 739(d25) NoStaticUse - Decorate 740(d26) NoStaticUse - Decorate 741(d27) NoStaticUse - Decorate 742(d28) NoStaticUse - Decorate 743(d29) NoStaticUse - Decorate 744(d30) NoStaticUse - Decorate 745(d31) NoStaticUse - Decorate 746(d32) NoStaticUse - Decorate 747(d33) NoStaticUse - Decorate 748(d34) NoStaticUse + Decorate 629(gl_FragColor) BuiltIn FragColor + Decorate 736(d13) NoStaticUse + Decorate 737(d19) NoStaticUse + Decorate 738(d20) NoStaticUse + Decorate 739(d21) NoStaticUse + Decorate 740(d22) NoStaticUse + Decorate 741(d23) NoStaticUse + Decorate 742(d24) NoStaticUse + Decorate 743(d25) NoStaticUse + Decorate 744(d26) NoStaticUse + Decorate 745(d27) NoStaticUse + Decorate 746(d28) NoStaticUse + Decorate 747(d29) NoStaticUse + Decorate 748(d30) NoStaticUse + Decorate 749(d31) NoStaticUse + Decorate 750(d32) NoStaticUse + Decorate 751(d33) NoStaticUse + Decorate 752(d34) NoStaticUse 2: TypeVoid 3: TypeFunction 2 6: TypeFloat 32 @@ -111,73 +111,73 @@ Linked fragment stage: 81: 6(float) Constant 1109917696 84: 6(float) Constant 1065353216 92(d2): 46(ptr) Variable UniformConstant - 97(d3): 46(ptr) Variable UniformConstant -101(bigColor1_2): 50(ptr) Variable UniformConstant -112(bigColor1_3): 50(ptr) Variable UniformConstant - 118(d4): 46(ptr) Variable UniformConstant - 127: TypeInt 32 1 - 128: TypePointer Function 127(int) - 130: 127(int) Constant 0 - 135: TypePointer UniformConstant 127(int) - 136(Count): 135(ptr) Variable UniformConstant - 139(bigColor2): 50(ptr) Variable UniformConstant - 144: 127(int) Constant 1 - 157(bigColor3): 50(ptr) Variable UniformConstant - 161: 16(bool) ConstantFalse - 167: 127(int) Constant 42 - 182: 127(int) Constant 100 - 186: 6(float) Constant 1101004800 - 220: 127(int) Constant 120 - 305(bigColor4): 50(ptr) Variable UniformConstant - 343(d5): 46(ptr) Variable UniformConstant - 347(bigColor5): 50(ptr) Variable UniformConstant - 365(d6): 46(ptr) Variable UniformConstant - 377(bigColor6): 50(ptr) Variable UniformConstant - 412(d7): 46(ptr) Variable UniformConstant - 441: 6(float) Constant 0 - 446(bigColor7): 50(ptr) Variable UniformConstant - 471(d8): 46(ptr) Variable UniformConstant - 493: 6(float) Constant 1073741824 - 517(d9): 46(ptr) Variable UniformConstant - 533: 6(float) Constant 1084227584 - 549(d10): 46(ptr) Variable UniformConstant - 559(d11): 46(ptr) Variable UniformConstant - 571(d12): 46(ptr) Variable UniformConstant - 597: 6(float) Constant 1092616192 - 599(bigColor8): 50(ptr) Variable UniformConstant - 626: TypePointer Output 7(fvec4) -627(gl_FragColor): 626(ptr) Variable Output - 634(d14): 46(ptr) Variable UniformConstant - 639(d15): 46(ptr) Variable UniformConstant - 657(d16): 46(ptr) Variable UniformConstant - 695(d17): 46(ptr) Variable UniformConstant - 701(d18): 46(ptr) Variable UniformConstant - 732(d13): 46(ptr) Variable UniformConstant - 733(d19): 46(ptr) Variable UniformConstant - 734(d20): 46(ptr) Variable UniformConstant - 735(d21): 46(ptr) Variable UniformConstant - 736(d22): 46(ptr) Variable UniformConstant - 737(d23): 46(ptr) Variable UniformConstant - 738(d24): 46(ptr) Variable UniformConstant - 739(d25): 46(ptr) Variable UniformConstant - 740(d26): 46(ptr) Variable UniformConstant - 741(d27): 46(ptr) Variable UniformConstant - 742(d28): 46(ptr) Variable UniformConstant - 743(d29): 46(ptr) Variable UniformConstant - 744(d30): 46(ptr) Variable UniformConstant - 745(d31): 46(ptr) Variable UniformConstant - 746(d32): 46(ptr) Variable UniformConstant - 747(d33): 46(ptr) Variable UniformConstant - 748(d34): 46(ptr) Variable UniformConstant + 99(d3): 46(ptr) Variable UniformConstant +103(bigColor1_2): 50(ptr) Variable UniformConstant +114(bigColor1_3): 50(ptr) Variable UniformConstant + 120(d4): 46(ptr) Variable UniformConstant + 129: TypeInt 32 1 + 130: TypePointer Function 129(int) + 132: 129(int) Constant 0 + 137: TypePointer UniformConstant 129(int) + 138(Count): 137(ptr) Variable UniformConstant + 141(bigColor2): 50(ptr) Variable UniformConstant + 146: 129(int) Constant 1 + 159(bigColor3): 50(ptr) Variable UniformConstant + 163: 16(bool) ConstantFalse + 169: 129(int) Constant 42 + 184: 129(int) Constant 100 + 188: 6(float) Constant 1101004800 + 222: 129(int) Constant 120 + 307(bigColor4): 50(ptr) Variable UniformConstant + 345(d5): 46(ptr) Variable UniformConstant + 349(bigColor5): 50(ptr) Variable UniformConstant + 367(d6): 46(ptr) Variable UniformConstant + 379(bigColor6): 50(ptr) Variable UniformConstant + 414(d7): 46(ptr) Variable UniformConstant + 443: 6(float) Constant 0 + 448(bigColor7): 50(ptr) Variable UniformConstant + 473(d8): 46(ptr) Variable UniformConstant + 495: 6(float) Constant 1073741824 + 519(d9): 46(ptr) Variable UniformConstant + 535: 6(float) Constant 1084227584 + 551(d10): 46(ptr) Variable UniformConstant + 561(d11): 46(ptr) Variable UniformConstant + 573(d12): 46(ptr) Variable UniformConstant + 599: 6(float) Constant 1092616192 + 601(bigColor8): 50(ptr) Variable UniformConstant + 628: TypePointer Output 7(fvec4) +629(gl_FragColor): 628(ptr) Variable Output + 636(d14): 46(ptr) Variable UniformConstant + 641(d15): 46(ptr) Variable UniformConstant + 659(d16): 46(ptr) Variable UniformConstant + 699(d17): 46(ptr) Variable UniformConstant + 705(d18): 46(ptr) Variable UniformConstant + 736(d13): 46(ptr) Variable UniformConstant + 737(d19): 46(ptr) Variable UniformConstant + 738(d20): 46(ptr) Variable UniformConstant + 739(d21): 46(ptr) Variable UniformConstant + 740(d22): 46(ptr) Variable UniformConstant + 741(d23): 46(ptr) Variable UniformConstant + 742(d24): 46(ptr) Variable UniformConstant + 743(d25): 46(ptr) Variable UniformConstant + 744(d26): 46(ptr) Variable UniformConstant + 745(d27): 46(ptr) Variable UniformConstant + 746(d28): 46(ptr) Variable UniformConstant + 747(d29): 46(ptr) Variable UniformConstant + 748(d30): 46(ptr) Variable UniformConstant + 749(d31): 46(ptr) Variable UniformConstant + 750(d32): 46(ptr) Variable UniformConstant + 751(d33): 46(ptr) Variable UniformConstant + 752(d34): 46(ptr) Variable UniformConstant 4(main): 2 Function None 3 5: Label 9(color): 8(ptr) Variable Function - 129(i): 128(ptr) Variable Function - 162(i): 128(ptr) Variable Function - 177(i): 128(ptr) Variable Function - 215(i): 128(ptr) Variable Function - 240(i): 128(ptr) Variable Function - 268(i): 128(ptr) Variable Function + 131(i): 130(ptr) Variable Function + 164(i): 130(ptr) Variable Function + 179(i): 130(ptr) Variable Function + 217(i): 130(ptr) Variable Function + 242(i): 130(ptr) Variable Function + 270(i): 130(ptr) Variable Function 12: 7(fvec4) Load 11(BaseColor) Store 9(color) 12 Branch 13 @@ -275,868 +275,878 @@ Linked fragment stage: 91: 6(float) CompositeExtract 90 3 93: 6(float) Load 92(d2) 94: 16(bool) FOrdLessThan 91 93 - 95: 7(fvec4) Load 9(color) - 96: 6(float) CompositeExtract 95 1 - 98: 6(float) Load 97(d3) - 99: 16(bool) FOrdLessThan 96 98 - 100: 16(bool) LogicalAnd 94 99 + SelectionMerge 96 None + BranchConditional 94 95 96 + 95: Label + 97: 7(fvec4) Load 9(color) + 98: 6(float) CompositeExtract 97 1 + 100: 6(float) Load 99(d3) + 101: 16(bool) FOrdLessThan 98 100 + Branch 96 + 96: Label + 102: 16(bool) Phi 94 87 101 95 LoopMerge 88 None - BranchConditional 100 89 88 + BranchConditional 102 89 88 89: Label - 102: 7(fvec4) Load 101(bigColor1_2) - 103: 7(fvec4) Load 9(color) - 104: 7(fvec4) FAdd 103 102 - Store 9(color) 104 + 104: 7(fvec4) Load 103(bigColor1_2) + 105: 7(fvec4) Load 9(color) + 106: 7(fvec4) FAdd 105 104 + Store 9(color) 106 Branch 87 88: Label - Branch 105 - 105: Label - 108: 7(fvec4) Load 9(color) - 109: 6(float) CompositeExtract 108 2 - 110: 6(float) Load 97(d3) - 111: 16(bool) FOrdLessThan 109 110 - LoopMerge 106 None - BranchConditional 111 107 106 - 107: Label - 113: 7(fvec4) Load 112(bigColor1_3) - 114: 7(fvec4) Load 9(color) - 115: 7(fvec4) FAdd 114 113 - Store 9(color) 115 + Branch 107 + 107: Label + 110: 7(fvec4) Load 9(color) + 111: 6(float) CompositeExtract 110 2 + 112: 6(float) Load 99(d3) + 113: 16(bool) FOrdLessThan 111 112 + LoopMerge 108 None + BranchConditional 113 109 108 + 109: Label + 115: 7(fvec4) Load 114(bigColor1_3) 116: 7(fvec4) Load 9(color) - 117: 6(float) CompositeExtract 116 1 - 119: 6(float) Load 118(d4) - 120: 16(bool) FOrdLessThan 117 119 - SelectionMerge 122 None - BranchConditional 120 121 122 - 121: Label - Branch 106 - 122: Label - 124: 7(fvec4) Load 112(bigColor1_3) - 125: 7(fvec4) Load 9(color) - 126: 7(fvec4) FAdd 125 124 - Store 9(color) 126 - Branch 105 - 106: Label - Store 129(i) 130 - Branch 131 - 131: Label - 134: 127(int) Load 129(i) - 137: 127(int) Load 136(Count) - 138: 16(bool) SLessThan 134 137 - LoopMerge 132 None - BranchConditional 138 133 132 - 133: Label - 140: 7(fvec4) Load 139(bigColor2) - 141: 7(fvec4) Load 9(color) - 142: 7(fvec4) FAdd 141 140 - Store 9(color) 142 - 143: 127(int) Load 129(i) - 145: 127(int) IAdd 143 144 - Store 129(i) 145 - Branch 131 - 132: Label - Branch 146 - 146: Label - 149: 16(bool) Phi 17 132 161 148 - LoopMerge 147 None - Branch 150 - 150: Label - SelectionMerge 148 None - BranchConditional 149 148 151 - 151: Label - 152: 7(fvec4) Load 9(color) - 153: 6(float) CompositeExtract 152 0 - 154: 6(float) Load 92(d2) - 155: 16(bool) FOrdLessThan 153 154 - SelectionMerge 156 None - BranchConditional 155 156 147 - 156: Label - Branch 148 + 117: 7(fvec4) FAdd 116 115 + Store 9(color) 117 + 118: 7(fvec4) Load 9(color) + 119: 6(float) CompositeExtract 118 1 + 121: 6(float) Load 120(d4) + 122: 16(bool) FOrdLessThan 119 121 + SelectionMerge 124 None + BranchConditional 122 123 124 + 123: Label + Branch 108 + 124: Label + 126: 7(fvec4) Load 114(bigColor1_3) + 127: 7(fvec4) Load 9(color) + 128: 7(fvec4) FAdd 127 126 + Store 9(color) 128 + Branch 107 + 108: Label + Store 131(i) 132 + Branch 133 + 133: Label + 136: 129(int) Load 131(i) + 139: 129(int) Load 138(Count) + 140: 16(bool) SLessThan 136 139 + LoopMerge 134 None + BranchConditional 140 135 134 + 135: Label + 142: 7(fvec4) Load 141(bigColor2) + 143: 7(fvec4) Load 9(color) + 144: 7(fvec4) FAdd 143 142 + Store 9(color) 144 + 145: 129(int) Load 131(i) + 147: 129(int) IAdd 145 146 + Store 131(i) 147 + Branch 133 + 134: Label + Branch 148 148: Label - 158: 7(fvec4) Load 157(bigColor3) - 159: 7(fvec4) Load 9(color) - 160: 7(fvec4) FAdd 159 158 - Store 9(color) 160 - Branch 146 - 147: Label - Store 162(i) 130 - Branch 163 - 163: Label - 166: 127(int) Load 162(i) - 168: 16(bool) SLessThan 166 167 - LoopMerge 164 None - BranchConditional 168 165 164 - 165: Label - 169: 6(float) Load 97(d3) - 170: 7(fvec4) Load 9(color) - 171: 6(float) CompositeExtract 170 2 - 172: 6(float) FAdd 171 169 - 173: 7(fvec4) Load 9(color) - 174: 7(fvec4) CompositeInsert 172 173 2 - Store 9(color) 174 - 175: 127(int) Load 162(i) - 176: 127(int) IAdd 175 144 - Store 162(i) 176 - Branch 163 - 164: Label - Store 177(i) 130 - Branch 178 - 178: Label - 181: 127(int) Load 177(i) - 183: 16(bool) SLessThan 181 182 - LoopMerge 179 None - BranchConditional 183 180 179 - 180: Label - 184: 7(fvec4) Load 9(color) - 185: 6(float) CompositeExtract 184 2 - 187: 16(bool) FOrdLessThan 185 186 - SelectionMerge 189 None - BranchConditional 187 188 195 - 188: Label - 190: 7(fvec4) Load 9(color) - 191: 6(float) CompositeExtract 190 0 - 192: 6(float) FAdd 191 84 - 193: 7(fvec4) Load 9(color) - 194: 7(fvec4) CompositeInsert 192 193 0 - Store 9(color) 194 - Branch 189 - 195: Label - 196: 7(fvec4) Load 9(color) - 197: 6(float) CompositeExtract 196 1 - 198: 6(float) FAdd 197 84 - 199: 7(fvec4) Load 9(color) - 200: 7(fvec4) CompositeInsert 198 199 1 - Store 9(color) 200 - Branch 189 - 189: Label - 201: 7(fvec4) Load 9(color) - 202: 6(float) CompositeExtract 201 3 - 203: 16(bool) FOrdLessThan 202 186 - SelectionMerge 205 None - BranchConditional 203 204 205 - 204: Label - 206: 7(fvec4) Load 9(color) - 207: 6(float) CompositeExtract 206 2 + 151: 16(bool) Phi 17 134 163 150 + LoopMerge 149 None + Branch 152 + 152: Label + SelectionMerge 150 None + BranchConditional 151 150 153 + 153: Label + 154: 7(fvec4) Load 9(color) + 155: 6(float) CompositeExtract 154 0 + 156: 6(float) Load 92(d2) + 157: 16(bool) FOrdLessThan 155 156 + SelectionMerge 158 None + BranchConditional 157 158 149 + 158: Label + Branch 150 + 150: Label + 160: 7(fvec4) Load 159(bigColor3) + 161: 7(fvec4) Load 9(color) + 162: 7(fvec4) FAdd 161 160 + Store 9(color) 162 + Branch 148 + 149: Label + Store 164(i) 132 + Branch 165 + 165: Label + 168: 129(int) Load 164(i) + 170: 16(bool) SLessThan 168 169 + LoopMerge 166 None + BranchConditional 170 167 166 + 167: Label + 171: 6(float) Load 99(d3) + 172: 7(fvec4) Load 9(color) + 173: 6(float) CompositeExtract 172 2 + 174: 6(float) FAdd 173 171 + 175: 7(fvec4) Load 9(color) + 176: 7(fvec4) CompositeInsert 174 175 2 + Store 9(color) 176 + 177: 129(int) Load 164(i) + 178: 129(int) IAdd 177 146 + Store 164(i) 178 + Branch 165 + 166: Label + Store 179(i) 132 + Branch 180 + 180: Label + 183: 129(int) Load 179(i) + 185: 16(bool) SLessThan 183 184 + LoopMerge 181 None + BranchConditional 185 182 181 + 182: Label + 186: 7(fvec4) Load 9(color) + 187: 6(float) CompositeExtract 186 2 + 189: 16(bool) FOrdLessThan 187 188 + SelectionMerge 191 None + BranchConditional 189 190 197 + 190: Label + 192: 7(fvec4) Load 9(color) + 193: 6(float) CompositeExtract 192 0 + 194: 6(float) FAdd 193 84 + 195: 7(fvec4) Load 9(color) + 196: 7(fvec4) CompositeInsert 194 195 0 + Store 9(color) 196 + Branch 191 + 197: Label + 198: 7(fvec4) Load 9(color) + 199: 6(float) CompositeExtract 198 1 + 200: 6(float) FAdd 199 84 + 201: 7(fvec4) Load 9(color) + 202: 7(fvec4) CompositeInsert 200 201 1 + Store 9(color) 202 + Branch 191 + 191: Label + 203: 7(fvec4) Load 9(color) + 204: 6(float) CompositeExtract 203 3 + 205: 16(bool) FOrdLessThan 204 188 + SelectionMerge 207 None + BranchConditional 205 206 207 + 206: Label 208: 7(fvec4) Load 9(color) - 209: 6(float) CompositeExtract 208 1 - 210: 16(bool) FOrdGreaterThan 207 209 - SelectionMerge 212 None - BranchConditional 210 211 212 - 211: Label - Branch 212 - 212: Label - Branch 205 - 205: Label - 213: 127(int) Load 177(i) - 214: 127(int) IAdd 213 144 - Store 177(i) 214 - Branch 178 - 179: Label - Store 215(i) 130 - Branch 216 - 216: Label - 219: 127(int) Load 215(i) - 221: 16(bool) SLessThan 219 220 - LoopMerge 217 None - BranchConditional 221 218 217 - 218: Label - 222: 7(fvec4) Load 9(color) - 223: 6(float) CompositeExtract 222 2 - 224: 16(bool) FOrdLessThan 223 186 - SelectionMerge 226 None - BranchConditional 224 225 232 - 225: Label - 227: 7(fvec4) Load 9(color) - 228: 6(float) CompositeExtract 227 0 - 229: 6(float) FAdd 228 84 - 230: 7(fvec4) Load 9(color) - 231: 7(fvec4) CompositeInsert 229 230 0 - Store 9(color) 231 - Branch 226 - 232: Label - 233: 7(fvec4) Load 9(color) - 234: 6(float) CompositeExtract 233 1 - 235: 6(float) FAdd 234 84 - 236: 7(fvec4) Load 9(color) - 237: 7(fvec4) CompositeInsert 235 236 1 - Store 9(color) 237 - Branch 226 - 226: Label - 238: 127(int) Load 215(i) - 239: 127(int) IAdd 238 144 - Store 215(i) 239 - Branch 216 - 217: Label - Store 240(i) 130 - Branch 241 - 241: Label - 244: 127(int) Load 240(i) - 245: 16(bool) SLessThan 244 167 - LoopMerge 242 None - BranchConditional 245 243 242 - 243: Label - 246: 6(float) Load 97(d3) - 247: 7(fvec4) Load 9(color) - 248: 6(float) CompositeExtract 247 2 - 249: 6(float) FAdd 248 246 - 250: 7(fvec4) Load 9(color) - 251: 7(fvec4) CompositeInsert 249 250 2 - Store 9(color) 251 + 209: 6(float) CompositeExtract 208 2 + 210: 7(fvec4) Load 9(color) + 211: 6(float) CompositeExtract 210 1 + 212: 16(bool) FOrdGreaterThan 209 211 + SelectionMerge 214 None + BranchConditional 212 213 214 + 213: Label + Branch 214 + 214: Label + Branch 207 + 207: Label + 215: 129(int) Load 179(i) + 216: 129(int) IAdd 215 146 + Store 179(i) 216 + Branch 180 + 181: Label + Store 217(i) 132 + Branch 218 + 218: Label + 221: 129(int) Load 217(i) + 223: 16(bool) SLessThan 221 222 + LoopMerge 219 None + BranchConditional 223 220 219 + 220: Label + 224: 7(fvec4) Load 9(color) + 225: 6(float) CompositeExtract 224 2 + 226: 16(bool) FOrdLessThan 225 188 + SelectionMerge 228 None + BranchConditional 226 227 234 + 227: Label + 229: 7(fvec4) Load 9(color) + 230: 6(float) CompositeExtract 229 0 + 231: 6(float) FAdd 230 84 + 232: 7(fvec4) Load 9(color) + 233: 7(fvec4) CompositeInsert 231 232 0 + Store 9(color) 233 + Branch 228 + 234: Label + 235: 7(fvec4) Load 9(color) + 236: 6(float) CompositeExtract 235 1 + 237: 6(float) FAdd 236 84 + 238: 7(fvec4) Load 9(color) + 239: 7(fvec4) CompositeInsert 237 238 1 + Store 9(color) 239 + Branch 228 + 228: Label + 240: 129(int) Load 217(i) + 241: 129(int) IAdd 240 146 + Store 217(i) 241 + Branch 218 + 219: Label + Store 242(i) 132 + Branch 243 + 243: Label + 246: 129(int) Load 242(i) + 247: 16(bool) SLessThan 246 169 + LoopMerge 244 None + BranchConditional 247 245 244 + 245: Label + 248: 6(float) Load 99(d3) + 249: 7(fvec4) Load 9(color) + 250: 6(float) CompositeExtract 249 2 + 251: 6(float) FAdd 250 248 252: 7(fvec4) Load 9(color) - 253: 6(float) CompositeExtract 252 0 - 254: 6(float) Load 118(d4) - 255: 16(bool) FOrdLessThan 253 254 - SelectionMerge 257 None - BranchConditional 255 256 257 - 256: Label - 258: 127(int) Load 240(i) - 259: 127(int) IAdd 258 144 - Store 240(i) 259 - Branch 241 - 257: Label - 261: 7(fvec4) Load 9(color) - 262: 6(float) CompositeExtract 261 3 - 263: 6(float) FAdd 262 84 - 264: 7(fvec4) Load 9(color) - 265: 7(fvec4) CompositeInsert 263 264 3 - Store 9(color) 265 - 266: 127(int) Load 240(i) - 267: 127(int) IAdd 266 144 - Store 240(i) 267 - Branch 241 - 242: Label - Store 268(i) 130 - Branch 269 - 269: Label - 272: 127(int) Load 268(i) - 273: 16(bool) SLessThan 272 167 - LoopMerge 270 None - BranchConditional 273 271 270 - 271: Label - 274: 6(float) Load 97(d3) - 275: 7(fvec4) Load 9(color) - 276: 6(float) CompositeExtract 275 2 - 277: 6(float) FAdd 276 274 - 278: 7(fvec4) Load 9(color) - 279: 7(fvec4) CompositeInsert 277 278 2 - Store 9(color) 279 + 253: 7(fvec4) CompositeInsert 251 252 2 + Store 9(color) 253 + 254: 7(fvec4) Load 9(color) + 255: 6(float) CompositeExtract 254 0 + 256: 6(float) Load 120(d4) + 257: 16(bool) FOrdLessThan 255 256 + SelectionMerge 259 None + BranchConditional 257 258 259 + 258: Label + 260: 129(int) Load 242(i) + 261: 129(int) IAdd 260 146 + Store 242(i) 261 + Branch 243 + 259: Label + 263: 7(fvec4) Load 9(color) + 264: 6(float) CompositeExtract 263 3 + 265: 6(float) FAdd 264 84 + 266: 7(fvec4) Load 9(color) + 267: 7(fvec4) CompositeInsert 265 266 3 + Store 9(color) 267 + 268: 129(int) Load 242(i) + 269: 129(int) IAdd 268 146 + Store 242(i) 269 + Branch 243 + 244: Label + Store 270(i) 132 + Branch 271 + 271: Label + 274: 129(int) Load 270(i) + 275: 16(bool) SLessThan 274 169 + LoopMerge 272 None + BranchConditional 275 273 272 + 273: Label + 276: 6(float) Load 99(d3) + 277: 7(fvec4) Load 9(color) + 278: 6(float) CompositeExtract 277 2 + 279: 6(float) FAdd 278 276 280: 7(fvec4) Load 9(color) - 281: 6(float) CompositeExtract 280 0 - 282: 6(float) Load 118(d4) - 283: 16(bool) FOrdLessThan 281 282 - SelectionMerge 285 None - BranchConditional 283 284 285 - 284: Label - Branch 270 - 285: Label - 287: 7(fvec4) Load 9(color) - 288: 6(float) CompositeExtract 287 3 - 289: 6(float) FAdd 288 84 - 290: 7(fvec4) Load 9(color) - 291: 7(fvec4) CompositeInsert 289 290 3 - Store 9(color) 291 - 292: 127(int) Load 268(i) - 293: 127(int) IAdd 292 144 - Store 268(i) 293 - Branch 269 - 270: Label - Branch 294 - 294: Label - 297: 16(bool) Phi 17 270 161 313 161 321 - LoopMerge 295 None - Branch 298 - 298: Label - SelectionMerge 296 None - BranchConditional 297 296 299 - 299: Label - 300: 7(fvec4) Load 9(color) - 301: 6(float) CompositeExtract 300 2 - 302: 6(float) Load 118(d4) - 303: 16(bool) FOrdLessThan 301 302 - SelectionMerge 304 None - BranchConditional 303 304 295 - 304: Label - Branch 296 + 281: 7(fvec4) CompositeInsert 279 280 2 + Store 9(color) 281 + 282: 7(fvec4) Load 9(color) + 283: 6(float) CompositeExtract 282 0 + 284: 6(float) Load 120(d4) + 285: 16(bool) FOrdLessThan 283 284 + SelectionMerge 287 None + BranchConditional 285 286 287 + 286: Label + Branch 272 + 287: Label + 289: 7(fvec4) Load 9(color) + 290: 6(float) CompositeExtract 289 3 + 291: 6(float) FAdd 290 84 + 292: 7(fvec4) Load 9(color) + 293: 7(fvec4) CompositeInsert 291 292 3 + Store 9(color) 293 + 294: 129(int) Load 270(i) + 295: 129(int) IAdd 294 146 + Store 270(i) 295 + Branch 271 + 272: Label + Branch 296 296: Label - 306: 7(fvec4) Load 305(bigColor4) - 307: 7(fvec4) Load 9(color) - 308: 7(fvec4) FAdd 307 306 - Store 9(color) 308 + 299: 16(bool) Phi 17 272 163 315 163 323 + LoopMerge 297 None + Branch 300 + 300: Label + SelectionMerge 298 None + BranchConditional 299 298 301 + 301: Label + 302: 7(fvec4) Load 9(color) + 303: 6(float) CompositeExtract 302 2 + 304: 6(float) Load 120(d4) + 305: 16(bool) FOrdLessThan 303 304 + SelectionMerge 306 None + BranchConditional 305 306 297 + 306: Label + Branch 298 + 298: Label + 308: 7(fvec4) Load 307(bigColor4) 309: 7(fvec4) Load 9(color) - 310: 6(float) CompositeExtract 309 0 - 311: 6(float) Load 118(d4) - 312: 16(bool) FOrdLessThan 310 311 - SelectionMerge 314 None - BranchConditional 312 313 314 - 313: Label - Branch 294 - 314: Label - 316: 7(fvec4) Load 9(color) - 317: 6(float) CompositeExtract 316 1 - 318: 6(float) Load 118(d4) - 319: 16(bool) FOrdLessThan 317 318 - SelectionMerge 321 None - BranchConditional 319 320 328 - 320: Label - 322: 6(float) Load 118(d4) - 323: 7(fvec4) Load 9(color) - 324: 6(float) CompositeExtract 323 1 - 325: 6(float) FAdd 324 322 - 326: 7(fvec4) Load 9(color) - 327: 7(fvec4) CompositeInsert 325 326 1 - Store 9(color) 327 - Branch 321 - 328: Label - 329: 6(float) Load 118(d4) - 330: 7(fvec4) Load 9(color) - 331: 6(float) CompositeExtract 330 0 - 332: 6(float) FAdd 331 329 - 333: 7(fvec4) Load 9(color) - 334: 7(fvec4) CompositeInsert 332 333 0 - Store 9(color) 334 - Branch 321 - 321: Label - Branch 294 - 295: Label - Branch 335 - 335: Label - 338: 16(bool) Phi 17 295 161 356 - LoopMerge 336 None - Branch 339 - 339: Label - SelectionMerge 337 None - BranchConditional 338 337 340 - 340: Label - 341: 7(fvec4) Load 9(color) - 342: 6(float) CompositeExtract 341 0 - 344: 6(float) Load 343(d5) - 345: 16(bool) FOrdLessThan 342 344 - SelectionMerge 346 None - BranchConditional 345 346 336 - 346: Label - Branch 337 + 310: 7(fvec4) FAdd 309 308 + Store 9(color) 310 + 311: 7(fvec4) Load 9(color) + 312: 6(float) CompositeExtract 311 0 + 313: 6(float) Load 120(d4) + 314: 16(bool) FOrdLessThan 312 313 + SelectionMerge 316 None + BranchConditional 314 315 316 + 315: Label + Branch 296 + 316: Label + 318: 7(fvec4) Load 9(color) + 319: 6(float) CompositeExtract 318 1 + 320: 6(float) Load 120(d4) + 321: 16(bool) FOrdLessThan 319 320 + SelectionMerge 323 None + BranchConditional 321 322 330 + 322: Label + 324: 6(float) Load 120(d4) + 325: 7(fvec4) Load 9(color) + 326: 6(float) CompositeExtract 325 1 + 327: 6(float) FAdd 326 324 + 328: 7(fvec4) Load 9(color) + 329: 7(fvec4) CompositeInsert 327 328 1 + Store 9(color) 329 + Branch 323 + 330: Label + 331: 6(float) Load 120(d4) + 332: 7(fvec4) Load 9(color) + 333: 6(float) CompositeExtract 332 0 + 334: 6(float) FAdd 333 331 + 335: 7(fvec4) Load 9(color) + 336: 7(fvec4) CompositeInsert 334 335 0 + Store 9(color) 336 + Branch 323 + 323: Label + Branch 296 + 297: Label + Branch 337 337: Label - 348: 7(fvec4) Load 347(bigColor5) - 349: 7(fvec4) Load 9(color) - 350: 7(fvec4) FAdd 349 348 - Store 9(color) 350 + 340: 16(bool) Phi 17 297 163 358 + LoopMerge 338 None + Branch 341 + 341: Label + SelectionMerge 339 None + BranchConditional 340 339 342 + 342: Label + 343: 7(fvec4) Load 9(color) + 344: 6(float) CompositeExtract 343 0 + 346: 6(float) Load 345(d5) + 347: 16(bool) FOrdLessThan 344 346 + SelectionMerge 348 None + BranchConditional 347 348 338 + 348: Label + Branch 339 + 339: Label + 350: 7(fvec4) Load 349(bigColor5) 351: 7(fvec4) Load 9(color) - 352: 6(float) CompositeExtract 351 1 - 353: 6(float) Load 343(d5) - 354: 16(bool) FOrdLessThan 352 353 - SelectionMerge 356 None - BranchConditional 354 355 356 - 355: Label - 357: 6(float) Load 343(d5) - 358: 7(fvec4) Load 9(color) - 359: 6(float) CompositeExtract 358 1 - 360: 6(float) FAdd 359 357 - 361: 7(fvec4) Load 9(color) - 362: 7(fvec4) CompositeInsert 360 361 1 - Store 9(color) 362 - Branch 356 - 356: Label - Branch 335 - 336: Label - 363: 7(fvec4) Load 9(color) - 364: 6(float) CompositeExtract 363 0 - 366: 6(float) Load 365(d6) - 367: 16(bool) FOrdLessThan 364 366 - SelectionMerge 369 None - BranchConditional 367 368 381 - 368: Label - Branch 370 + 352: 7(fvec4) FAdd 351 350 + Store 9(color) 352 + 353: 7(fvec4) Load 9(color) + 354: 6(float) CompositeExtract 353 1 + 355: 6(float) Load 345(d5) + 356: 16(bool) FOrdLessThan 354 355 + SelectionMerge 358 None + BranchConditional 356 357 358 + 357: Label + 359: 6(float) Load 345(d5) + 360: 7(fvec4) Load 9(color) + 361: 6(float) CompositeExtract 360 1 + 362: 6(float) FAdd 361 359 + 363: 7(fvec4) Load 9(color) + 364: 7(fvec4) CompositeInsert 362 363 1 + Store 9(color) 364 + Branch 358 + 358: Label + Branch 337 + 338: Label + 365: 7(fvec4) Load 9(color) + 366: 6(float) CompositeExtract 365 0 + 368: 6(float) Load 367(d6) + 369: 16(bool) FOrdLessThan 366 368 + SelectionMerge 371 None + BranchConditional 369 370 383 370: Label - 373: 7(fvec4) Load 9(color) - 374: 6(float) CompositeExtract 373 1 - 375: 6(float) Load 365(d6) - 376: 16(bool) FOrdLessThan 374 375 - LoopMerge 371 None - BranchConditional 376 372 371 - 372: Label - 378: 7(fvec4) Load 377(bigColor6) - 379: 7(fvec4) Load 9(color) - 380: 7(fvec4) FAdd 379 378 - Store 9(color) 380 - Branch 370 - 371: Label - Branch 369 - 381: Label - Branch 382 - 382: Label - 385: 7(fvec4) Load 9(color) - 386: 6(float) CompositeExtract 385 2 - 387: 6(float) Load 365(d6) - 388: 16(bool) FOrdLessThan 386 387 - LoopMerge 383 None - BranchConditional 388 384 383 - 384: Label - 389: 7(fvec4) Load 377(bigColor6) - 390: 6(float) CompositeExtract 389 2 - 391: 7(fvec4) Load 9(color) - 392: 6(float) CompositeExtract 391 2 - 393: 6(float) FAdd 392 390 - 394: 7(fvec4) Load 9(color) - 395: 7(fvec4) CompositeInsert 393 394 2 - Store 9(color) 395 - Branch 382 + Branch 372 + 372: Label + 375: 7(fvec4) Load 9(color) + 376: 6(float) CompositeExtract 375 1 + 377: 6(float) Load 367(d6) + 378: 16(bool) FOrdLessThan 376 377 + LoopMerge 373 None + BranchConditional 378 374 373 + 374: Label + 380: 7(fvec4) Load 379(bigColor6) + 381: 7(fvec4) Load 9(color) + 382: 7(fvec4) FAdd 381 380 + Store 9(color) 382 + Branch 372 + 373: Label + Branch 371 383: Label - Branch 369 - 369: Label - 396: 7(fvec4) Load 9(color) - 397: 6(float) CompositeExtract 396 0 - 398: 6(float) Load 365(d6) - 399: 16(bool) FOrdLessThan 397 398 - SelectionMerge 401 None - BranchConditional 399 400 418 - 400: Label - Branch 402 + Branch 384 + 384: Label + 387: 7(fvec4) Load 9(color) + 388: 6(float) CompositeExtract 387 2 + 389: 6(float) Load 367(d6) + 390: 16(bool) FOrdLessThan 388 389 + LoopMerge 385 None + BranchConditional 390 386 385 + 386: Label + 391: 7(fvec4) Load 379(bigColor6) + 392: 6(float) CompositeExtract 391 2 + 393: 7(fvec4) Load 9(color) + 394: 6(float) CompositeExtract 393 2 + 395: 6(float) FAdd 394 392 + 396: 7(fvec4) Load 9(color) + 397: 7(fvec4) CompositeInsert 395 396 2 + Store 9(color) 397 + Branch 384 + 385: Label + Branch 371 + 371: Label + 398: 7(fvec4) Load 9(color) + 399: 6(float) CompositeExtract 398 0 + 400: 6(float) Load 367(d6) + 401: 16(bool) FOrdLessThan 399 400 + SelectionMerge 403 None + BranchConditional 401 402 420 402: Label - 405: 7(fvec4) Load 9(color) - 406: 6(float) CompositeExtract 405 1 - 407: 6(float) Load 365(d6) - 408: 16(bool) FOrdLessThan 406 407 - LoopMerge 403 None - BranchConditional 408 404 403 - 404: Label - 409: 7(fvec4) Load 377(bigColor6) - 410: 7(fvec4) Load 9(color) - 411: 7(fvec4) FAdd 410 409 - Store 9(color) 411 - 413: 6(float) Load 412(d7) - 414: 16(bool) FOrdLessThan 413 84 - SelectionMerge 416 None - BranchConditional 414 415 416 - 415: Label - Branch 403 - 416: Label - Branch 402 - 403: Label - Branch 401 - 418: Label - Branch 419 - 419: Label - 422: 7(fvec4) Load 9(color) - 423: 6(float) CompositeExtract 422 2 - 424: 6(float) Load 365(d6) - 425: 16(bool) FOrdLessThan 423 424 - LoopMerge 420 None - BranchConditional 425 421 420 - 421: Label - 426: 7(fvec4) Load 377(bigColor6) - 427: 6(float) CompositeExtract 426 2 - 428: 7(fvec4) Load 9(color) - 429: 6(float) CompositeExtract 428 2 - 430: 6(float) FAdd 429 427 - 431: 7(fvec4) Load 9(color) - 432: 7(fvec4) CompositeInsert 430 431 2 - Store 9(color) 432 - Branch 419 + Branch 404 + 404: Label + 407: 7(fvec4) Load 9(color) + 408: 6(float) CompositeExtract 407 1 + 409: 6(float) Load 367(d6) + 410: 16(bool) FOrdLessThan 408 409 + LoopMerge 405 None + BranchConditional 410 406 405 + 406: Label + 411: 7(fvec4) Load 379(bigColor6) + 412: 7(fvec4) Load 9(color) + 413: 7(fvec4) FAdd 412 411 + Store 9(color) 413 + 415: 6(float) Load 414(d7) + 416: 16(bool) FOrdLessThan 415 84 + SelectionMerge 418 None + BranchConditional 416 417 418 + 417: Label + Branch 405 + 418: Label + Branch 404 + 405: Label + Branch 403 420: Label - Branch 401 - 401: Label - Branch 433 - 433: Label - 436: 16(bool) Phi 17 401 161 453 - LoopMerge 434 None - Branch 437 - 437: Label - SelectionMerge 435 None - BranchConditional 436 435 438 - 438: Label - SelectionMerge 439 None - BranchConditional 17 439 434 - 439: Label - Branch 435 + Branch 421 + 421: Label + 424: 7(fvec4) Load 9(color) + 425: 6(float) CompositeExtract 424 2 + 426: 6(float) Load 367(d6) + 427: 16(bool) FOrdLessThan 425 426 + LoopMerge 422 None + BranchConditional 427 423 422 + 423: Label + 428: 7(fvec4) Load 379(bigColor6) + 429: 6(float) CompositeExtract 428 2 + 430: 7(fvec4) Load 9(color) + 431: 6(float) CompositeExtract 430 2 + 432: 6(float) FAdd 431 429 + 433: 7(fvec4) Load 9(color) + 434: 7(fvec4) CompositeInsert 432 433 2 + Store 9(color) 434 + Branch 421 + 422: Label + Branch 403 + 403: Label + Branch 435 435: Label - 440: 6(float) Load 412(d7) - 442: 16(bool) FOrdLessThan 440 441 - SelectionMerge 444 None - BranchConditional 442 443 444 - 443: Label - Branch 434 - 444: Label - 447: 7(fvec4) Load 446(bigColor7) - 448: 7(fvec4) Load 9(color) - 449: 7(fvec4) FAdd 448 447 - Store 9(color) 449 - 450: 6(float) Load 412(d7) - 451: 16(bool) FOrdLessThan 450 84 - SelectionMerge 453 None - BranchConditional 451 452 453 - 452: Label - 454: 7(fvec4) Load 9(color) - 455: 6(float) CompositeExtract 454 2 - 456: 6(float) FAdd 455 84 - 457: 7(fvec4) Load 9(color) - 458: 7(fvec4) CompositeInsert 456 457 2 - Store 9(color) 458 - Branch 434 - 453: Label - 460: 7(fvec4) Load 11(BaseColor) - 461: 7(fvec4) Load 9(color) - 462: 7(fvec4) FAdd 461 460 - Store 9(color) 462 - Branch 433 - 434: Label - Branch 463 - 463: Label - 466: 16(bool) Phi 17 434 161 486 - LoopMerge 464 None - Branch 467 - 467: Label - SelectionMerge 465 None - BranchConditional 466 465 468 - 468: Label - 469: 7(fvec4) Load 9(color) - 470: 6(float) CompositeExtract 469 2 - 472: 6(float) Load 471(d8) - 473: 16(bool) FOrdLessThan 470 472 - SelectionMerge 474 None - BranchConditional 473 474 464 - 474: Label - Branch 465 + 438: 16(bool) Phi 17 403 163 455 + LoopMerge 436 None + Branch 439 + 439: Label + SelectionMerge 437 None + BranchConditional 438 437 440 + 440: Label + SelectionMerge 441 None + BranchConditional 17 441 436 + 441: Label + Branch 437 + 437: Label + 442: 6(float) Load 414(d7) + 444: 16(bool) FOrdLessThan 442 443 + SelectionMerge 446 None + BranchConditional 444 445 446 + 445: Label + Branch 436 + 446: Label + 449: 7(fvec4) Load 448(bigColor7) + 450: 7(fvec4) Load 9(color) + 451: 7(fvec4) FAdd 450 449 + Store 9(color) 451 + 452: 6(float) Load 414(d7) + 453: 16(bool) FOrdLessThan 452 84 + SelectionMerge 455 None + BranchConditional 453 454 455 + 454: Label + 456: 7(fvec4) Load 9(color) + 457: 6(float) CompositeExtract 456 2 + 458: 6(float) FAdd 457 84 + 459: 7(fvec4) Load 9(color) + 460: 7(fvec4) CompositeInsert 458 459 2 + Store 9(color) 460 + Branch 436 + 455: Label + 462: 7(fvec4) Load 11(BaseColor) + 463: 7(fvec4) Load 9(color) + 464: 7(fvec4) FAdd 463 462 + Store 9(color) 464 + Branch 435 + 436: Label + Branch 465 465: Label - 475: 6(float) Load 471(d8) - 476: 16(bool) FOrdLessThan 475 441 - SelectionMerge 478 None - BranchConditional 476 477 478 - 477: Label - Branch 464 - 478: Label - 480: 7(fvec4) Load 446(bigColor7) - 481: 7(fvec4) Load 9(color) - 482: 7(fvec4) FAdd 481 480 - Store 9(color) 482 - 483: 6(float) Load 471(d8) - 484: 16(bool) FOrdLessThan 483 84 - SelectionMerge 486 None - BranchConditional 484 485 486 - 485: Label - 487: 7(fvec4) Load 9(color) - 488: 6(float) CompositeExtract 487 2 - 489: 6(float) FAdd 488 84 - 490: 7(fvec4) Load 9(color) - 491: 7(fvec4) CompositeInsert 489 490 2 - Store 9(color) 491 - 492: 6(float) Load 471(d8) - 494: 16(bool) FOrdLessThan 492 493 - SelectionMerge 496 None - BranchConditional 494 495 502 - 495: Label - 497: 7(fvec4) Load 9(color) - 498: 6(float) CompositeExtract 497 1 - 499: 6(float) FAdd 498 84 - 500: 7(fvec4) Load 9(color) - 501: 7(fvec4) CompositeInsert 499 500 1 - Store 9(color) 501 - Branch 496 - 502: Label - 503: 7(fvec4) Load 9(color) - 504: 6(float) CompositeExtract 503 0 - 505: 6(float) FAdd 504 84 - 506: 7(fvec4) Load 9(color) - 507: 7(fvec4) CompositeInsert 505 506 0 - Store 9(color) 507 - Branch 496 - 496: Label - Branch 464 - 486: Label - 509: 7(fvec4) Load 11(BaseColor) - 510: 7(fvec4) Load 9(color) - 511: 7(fvec4) FAdd 510 509 - Store 9(color) 511 - Branch 463 - 464: Label - Branch 512 - 512: Label - 515: 7(fvec4) Load 9(color) - 516: 6(float) CompositeExtract 515 3 - 518: 6(float) Load 517(d9) - 519: 16(bool) FOrdLessThan 516 518 - LoopMerge 513 None - BranchConditional 519 514 513 - 514: Label - 520: 6(float) Load 517(d9) - 521: 6(float) Load 471(d8) - 522: 16(bool) FOrdGreaterThan 520 521 - SelectionMerge 524 None - BranchConditional 522 523 524 - 523: Label - 525: 7(fvec4) Load 9(color) - 526: 6(float) CompositeExtract 525 0 - 527: 6(float) Load 412(d7) - 528: 16(bool) FOrdLessThanEqual 526 527 - SelectionMerge 530 None - BranchConditional 528 529 530 - 529: Label - 531: 7(fvec4) Load 9(color) - 532: 6(float) CompositeExtract 531 2 - 534: 16(bool) FOrdEqual 532 533 - SelectionMerge 536 None - BranchConditional 534 535 542 - 535: Label - 537: 7(fvec4) Load 9(color) - 538: 6(float) CompositeExtract 537 3 - 539: 6(float) FAdd 538 84 - 540: 7(fvec4) Load 9(color) - 541: 7(fvec4) CompositeInsert 539 540 3 - Store 9(color) 541 - Branch 536 - 542: Label - Branch 513 - 536: Label - Branch 530 - 530: Label - Branch 524 - 524: Label - Branch 512 - 513: Label - Branch 544 - 544: Label - 547: 7(fvec4) Load 9(color) - 548: 6(float) CompositeExtract 547 2 - 550: 6(float) Load 549(d10) - 551: 16(bool) FOrdLessThan 548 550 - LoopMerge 545 None - BranchConditional 551 546 545 - 546: Label - 552: 7(fvec4) Load 9(color) - 553: 6(float) CompositeExtract 552 1 - 554: 6(float) FAdd 553 84 - 555: 7(fvec4) Load 9(color) - 556: 7(fvec4) CompositeInsert 554 555 1 - Store 9(color) 556 + 468: 16(bool) Phi 17 436 163 488 + LoopMerge 466 None + Branch 469 + 469: Label + SelectionMerge 467 None + BranchConditional 468 467 470 + 470: Label + 471: 7(fvec4) Load 9(color) + 472: 6(float) CompositeExtract 471 2 + 474: 6(float) Load 473(d8) + 475: 16(bool) FOrdLessThan 472 474 + SelectionMerge 476 None + BranchConditional 475 476 466 + 476: Label + Branch 467 + 467: Label + 477: 6(float) Load 473(d8) + 478: 16(bool) FOrdLessThan 477 443 + SelectionMerge 480 None + BranchConditional 478 479 480 + 479: Label + Branch 466 + 480: Label + 482: 7(fvec4) Load 448(bigColor7) + 483: 7(fvec4) Load 9(color) + 484: 7(fvec4) FAdd 483 482 + Store 9(color) 484 + 485: 6(float) Load 473(d8) + 486: 16(bool) FOrdLessThan 485 84 + SelectionMerge 488 None + BranchConditional 486 487 488 + 487: Label + 489: 7(fvec4) Load 9(color) + 490: 6(float) CompositeExtract 489 2 + 491: 6(float) FAdd 490 84 + 492: 7(fvec4) Load 9(color) + 493: 7(fvec4) CompositeInsert 491 492 2 + Store 9(color) 493 + 494: 6(float) Load 473(d8) + 496: 16(bool) FOrdLessThan 494 495 + SelectionMerge 498 None + BranchConditional 496 497 504 + 497: Label + 499: 7(fvec4) Load 9(color) + 500: 6(float) CompositeExtract 499 1 + 501: 6(float) FAdd 500 84 + 502: 7(fvec4) Load 9(color) + 503: 7(fvec4) CompositeInsert 501 502 1 + Store 9(color) 503 + Branch 498 + 504: Label + 505: 7(fvec4) Load 9(color) + 506: 6(float) CompositeExtract 505 0 + 507: 6(float) FAdd 506 84 + 508: 7(fvec4) Load 9(color) + 509: 7(fvec4) CompositeInsert 507 508 0 + Store 9(color) 509 + Branch 498 + 498: Label + Branch 466 + 488: Label + 511: 7(fvec4) Load 11(BaseColor) + 512: 7(fvec4) Load 9(color) + 513: 7(fvec4) FAdd 512 511 + Store 9(color) 513 + Branch 465 + 466: Label + Branch 514 + 514: Label + 517: 7(fvec4) Load 9(color) + 518: 6(float) CompositeExtract 517 3 + 520: 6(float) Load 519(d9) + 521: 16(bool) FOrdLessThan 518 520 + LoopMerge 515 None + BranchConditional 521 516 515 + 516: Label + 522: 6(float) Load 519(d9) + 523: 6(float) Load 473(d8) + 524: 16(bool) FOrdGreaterThan 522 523 + SelectionMerge 526 None + BranchConditional 524 525 526 + 525: Label + 527: 7(fvec4) Load 9(color) + 528: 6(float) CompositeExtract 527 0 + 529: 6(float) Load 414(d7) + 530: 16(bool) FOrdLessThanEqual 528 529 + SelectionMerge 532 None + BranchConditional 530 531 532 + 531: Label + 533: 7(fvec4) Load 9(color) + 534: 6(float) CompositeExtract 533 2 + 536: 16(bool) FOrdEqual 534 535 + SelectionMerge 538 None + BranchConditional 536 537 544 + 537: Label + 539: 7(fvec4) Load 9(color) + 540: 6(float) CompositeExtract 539 3 + 541: 6(float) FAdd 540 84 + 542: 7(fvec4) Load 9(color) + 543: 7(fvec4) CompositeInsert 541 542 3 + Store 9(color) 543 + Branch 538 + 544: Label + Branch 515 + 538: Label + Branch 532 + 532: Label + Branch 526 + 526: Label + Branch 514 + 515: Label + Branch 546 + 546: Label + 549: 7(fvec4) Load 9(color) + 550: 6(float) CompositeExtract 549 2 + 552: 6(float) Load 551(d10) + 553: 16(bool) FOrdLessThan 550 552 + LoopMerge 547 None + BranchConditional 553 548 547 + 548: Label + 554: 7(fvec4) Load 9(color) + 555: 6(float) CompositeExtract 554 1 + 556: 6(float) FAdd 555 84 557: 7(fvec4) Load 9(color) - 558: 6(float) CompositeExtract 557 1 - 560: 6(float) Load 559(d11) - 561: 16(bool) FOrdLessThan 558 560 - SelectionMerge 563 None - BranchConditional 561 562 563 - 562: Label - 564: 7(fvec4) Load 9(color) - 565: 6(float) CompositeExtract 564 2 - 566: 6(float) FAdd 565 84 - 567: 7(fvec4) Load 9(color) - 568: 7(fvec4) CompositeInsert 566 567 2 - Store 9(color) 568 + 558: 7(fvec4) CompositeInsert 556 557 1 + Store 9(color) 558 + 559: 7(fvec4) Load 9(color) + 560: 6(float) CompositeExtract 559 1 + 562: 6(float) Load 561(d11) + 563: 16(bool) FOrdLessThan 560 562 + SelectionMerge 565 None + BranchConditional 563 564 565 + 564: Label + 566: 7(fvec4) Load 9(color) + 567: 6(float) CompositeExtract 566 2 + 568: 6(float) FAdd 567 84 569: 7(fvec4) Load 9(color) - 570: 6(float) CompositeExtract 569 3 - 572: 6(float) Load 571(d12) - 573: 16(bool) FOrdLessThan 570 572 - SelectionMerge 575 None - BranchConditional 573 574 581 - 574: Label - 576: 7(fvec4) Load 9(color) - 577: 6(float) CompositeExtract 576 3 - 578: 6(float) FAdd 577 84 - 579: 7(fvec4) Load 9(color) - 580: 7(fvec4) CompositeInsert 578 579 3 - Store 9(color) 580 - Branch 575 - 581: Label - 582: 7(fvec4) Load 9(color) - 583: 6(float) CompositeExtract 582 0 - 584: 6(float) FAdd 583 84 - 585: 7(fvec4) Load 9(color) - 586: 7(fvec4) CompositeInsert 584 585 0 - Store 9(color) 586 - Branch 575 - 575: Label - Branch 544 - 563: Label - 588: 7(fvec4) Load 9(color) - 589: 7(fvec4) CompositeConstruct 84 84 84 84 - 590: 7(fvec4) FAdd 588 589 - Store 9(color) 590 - Branch 545 - 545: Label - Branch 592 - 592: Label - 595: 7(fvec4) Load 9(color) - 596: 6(float) CompositeExtract 595 0 - 598: 16(bool) FOrdLessThan 596 597 - LoopMerge 593 None - BranchConditional 598 594 593 - 594: Label - 600: 7(fvec4) Load 599(bigColor8) - 601: 7(fvec4) Load 9(color) - 602: 7(fvec4) FAdd 601 600 - Store 9(color) 602 + 570: 7(fvec4) CompositeInsert 568 569 2 + Store 9(color) 570 + 571: 7(fvec4) Load 9(color) + 572: 6(float) CompositeExtract 571 3 + 574: 6(float) Load 573(d12) + 575: 16(bool) FOrdLessThan 572 574 + SelectionMerge 577 None + BranchConditional 575 576 583 + 576: Label + 578: 7(fvec4) Load 9(color) + 579: 6(float) CompositeExtract 578 3 + 580: 6(float) FAdd 579 84 + 581: 7(fvec4) Load 9(color) + 582: 7(fvec4) CompositeInsert 580 581 3 + Store 9(color) 582 + Branch 577 + 583: Label + 584: 7(fvec4) Load 9(color) + 585: 6(float) CompositeExtract 584 0 + 586: 6(float) FAdd 585 84 + 587: 7(fvec4) Load 9(color) + 588: 7(fvec4) CompositeInsert 586 587 0 + Store 9(color) 588 + Branch 577 + 577: Label + Branch 546 + 565: Label + 590: 7(fvec4) Load 9(color) + 591: 7(fvec4) CompositeConstruct 84 84 84 84 + 592: 7(fvec4) FAdd 590 591 + Store 9(color) 592 + Branch 547 + 547: Label + Branch 594 + 594: Label + 597: 7(fvec4) Load 9(color) + 598: 6(float) CompositeExtract 597 0 + 600: 16(bool) FOrdLessThan 598 599 + LoopMerge 595 None + BranchConditional 600 596 595 + 596: Label + 602: 7(fvec4) Load 601(bigColor8) 603: 7(fvec4) Load 9(color) - 604: 6(float) CompositeExtract 603 2 - 605: 6(float) Load 471(d8) - 606: 16(bool) FOrdLessThan 604 605 - SelectionMerge 608 None - BranchConditional 606 607 608 - 607: Label - 609: 7(fvec4) Load 9(color) - 610: 6(float) CompositeExtract 609 3 - 611: 6(float) Load 365(d6) - 612: 16(bool) FOrdLessThan 610 611 - SelectionMerge 614 None - BranchConditional 612 613 614 - 613: Label - Branch 592 - 614: Label - Branch 608 - 608: Label - 616: 7(fvec4) Load 599(bigColor8) - 617: 6(float) CompositeExtract 616 0 - 618: 7(fvec4) Load 9(color) - 619: 6(float) CompositeExtract 618 1 - 620: 6(float) FAdd 619 617 - 621: 7(fvec4) Load 9(color) - 622: 7(fvec4) CompositeInsert 620 621 1 - Store 9(color) 622 - Branch 592 - 593: Label - 623: 7(fvec4) Load 9(color) - 624: 7(fvec4) CompositeConstruct 84 84 84 84 - 625: 7(fvec4) FAdd 623 624 - Store 9(color) 625 - 628: 7(fvec4) Load 9(color) - Store 627(gl_FragColor) 628 - Branch 629 - 629: Label - 632: 7(fvec4) Load 9(color) - 633: 6(float) CompositeExtract 632 0 - 635: 6(float) Load 634(d14) - 636: 16(bool) FOrdLessThan 633 635 - LoopMerge 630 None - BranchConditional 636 631 630 - 631: Label - 637: 7(fvec4) Load 9(color) - 638: 6(float) CompositeExtract 637 1 - 640: 6(float) Load 639(d15) - 641: 16(bool) FOrdLessThan 638 640 - SelectionMerge 643 None - BranchConditional 641 642 645 - 642: Label + 604: 7(fvec4) FAdd 603 602 + Store 9(color) 604 + 605: 7(fvec4) Load 9(color) + 606: 6(float) CompositeExtract 605 2 + 607: 6(float) Load 473(d8) + 608: 16(bool) FOrdLessThan 606 607 + SelectionMerge 610 None + BranchConditional 608 609 610 + 609: Label + 611: 7(fvec4) Load 9(color) + 612: 6(float) CompositeExtract 611 3 + 613: 6(float) Load 367(d6) + 614: 16(bool) FOrdLessThan 612 613 + SelectionMerge 616 None + BranchConditional 614 615 616 + 615: Label + Branch 594 + 616: Label + Branch 610 + 610: Label + 618: 7(fvec4) Load 601(bigColor8) + 619: 6(float) CompositeExtract 618 0 + 620: 7(fvec4) Load 9(color) + 621: 6(float) CompositeExtract 620 1 + 622: 6(float) FAdd 621 619 + 623: 7(fvec4) Load 9(color) + 624: 7(fvec4) CompositeInsert 622 623 1 + Store 9(color) 624 + Branch 594 + 595: Label + 625: 7(fvec4) Load 9(color) + 626: 7(fvec4) CompositeConstruct 84 84 84 84 + 627: 7(fvec4) FAdd 625 626 + Store 9(color) 627 + 630: 7(fvec4) Load 9(color) + Store 629(gl_FragColor) 630 + Branch 631 + 631: Label + 634: 7(fvec4) Load 9(color) + 635: 6(float) CompositeExtract 634 0 + 637: 6(float) Load 636(d14) + 638: 16(bool) FOrdLessThan 635 637 + LoopMerge 632 None + BranchConditional 638 633 632 + 633: Label + 639: 7(fvec4) Load 9(color) + 640: 6(float) CompositeExtract 639 1 + 642: 6(float) Load 641(d15) + 643: 16(bool) FOrdLessThan 640 642 + SelectionMerge 645 None + BranchConditional 643 644 647 + 644: Label Return - 645: Label - 646: 7(fvec4) Load 9(color) - 647: 7(fvec4) CompositeConstruct 84 84 84 84 - 648: 7(fvec4) FAdd 646 647 - Store 9(color) 648 - Branch 643 - 643: Label - Branch 629 - 630: Label - 649: 7(fvec4) Load 9(color) - 650: 7(fvec4) CompositeConstruct 84 84 84 84 - 651: 7(fvec4) FAdd 649 650 - Store 9(color) 651 - Branch 652 - 652: Label - 655: 7(fvec4) Load 9(color) - 656: 6(float) CompositeExtract 655 3 - 658: 6(float) Load 657(d16) - 659: 16(bool) FOrdLessThan 656 658 - LoopMerge 653 None - BranchConditional 659 654 653 - 654: Label - 660: 7(fvec4) Load 9(color) - 661: 6(float) CompositeExtract 660 3 - 662: 6(float) FAdd 661 84 - 663: 7(fvec4) Load 9(color) - 664: 7(fvec4) CompositeInsert 662 663 3 - Store 9(color) 664 - Branch 652 - 653: Label - Branch 665 - 665: Label - 668: 7(fvec4) Load 9(color) - 669: 6(float) CompositeExtract 668 3 - 670: 6(float) Load 92(d2) - 671: 16(bool) FOrdLessThan 669 670 - 672: 7(fvec4) Load 9(color) - 673: 6(float) CompositeExtract 672 1 - 674: 6(float) Load 97(d3) - 675: 16(bool) FOrdLessThan 673 674 - 676: 16(bool) LogicalAnd 671 675 - LoopMerge 666 None - BranchConditional 676 667 666 - 667: Label - 677: 7(fvec4) Load 101(bigColor1_2) - 678: 7(fvec4) Load 9(color) - 679: 7(fvec4) FAdd 678 677 - Store 9(color) 679 - 680: 7(fvec4) Load 9(color) - 681: 6(float) CompositeExtract 680 2 - 682: 6(float) Load 97(d3) - 683: 16(bool) FOrdLessThan 681 682 - SelectionMerge 685 None - BranchConditional 683 684 685 - 684: Label + 647: Label + 648: 7(fvec4) Load 9(color) + 649: 7(fvec4) CompositeConstruct 84 84 84 84 + 650: 7(fvec4) FAdd 648 649 + Store 9(color) 650 + Branch 645 + 645: Label + Branch 631 + 632: Label + 651: 7(fvec4) Load 9(color) + 652: 7(fvec4) CompositeConstruct 84 84 84 84 + 653: 7(fvec4) FAdd 651 652 + Store 9(color) 653 + Branch 654 + 654: Label + 657: 7(fvec4) Load 9(color) + 658: 6(float) CompositeExtract 657 3 + 660: 6(float) Load 659(d16) + 661: 16(bool) FOrdLessThan 658 660 + LoopMerge 655 None + BranchConditional 661 656 655 + 656: Label + 662: 7(fvec4) Load 9(color) + 663: 6(float) CompositeExtract 662 3 + 664: 6(float) FAdd 663 84 + 665: 7(fvec4) Load 9(color) + 666: 7(fvec4) CompositeInsert 664 665 3 + Store 9(color) 666 + Branch 654 + 655: Label + Branch 667 + 667: Label + 670: 7(fvec4) Load 9(color) + 671: 6(float) CompositeExtract 670 3 + 672: 6(float) Load 92(d2) + 673: 16(bool) FOrdLessThan 671 672 + SelectionMerge 675 None + BranchConditional 673 674 675 + 674: Label + 676: 7(fvec4) Load 9(color) + 677: 6(float) CompositeExtract 676 1 + 678: 6(float) Load 99(d3) + 679: 16(bool) FOrdLessThan 677 678 + Branch 675 + 675: Label + 680: 16(bool) Phi 673 667 679 674 + LoopMerge 668 None + BranchConditional 680 669 668 + 669: Label + 681: 7(fvec4) Load 103(bigColor1_2) + 682: 7(fvec4) Load 9(color) + 683: 7(fvec4) FAdd 682 681 + Store 9(color) 683 + 684: 7(fvec4) Load 9(color) + 685: 6(float) CompositeExtract 684 2 + 686: 6(float) Load 99(d3) + 687: 16(bool) FOrdLessThan 685 686 + SelectionMerge 689 None + BranchConditional 687 688 689 + 688: Label Return - 685: Label - Branch 665 - 666: Label - Branch 687 - 687: Label - 690: 16(bool) Phi 17 666 161 705 - LoopMerge 688 None + 689: Label + Branch 667 + 668: Label Branch 691 691: Label - SelectionMerge 689 None - BranchConditional 690 689 692 - 692: Label - 693: 7(fvec4) Load 9(color) - 694: 6(float) CompositeExtract 693 0 - 696: 6(float) Load 695(d17) - 697: 16(bool) FOrdLessThan 694 696 - SelectionMerge 698 None - BranchConditional 697 698 688 - 698: Label - Branch 689 - 689: Label - 699: 7(fvec4) Load 9(color) - 700: 6(float) CompositeExtract 699 1 - 702: 6(float) Load 701(d18) - 703: 16(bool) FOrdLessThan 700 702 - SelectionMerge 705 None - BranchConditional 703 704 705 - 704: Label + 694: 16(bool) Phi 17 668 163 709 + LoopMerge 692 None + Branch 695 + 695: Label + SelectionMerge 693 None + BranchConditional 694 693 696 + 696: Label + 697: 7(fvec4) Load 9(color) + 698: 6(float) CompositeExtract 697 0 + 700: 6(float) Load 699(d17) + 701: 16(bool) FOrdLessThan 698 700 + SelectionMerge 702 None + BranchConditional 701 702 692 + 702: Label + Branch 693 + 693: Label + 703: 7(fvec4) Load 9(color) + 704: 6(float) CompositeExtract 703 1 + 706: 6(float) Load 705(d18) + 707: 16(bool) FOrdLessThan 704 706 + SelectionMerge 709 None + BranchConditional 707 708 709 + 708: Label Return - 705: Label - 707: 7(fvec4) Load 9(color) - 708: 7(fvec4) CompositeConstruct 84 84 84 84 - 709: 7(fvec4) FAdd 707 708 - Store 9(color) 709 - Branch 687 - 688: Label - Branch 710 - 710: Label - 713: 7(fvec4) Load 9(color) - 714: 6(float) CompositeExtract 713 1 - 715: 6(float) Load 657(d16) - 716: 16(bool) FOrdLessThan 714 715 - LoopMerge 711 None - BranchConditional 716 712 711 - 712: Label - 717: 7(fvec4) Load 9(color) - 718: 6(float) CompositeExtract 717 3 - 719: 6(float) Load 657(d16) - 720: 16(bool) FOrdLessThan 718 719 - SelectionMerge 722 None - BranchConditional 720 721 724 - 721: Label + 709: Label + 711: 7(fvec4) Load 9(color) + 712: 7(fvec4) CompositeConstruct 84 84 84 84 + 713: 7(fvec4) FAdd 711 712 + Store 9(color) 713 + Branch 691 + 692: Label + Branch 714 + 714: Label + 717: 7(fvec4) Load 9(color) + 718: 6(float) CompositeExtract 717 1 + 719: 6(float) Load 659(d16) + 720: 16(bool) FOrdLessThan 718 719 + LoopMerge 715 None + BranchConditional 720 716 715 + 716: Label + 721: 7(fvec4) Load 9(color) + 722: 6(float) CompositeExtract 721 3 + 723: 6(float) Load 659(d16) + 724: 16(bool) FOrdLessThan 722 723 + SelectionMerge 726 None + BranchConditional 724 725 728 + 725: Label Kill - 724: Label - 725: 7(fvec4) Load 9(color) - 726: 7(fvec4) CompositeConstruct 84 84 84 84 - 727: 7(fvec4) FAdd 725 726 - Store 9(color) 727 - Branch 722 - 722: Label - Branch 710 - 711: Label - 728: 7(fvec4) Load 9(color) - 729: 7(fvec4) CompositeConstruct 84 84 84 84 - 730: 7(fvec4) FAdd 728 729 - Store 9(color) 730 - 731: 7(fvec4) Load 9(color) - Store 627(gl_FragColor) 731 + 728: Label + 729: 7(fvec4) Load 9(color) + 730: 7(fvec4) CompositeConstruct 84 84 84 84 + 731: 7(fvec4) FAdd 729 730 + Store 9(color) 731 + Branch 726 + 726: Label + Branch 714 + 715: Label + 732: 7(fvec4) Load 9(color) + 733: 7(fvec4) CompositeConstruct 84 84 84 84 + 734: 7(fvec4) FAdd 732 733 + Store 9(color) 734 + 735: 7(fvec4) Load 9(color) + Store 629(gl_FragColor) 735 Return FunctionEnd diff --git a/Test/baseResults/spv.shortCircuit.frag.out b/Test/baseResults/spv.shortCircuit.frag.out new file mode 100644 index 000000000..7f152f77f --- /dev/null +++ b/Test/baseResults/spv.shortCircuit.frag.out @@ -0,0 +1,237 @@ +spv.shortCircuit.frag +Warning, version 400 is not yet complete; most version-specific features are present, but some are missing. + + +Linked fragment stage: + + +// Module Version 99 +// Generated by (magic number): 51a00bb +// Id's are bound by 143 + + Source GLSL 400 + Capability Shader + 1: ExtInstImport "GLSL.std.450" + MemoryModel Logical GLSL450 + EntryPoint Fragment 4 "main" + ExecutionMode 4 OriginLowerLeft + Name 4 "main" + Name 8 "foo(" + Name 12 "of1" + Name 23 "of4" + Name 26 "ub" + Name 30 "ui" + Name 40 "uba" + Name 109 "uf" + Name 136 "uiv4" + Name 138 "uv4" + Name 141 "ub41" + Name 142 "ub42" + Decorate 136(uiv4) NoStaticUse + Decorate 138(uv4) NoStaticUse + Decorate 141(ub41) NoStaticUse + Decorate 142(ub42) NoStaticUse + 2: TypeVoid + 3: TypeFunction 2 + 6: TypeBool + 7: TypeFunction 6(bool) + 10: TypeFloat 32 + 11: TypePointer Output 10(float) + 12(of1): 11(ptr) Variable Output + 14: 10(float) Constant 1065353216 + 17: 10(float) Constant 1092616192 + 20: 10(float) Constant 0 + 21: TypeVector 10(float) 4 + 22: TypePointer Output 21(fvec4) + 23(of4): 22(ptr) Variable Output + 24: 21(fvec4) ConstantComposite 20 20 20 20 + 25: TypePointer UniformConstant 6(bool) + 26(ub): 25(ptr) Variable UniformConstant + 28: TypeInt 32 1 + 29: TypePointer UniformConstant 28(int) + 30(ui): 29(ptr) Variable UniformConstant + 32: 28(int) Constant 2 + 40(uba): 25(ptr) Variable UniformConstant + 108: TypePointer UniformConstant 10(float) + 109(uf): 108(ptr) Variable UniformConstant + 112: 10(float) Constant 1082130432 + 134: TypeVector 28(int) 4 + 135: TypePointer UniformConstant 134(ivec4) + 136(uiv4): 135(ptr) Variable UniformConstant + 137: TypePointer UniformConstant 21(fvec4) + 138(uv4): 137(ptr) Variable UniformConstant + 139: TypeVector 6(bool) 4 + 140: TypePointer UniformConstant 139(bvec4) + 141(ub41): 140(ptr) Variable UniformConstant + 142(ub42): 140(ptr) Variable UniformConstant + 4(main): 2 Function None 3 + 5: Label + Store 12(of1) 20 + Store 23(of4) 24 + 27: 6(bool) Load 26(ub) + 31: 28(int) Load 30(ui) + 33: 6(bool) SGreaterThan 31 32 + 34: 6(bool) LogicalOr 27 33 + SelectionMerge 36 None + BranchConditional 34 35 36 + 35: Label + 37: 10(float) Load 12(of1) + 38: 10(float) FAdd 37 14 + Store 12(of1) 38 + Branch 36 + 36: Label + 39: 6(bool) Load 26(ub) + 41: 6(bool) Load 40(uba) + 42: 6(bool) LogicalNot 41 + 43: 6(bool) LogicalAnd 39 42 + SelectionMerge 45 None + BranchConditional 43 44 45 + 44: Label + 46: 10(float) Load 12(of1) + 47: 10(float) FAdd 46 14 + Store 12(of1) 47 + Branch 45 + 45: Label + 48: 6(bool) Load 26(ub) + 49: 6(bool) LogicalNot 48 + SelectionMerge 51 None + BranchConditional 49 50 51 + 50: Label + 52: 6(bool) FunctionCall 8(foo() + Branch 51 + 51: Label + 53: 6(bool) Phi 48 45 52 50 + SelectionMerge 55 None + BranchConditional 53 54 55 + 54: Label + 56: 10(float) Load 12(of1) + 57: 10(float) FAdd 56 14 + Store 12(of1) 57 + Branch 55 + 55: Label + 58: 6(bool) Load 26(ub) + SelectionMerge 60 None + BranchConditional 58 59 60 + 59: Label + 61: 6(bool) FunctionCall 8(foo() + Branch 60 + 60: Label + 62: 6(bool) Phi 58 55 61 59 + SelectionMerge 64 None + BranchConditional 62 63 64 + 63: Label + 65: 10(float) Load 12(of1) + 66: 10(float) FAdd 65 14 + Store 12(of1) 66 + Branch 64 + 64: Label + 67: 6(bool) FunctionCall 8(foo() + 68: 6(bool) Load 26(ub) + 69: 6(bool) LogicalOr 67 68 + SelectionMerge 71 None + BranchConditional 69 70 71 + 70: Label + 72: 10(float) Load 12(of1) + 73: 10(float) FAdd 72 14 + Store 12(of1) 73 + Branch 71 + 71: Label + 74: 6(bool) FunctionCall 8(foo() + 75: 6(bool) Load 26(ub) + 76: 6(bool) LogicalAnd 74 75 + SelectionMerge 78 None + BranchConditional 76 77 78 + 77: Label + 79: 10(float) Load 12(of1) + 80: 10(float) FAdd 79 14 + Store 12(of1) 80 + Branch 78 + 78: Label + 81: 6(bool) Load 26(ub) + 82: 6(bool) LogicalNot 81 + SelectionMerge 84 None + BranchConditional 82 83 84 + 83: Label + 85: 10(float) Load 12(of1) + 86: 10(float) FAdd 85 14 + Store 12(of1) 86 + 87: 6(bool) FOrdGreaterThan 86 14 + Branch 84 + 84: Label + 88: 6(bool) Phi 81 78 87 83 + SelectionMerge 90 None + BranchConditional 88 89 90 + 89: Label + 91: 21(fvec4) Load 23(of4) + 92: 21(fvec4) CompositeConstruct 14 14 14 14 + 93: 21(fvec4) FAdd 91 92 + Store 23(of4) 93 + Branch 90 + 90: Label + 94: 10(float) Load 12(of1) + 95: 10(float) FAdd 94 14 + Store 12(of1) 95 + 96: 6(bool) FOrdGreaterThan 95 14 + 97: 6(bool) Load 26(ub) + 98: 6(bool) LogicalOr 96 97 + SelectionMerge 100 None + BranchConditional 98 99 100 + 99: Label + 101: 21(fvec4) Load 23(of4) + 102: 21(fvec4) CompositeConstruct 14 14 14 14 + 103: 21(fvec4) FAdd 101 102 + Store 23(of4) 103 + Branch 100 + 100: Label + 104: 6(bool) Load 26(ub) + 105: 6(bool) LogicalNot 104 + SelectionMerge 107 None + BranchConditional 105 106 107 + 106: Label + 110: 10(float) Load 109(uf) + 111: 10(float) ExtInst 1(GLSL.std.450) 13(Sin) 110 + 113: 10(float) FMul 111 112 + 114: 10(float) Load 12(of1) + 115: 6(bool) FOrdGreaterThan 113 114 + Branch 107 + 107: Label + 116: 6(bool) Phi 104 100 115 106 + SelectionMerge 118 None + BranchConditional 116 117 118 + 117: Label + 119: 10(float) Load 12(of1) + 120: 10(float) FAdd 119 14 + Store 12(of1) 120 + Branch 118 + 118: Label + 121: 6(bool) Load 26(ub) + SelectionMerge 123 None + BranchConditional 121 122 123 + 122: Label + 124: 10(float) Load 109(uf) + 125: 10(float) ExtInst 1(GLSL.std.450) 13(Sin) 124 + 126: 10(float) FMul 125 112 + 127: 10(float) Load 12(of1) + 128: 6(bool) FOrdGreaterThan 126 127 + Branch 123 + 123: Label + 129: 6(bool) Phi 121 118 128 122 + SelectionMerge 131 None + BranchConditional 129 130 131 + 130: Label + 132: 10(float) Load 12(of1) + 133: 10(float) FAdd 132 14 + Store 12(of1) 133 + Branch 131 + 131: Label + Return + FunctionEnd + 8(foo(): 6(bool) Function None 7 + 9: Label + 13: 10(float) Load 12(of1) + 15: 10(float) FAdd 13 14 + Store 12(of1) 15 + 16: 10(float) Load 12(of1) + 18: 6(bool) FOrdGreaterThan 16 17 + ReturnValue 18 + FunctionEnd diff --git a/Test/spv.shortCircuit.frag b/Test/spv.shortCircuit.frag new file mode 100755 index 000000000..dc1bf79ac --- /dev/null +++ b/Test/spv.shortCircuit.frag @@ -0,0 +1,50 @@ +#version 400 + +uniform ivec4 uiv4; +uniform vec4 uv4; +uniform bool ub; +uniform bool uba; +uniform bvec4 ub41, ub42; +uniform float uf; +uniform int ui; + +out float of1; +out vec4 of4; + +bool foo() { ++of1; return of1 > 10.0; } + +void main() +{ + of1 = 0.0; + of4 = vec4(0.0); + + if (ub || ui > 2) // not worth short circuiting + ++of1; + + if (ub && !uba) // not worth short circuiting + ++of1; + + if (ub || foo()) // must short circuit + ++of1; + + if (ub && foo()) // must short circuit + ++of1; + + if (foo() || ub) // not worth short circuiting + ++of1; + + if (foo() && ub) // not worth short circuiting + ++of1; + + if (ub || ++of1 > 1.0) // must short circuit + ++of4; + + if (++of1 > 1.0 || ub) // not worth short circuiting + ++of4; + + if (ub || sin(uf) * 4.0 > of1) // worth short circuiting + ++of1; + + if (ub && sin(uf) * 4.0 > of1) // worth short circuiting + ++of1; +} diff --git a/Test/test-spirv-list b/Test/test-spirv-list index d3b65213a..64d1f2962 100644 --- a/Test/test-spirv-list +++ b/Test/test-spirv-list @@ -82,3 +82,6 @@ spv.whileLoop.frag spv.atomic.comp spv.AofA.frag spv.queryL.frag +spv.shortCircuit.frag +# GLSL-level semantics +vulkan.frag diff --git a/glslang/Include/revision.h b/glslang/Include/revision.h index 5097b4748..cb98f939c 100644 --- a/glslang/Include/revision.h +++ b/glslang/Include/revision.h @@ -2,5 +2,5 @@ // For the version, it uses the latest git tag followed by the number of commits. // For the date, it uses the current date (when then script is run). -#define GLSLANG_REVISION "3.0.788" -#define GLSLANG_DATE "14-Oct-2015" +#define GLSLANG_REVISION "3.0.789" +#define GLSLANG_DATE "15-Oct-2015"