test/Feature/OperandBundles/adce.ll

   1 ; RUN: opt -S -adce < %s | FileCheck %s
   2
   3 ; While it is normally okay to DCE out calls to @readonly_function and
   4 ; @readnone_function, we cannot do that if they're carrying operand
   5 ; bundles since the presence of unknown operand bundles implies
   6 ; arbitrary memory effects.
   7
   8 declare void @readonly_function() readonly nounwind
   9 declare void @readnone_function() readnone nounwind
  10
  11 define void @test0() {
  12 ; CHECK-LABEL: @test0(
  13  entry:
  14   call void @readonly_function() [ "tag"() ]
  15 ; CHECK: call void @readonly_function
  16   ret void
  17 }
  18
  19 define void @test1() {
  20 ; CHECK-LABEL: @test1(
  21  entry:
  22   call void @readnone_function() [ "tag"() ]
  23 ; CHECK: call void @readnone_function
  24   ret void
  25 }
  26
  27 define void @test2() {
  28 ; CHECK-LABEL: @test2(
  29  entry:
  30 ; CHECK-NOT: @readonly_function(
  31   call void @readonly_function() readonly [ "tag"() ]
  32   ret void
  33 }
  34
  35 define void @test3() {
  36 ; CHECK-LABEL: @test3(
  37  entry:
  38 ; CHECK-NOT: @readnone_function(
  39   call void @readnone_function() readnone [ "tag"() ]
  40   ret void
  41 }
  42
  43 define void @test4() {
  44 ; CHECK-LABEL: @test4(
  45  entry:
  46 ; CHECK-NOT: @readonly_function()
  47   call void @readonly_function() [ "deopt"() ]
  48   ret void
  49 }