diff options
| author | Dan Gohman <gohman@apple.com> | 2009-07-20 17:43:30 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-07-20 17:43:30 +0000 |
| commit | f2411744214dad8c71044aac2977ca77e9ebf028 (patch) | |
| tree | ab9b1cf7ba93de491166ef4b814f9b673ad8f2ae /test/Transforms/InstCombine/cast_ptr.ll | |
| parent | 8f4e22ff9a17b750fef179ed1572e9bfd01ed9a2 (diff) | |
| download | external_llvm-f2411744214dad8c71044aac2977ca77e9ebf028.zip external_llvm-f2411744214dad8c71044aac2977ca77e9ebf028.tar.gz external_llvm-f2411744214dad8c71044aac2977ca77e9ebf028.tar.bz2 | |
Revert the addition of hasNoPointerOverflow to GEPOperator.
Getelementptrs that are defined to wrap are virtually useless to
optimization, and getelementptrs that are undefined on any kind
of overflow are too restrictive -- it's difficult to ensure that
all intermediate addresses are within bounds. I'm going to take
a different approach.
Remove a few optimizations that depended on this flag.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76437 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/cast_ptr.ll')
| -rw-r--r-- | test/Transforms/InstCombine/cast_ptr.ll | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/test/Transforms/InstCombine/cast_ptr.ll b/test/Transforms/InstCombine/cast_ptr.ll index fd600a8..9b87ed0 100644 --- a/test/Transforms/InstCombine/cast_ptr.ll +++ b/test/Transforms/InstCombine/cast_ptr.ll @@ -1,8 +1,15 @@ ; Tests to make sure elimination of casts is working correctly -; RUN: llvm-as < %s | opt -instcombine | llvm-dis | notcast +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | FileCheck %s target datalayout = "p:32:32" +; This shouldn't convert to getelementptr because the relationship +; between the arithmetic and the layout of allocated memory is +; entirely unknown. +; CHECK: @test1 +; CHECK: ptrtoint +; CHECK: add +; CHECK: inttoptr define i8* @test1(i8* %t) { %tmpc = ptrtoint i8* %t to i32 ; <i32> [#uses=1] %tmpa = add i32 %tmpc, 32 ; <i32> [#uses=1] @@ -10,6 +17,9 @@ define i8* @test1(i8* %t) { ret i8* %tv } +; These casts should be folded away. +; CHECK: @test2 +; CHECK: icmp eq i8* %a, %b define i1 @test2(i8* %a, i8* %b) { %tmpa = ptrtoint i8* %a to i32 ; <i32> [#uses=1] %tmpb = ptrtoint i8* %b to i32 ; <i32> [#uses=1] |