diff options
| author | Duncan Sands <baldrick@free.fr> | 2010-11-21 13:53:09 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2010-11-21 13:53:09 +0000 |
| commit | e60d79faf7ef7bc4847f9e5d067af00b98dced7b (patch) | |
| tree | f04324e883cd8e197add78f0a9b8481be6a756d4 /test | |
| parent | e58391073f6e17cd1024f737618a6f6b8d1323ce (diff) | |
Add a rather pointless InstructionSimplify transform, inspired by recent constant
folding improvements: if P points to a type of size zero, turn "gep P, N" into "P".
More generally, if a gep index type has size zero, instcombine could replace the
index with zero, but that is not done here.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@119942 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/InstCombine/2010-11-21-SizeZeroTypeGEP.ll | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/2010-11-21-SizeZeroTypeGEP.ll b/test/Transforms/InstCombine/2010-11-21-SizeZeroTypeGEP.ll new file mode 100644 index 0000000000..24da5bb3df --- /dev/null +++ b/test/Transforms/InstCombine/2010-11-21-SizeZeroTypeGEP.ll @@ -0,0 +1,8 @@ +; RUN: opt < %s -instcombine -S | not grep getelementptr + +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) { + %p = getelementptr {}* %x, i32 %n + ret {}* %p +} |