[llvm-commits] [llvm] r160711 - in /llvm/trunk: lib/Analysis/ConstantFolding.cpp test/Transforms/InstCombine/2012-07-25-LoadPart.ll

[Eli Friedman]

On Wed, Jul 25, 2012 at 2:41 AM, Duncan Sands <baldrick at free.fr> wrote:
> Hi Eli,
>
>
>>> +; RUN: opt < %s -instcombine -S | FileCheck %s
>>> +; PR13442
>>> +
>>> +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-n8:16:32-S128"
>>> +
>>> + at test = constant [4 x i32] [i32 1, i32 2, i32 3, i32 4]
>>> +
>>> +define i64 @foo() {
>>> +  %ret = load i64* bitcast (i8* getelementptr (i8* bitcast ([4 x i32]*
>>> @test to i8*), i64 2) to i64*)
>>> +  ret i64 %ret
>>> +  ; CHECK: ret i64 844424930263040
>>> +}
>>
>>
>> Can you replace this testcase with one which doesn't have undefined
>> behavior?
>
>
> you're referring to the load alignment, right?

Yes,

-Eli