test/Transforms/ArgumentPromotion/2008-02-01-ReturnAttrs.ll

   1 ; RUN: opt < %s -argpromotion -S | FileCheck %s
   2
   3 ; CHECK: define internal i32 @deref(i32 %x.val) #0 {
   4 define internal i32 @deref(i32* %x) nounwind {
   5 entry:
   6   %tmp2 = load i32, i32* %x, align 4
   7   ret i32 %tmp2
   8 }
   9
  10 define i32 @f(i32 %x) {
  11 entry:
  12   %x_addr = alloca i32
  13   store i32 %x, i32* %x_addr, align 4
  14 ; CHECK: %tmp1 = call i32 @deref(i32 %x_addr.val) [[NUW:#[0-9]+]]
  15   %tmp1 = call i32 @deref( i32* %x_addr ) nounwind
  16   ret i32 %tmp1
  17 }
  18
  19 ; CHECK: attributes [[NUW]] = { nounwind }