xref: /aosp_15_r20/external/llvm/test/Transforms/DeadArgElim/2007-12-20-ParamAttrs.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -deadargelim -S | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker%struct = type { }
4*9880d681SAndroid Build Coastguard Worker
5*9880d681SAndroid Build Coastguard Worker@g = global i8 0
6*9880d681SAndroid Build Coastguard Worker
7*9880d681SAndroid Build Coastguard Worker; CHECK: define internal void @foo(i8 signext %y) [[NUW:#[0-9]+]]
8*9880d681SAndroid Build Coastguard Worker
9*9880d681SAndroid Build Coastguard Workerdefine internal zeroext i8 @foo(i8* inreg %p, i8 signext %y, ... )  nounwind {
10*9880d681SAndroid Build Coastguard Worker  store i8 %y, i8* @g
11*9880d681SAndroid Build Coastguard Worker  ret i8 0
12*9880d681SAndroid Build Coastguard Worker}
13*9880d681SAndroid Build Coastguard Worker
14*9880d681SAndroid Build Coastguard Workerdefine i32 @bar() {
15*9880d681SAndroid Build Coastguard Worker; CHECK: call void @foo(i8 signext 1) [[NUW]]
16*9880d681SAndroid Build Coastguard Worker  %A = call zeroext i8(i8*, i8, ...) @foo(i8* inreg null, i8 signext 1, %struct* byval null ) nounwind
17*9880d681SAndroid Build Coastguard Worker  ret i32 0
18*9880d681SAndroid Build Coastguard Worker}
19*9880d681SAndroid Build Coastguard Worker
20*9880d681SAndroid Build Coastguard Worker; CHECK: attributes [[NUW]] = { nounwind }
21