blob: b59d3c80335e402e3e04c602abc575ef5113b912 [file] [log] [blame]
Jeff Cohen6f98cd32007-04-04 16:11:23 +00001; In the presence of a negative offset (the -8 below), a fold of a bitcast into
2; a malloc messes up the element count, causing an extra 4GB to be allocated on
3; 64-bit targets.
4;
Dan Gohman18800922009-09-11 18:01:28 +00005; RUN: opt < %s -instcombine -S | not grep {= add }
Jeff Cohen6f98cd32007-04-04 16:11:23 +00006
7target datalayout = "e-p:64:64:64-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"
8target triple = "x86_64-unknown-freebsd6.2"
9
10define i1 @test(i32 %tmp141, double** %tmp145)
11{
12 %tmp133 = add i32 %tmp141, 1
13 %tmp134 = shl i32 %tmp133, 3
14 %tmp135 = add i32 %tmp134, -8
15 %tmp136 = malloc i8, i32 %tmp135
16 %tmp137 = bitcast i8* %tmp136 to double*
17 store double* %tmp137, double** %tmp145
18 ret i1 false
19}