test/Transforms/InstCombine/2010-11-21-SizeZeroTypeGEP.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 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"
   4
   5 define {}* @foo({}* %x, i32 %n) {
   6 ; CHECK-LABEL: @foo(
   7 ; CHECK-NOT: getelementptr
   8   %p = getelementptr {}, {}* %x, i32 %n
   9   ret {}* %p
  10 }
  11
  12 define i8* @bar(i64 %n, {{}, [0 x {[0 x i8]}]}* %p) {
  13 ; CHECK-LABEL: @bar(
  14   %g = getelementptr {{}, [0 x {[0 x i8]}]}, {{}, [0 x {[0 x i8]}]}* %p, i64 %n, i32 1, i64 %n, i32 0, i64 %n
  15 ; CHECK: %p, i64 0, i32 1, i64 0, i32 0, i64 %n
  16   ret i8* %g
  17 }