File: 2007-12-20-ParamAttrs.ll

package info (click to toggle)
llvm-toolchain-20 1%3A20.1.6-1~exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 2,111,304 kB
  • sloc: cpp: 7,438,677; ansic: 1,393,822; asm: 1,012,926; python: 241,650; f90: 86,635; objc: 75,479; lisp: 42,144; pascal: 17,286; sh: 10,027; ml: 5,082; perl: 4,730; awk: 3,523; makefile: 3,349; javascript: 2,251; xml: 892; fortran: 672
file content (29 lines) | stat: -rw-r--r-- 822 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
 
; RUN: opt < %s -passes=deadargelim -S -pass-remarks-output=%t | FileCheck %s
; RUN: cat %t | FileCheck -check-prefix=REMARK %s

%struct = type { }

@g = global i8 0

; CHECK: define internal void @foo(i8 signext %y) [[NUW:#[0-9]+]]
;
; REMARK-LABEL: Function: foo
; REMARK:       Args:
; REMARK-NEXT:    - String:   'eliminating argument '
; REMARK-NEXT:    - ArgName:  p
; REMARK-NEXT:    - String:   '('
; REMARK-NEXT:    - ArgIndex: '0'
; REMARK-NEXT:    - String:   ')'

define internal zeroext i8 @foo(ptr inreg %p, i8 signext %y, ... )  nounwind {
  store i8 %y, ptr @g
  ret i8 0
}

define i32 @bar() {
; CHECK: call void @foo(i8 signext 1) [[NUW]]
  %A = call zeroext i8(ptr, i8, ...) @foo(ptr inreg null, i8 signext 1, ptr byval(%struct) null ) nounwind
  ret i32 0
}

; CHECK: attributes [[NUW]] = { nounwind }