| Bill Wendling | cd6df16 | 2012-04-24 09:15:38 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s |
| Chris Lattner | b35d9b5 | 2008-06-16 06:19:11 +0000 | [diff] [blame] | 2 | ; PR2436 |
| 3 | target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" |
| 4 | target triple = "i386-apple-darwin8" |
| 5 | |
| 6 | define i1 @foo(i32 %i) nounwind { |
| Bill Wendling | cd6df16 | 2012-04-24 09:15:38 +0000 | [diff] [blame] | 7 | ; CHECK: ret i1 true |
| Chris Lattner | b35d9b5 | 2008-06-16 06:19:11 +0000 | [diff] [blame] | 8 | entry: |
| 9 | %arr = alloca [10 x i8*] ; <[10 x i8*]*> [#uses=1] |
| 10 | %tmp2 = call i8* @getPtr( ) nounwind ; <i8*> [#uses=2] |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 11 | %tmp4 = getelementptr [10 x i8*], [10 x i8*]* %arr, i32 0, i32 %i ; <i8**> [#uses=2] |
| Chris Lattner | b35d9b5 | 2008-06-16 06:19:11 +0000 | [diff] [blame] | 12 | store i8* %tmp2, i8** %tmp4, align 4 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 13 | %tmp10 = getelementptr i8, i8* %tmp2, i32 10 ; <i8*> [#uses=1] |
| Chris Lattner | b35d9b5 | 2008-06-16 06:19:11 +0000 | [diff] [blame] | 14 | store i8 42, i8* %tmp10, align 1 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 15 | %tmp14 = load i8*, i8** %tmp4, align 4 ; <i8*> [#uses=1] |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 16 | %tmp16 = getelementptr i8, i8* %tmp14, i32 10 ; <i8*> [#uses=1] |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 17 | %tmp17 = load i8, i8* %tmp16, align 1 ; <i8> [#uses=1] |
| Chris Lattner | b35d9b5 | 2008-06-16 06:19:11 +0000 | [diff] [blame] | 18 | %tmp19 = icmp eq i8 %tmp17, 42 ; <i1> [#uses=1] |
| 19 | ret i1 %tmp19 |
| 20 | } |
| 21 | |
| 22 | declare i8* @getPtr() |
| 23 | |
| 24 | declare void @abort() noreturn nounwind |