blob: 2d4474bdf930152089eeb3e8a7d08b29f5918db3 [file] [log] [blame]
Dan Gohmanfce288f2009-09-09 00:09:15 +00001; RUN: llc < %s
Tanya Lattner2393a242004-11-06 23:08:26 +00002
Vikram S. Adved28c8c82002-09-28 18:09:05 +00003;; GetMemInstArgs() folded the two getElementPtr instructions together,
4;; producing an illegal getElementPtr. That's because the type generated
5;; by the last index for the first one is a structure field, not an array
6;; element, and the second one indexes off that structure field.
7;; The code is legal but not type-safe and the two GEPs should not be folded.
8;;
9;; This code fragment is from Spec/CINT2000/197.parser/197.parser.bc,
10;; file post_process.c, function build_domain().
11;; (Modified to replace store with load and return load value.)
12;;
Tanya Lattner53a66d12008-02-19 01:41:04 +000013 %Domain = type { i8*, i32, i32*, i32, i32, i32*, %Domain* }
14@domain_array = external global [497 x %Domain] ; <[497 x %Domain]*> [#uses=2]
Vikram S. Adved28c8c82002-09-28 18:09:05 +000015
Tanya Lattner53a66d12008-02-19 01:41:04 +000016declare void @opaque([497 x %Domain]*)
Vikram S. Adved28c8c82002-09-28 18:09:05 +000017
Tanya Lattner53a66d12008-02-19 01:41:04 +000018define i32 @main(i32 %argc, i8** %argv) {
19bb0:
20 call void @opaque( [497 x %Domain]* @domain_array )
21 %cann-indvar-idxcast = sext i32 %argc to i64 ; <i64> [#uses=1]
22 %reg841 = getelementptr [497 x %Domain]* @domain_array, i64 0, i64 %cann-indvar-idxcast, i32 3 ; <i32*> [#uses=1]
23 %reg846 = getelementptr i32* %reg841, i64 1 ; <i32*> [#uses=1]
24 %reg820 = load i32* %reg846 ; <i32> [#uses=1]
25 ret i32 %reg820
Vikram S. Adved28c8c82002-09-28 18:09:05 +000026}
Tanya Lattner53a66d12008-02-19 01:41:04 +000027