--- /dev/null
+; This test makes sure that these instructions are properly eliminated.
+;
+
+; RUN: if as < %s | opt -instcombine | dis | grep load
+; RUN: then exit 1
+; RUN: else exit 0
+; RUN: fi
+
+%X = constant int 42
+%Y = constant [2 x { int, float }] [ { int, float } { int 12, float 1.0 },
+ { int, float } { int 37, float 1.2312 } ]
+int %test1() {
+ %B = load int* %X
+ ret int %B
+}
+
+float %test2() {
+ %A = getelementptr [2 x { int, float}]* %Y, long 0, long 1, ubyte 1
+ %B = load float* %A
+ ret float %B
+}
+
+int %test3() {
+ %A = getelementptr [2 x { int, float}]* %Y, long 0, long 0, ubyte 0
+ %B = load int* %A
+ ret int %B
+}
+
+