test/Transforms/Inline/attributes.ll

   1 ; RUN: opt < %s -inline -S | FileCheck %s
   2 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
   3
   4 define i32 @noattr_callee(i32 %i) {
   5   ret i32 %i
   6 }
   7
   8 define i32 @sanitize_address_callee(i32 %i) sanitize_address {
   9   ret i32 %i
  10 }
  11
  12 define i32 @sanitize_thread_callee(i32 %i) sanitize_thread {
  13   ret i32 %i
  14 }
  15
  16 define i32 @sanitize_memory_callee(i32 %i) sanitize_memory {
  17   ret i32 %i
  18 }
  19
  20 define i32 @alwaysinline_callee(i32 %i) alwaysinline {
  21   ret i32 %i
  22 }
  23
  24 define i32 @alwaysinline_sanitize_address_callee(i32 %i) alwaysinline sanitize_address {
  25   ret i32 %i
  26 }
  27
  28 define i32 @alwaysinline_sanitize_thread_callee(i32 %i) alwaysinline sanitize_thread {
  29   ret i32 %i
  30 }
  31
  32 define i32 @alwaysinline_sanitize_memory_callee(i32 %i) alwaysinline sanitize_memory {
  33   ret i32 %i
  34 }
  35
  36
  37 ; Check that:
  38 ;  * noattr callee is inlined into noattr caller,
  39 ;  * sanitize_(address|memory|thread) callee is not inlined into noattr caller,
  40 ;  * alwaysinline callee is always inlined no matter what sanitize_* attributes are present.
  41
  42 define i32 @test_no_sanitize_address(i32 %arg) {
  43   %x1 = call i32 @noattr_callee(i32 %arg)
  44   %x2 = call i32 @sanitize_address_callee(i32 %x1)
  45   %x3 = call i32 @alwaysinline_callee(i32 %x2)
  46   %x4 = call i32 @alwaysinline_sanitize_address_callee(i32 %x3)
  47   ret i32 %x4
  48 ; CHECK-LABEL: @test_no_sanitize_address(
  49 ; CHECK-NEXT: @sanitize_address_callee
  50 ; CHECK-NEXT: ret i32
  51 }
  52
  53 define i32 @test_no_sanitize_memory(i32 %arg) {
  54   %x1 = call i32 @noattr_callee(i32 %arg)
  55   %x2 = call i32 @sanitize_memory_callee(i32 %x1)
  56   %x3 = call i32 @alwaysinline_callee(i32 %x2)
  57   %x4 = call i32 @alwaysinline_sanitize_memory_callee(i32 %x3)
  58   ret i32 %x4
  59 ; CHECK-LABEL: @test_no_sanitize_memory(
  60 ; CHECK-NEXT: @sanitize_memory_callee
  61 ; CHECK-NEXT: ret i32
  62 }
  63
  64 define i32 @test_no_sanitize_thread(i32 %arg) {
  65   %x1 = call i32 @noattr_callee(i32 %arg)
  66   %x2 = call i32 @sanitize_thread_callee(i32 %x1)
  67   %x3 = call i32 @alwaysinline_callee(i32 %x2)
  68   %x4 = call i32 @alwaysinline_sanitize_thread_callee(i32 %x3)
  69   ret i32 %x4
  70 ; CHECK-LABEL: @test_no_sanitize_thread(
  71 ; CHECK-NEXT: @sanitize_thread_callee
  72 ; CHECK-NEXT: ret i32
  73 }
  74
  75
  76 ; Check that:
  77 ;  * noattr callee is not inlined into sanitize_(address|memory|thread) caller,
  78 ;  * sanitize_(address|memory|thread) callee is inlined into the caller with the same attribute,
  79 ;  * alwaysinline callee is always inlined no matter what sanitize_* attributes are present.
  80
  81 define i32 @test_sanitize_address(i32 %arg) sanitize_address {
  82   %x1 = call i32 @noattr_callee(i32 %arg)
  83   %x2 = call i32 @sanitize_address_callee(i32 %x1)
  84   %x3 = call i32 @alwaysinline_callee(i32 %x2)
  85   %x4 = call i32 @alwaysinline_sanitize_address_callee(i32 %x3)
  86   ret i32 %x4
  87 ; CHECK-LABEL: @test_sanitize_address(
  88 ; CHECK-NEXT: @noattr_callee
  89 ; CHECK-NEXT: ret i32
  90 }
  91
  92 define i32 @test_sanitize_memory(i32 %arg) sanitize_memory {
  93   %x1 = call i32 @noattr_callee(i32 %arg)
  94   %x2 = call i32 @sanitize_memory_callee(i32 %x1)
  95   %x3 = call i32 @alwaysinline_callee(i32 %x2)
  96   %x4 = call i32 @alwaysinline_sanitize_memory_callee(i32 %x3)
  97   ret i32 %x4
  98 ; CHECK-LABEL: @test_sanitize_memory(
  99 ; CHECK-NEXT: @noattr_callee
 100 ; CHECK-NEXT: ret i32
 101 }
 102
 103 define i32 @test_sanitize_thread(i32 %arg) sanitize_thread {
 104   %x1 = call i32 @noattr_callee(i32 %arg)
 105   %x2 = call i32 @sanitize_thread_callee(i32 %x1)
 106   %x3 = call i32 @alwaysinline_callee(i32 %x2)
 107   %x4 = call i32 @alwaysinline_sanitize_thread_callee(i32 %x3)
 108   ret i32 %x4
 109 ; CHECK-LABEL: @test_sanitize_thread(
 110 ; CHECK-NEXT: @noattr_callee
 111 ; CHECK-NEXT: ret i32
 112 }
 113
 114 ; Check that a function doesn't get inlined if target-cpu strings don't match
 115 ; exactly.
 116 define i32 @test_target_cpu_callee0(i32 %i) "target-cpu"="corei7" {
 117   ret i32 %i
 118 }
 119
 120 define i32 @test_target_cpu0(i32 %i) "target-cpu"="corei7" {
 121   %1 = call i32 @test_target_cpu_callee0(i32 %i)
 122   ret i32 %1
 123 ; CHECK-LABEL: @test_target_cpu0(
 124 ; CHECK-NOT: @test_target_cpu_callee0
 125 }
 126
 127 define i32 @test_target_cpu_callee1(i32 %i) "target-cpu"="x86-64" {
 128   ret i32 %i
 129 }
 130
 131 define i32 @test_target_cpu1(i32 %i) "target-cpu"="corei7" {
 132   %1 = call i32 @test_target_cpu_callee1(i32 %i)
 133   ret i32 %1
 134 ; CHECK-LABEL: @test_target_cpu1(
 135 ; CHECK-NEXT: @test_target_cpu_callee1
 136 ; CHECK-NEXT: ret i32
 137 }
 138
 139 ; Check that a function doesn't get inlined if target-features strings don't
 140 ; match exactly.
 141 define i32 @test_target_features_callee0(i32 %i)  "target-features"="+sse4.2" {
 142   ret i32 %i
 143 }
 144
 145 define i32 @test_target_features0(i32 %i) "target-features"="+sse4.2" {
 146   %1 = call i32 @test_target_features_callee0(i32 %i)
 147   ret i32 %1
 148 ; CHECK-LABEL: @test_target_features0(
 149 ; CHECK-NOT: @test_target_features_callee0
 150 }
 151
 152 define i32 @test_target_features_callee1(i32 %i) "target-features"="+avx2" {
 153   ret i32 %i
 154 }
 155
 156 define i32 @test_target_features1(i32 %i) "target-features"="+sse4.2" {
 157   %1 = call i32 @test_target_features_callee1(i32 %i)
 158   ret i32 %1
 159 ; CHECK-LABEL: @test_target_features1(
 160 ; CHECK-NEXT: @test_target_features_callee1
 161 ; CHECK-NEXT: ret i32
 162 }