| Dan Gohman | 1880092 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instcombine -disable-output |
| Andrew Lenharth | 8cf11aa | 2007-11-08 17:39:28 +0000 | [diff] [blame] | 2 | ; PR1780 |
| 3 | |
| 4 | 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:32:32" |
| 5 | target triple = "i686-pc-linux-gnu" |
| 6 | |
| 7 | %opaque_t = type opaque |
| 8 | |
| Andrew Lenharth | 19ca5c7 | 2007-11-08 18:45:15 +0000 | [diff] [blame] | 9 | %op_ts = type {opaque, i32} |
| 10 | |
| Andrew Lenharth | 8cf11aa | 2007-11-08 17:39:28 +0000 | [diff] [blame] | 11 | @g = external global %opaque_t |
| Andrew Lenharth | 19ca5c7 | 2007-11-08 18:45:15 +0000 | [diff] [blame] | 12 | @h = external global %op_ts |
| Andrew Lenharth | 8cf11aa | 2007-11-08 17:39:28 +0000 | [diff] [blame] | 13 | |
| 14 | define i32 @foo() { |
| 15 | entry: |
| 16 | %x = load i8* bitcast (%opaque_t* @g to i8*) |
| Andrew Lenharth | 19ca5c7 | 2007-11-08 18:45:15 +0000 | [diff] [blame] | 17 | %y = load i32* bitcast (%op_ts* @h to i32*) |
| Andrew Lenharth | 8cf11aa | 2007-11-08 17:39:28 +0000 | [diff] [blame] | 18 | %z = zext i8 %x to i32 |
| 19 | %r = add i32 %y, %z |
| 20 | ret i32 %r |
| 21 | } |
| 22 | |