30 lines · plain
1; RUN: opt < %s -passes=deadargelim -S -pass-remarks-output=%t | FileCheck %s2; RUN: cat %t | FileCheck -check-prefix=REMARK %s3 4%struct = type { }5 6@g = global i8 07 8; CHECK: define internal void @foo(i8 signext %y) [[NUW:#[0-9]+]]9;10; REMARK-LABEL: Function: foo11; REMARK: Args:12; REMARK-NEXT: - String: 'eliminating argument '13; REMARK-NEXT: - ArgName: p14; REMARK-NEXT: - String: '('15; REMARK-NEXT: - ArgIndex: '0'16; REMARK-NEXT: - String: ')'17 18define internal zeroext i8 @foo(ptr inreg %p, i8 signext %y, ... ) nounwind {19 store i8 %y, ptr @g20 ret i8 021}22 23define i32 @bar() {24; CHECK: call void @foo(i8 signext 1) [[NUW]]25 %A = call zeroext i8(ptr, i8, ...) @foo(ptr inreg null, i8 signext 1, ptr byval(%struct) null ) nounwind26 ret i32 027}28 29; CHECK: attributes [[NUW]] = { nounwind }30