blob: 8de12512d1451e05bc0c46b3d92f8452a595a55a [file] [log] [blame]
Tanya Lattnerf28e0ce2008-02-19 01:41:04 +00001; RUN: llvm-as < %s | llc
Dan Gohmanf17a25c2007-07-18 16:29:46 +00002
3;; 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 Lattnerf28e0ce2008-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]
Dan Gohmanf17a25c2007-07-18 16:29:46 +000015
Tanya Lattnerf28e0ce2008-02-19 01:41:04 +000016declare void @opaque([497 x %Domain]*)
Dan Gohmanf17a25c2007-07-18 16:29:46 +000017
Tanya Lattnerf28e0ce2008-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
Dan Gohmanf17a25c2007-07-18 16:29:46 +000026}
Tanya Lattnerf28e0ce2008-02-19 01:41:04 +000027