1; RUN: opt < %s -ipsccp -S | FileCheck %s 2; Don't constant-propagate byval pointers, since they are not pointers! 3; PR5038 4%struct.MYstr = type { i8, i32 } 5@mystr = internal global %struct.MYstr zeroinitializer ; <%struct.MYstr*> [#uses=3] 6define internal void @vfu1(%struct.MYstr* byval align 4 %u) nounwind { 7entry: 8 %0 = getelementptr %struct.MYstr, %struct.MYstr* %u, i32 0, i32 1 ; <i32*> [#uses=1] 9 store i32 99, i32* %0, align 4 10; CHECK: %struct.MYstr* %u 11 %1 = getelementptr %struct.MYstr, %struct.MYstr* %u, i32 0, i32 0 ; <i8*> [#uses=1] 12 store i8 97, i8* %1, align 4 13; CHECK: %struct.MYstr* %u 14 br label %return 15 16return: ; preds = %entry 17 ret void 18} 19 20define internal i32 @vfu2(%struct.MYstr* byval align 4 %u) nounwind readonly { 21entry: 22 %0 = getelementptr %struct.MYstr, %struct.MYstr* %u, i32 0, i32 1 ; <i32*> [#uses=1] 23 %1 = load i32, i32* %0 24; CHECK: load i32, i32* getelementptr inbounds (%struct.MYstr, %struct.MYstr* @mystr, i32 0, i32 1) 25 %2 = getelementptr %struct.MYstr, %struct.MYstr* %u, i32 0, i32 0 ; <i8*> [#uses=1] 26 %3 = load i8, i8* %2 27; CHECK: load i8, i8* getelementptr inbounds (%struct.MYstr, %struct.MYstr* @mystr, i32 0, i32 0) 28 %4 = zext i8 %3 to i32 29 %5 = add i32 %4, %1 30 ret i32 %5 31} 32 33define i32 @unions() nounwind { 34entry: 35 call void @vfu1(%struct.MYstr* byval align 4 @mystr) nounwind 36 %result = call i32 @vfu2(%struct.MYstr* byval align 4 @mystr) nounwind 37 38 ret i32 %result 39} 40 41