llvm/test/Transforms/CalledValuePropagation/simple-select.ll

   1 ; RUN: opt -passes=called-value-propagation -S < %s | FileCheck %s
   2
   3 target triple = "aarch64"
   4
   5 @global_function = internal unnamed_addr global ptr null, align 8
   6 @global_scalar = internal unnamed_addr global i64 zeroinitializer
   7
   8 ; This test checks that we propagate the functions through a select
   9 ; instruction, and attach !callees metadata to the call. Such metadata can
  10 ; enable optimizations of this code sequence.
  11 ;
  12 ; For example, since both of the targeted functions have the "norecurse"
  13 ; attribute, the function attributes pass can be made to infer that
  14 ; "@test_select" is also norecurse. This would allow the globals optimizer to
  15 ; localize "@global_scalar". The function could then be further simplified to
  16 ; always return the constant "1", eliminating the load and store instructions.
  17 ;
  18 ; CHECK: call void %tmp0(), !callees ![[MD:[0-9]+]]
  19 ; CHECK: ![[MD]] = !{ptr @norecurse_1, ptr @norecurse_2}
  20 ;
  21 define i64 @test_select_entry(i1 %flag) {
  22 entry:
  23   %tmp0 = call i64 @test_select(i1 %flag)
  24   ret i64 %tmp0
  25 }
  26
  27 define internal i64 @test_select(i1 %flag) {
  28 entry:
  29   %tmp0 = select i1 %flag, ptr @norecurse_1, ptr @norecurse_2
  30   store i64 1, ptr @global_scalar
  31   call void %tmp0()
  32   %tmp1 = load i64, ptr @global_scalar
  33   ret i64 %tmp1
  34 }
  35
  36 declare void @norecurse_1() #0
  37 declare void @norecurse_2() #0
  38
  39 attributes #0 = { norecurse }