// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s

// CHECK: @main
float main(float4 a : A, int3 b : B) : SV_Target
{
  float x = a.x * a.w + a.y * a.z;
  float y;

  [branch]
  if (b.x == 1)
  {
      y = x + 44.;
  }
  else
  {
      y = a.y - 77.;
  }

  return y * x;
}
