test/tint/vk-gl-cts/graphicsfuzz/cov-fragcoord-clamp-array-access/0-opt.wgsl.expected.ir.msl

SKIP: FAILED

../../src/tint/lang/msl/writer/printer/printer.cc:500 internal compiler error: strided_arr = struct @align(4) {
  el:f32 @offset(0)
}

buf0 = struct @align(4) {
  x_GLF_uniform_float_values:array<strided_arr, 1> @offset(0)
}

strided_arr_1 = struct @align(4) {
  el:i32 @offset(0)
}

buf1 = struct @align(4) {
  x_GLF_uniform_int_values:array<strided_arr_1, 4> @offset(0)
}

main_out = struct @align(16) {
  x_GLF_color_1:vec4<f32> @offset(0), @location(0)
}

$B1: {  # root
  %x_7:ptr<uniform, buf0, read> = var @binding_point(0, 0)
  %x_10:ptr<uniform, buf1, read> = var @binding_point(0, 1)
  %gl_FragCoord:ptr<private, vec4<f32>, read_write> = var
  %x_GLF_color:ptr<private, vec4<f32>, read_write> = var
}

%main_1 = func():void {
  $B2: {
    %data:ptr<function, array<vec4<f32>, 2>, read_write> = var
    %b:ptr<function, i32, read_write> = var
    %y:ptr<function, i32, read_write> = var
    %i:ptr<function, i32, read_write> = var
    %10:ptr<uniform, f32, read> = access %x_7, 0u, 0i, 0u
    %11:f32 = load %10
    %x_42:f32 = let %11
    %13:ptr<uniform, f32, read> = access %x_7, 0u, 0i, 0u
    %14:f32 = load %13
    %x_45:f32 = let %14
    %16:vec4<f32> = construct %x_42, %x_42, %x_42, %x_42
    %17:vec4<f32> = let %16
    %18:vec4<f32> = construct %x_45, %x_45, %x_45, %x_45
    %19:array<vec4<f32>, 2> = construct %17, %18
    store %data, %19
    %20:ptr<uniform, i32, read> = access %x_10, 0u, 1i, 0u
    %21:i32 = load %20
    %x_49:i32 = let %21
    store %b, %x_49
    %23:f32 = load_vector_element %gl_FragCoord, 1u
    %x_51:f32 = let %23
    %25:ptr<uniform, i32, read> = access %x_10, 0u, 1i, 0u
    %26:i32 = load %25
    %x_54:i32 = let %26
    %28:f32 = load_vector_element %gl_FragCoord, 1u
    %x_56:f32 = let %28
    %30:ptr<uniform, i32, read> = access %x_10, 0u, 1i, 0u
    %31:i32 = load %30
    %x_60:i32 = let %31
    %33:i32 = call %tint_f32_to_i32, %x_51
    %35:i32 = let %33
    %36:i32 = call %tint_f32_to_i32, %x_56
    %37:i32 = or %x_54, %36
    %38:i32 = max %35, %37
    %39:i32 = min %38, %x_60
    store %y, %39
    %40:ptr<uniform, i32, read> = access %x_10, 0u, 1i, 0u
    %41:i32 = load %40
    %x_63:i32 = let %41
    store %i, %x_63
    loop [b: $B3, c: $B4] {  # loop_1
      $B3: {  # body
        %x_82:ptr<function, bool, read_write> = var
        %x_83_phi:ptr<function, bool, read_write> = var
        %45:i32 = load %i
        %x_68:i32 = let %45
        %47:ptr<uniform, i32, read> = access %x_10, 0u, 0i, 0u
        %48:i32 = load %47
        %x_70:i32 = let %48
        %50:bool = lt %x_68, %x_70
        if %50 [t: $B5, f: $B6] {  # if_1
          $B5: {  # true
            exit_if  # if_1
          }
          $B6: {  # false
            exit_loop  # loop_1
          }
        }
        %51:i32 = load %b
        %x_73:i32 = let %51
        %53:ptr<uniform, i32, read> = access %x_10, 0u, 0i, 0u
        %54:i32 = load %53
        %x_75:i32 = let %54
        %56:bool = gt %x_73, %x_75
        %x_76:bool = let %56
        store %x_83_phi, %x_76
        if %x_76 [t: $B7] {  # if_2
          $B7: {  # true
            %58:i32 = load %y
            %x_79:i32 = let %58
            %60:ptr<uniform, i32, read> = access %x_10, 0u, 1i, 0u
            %61:i32 = load %60
            %x_81:i32 = let %61
            %63:bool = gt %x_79, %x_81
            store %x_82, %63
            %64:bool = load %x_82
            store %x_83_phi, %64
            exit_if  # if_2
          }
        }
        %65:bool = load %x_83_phi
        %x_83:bool = let %65
        if %x_83 [t: $B8] {  # if_3
          $B8: {  # true
            exit_loop  # loop_1
          }
        }
        %67:i32 = load %b
        %x_86:i32 = let %67
        %69:i32 = add %x_86, 1i
        store %b, %69
        continue  # -> $B4
      }
      $B4: {  # continuing
        %70:i32 = load %i
        %x_88:i32 = let %70
        %72:i32 = add %x_88, 1i
        store %i, %72
        next_iteration  # -> $B3
      }
    }
    %73:i32 = load %b
    %x_90:i32 = let %73
    %75:ptr<uniform, i32, read> = access %x_10, 0u, 0i, 0u
    %76:i32 = load %75
    %x_92:i32 = let %76
    %78:bool = eq %x_90, %x_92
    if %78 [t: $B9] {  # if_4
      $B9: {  # true
        %79:ptr<uniform, i32, read> = access %x_10, 0u, 2i, 0u
        %80:i32 = load %79
        %x_97:i32 = let %80
        %82:ptr<uniform, i32, read> = access %x_10, 0u, 1i, 0u
        %83:i32 = load %82
        %x_99:i32 = let %83
        %85:ptr<uniform, i32, read> = access %x_10, 0u, 3i, 0u
        %86:i32 = load %85
        %x_101:i32 = let %86
        %88:ptr<uniform, i32, read> = access %x_10, 0u, 1i, 0u
        %89:i32 = load %88
        %x_104:i32 = let %89
        %91:ptr<uniform, i32, read> = access %x_10, 0u, 2i, 0u
        %92:i32 = load %91
        %x_107:i32 = let %92
        %94:ptr<uniform, i32, read> = access %x_10, 0u, 2i, 0u
        %95:i32 = load %94
        %x_110:i32 = let %95
        %97:ptr<uniform, i32, read> = access %x_10, 0u, 1i, 0u
        %98:i32 = load %97
        %x_113:i32 = let %98
        %100:i32 = max %x_97, %x_99
        %101:i32 = min %100, %x_101
        %102:ptr<function, vec4<f32>, read_write> = access %data, %101
        %103:ptr<function, vec4<f32>, read_write> = let %102
        %104:f32 = convert %x_104
        %105:f32 = let %104
        %106:f32 = convert %x_107
        %107:f32 = let %106
        %108:f32 = convert %x_110
        %109:f32 = let %108
        %110:f32 = convert %x_113
        %111:vec4<f32> = construct %105, %107, %109, %110
        store %103, %111
        exit_if  # if_4
      }
    }
    %112:ptr<uniform, i32, read> = access %x_10, 0u, 1i, 0u
    %113:i32 = load %112
    %x_118:i32 = let %113
    %115:ptr<function, vec4<f32>, read_write> = access %data, %x_118
    %116:vec4<f32> = load %115
    %x_120:vec4<f32> = let %116
    %118:f32 = access %x_120, 0u
    %119:f32 = access %x_120, 1u
    %120:f32 = access %x_120, 2u
    %121:f32 = access %x_120, 3u
    %122:vec4<f32> = construct %118, %119, %120, %121
    store %x_GLF_color, %122
    ret
  }
}
%tint_symbol = @fragment func(%gl_FragCoord_param:vec4<f32> [@position]):main_out {
  $B10: {
    store %gl_FragCoord, %gl_FragCoord_param
    %125:void = call %main_1
    %126:vec4<f32> = load %x_GLF_color
    %127:main_out = construct %126
    ret %127
  }
}
%tint_f32_to_i32 = func(%value:f32):i32 {
  $B11: {
    %129:i32 = convert %value
    %130:bool = gte %value, -2147483648.0f
    %131:i32 = select -2147483648i, %129, %130
    %132:bool = lte %value, 2147483520.0f
    %133:i32 = select 2147483647i, %131, %132
    ret %133
  }
}

unhandled variable address space
********************************************************************
*  The tint shader compiler has encountered an unexpected error.   *
*                                                                  *
*  Please help us fix this issue by submitting a bug report at     *
*  crbug.com/tint with the source program that triggered the bug.  *
********************************************************************