Another pass at organizing tests (#2168)

Moved stuff outside of quick-test, organized some misc tests, occasionally editing them a bit. In a few cases, made the editorial decision that the test was worthless and should just be deleted.

tools/clang/test/CodeGenHLSL/batch/misc/boolvec-no-nrvo.hlsl → tools/clang/test/CodeGenHLSL/batch/declarations/bool_representation/bool_vector_no_nrvo.hlsl

@@ -1,5 +1,9 @@
 // RUN: %dxc -E main -T vs_6_0 %s | FileCheck %s
 
+// Regression test for a crash where bool vectors where eligible
+// for named return value optimizations, which caused register/memory
+// representation mismatches.
+
 // CHECK: call void @dx.op.storeOutput.i32(i32 5, i32 0, i32 0, i8 0, i32 0)
 
 bool3 main() : OUT {

tools/clang/test/CodeGenHLSL/batch/declarations/functions/entrypoints/unused_func.hlsl

@@ -0,0 +1,9 @@
+// RUN: %dxc -T vs_6_1 -fcgl %s | FileCheck %s
+
+// Make sure unused functions are not generated.
+
+// CHECK-NOT: unused
+
+void unused() {}
+void main() {}
+

tools/clang/test/CodeGenHLSL/batch/expressions/operators/logical_no_short_circuiting.hlsl

@@ -0,0 +1,31 @@
+// RUN: %dxc -E main -T vs_6_0 %s | FileCheck %s
+
+// HLSL's logical operators are not short-circuiting.
+// Test that the right-hand side is always executed.
+
+AppendStructuredBuffer<int4> buf;
+
+bool set10(inout int i, bool retval) { i = 10; return retval; }
+
+void main() {
+  int4 vec;
+  
+  // &&
+  // CHECK: i32 10, i32 10, i32 10, i32 11, i8 15)
+  vec = 0;
+  if (false && set10(vec.x, false)) vec.x++;
+  if (false && set10(vec.y, true)) vec.y++;
+  if (true && set10(vec.z, false)) vec.z++;
+  if (true && set10(vec.w, true)) vec.w++;
+  buf.Append(vec);
+  
+  // ||
+  // CHECK: i32 10, i32 11, i32 11, i32 11, i8 15)
+  vec = 0;
+  if (false || set10(vec.x, false)) vec.x++;
+  if (false || set10(vec.y, true)) vec.y++;
+  if (true || set10(vec.z, false)) vec.z++;
+  if (true || set10(vec.w, true)) vec.w++;
+  buf.Append(vec);
+}
+

tools/clang/test/CodeGenHLSL/batch/misc/binary1.hlsl

@@ -1,14 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// CHECK: fmul
-
-float main(float a : A, float b : B, float2 c : C) : SV_Target
-{
-  float r = a;
-  r += a;
-  r /= a;
-  r *= b;
-  r = max(r, c.x);
-  r = min(r, c.y);
-  return r;
-}

tools/clang/test/CodeGenHLSL/batch/misc/cast1.hlsl

@@ -1,7 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// CHECK: @main
-float main(int a : A) : SV_Target
-{
-  return a;
-}

tools/clang/test/CodeGenHLSL/batch/misc/cast2.hlsl

@@ -1,7 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// CHECK: @main
-float main(uint a : A) : SV_Target
-{
-  return a;
-}

tools/clang/test/CodeGenHLSL/batch/misc/cast3.hlsl

@@ -1,12 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// CHECK: @main
-int cast(float a)
-{
-  return a;
-}
-
-float main(float a : A) : SV_Target
-{
-    return cast(a);
-}

tools/clang/test/CodeGenHLSL/batch/misc/cast4.hlsl

@@ -1,12 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// CHECK: @main
-uint cast(float a)
-{
-  return a;
-}
-
-float main(float a : A) : SV_Target
-{
-  return cast(a);
-}

tools/clang/test/CodeGenHLSL/batch/misc/cbufferInLoop.hlsl

@@ -1,18 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s
-
-float4 c;
-
-float4 GetCB() {
-  return c;
-}
-
-uint n;
-
-float4 main() : SV_TARGET
-{
-  float4 g=0;
-  for (int i=0;i<n;i++) {
-    g += GetCB();
-  }
-  return g;
-}

tools/clang/test/CodeGenHLSL/batch/misc/mat_init_splat.hlsl

@@ -1,12 +0,0 @@
-// RUN: %dxc -E main -T vs_6_0 %s | FileCheck %s
-
-// CHECK: call void @dx.op.storeOutput.f32(i32 5, i32 0, i32 0, i8 0, float 1.000000e+00)
-
-struct MyStruct {
-  float3x3 mat;
-};
-
-float main() : OUT {
-  MyStruct st = (MyStruct)1;
-  return st.mat[0].x;
-}

tools/clang/test/CodeGenHLSL/batch/misc/neg2.hlsl

@@ -1,7 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// CHECK: @main
-float4 main(int4 a : A) : SV_TARGET
-{
-  return -a.yxxx;
-}

tools/clang/test/CodeGenHLSL/batch/misc/negabs1.hlsl

@@ -1,7 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// CHECK: @main
-float4 main(float4 a : A) : SV_TARGET
-{
-  return -abs(a.yxxx);
-}

tools/clang/test/CodeGenHLSL/batch/misc/noise.hlsl

@@ -1,12 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// CHECK: fadd
-
-float noise(float2 s) {
-  return s.x + s.y;
-}
-
-float4 main(float4 a : A) : SV_TARGET
-{
-  return noise(a.xz);
-}

tools/clang/test/CodeGenHLSL/batch/misc/optForNoOpt.hlsl

@@ -1,16 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0  -Zi -Od %s | FileCheck %s
-
-// CHECK: main
-
-SamplerState samp1 : register(s5);
-Texture2D<float4> text1 : register(t3);
-
-
-float4 main(float2 a : A) : SV_Target {
-  float4 r = 0;
-  for (uint x=0; x<2;x++)
-  for (uint y=0; y<2;y++) {
-    r += text1.Sample(samp1, a, int2(x+y,x-y));
-  }
-  return r;
-}

tools/clang/test/CodeGenHLSL/batch/misc/optForNoOpt2.hlsl

@@ -1,16 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0  -Zi -Od %s | FileCheck %s
-
-// CHECK: main
-
-SamplerState samp1 : register(s5);
-Texture2D<float4> text1 : register(t3);
-
-
-float4 main(float2 a : A) : SV_Target {
-  float4 r = 0;
-  int x = 3;
-  int y = 2;
-  r = text1.Sample(samp1, a, int2(x+y,x-y));
-
-  return r;
-}

tools/clang/test/CodeGenHLSL/batch/misc/short_circuiting0.hlsl

@@ -1,14 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// inc(color) will add 1 to color.
-// Make sure result is add 5.2.
-// CHECK: 0x4014CCCCC0000000
-
-bool inc(inout float4 v) { v++; return true; }
-
-float4 main(int val: A, float4 color: COLOR) : SV_TARGET {
-  if (false && inc(color)) return color;
-
-  return color + 4.2;
-}
-

tools/clang/test/CodeGenHLSL/batch/misc/short_circuiting1.hlsl

@@ -1,14 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// inc(color) will add 1 to color.
-// Make sure result is add 1.
-//CHECK: 1.0
-
-bool inc(inout float4 v) { v++; return true; }
-
-float4 main(int val: A, float4 color: COLOR) : SV_TARGET {
-  if (true && inc(color)) return color;
-
-  return color + 4.2;
-}
-

tools/clang/test/CodeGenHLSL/batch/misc/short_circuiting2.hlsl

@@ -1,14 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// inc(color) will add 1 to color.
-// Make sure result is add 5.2.
-// CHECK: 0x4014CCCCC0000000
-
-bool inc(inout float4 v) { v++; return false; }
-
-float4 main(int val: A, float4 color: COLOR) : SV_TARGET {
-  if (false || inc(color)) return color;
-
-  return color + 4.2;
-}
-

tools/clang/test/CodeGenHLSL/batch/misc/short_circuiting3.hlsl

@@ -1,14 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// inc(color) will add 1 to color.
-// Make sure result is add 1.
-//CHECK: 1.0
-
-bool inc(inout float4 v) { v++; return true; }
-
-float4 main(int val: A, float4 color: COLOR) : SV_TARGET {
-  if (true || inc(color)) return color;
-
-  return color + 4.2;
-}
-

tools/clang/test/CodeGenHLSL/batch/misc/temp1.hlsl

@@ -1,7 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// CHECK: @main
-float4 main(float4 a : A, float4 b : B) : SV_TARGET
-{
-  return a + b + float4(0,1,2,3);
-}

tools/clang/test/CodeGenHLSL/batch/misc/temp2.hlsl

@@ -1,8 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s | FileCheck %s
-
-// CHECK: @main
-float4 main(int4 a : A, int4 b : B) : SV_TARGET
-{
-  int4 c = a + b;
-  return c + int4(0,1,2,3);
-}

tools/clang/test/CodeGenHLSL/batch/misc/temp_dbg_info.hlsl

@@ -1,8 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 -Od -Zi %s | FileCheck %s
-
-// CHECK: llvm.dbg.declare
-
-float4 main(float4 c : C) : SV_TARGET {
-       float4 a = c;
-       return a;
-}

tools/clang/test/CodeGenHLSL/batch/misc/unusedCB.hlsl

@@ -1,28 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0 %s
-
-struct Input
-{
-    float2 v : TEXCOORD0;
-};
-
-float4 a;
-
-float4 test(float b, float c) {
-  float4 r = 0;
-  if (c > 1) {
-    r += 2;
-    // This block will be removed because b is 1.
-    // The use of a will be removed, but gep to a is not.
-    if (b > 1)
-       r += a;
-  }
-
-  return r;
-}
-
-float4 main(Input input) : SV_Target
-{
-    if ((input.v[1]) > 1)
-       return test(1, input.v.x);
-    return input.v[0];
-}

tools/clang/test/CodeGenHLSL/batch/misc/unused_func.hlsl

@@ -1,15 +0,0 @@
-// RUN: %dxc -T ps_6_1 -fcgl %s | FileCheck %s
-
-// Make sure unused function not generated.
-// CHECK-NOT: unused
-
-float unused() {
-  return 3;
-}
-
-
-float4 main(float4 a : A) : SV_TARGET
-{
-  return a;
-}
-

tools/clang/test/CodeGenHLSL/batch/misc/unused_matrix_input_regression.hlsl

@@ -1,8 +0,0 @@
-// RUN: %dxc /T vs_6_2 /E main %s | FileCheck %s
-
-// Regression test for GitHub #1947, where matrix input parameters were expected to have
-// exactly one use in HLSignatureLower, instead of zero or one, leading to a crash.
-
-// CHECK: ret void
-
-void main(int2x2 mat : IN) {}

tools/clang/test/CodeGenHLSL/batch/misc/vector_array_param.hlsl

@@ -1,30 +0,0 @@
-// RUN: %dxc -E main -T ps_6_0  -O0 %s | FileCheck %s
-
-// CHECK: main
-
-
-struct X {
-  float2 a[2];
-  float4 f;
-};
-
-X x0;
-X x1;
-
-void test_inout(inout X x, float idx)
-{
-   x.f = idx;
-   if (x.f.x > 9)
-   {
-      x = x1;
-   }
-}
-
-float4 main(float4 a : A, float4 b:B) : SV_TARGET
-{
-  X x = x0;
-  test_inout(x, b.x);
-  test_inout(x, a.y);
-  return x.f + x.a[a.x].xyxy;
-}
-

tools/clang/test/CodeGenHLSL/debug/locals/temporary_dbg_declare.hlsl

@@ -0,0 +1,14 @@
+// RUN: %dxc -E main -T vs_6_0 -Od -Zi %s | FileCheck %s
+
+// Test that dbg.declares are emitted for temporaries.
+
+int main(int x : IN) : OUT {
+  // CHECK: call void @llvm.dbg.declare
+  int y = x;
+  // CHECK: call void @llvm.dbg.declare
+  int z = y;
+  return y;
+}
+
+// Exclude quoted source file (see readme)
+// CHECK-LABEL: {{!"[^"]*\\0A[^"]*"}}