1651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines// REQUIRES: powerpc-registered-target
2a3f55b026fc24db6a4e275a8e4110d071122b99dRafael Espindola// RUN: %clang_cc1 -triple powerpc64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s
371c0dcc129262e565069fbfc0b5239a05c94b86cUlrich Weigand
471c0dcc129262e565069fbfc0b5239a05c94b86cUlrich Weigandvoid f1(int x) { return; }
5c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK: define void @f1(i32 signext %x) [[NUW:#[0-9]+]]
671c0dcc129262e565069fbfc0b5239a05c94b86cUlrich Weigand
771c0dcc129262e565069fbfc0b5239a05c94b86cUlrich Weigandvoid f2(unsigned int x) { return; }
8c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK: define void @f2(i32 zeroext %x) [[NUW]]
971c0dcc129262e565069fbfc0b5239a05c94b86cUlrich Weigand
1071c0dcc129262e565069fbfc0b5239a05c94b86cUlrich Weigandint f3(void) { return 0; }
11c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK: define signext i32 @f3() [[NUW]]
1271c0dcc129262e565069fbfc0b5239a05c94b86cUlrich Weigand
1371c0dcc129262e565069fbfc0b5239a05c94b86cUlrich Weigandunsigned int f4(void) { return 0; }
14c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK: define zeroext i32 @f4() [[NUW]]
1571c0dcc129262e565069fbfc0b5239a05c94b86cUlrich Weigand
16c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK: attributes [[NUW]] = { nounwind{{.*}} }
17