| ; RUN: opt -S --passes="print-dx-shader-flags" 2>&1 %s | FileCheck %s |
| |
| ; This test checks to ensure that setting the LLVM module flag "dx.resmayalias" |
| ; to 0 has no effect on the DXIL shader flag analysis for the flag |
| ; ResMayNotAlias. |
| |
| target triple = "dxil-pc-shadermodel6.8-library" |
| |
| ; CHECK: Combined Shader Flags for Module |
| ; CHECK-NEXT: Shader Flags Value: 0x200000010 |
| |
| ; CHECK: Note: extra DXIL module flags: |
| ; CHECK: Raw and Structured buffers |
| ; CHECK: Any UAV may not alias any other UAV |
| ; |
| |
| ; CHECK: Function loadUAV : 0x20000000 |
| define float @loadUAV() #0 { |
| %res = call target("dx.TypedBuffer", float, 1, 0, 0) |
| @llvm.dx.resource.handlefrombinding(i32 0, i32 0, i32 1, i32 0, i1 false) |
| %load = call {float, i1} @llvm.dx.resource.load.typedbuffer( |
| target("dx.TypedBuffer", float, 1, 0, 0) %res, i32 0) |
| %val = extractvalue {float, i1} %load, 0 |
| ret float %val |
| } |
| |
| ; CHECK: Function loadSRV : 0x00000010 |
| define float @loadSRV() #0 { |
| %res = tail call target("dx.RawBuffer", float, 0, 0) |
| @llvm.dx.resource.handlefrombinding(i32 0, i32 0, i32 1, i32 0, i1 false) |
| %load = call {float, i1} @llvm.dx.resource.load.rawbuffer( |
| target("dx.RawBuffer", float, 0, 0) %res, i32 0, i32 0) |
| %val = extractvalue { float, i1 } %load, 0 |
| ret float %val |
| } |
| |
| !llvm.module.flags = !{!0} |
| !dx.valver = !{!1} |
| |
| ; dx.resmayalias should never appear with a value of 0. |
| ; But if it does, ensure that it has no effect. |
| !0 = !{i32 1, !"dx.resmayalias", i32 0} |
| !1 = !{i32 1, i32 8} |
| |
| attributes #0 = { convergent norecurse nounwind "hlsl.export"} |