| ; RUN: opt < %s -basicaa -dse -S | FileCheck %s |
| ; PR9561 |
| 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:128:128-n8:16:32" |
| target triple = "i386-apple-darwin9.8" |
| |
| @A = external global [0 x i32] |
| |
| declare cc10 void @Func2(i32*, i32*, i32*, i32) |
| |
| define cc10 void @Func1(i32* noalias %Arg1, i32* noalias %Arg2, i32* %Arg3, i32 %Arg4) { |
| entry: |
| store i32 add (i32 ptrtoint ([0 x i32]* @A to i32), i32 1), i32* %Arg2 |
| ; CHECK: store i32 add (i32 ptrtoint ([0 x i32]* @A to i32), i32 1), i32* %Arg2 |
| %ln2gz = getelementptr i32* %Arg1, i32 14 |
| %ln2gA = bitcast i32* %ln2gz to double* |
| %ln2gB = load double* %ln2gA |
| %ln2gD = getelementptr i32* %Arg2, i32 -3 |
| %ln2gE = bitcast i32* %ln2gD to double* |
| store double %ln2gB, double* %ln2gE |
| ; CHECK: store double %ln2gB, double* %ln2gE |
| tail call cc10 void @Func2(i32* %Arg1, i32* %Arg2, i32* %Arg3, i32 %Arg4) nounwind |
| ret void |
| } |
