| Bob Wilson | 7c42b9d | 2010-01-29 19:19:08 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| 2 | |
| 3 | target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:32-n32" |
| 4 | |
| 5 | @a = constant [2 x i32] [i32 3, i32 6] ; <[2 x i32]*> [#uses=2] |
| 6 | |
| Bob Wilson | 2e51136 | 2010-01-30 00:40:23 +0000 | [diff] [blame] | 7 | define i32 @b(i32 %y) nounwind readonly { |
| Stephen Lin | c1c7a13 | 2013-07-14 01:42:54 +0000 | [diff] [blame^] | 8 | ; CHECK-LABEL: @b( |
| Bob Wilson | 7c42b9d | 2010-01-29 19:19:08 +0000 | [diff] [blame] | 9 | ; CHECK-NOT: load |
| 10 | ; CHECK: ret i32 |
| 11 | entry: |
| 12 | %0 = icmp eq i32 %y, 0 ; <i1> [#uses=1] |
| 13 | %storemerge = select i1 %0, i32* getelementptr inbounds ([2 x i32]* @a, i32 0, i32 1), i32* getelementptr inbounds ([2 x i32]* @a, i32 0, i32 0) ; <i32*> [#uses=1] |
| 14 | %1 = load i32* %storemerge, align 4 ; <i32> [#uses=1] |
| 15 | ret i32 %1 |
| 16 | } |