1 ; RUN: opt < %s -argpromotion -S | FileCheck %s 2 3 ; CHECK: define internal i32 @deref(i32 %x.val) #0 { 4 define internal i32 @deref(i32* %x) nounwind { 5 entry: 6 %tmp2 = load i32* %x, align 4 7 ret i32 %tmp2 8 } 9 10 define i32 @f(i32 %x) { 11 entry: 12 %x_addr = alloca i32 13 store i32 %x, i32* %x_addr, align 4 14 ; CHECK: %tmp1 = call i32 @deref(i32 %x_addr.val) [[NUW:#[0-9]+]] 15 %tmp1 = call i32 @deref( i32* %x_addr ) nounwind 16 ret i32 %tmp1 17 } 18 19 ; CHECK: attributes [[NUW]] = { nounwind } 20