1; RUN: opt < %s -passes=argpromotion -S | FileCheck %s 2 3; Store instructions are allowed users for byval arguments only. 4define internal void @callee(ptr %arg) nounwind { 5; CHECK-LABEL: define {{[^@]+}}@callee 6; CHECK-SAME: (ptr [[ARG:%.*]]) #[[ATTR0:[0-9]+]] { 7; CHECK-NEXT: entry: 8; CHECK-NEXT: [[TEMP:%.*]] = load i32, ptr [[ARG]], align 4 9; CHECK-NEXT: [[SUM:%.*]] = add i32 [[TEMP]], 1 10; CHECK-NEXT: store i32 [[SUM]], ptr [[ARG]], align 4 11; CHECK-NEXT: ret void 12; 13entry: 14 %temp = load i32, ptr %arg, align 4 15 %sum = add i32 %temp, 1 16 store i32 %sum, ptr %arg, align 4 17 ret void 18} 19 20define i32 @caller(ptr %arg) nounwind { 21; CHECK-LABEL: define {{[^@]+}}@caller 22; CHECK-SAME: (ptr [[ARG:%.*]]) #[[ATTR0]] { 23; CHECK-NEXT: entry: 24; CHECK-NEXT: call void @callee(ptr [[ARG]]) #[[ATTR0]] 25; CHECK-NEXT: ret i32 0 26; 27entry: 28 call void @callee(ptr %arg) nounwind 29 ret i32 0 30} 31