Dan Gohman | fce288f | 2009-09-09 00:09:15 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s |
Tanya Lattner | 2393a24 | 2004-11-06 23:08:26 +0000 | [diff] [blame] | 2 | |
Vikram S. Adve | d28c8c8 | 2002-09-28 18:09:05 +0000 | [diff] [blame] | 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 Lattner | 53a66d1 | 2008-02-19 01:41:04 +0000 | [diff] [blame] | 13 | %Domain = type { i8*, i32, i32*, i32, i32, i32*, %Domain* } |
| 14 | @domain_array = external global [497 x %Domain] ; <[497 x %Domain]*> [#uses=2] |
Vikram S. Adve | d28c8c8 | 2002-09-28 18:09:05 +0000 | [diff] [blame] | 15 | |
Tanya Lattner | 53a66d1 | 2008-02-19 01:41:04 +0000 | [diff] [blame] | 16 | declare void @opaque([497 x %Domain]*) |
Vikram S. Adve | d28c8c8 | 2002-09-28 18:09:05 +0000 | [diff] [blame] | 17 | |
Tanya Lattner | 53a66d1 | 2008-02-19 01:41:04 +0000 | [diff] [blame] | 18 | define i32 @main(i32 %argc, i8** %argv) { |
| 19 | bb0: |
| 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. Adve | d28c8c8 | 2002-09-28 18:09:05 +0000 | [diff] [blame] | 26 | } |
Tanya Lattner | 53a66d1 | 2008-02-19 01:41:04 +0000 | [diff] [blame] | 27 | |