fixing range bug

Author: joaosaffran

llvm/lib/Frontend/HLSL/HLSLBinding.cpp

@@ -83,8 +83,8 @@ bool BindingInfo::RegisterSpace::isBound(const BindingRange &Range) const {
 
   if (It == FreeRanges.end())
     return true;
-  return !(Range.LowerBound >= It->LowerBound &&
-           Range.UpperBound <= It->UpperBound);
+  return ((Range.LowerBound < It->LowerBound) && (Range.UpperBound < It->LowerBound)) || 
+         ((Range.LowerBound > It->UpperBound) && (Range.UpperBound > It->UpperBound));    
 }
 
 bool BindingInfo::isBound(dxil::ResourceClass RC, uint32_t Space,

llvm/lib/Target/DirectX/DXILPostOptimizationValidation.cpp

@@ -238,7 +238,7 @@ static void validateRootSignature(Module &M,
     const ResourceInfo::ResourceBinding &Binding = RI.getBinding();
     ResourceClass RC = DRTM[RI.getHandleTy()].getResourceClass();
     if (!Info.isBound(RC, Binding.Space,
-                      {Binding.LowerBound, Binding.LowerBound + Binding.Size}))
+                      {Binding.LowerBound, Binding.LowerBound + Binding.Size - 1}))
       reportRegNotBound(M, RC, Binding);
   }
 }

…ture-validation-binding-limits-larger.ll …-validation-binding-limits-upperbound.llllvm/test/CodeGen/DirectX/rootsignature-validation-binding-limits-larger.ll renamed to llvm/test/CodeGen/DirectX/rootsignature-validation-binding-limits-upperbound.ll llvm/test/CodeGen/DirectX/rootsignature-validation-binding-limits-larger.ll renamed to llvm/test/CodeGen/DirectX/rootsignature-validation-binding-limits-upperbound.ll

@@ -8,7 +8,7 @@
 
 define void @CSMain() "hlsl.shader"="compute" {
 entry:
-  %CB = tail call target("dx.CBuffer", target("dx.Layout", %__cblayout_CB, 4, 0)) @llvm.dx.resource.handlefrombinding(i32 0, i32 0, i32 3, i32 0, i1 false, ptr nonnull @CB.str)
+  %CB = tail call target("dx.CBuffer", target("dx.Layout", %__cblayout_CB, 4, 0)) @llvm.dx.resource.handlefrombinding(i32 0, i32 0, i32 5, i32 0, i1 false, ptr nonnull @CB.str)
   ret void
 }
 
@@ -17,4 +17,4 @@ entry:
 !0 = !{ptr @CSMain, !1, i32 2}
 !1 = !{!2}
 !2 = !{!"DescriptorTable", i32 0, !3}
-!3 = !{!"CBV", i32 3, i32 0, i32 0, i32 -1, i32 4}
+!3 = !{!"CBV", i32 5, i32 0, i32 0, i32 0, i32 4}