diff options
| author | Duncan Sands <baldrick@free.fr> | 2010-11-22 16:32:50 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2010-11-22 16:32:50 +0000 |
| commit | a63395a30f9227bde826749d3480046301b47332 (patch) | |
| tree | 98e2d9964feb8bea8b582060b45add77b35c6fa0 /test | |
| parent | d87e571e6240c3d7d18b0a5f823a9c622c16c0aa (diff) | |
If a GEP index simply advances by multiples of a type of zero size,
then replace the index with zero.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119974 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/InstCombine/2010-11-21-SizeZeroTypeGEP.ll | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/test/Transforms/InstCombine/2010-11-21-SizeZeroTypeGEP.ll b/test/Transforms/InstCombine/2010-11-21-SizeZeroTypeGEP.ll index 24da5bb3df..720365c4d6 100644 --- a/test/Transforms/InstCombine/2010-11-21-SizeZeroTypeGEP.ll +++ b/test/Transforms/InstCombine/2010-11-21-SizeZeroTypeGEP.ll @@ -1,8 +1,17 @@ -; RUN: opt < %s -instcombine -S | not grep getelementptr +; RUN: opt < %s -instcombine -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" define {}* @foo({}* %x, i32 %n) { +; CHECK: @foo +; CHECK-NOT: getelementptr %p = getelementptr {}* %x, i32 %n ret {}* %p } + +define i8* @bar(i64 %n, {{}, [0 x {[0 x i8]}]}* %p) { +; CHECK: @bar + %g = getelementptr {{}, [0 x {[0 x i8]}]}* %p, i64 %n, i32 1, i64 %n, i32 0, i64 %n +; CHECK: %p, i64 0, i32 1, i64 0, i32 0, i64 %n + ret i8* %g +} |