1 ; RUN: opt < %s -deadargelim -S | FileCheck %s 2 3 %struct = type { } 4 5 @g = global i8 0 6 7 ; CHECK: define internal void @foo(i8 signext %y) [[NUW:#[0-9]+]] 8 9 define internal zeroext i8 @foo(i8* inreg %p, i8 signext %y, ... ) nounwind { 10 store i8 %y, i8* @g 11 ret i8 0 12 } 13 14 define i32 @bar() { 15 ; CHECK: call void @foo(i8 signext 1) [[NUW]] 16 %A = call zeroext i8(i8*, i8, ...) @foo(i8* inreg null, i8 signext 1, %struct* byval null ) nounwind 17 ret i32 0 18 } 19 20 ; CHECK: attributes [[NUW]] = { nounwind } 21
