Home Esplora Aiuto
Accedi
O3DE
/
DirectXShaderCompiler
mirror da https://github.com/o3de/DirectXShaderCompiler
2
0
Forka 0
File Problemi 0 Wiki
Ramo (Branch): master
Rami (Branch) Tag
DirectXShaderCo...
/
test
/
Analysis
/
ScopedNoAliasAA
/
basic-domains.ll

basic-domains.ll 3.0 KB
Permalink Cronologia Originale

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455 
  1. ; RUN: opt < %s -basicaa -scoped-noalias -aa-eval -evaluate-aa-metadata -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
    2. 

  2. target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
    3. 

  3. target triple = "x86_64-unknown-linux-gnu"
    4. 

  4. 

  5. define void @foo1(float* nocapture %a, float* nocapture readonly %c) #0 {
    6. 

  6. entry:
    7. 

  7. ; CHECK-LABEL: Function: foo1
    8. 

  8.   %0 = load float, float* %c, align 4, !alias.scope !0
    9. 

  9.   %arrayidx.i = getelementptr inbounds float, float* %a, i64 5
    10. 

  10.   store float %0, float* %arrayidx.i, align 4, !noalias !6
    11. 

  11. 

  12.   %1 = load float, float* %c, align 4, !alias.scope !7
    13. 

  13.   %arrayidx.i2 = getelementptr inbounds float, float* %a, i64 15
    14. 

  14.   store float %1, float* %arrayidx.i2, align 4, !noalias !6
    15. 

  15. 

  16.   %2 = load float, float* %c, align 4, !alias.scope !6
    17. 

  17.   %arrayidx.i3 = getelementptr inbounds float, float* %a, i64 16
    18. 

  18.   store float %2, float* %arrayidx.i3, align 4, !noalias !7
    19. 

  19. 

  20.   ret void
    21. 

  21. }
    22. 

  22. 

  23. attributes #0 = { nounwind uwtable }
    24. 

  24. 

  25. !2 = !{!2, !"some domain"}
    26. 

  26. !5 = !{!5, !"some other domain"}
    27. 

  27. 

  28. ; Two scopes (which must be self-referential to avoid being "uniqued"):
    29. 

  29. !1 = !{!1, !2, !"a scope in dom0"}
    30. 

  30. 

  31. !3 = !{!3, !2, !"another scope in dom0"}
    32. 

  32. !7 = !{!3}
    33. 

  33. 

  34. ; A list of the two scopes.
    35. 

  35. !6 = !{!1, !3}
    36. 

  36. 

  37. ; Another scope in the second domain
    38. 

  38. !4 = !{!4, !5, !"another scope in dom1"}
    39. 

  39. 

  40. ; A list of scopes from both domains.
    41. 

  41. !0 = !{!1, !3, !4}
    42. 

  42. 

  43. ; CHECK: NoAlias:   %0 = load float, float* %c, align 4, !alias.scope !0 <->   store float %0, float* %arrayidx.i, align 4, !noalias !6
    44. 

  44. ; CHECK: NoAlias:   %0 = load float, float* %c, align 4, !alias.scope !0 <->   store float %1, float* %arrayidx.i2, align 4, !noalias !6
    45. 

  45. ; CHECK: MayAlias:   %0 = load float, float* %c, align 4, !alias.scope !0 <->   store float %2, float* %arrayidx.i3, align 4, !noalias !7
    46. 

  46. ; CHECK: NoAlias:   %1 = load float, float* %c, align 4, !alias.scope !7 <->   store float %0, float* %arrayidx.i, align 4, !noalias !6
    47. 

  47. ; CHECK: NoAlias:   %1 = load float, float* %c, align 4, !alias.scope !7 <->   store float %1, float* %arrayidx.i2, align 4, !noalias !6
    48. 

  48. ; CHECK: NoAlias:   %1 = load float, float* %c, align 4, !alias.scope !7 <->   store float %2, float* %arrayidx.i3, align 4, !noalias !7
    49. 

  49. ; CHECK: NoAlias:   %2 = load float, float* %c, align 4, !alias.scope !6 <->   store float %0, float* %arrayidx.i, align 4, !noalias !6
    50. 

  50. ; CHECK: NoAlias:   %2 = load float, float* %c, align 4, !alias.scope !6 <->   store float %1, float* %arrayidx.i2, align 4, !noalias !6
    51. 

  51. ; CHECK: MayAlias:   %2 = load float, float* %c, align 4, !alias.scope !6 <->   store float %2, float* %arrayidx.i3, align 4, !noalias !7
    52. 

  52. ; CHECK: NoAlias:   store float %1, float* %arrayidx.i2, align 4, !noalias !6 <->   store float %0, float* %arrayidx.i, align 4, !noalias !6
    53. 

  53. ; CHECK: NoAlias:   store float %2, float* %arrayidx.i3, align 4, !noalias !7 <->   store float %0, float* %arrayidx.i, align 4, !noalias !6
    54. 

  54. ; CHECK: NoAlias:   store float %2, float* %arrayidx.i3, align 4, !noalias !7 <->   store float %1, float* %arrayidx.i2, align 4, !noalias !6
    55. 

  55.