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
9define internal zeroext i8 @foo(i8* inreg %p, i8 signext %y, ... )  nounwind {
10  store i8 %y, i8* @g
11  ret i8 0
12}
13
14define 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