test/Transforms/DeadArgElim/2007-12-20-ParamAttrs.ll

   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 }