glslang/Test/baseResults/hlsl.forLoop.frag.out

hlsl.forLoop.frag
Shader version: 450
gl_FragCoord origin is upper left
0:? Sequence
0:9  Function Definition: PixelShaderFunction(vf4; (temp 4-component vector of float)
0:2    Function Parameters: 
0:2      'input' (in 4-component vector of float)
0:?     Sequence
0:?       Sequence
0:3        Loop with condition tested first
0:3          No loop condition
0:3          No loop body
0:4      Sequence
0:4        Pre-Increment (temp 4-component vector of float)
0:4          'input' (in 4-component vector of float)
0:4        Loop with condition tested first
0:4          No loop condition
0:4          No loop body
0:?       Sequence
0:5        Loop with condition tested first
0:5          Loop Condition
0:5          Compare Not Equal (temp bool)
0:5            'input' (in 4-component vector of float)
0:5            'input' (in 4-component vector of float)
0:5          No loop body
0:?       Sequence
0:6        Loop with condition tested first
0:6          Loop Condition
0:6          Compare Not Equal (temp bool)
0:6            'input' (in 4-component vector of float)
0:6            'input' (in 4-component vector of float)
0:6          Loop Body
0:?           Sequence
0:6            Branch: Return with expression
0:6              Negate value (temp 4-component vector of float)
0:6                'input' (in 4-component vector of float)
0:7      Sequence
0:7        Pre-Decrement (temp 4-component vector of float)
0:7          'input' (in 4-component vector of float)
0:7        Loop with condition tested first
0:7          Loop Condition
0:7          Compare Not Equal (temp bool)
0:7            'input' (in 4-component vector of float)
0:7            'input' (in 4-component vector of float)
0:7          Loop Body
0:?           Sequence
0:7            Branch: Return with expression
0:7              Negate value (temp 4-component vector of float)
0:7                'input' (in 4-component vector of float)
0:7          Loop Terminal Expression
0:7          add second child into first child (temp 4-component vector of float)
0:7            'input' (in 4-component vector of float)
0:7            Constant:
0:7              2.000000
0:?   Linker Objects


Linked fragment stage:


Shader version: 450
gl_FragCoord origin is upper left
0:? Sequence
0:9  Function Definition: PixelShaderFunction(vf4; (temp 4-component vector of float)
0:2    Function Parameters: 
0:2      'input' (in 4-component vector of float)
0:?     Sequence
0:?       Sequence
0:3        Loop with condition tested first
0:3          No loop condition
0:3          No loop body
0:4      Sequence
0:4        Pre-Increment (temp 4-component vector of float)
0:4          'input' (in 4-component vector of float)
0:4        Loop with condition tested first
0:4          No loop condition
0:4          No loop body
0:?       Sequence
0:5        Loop with condition tested first
0:5          Loop Condition
0:5          Compare Not Equal (temp bool)
0:5            'input' (in 4-component vector of float)
0:5            'input' (in 4-component vector of float)
0:5          No loop body
0:?       Sequence
0:6        Loop with condition tested first
0:6          Loop Condition
0:6          Compare Not Equal (temp bool)
0:6            'input' (in 4-component vector of float)
0:6            'input' (in 4-component vector of float)
0:6          Loop Body
0:?           Sequence
0:6            Branch: Return with expression
0:6              Negate value (temp 4-component vector of float)
0:6                'input' (in 4-component vector of float)
0:7      Sequence
0:7        Pre-Decrement (temp 4-component vector of float)
0:7          'input' (in 4-component vector of float)
0:7        Loop with condition tested first
0:7          Loop Condition
0:7          Compare Not Equal (temp bool)
0:7            'input' (in 4-component vector of float)
0:7            'input' (in 4-component vector of float)
0:7          Loop Body
0:?           Sequence
0:7            Branch: Return with expression
0:7              Negate value (temp 4-component vector of float)
0:7                'input' (in 4-component vector of float)
0:7          Loop Terminal Expression
0:7          add second child into first child (temp 4-component vector of float)
0:7            'input' (in 4-component vector of float)
0:7            Constant:
0:7              2.000000
0:?   Linker Objects

// Module Version 10000
// Generated by (magic number): 80001
// Id's are bound by 64

                              Capability Shader
               1:             ExtInstImport  "GLSL.std.450"
                              MemoryModel Logical GLSL450
                              EntryPoint Fragment 4  "PixelShaderFunction" 13
                              ExecutionMode 4 OriginUpperLeft
                              Source HLSL 450
                              Name 4  "PixelShaderFunction"
                              Name 13  "input"
               2:             TypeVoid
               3:             TypeFunction 2
              10:             TypeFloat 32
              11:             TypeVector 10(float) 4
              12:             TypePointer Input 11(fvec4)
       13(input):     12(ptr) Variable Input
              15:   10(float) Constant 1065353216
              29:             TypeBool
              30:             TypeVector 29(bool) 4
              60:   10(float) Constant 1073741824
4(PixelShaderFunction):           2 Function None 3
               5:             Label
                              Branch 6
               6:             Label
                              LoopMerge 8 9 None
                              Branch 7
               7:             Label
                              Branch 9
               9:             Label
                              Branch 6
               8:             Label
              14:   11(fvec4) Load 13(input)
              16:   11(fvec4) CompositeConstruct 15 15 15 15
              17:   11(fvec4) FAdd 14 16
                              Store 13(input) 17
                              Branch 18
              18:             Label
                              LoopMerge 20 21 None
                              Branch 19
              19:             Label
                              Branch 21
              21:             Label
                              Branch 18
              20:             Label
                              Branch 22
              22:             Label
                              LoopMerge 24 25 None
                              Branch 26
              26:             Label
              27:   11(fvec4) Load 13(input)
              28:   11(fvec4) Load 13(input)
              31:   30(bvec4) FOrdNotEqual 27 28
              32:    29(bool) Any 31
                              BranchConditional 32 23 24
              23:               Label
                                Branch 25
              25:               Label
                                Branch 22
              24:             Label
                              Branch 33
              33:             Label
                              LoopMerge 35 36 None
                              Branch 37
              37:             Label
              38:   11(fvec4) Load 13(input)
              39:   11(fvec4) Load 13(input)
              40:   30(bvec4) FOrdNotEqual 38 39
              41:    29(bool) Any 40
                              BranchConditional 41 34 35
              34:               Label
              42:   11(fvec4)   Load 13(input)
              43:   11(fvec4)   FNegate 42
                                ReturnValue 43
              36:               Label
                                Branch 33
              35:             Label
              45:   11(fvec4) Load 13(input)
              46:   11(fvec4) CompositeConstruct 15 15 15 15
              47:   11(fvec4) FSub 45 46
                              Store 13(input) 47
                              Branch 48
              48:             Label
                              LoopMerge 50 51 None
                              Branch 52
              52:             Label
              53:   11(fvec4) Load 13(input)
              54:   11(fvec4) Load 13(input)
              55:   30(bvec4) FOrdNotEqual 53 54
              56:    29(bool) Any 55
                              BranchConditional 56 49 50
              49:               Label
              57:   11(fvec4)   Load 13(input)
              58:   11(fvec4)   FNegate 57
                                ReturnValue 58
              51:               Label
              61:   11(fvec4)   Load 13(input)
              62:   11(fvec4)   CompositeConstruct 60 60 60 60
              63:   11(fvec4)   FAdd 61 62
                                Store 13(input) 63
                                Branch 48
              50:             Label
                              Return
                              FunctionEnd