diff --git a/interp/memory.go b/interp/memory.go index 53b798a3..c7024091 100644 --- a/interp/memory.go +++ b/interp/memory.go @@ -985,12 +985,9 @@ func (v *rawValue) set(llvmValue llvm.Value, r *runner) { case llvm.GetElementPtr: ptr := llvmValue.Operand(0) index := llvmValue.Operand(1) - if checks && index.IsAConstantInt().IsNil() || index.ZExtValue() != 0 { - panic("expected first index of const gep to be i32 0") - } numOperands := llvmValue.OperandsCount() elementType := ptr.Type().ElementType() - totalOffset := uint64(0) + totalOffset := r.targetData.TypeAllocSize(elementType) * index.ZExtValue() for i := 2; i < numOperands; i++ { indexValue := llvmValue.Operand(i) if checks && indexValue.IsAConstantInt().IsNil() { diff --git a/interp/testdata/consteval.ll b/interp/testdata/consteval.ll index b3f664de..9afb9ff7 100644 --- a/interp/testdata/consteval.ll +++ b/interp/testdata/consteval.ll @@ -3,6 +3,8 @@ target triple = "x86_64--linux" @intToPtrResult = global i8 0 @ptrToIntResult = global i8 0 +@someArray = internal global {i16, i8, i8} zeroinitializer +@someArrayPointer = global i8* zeroinitializer define void @runtime.initAll() { call void @main.init() @@ -12,6 +14,7 @@ define void @runtime.initAll() { define internal void @main.init() { call void @testIntToPtr() call void @testPtrToInt() + call void @testConstGEP() ret void } @@ -40,3 +43,8 @@ b: store i8 2, i8* @ptrToIntResult ret void } + +define internal void @testConstGEP() { + store i8* getelementptr inbounds (i8, i8* bitcast ({i16, i8, i8}* @someArray to i8*), i32 2), i8** @someArrayPointer + ret void +} diff --git a/interp/testdata/consteval.out.ll b/interp/testdata/consteval.out.ll index 175babbf..5fac449e 100644 --- a/interp/testdata/consteval.out.ll +++ b/interp/testdata/consteval.out.ll @@ -3,6 +3,8 @@ target triple = "x86_64--linux" @intToPtrResult = local_unnamed_addr global i8 2 @ptrToIntResult = local_unnamed_addr global i8 2 +@someArray = internal global { i16, i8, i8 } zeroinitializer +@someArrayPointer = local_unnamed_addr global i8* getelementptr inbounds ({ i16, i8, i8 }, { i16, i8, i8 }* @someArray, i64 0, i32 1) define void @runtime.initAll() local_unnamed_addr { ret void