spv.controlFlowAttributes.frag
WARNING: 0:20: 'unroll' : expected no arguments 
WARNING: 0:21: 'dont_unroll' : expected no arguments 
WARNING: 0:22: 'dependency_infinite' : expected no arguments 
WARNING: 0:23: 'dependency_length' : expected a single integer argument 
WARNING: 0:24: '' : attribute with arguments not recognized, skipping 
WARNING: 0:25: '' : attribute with arguments not recognized, skipping 
WARNING: 0:26: '' : attribute with arguments not recognized, skipping 

Validation failed
// Module Version 10000
// Generated by (magic number): 80007
// Id's are bound by 118

                              Capability Shader
               1:             ExtInstImport  "GLSL.std.450"
                              MemoryModel Logical GLSL450
                              EntryPoint Fragment 4  "main"
                              ExecutionMode 4 OriginUpperLeft
                              Source GLSL 450
                              SourceExtension  "GL_EXT_control_flow_attributes"
                              Name 4  "main"
                              Name 8  "i"
                              Name 36  "i"
                              Name 47  "cond"
                              Name 60  "i"
                              Name 79  "i"
               2:             TypeVoid
               3:             TypeFunction 2
               6:             TypeInt 32 1
               7:             TypePointer Function 6(int)
               9:      6(int) Constant 0
              16:      6(int) Constant 8
              17:             TypeBool
              20:      6(int) Constant 1
              31:    17(bool) ConstantTrue
              46:             TypePointer Private 17(bool)
        47(cond):     46(ptr) Variable Private
              54:    17(bool) ConstantFalse
              55:      6(int) Constant 3
         4(main):           2 Function None 3
               5:             Label
            8(i):      7(ptr) Variable Function
           36(i):      7(ptr) Variable Function
           60(i):      7(ptr) Variable Function
           79(i):      7(ptr) Variable Function
                              Store 8(i) 9
                              Branch 10
              10:             Label
                              LoopMerge 12 13 Unroll 
                              Branch 14
              14:             Label
              15:      6(int) Load 8(i)
              18:    17(bool) SLessThan 15 16
                              BranchConditional 18 11 12
              11:               Label
                                Branch 13
              13:               Label
              19:      6(int)   Load 8(i)
              21:      6(int)   IAdd 19 20
                                Store 8(i) 21
                                Branch 10
              12:             Label
                              Branch 22
              22:             Label
                              LoopMerge 24 25 DontUnroll 
                              Branch 23
              23:             Label
                              Branch 25
              25:             Label
                              Branch 22
              24:             Label
                              Branch 26
              26:             Label
                              LoopMerge 28 29 DontUnroll 
                              Branch 30
              30:             Label
                              BranchConditional 31 27 28
              27:               Label
                                Branch 29
              29:               Label
                                Branch 26
              28:             Label
                              Branch 32
              32:             Label
                              LoopMerge 34 35 DependencyInfinite 
                              Branch 33
              33:             Label
                              Branch 35
              35:             Label
                              BranchConditional 31 32 34
              34:             Label
                              Store 36(i) 9
                              Branch 37
              37:             Label
                              LoopMerge 39 40 DependencyLength  4
                              Branch 41
              41:             Label
              42:      6(int) Load 36(i)
              43:    17(bool) SLessThan 42 16
                              BranchConditional 43 38 39
              38:               Label
                                Branch 40
              40:               Label
              44:      6(int)   Load 36(i)
              45:      6(int)   IAdd 44 20
                                Store 36(i) 45
                                Branch 37
              39:             Label
              48:    17(bool) Load 47(cond)
                              SelectionMerge 50 Flatten 
                              BranchConditional 48 49 50
              49:               Label
                                Branch 50
              50:             Label
              51:    17(bool) Load 47(cond)
                              SelectionMerge 53 DontFlatten 
                              BranchConditional 51 52 53
              52:               Label
                                Store 47(cond) 54
                                Branch 53
              53:             Label
                              SelectionMerge 57 DontFlatten 
                              Switch 55 57 
                                     case 3: 56
              56:               Label
                                Branch 57
              57:             Label
                              Store 60(i) 9
                              Branch 61
              61:             Label
                              LoopMerge 63 64 None
                              Branch 65
              65:             Label
              66:      6(int) Load 60(i)
              67:    17(bool) SLessThan 66 16
                              BranchConditional 67 62 63
              62:               Label
                                Branch 64
              64:               Label
              68:      6(int)   Load 60(i)
              69:      6(int)   IAdd 68 20
                                Store 60(i) 69
                                Branch 61
              63:             Label
                              Branch 70
              70:             Label
                              LoopMerge 72 73 None
                              Branch 74
              74:             Label
                              BranchConditional 31 71 72
              71:               Label
                                Branch 73
              73:               Label
                                Branch 70
              72:             Label
                              Branch 75
              75:             Label
                              LoopMerge 77 78 None
                              Branch 76
              76:             Label
                              Branch 78
              78:             Label
                              BranchConditional 31 75 77
              77:             Label
                              Store 79(i) 9
                              Branch 80
              80:             Label
                              LoopMerge 82 83 None
                              Branch 84
              84:             Label
              85:      6(int) Load 79(i)
              86:    17(bool) SLessThan 85 16
                              BranchConditional 86 81 82
              81:               Label
                                Branch 83
              83:               Label
              87:      6(int)   Load 79(i)
              88:      6(int)   IAdd 87 20
                                Store 79(i) 88
                                Branch 80
              82:             Label
              89:    17(bool) Load 47(cond)
                              SelectionMerge 91 None
                              BranchConditional 89 90 91
              90:               Label
                                Branch 91
              91:             Label
              92:    17(bool) Load 47(cond)
                              SelectionMerge 94 None
                              BranchConditional 92 93 94
              93:               Label
                                Store 47(cond) 54
                                Branch 94
              94:             Label
                              SelectionMerge 96 None
                              Switch 55 96 
                                     case 3: 95
              95:               Label
                                Branch 96
              96:             Label
                              Branch 99
              99:             Label
                              LoopMerge 101 102 Unroll DontUnroll DependencyLength  2
                              Branch 103
             103:             Label
             104:    17(bool) Load 47(cond)
                              BranchConditional 104 100 101
             100:               Label
                                Branch 102
             102:               Label
                                Branch 99
             101:             Label
                              SelectionMerge 106 DontFlatten 
                              Switch 55 106 
                                     case 3: 105
             105:               Label
                                Branch 106
             106:             Label
             109:    17(bool) Load 47(cond)
                              SelectionMerge 111 Flatten 
                              BranchConditional 109 110 111
             110:               Label
                                Branch 111
             111:             Label
                              Branch 112
             112:             Label
                              LoopMerge 114 115 DependencyInfinite 
                              Branch 116
             116:             Label
             117:    17(bool) Load 47(cond)
                              BranchConditional 117 113 114
             113:               Label
                                Branch 115
             115:               Label
                                Branch 112
             114:             Label
                              Return
                              FunctionEnd
