1 // REQUIRES: powerpc-registered-target
2 // RUN: %clang_cc1 -triple powerpc64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s
3 
4 void f1(int x) { return; }
5 // CHECK: define{{.*}} void @f1(i32 noundef signext %x) [[NUW:#[0-9]+]]
6 
7 void f2(unsigned int x) { return; }
8 // CHECK: define{{.*}} void @f2(i32 noundef zeroext %x) [[NUW]]
9 
10 int f3(void) { return 0; }
11 // CHECK: define{{.*}} signext i32 @f3() [[NUW]]
12 
13 unsigned int f4(void) { return 0; }
14 // CHECK: define{{.*}} zeroext i32 @f4() [[NUW]]
15 
16 // CHECK: attributes [[NUW]] = { noinline nounwind{{.*}} }
17