llvm/test/Transforms/DeadStoreElimination/operand-bundles.ll

   1 ; RUN: opt < %s -passes=dse -S | FileCheck %s
   2
   3 declare noalias ptr @malloc(i64) "malloc-like"
   4
   5 declare void @foo()
   6 declare void @bar(ptr)
   7
   8 define void @test() {
   9   %obj = call ptr @malloc(i64 8)
  10   store i8 0, ptr %obj
  11   ; don't remove store. %obj should be treated like it will be read by the @foo.
  12   ; CHECK: store i8 0, ptr %obj
  13   call void @foo() ["deopt" (ptr %obj)]
  14   ret void
  15 }
  16
  17 define void @test1() {
  18   %obj = call ptr @malloc(i64 8)
  19   store i8 0, ptr %obj
  20   ; CHECK: store i8 0, ptr %obj
  21   call void @bar(ptr nocapture %obj)
  22   ret void
  23 }
  24
  25 define void @test2() {
  26   %obj = call ptr @malloc(i64 8)
  27   store i8 0, ptr %obj
  28   ; CHECK-NOT: store i8 0, ptr %obj
  29   call void @foo()
  30   ret void
  31 }
  32
  33 define void @test3() {
  34   ; CHECK-LABEL: @test3(
  35   %s = alloca i64
  36   ; Verify that this first store is not considered killed by the second one
  37   ; since it could be observed from the deopt continuation.
  38   ; CHECK: store i64 1, ptr %s
  39   store i64 1, ptr %s
  40   call void @foo() [ "deopt"(ptr %s) ]
  41   store i64 0, ptr %s
  42   ret void
  43 }
  44
  45 declare noalias ptr @calloc(i64, i64) inaccessiblememonly allockind("alloc,zeroed")
  46
  47 define void @test4() {
  48 ; CHECK-LABEL: @test4
  49   %local_obj = call ptr @calloc(i64 1, i64 4)
  50   call void @foo() ["deopt" (ptr %local_obj)]
  51   store i8 0, ptr %local_obj, align 4
  52   ; CHECK-NOT: store i8 0, ptr %local_obj, align 4
  53   call void @bar(ptr nocapture %local_obj)
  54   ret void
  55 }