diff options
author | Nuno Lopes <nunoplopes@sapo.pt> | 2012-06-25 17:11:47 +0000 |
---|---|---|
committer | Nuno Lopes <nunoplopes@sapo.pt> | 2012-06-25 17:11:47 +0000 |
commit | 3769fe149bb47dfdaa8ac39b7a4c26cf98ec503e (patch) | |
tree | 3b6f81ade44460101257ea285f2fa1cafe3ea71e /test | |
parent | e8742d084c54e9cd230fa03d368f0fedac2106cb (diff) | |
download | external_llvm-3769fe149bb47dfdaa8ac39b7a4c26cf98ec503e.zip external_llvm-3769fe149bb47dfdaa8ac39b7a4c26cf98ec503e.tar.gz external_llvm-3769fe149bb47dfdaa8ac39b7a4c26cf98ec503e.tar.bz2 |
improve optimization of invoke instructions:
- simplifycfg: invoke undef/null -> unreachable
- instcombine: invoke new -> invoke expect(0, 0) (an arbitrary NOOP intrinsic; only done if the allocated memory is unused, of course)
- verifier: allow invoke of intrinsics (to make the previous step work)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159146 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/InstCombine/objsize-64.ll | 2 | ||||
-rw-r--r-- | test/Transforms/SimplifyCFG/invoke.ll | 45 |
2 files changed, 46 insertions, 1 deletions
diff --git a/test/Transforms/InstCombine/objsize-64.ll b/test/Transforms/InstCombine/objsize-64.ll index 77b43ec..7a39f46 100644 --- a/test/Transforms/InstCombine/objsize-64.ll +++ b/test/Transforms/InstCombine/objsize-64.ll @@ -19,7 +19,7 @@ define i64 @f1() { ; CHECK: @f2 define i64 @f2() nounwind uwtable ssp { entry: -; CHECK: br label +; CHECK: invoke i8 @llvm.expect.i8(i8 0, i8 0) %call = invoke noalias i8* @_Znwm(i64 13) to label %invoke.cont unwind label %lpad diff --git a/test/Transforms/SimplifyCFG/invoke.ll b/test/Transforms/SimplifyCFG/invoke.ll new file mode 100644 index 0000000..c9169d4 --- /dev/null +++ b/test/Transforms/SimplifyCFG/invoke.ll @@ -0,0 +1,45 @@ +; RUN: opt < %s -simplifycfg -S | FileCheck %s +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" + +declare i32 @__gxx_personality_v0(...) +declare void @__cxa_call_unexpected(i8*) +declare i64 @llvm.objectsize.i64(i8*, i1) nounwind readonly + + +; CHECK: @f1 +define i8* @f1() nounwind uwtable ssp { +entry: +; CHECK: call void @llvm.trap() +; CHECK: unreachable + %call = invoke noalias i8* undef() + to label %invoke.cont unwind label %lpad + +invoke.cont: + ret i8* %call + +lpad: + %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + filter [0 x i8*] zeroinitializer + %1 = extractvalue { i8*, i32 } %0, 0 + tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind + unreachable +} + +; CHECK: @f2 +define i8* @f2() nounwind uwtable ssp { +entry: +; CHECK: call void @llvm.trap() +; CHECK: unreachable + %call = invoke noalias i8* null() + to label %invoke.cont unwind label %lpad + +invoke.cont: + ret i8* %call + +lpad: + %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) + filter [0 x i8*] zeroinitializer + %1 = extractvalue { i8*, i32 } %0, 0 + tail call void @__cxa_call_unexpected(i8* %1) noreturn nounwind + unreachable +} |