diff options
author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2013-08-08 08:22:39 +0000 |
---|---|---|
committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2013-08-08 08:22:39 +0000 |
commit | 35d21021337fc3dba82155c7232c2c5277b73883 (patch) | |
tree | b82d095572bc06d6ad3d1c12b1814e88b2e26043 /test/Transforms/Inline | |
parent | 76ef79f410853a431c820cb5d0ee11cd66d4c90d (diff) | |
download | llvm-35d21021337fc3dba82155c7232c2c5277b73883.tar.gz llvm-35d21021337fc3dba82155c7232c2c5277b73883.tar.bz2 llvm-35d21021337fc3dba82155c7232c2c5277b73883.tar.xz |
Disable inlining between sanitized and non-sanitized functions.
Inlining between functions with different values of sanitize_* attributes
leads to over- or under-sanitizing, which is always bad.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187967 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/Inline')
-rw-r--r-- | test/Transforms/Inline/attributes.ll | 112 |
1 files changed, 112 insertions, 0 deletions
diff --git a/test/Transforms/Inline/attributes.ll b/test/Transforms/Inline/attributes.ll new file mode 100644 index 0000000000..53fb13f2ba --- /dev/null +++ b/test/Transforms/Inline/attributes.ll @@ -0,0 +1,112 @@ +; RUN: opt < %s -inline -S | FileCheck %s +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" + +define i32 @noattr_callee(i32 %i) { + ret i32 %i +} + +define i32 @sanitize_address_callee(i32 %i) sanitize_address { + ret i32 %i +} + +define i32 @sanitize_thread_callee(i32 %i) sanitize_thread { + ret i32 %i +} + +define i32 @sanitize_memory_callee(i32 %i) sanitize_memory { + ret i32 %i +} + +define i32 @alwaysinline_callee(i32 %i) alwaysinline { + ret i32 %i +} + +define i32 @alwaysinline_sanitize_address_callee(i32 %i) alwaysinline sanitize_address { + ret i32 %i +} + +define i32 @alwaysinline_sanitize_thread_callee(i32 %i) alwaysinline sanitize_thread { + ret i32 %i +} + +define i32 @alwaysinline_sanitize_memory_callee(i32 %i) alwaysinline sanitize_memory { + ret i32 %i +} + + +; Check that: +; * noattr callee is inlined into noattr caller, +; * sanitize_(address|memory|thread) callee is not inlined into noattr caller, +; * alwaysinline callee is always inlined no matter what sanitize_* attributes are present. + +define i32 @test_no_sanitize_address(i32 %arg) { + %x1 = call i32 @noattr_callee(i32 %arg) + %x2 = call i32 @sanitize_address_callee(i32 %x1) + %x3 = call i32 @alwaysinline_callee(i32 %x2) + %x4 = call i32 @alwaysinline_sanitize_address_callee(i32 %x3) + ret i32 %x4 +; CHECK-LABEL: @test_no_sanitize_address( +; CHECK-NEXT: @sanitize_address_callee +; CHECK-NEXT: ret i32 +} + +define i32 @test_no_sanitize_memory(i32 %arg) { + %x1 = call i32 @noattr_callee(i32 %arg) + %x2 = call i32 @sanitize_memory_callee(i32 %x1) + %x3 = call i32 @alwaysinline_callee(i32 %x2) + %x4 = call i32 @alwaysinline_sanitize_memory_callee(i32 %x3) + ret i32 %x4 +; CHECK-LABEL: @test_no_sanitize_memory( +; CHECK-NEXT: @sanitize_memory_callee +; CHECK-NEXT: ret i32 +} + +define i32 @test_no_sanitize_thread(i32 %arg) { + %x1 = call i32 @noattr_callee(i32 %arg) + %x2 = call i32 @sanitize_thread_callee(i32 %x1) + %x3 = call i32 @alwaysinline_callee(i32 %x2) + %x4 = call i32 @alwaysinline_sanitize_thread_callee(i32 %x3) + ret i32 %x4 +; CHECK-LABEL: @test_no_sanitize_thread( +; CHECK-NEXT: @sanitize_thread_callee +; CHECK-NEXT: ret i32 +} + + +; Check that: +; * noattr callee is not inlined into sanitize_(address|memory|thread) caller, +; * sanitize_(address|memory|thread) callee is inlined into the caller with the same attribute, +; * alwaysinline callee is always inlined no matter what sanitize_* attributes are present. + +define i32 @test_sanitize_address(i32 %arg) sanitize_address { + %x1 = call i32 @noattr_callee(i32 %arg) + %x2 = call i32 @sanitize_address_callee(i32 %x1) + %x3 = call i32 @alwaysinline_callee(i32 %x2) + %x4 = call i32 @alwaysinline_sanitize_address_callee(i32 %x3) + ret i32 %x4 +; CHECK-LABEL: @test_sanitize_address( +; CHECK-NEXT: @noattr_callee +; CHECK-NEXT: ret i32 +} + +define i32 @test_sanitize_memory(i32 %arg) sanitize_memory { + %x1 = call i32 @noattr_callee(i32 %arg) + %x2 = call i32 @sanitize_memory_callee(i32 %x1) + %x3 = call i32 @alwaysinline_callee(i32 %x2) + %x4 = call i32 @alwaysinline_sanitize_memory_callee(i32 %x3) + ret i32 %x4 +; CHECK-LABEL: @test_sanitize_memory( +; CHECK-NEXT: @noattr_callee +; CHECK-NEXT: ret i32 +} + +define i32 @test_sanitize_thread(i32 %arg) sanitize_thread { + %x1 = call i32 @noattr_callee(i32 %arg) + %x2 = call i32 @sanitize_thread_callee(i32 %x1) + %x3 = call i32 @alwaysinline_callee(i32 %x2) + %x4 = call i32 @alwaysinline_sanitize_thread_callee(i32 %x3) + ret i32 %x4 +; CHECK-LABEL: @test_sanitize_thread( +; CHECK-NEXT: @noattr_callee +; CHECK-NEXT: ret i32 +} |