Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 1 | // REQUIRES: powerpc-registered-target |
Rafael Espindola | a3f55b0 | 2013-09-04 04:12:25 +0000 | [diff] [blame] | 2 | // RUN: %clang_cc1 -triple powerpc64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s |
Ulrich Weigand | 71c0dcc | 2012-11-05 19:13:42 +0000 | [diff] [blame] | 3 | |
| 4 | void f1(int x) { return; } |
Bill Wendling | c3af679 | 2013-02-26 23:08:48 +0000 | [diff] [blame] | 5 | // CHECK: define void @f1(i32 signext %x) [[NUW:#[0-9]+]] |
Ulrich Weigand | 71c0dcc | 2012-11-05 19:13:42 +0000 | [diff] [blame] | 6 | |
| 7 | void f2(unsigned int x) { return; } |
Bill Wendling | c3af679 | 2013-02-26 23:08:48 +0000 | [diff] [blame] | 8 | // CHECK: define void @f2(i32 zeroext %x) [[NUW]] |
Ulrich Weigand | 71c0dcc | 2012-11-05 19:13:42 +0000 | [diff] [blame] | 9 | |
| 10 | int f3(void) { return 0; } |
Bill Wendling | c3af679 | 2013-02-26 23:08:48 +0000 | [diff] [blame] | 11 | // CHECK: define signext i32 @f3() [[NUW]] |
Ulrich Weigand | 71c0dcc | 2012-11-05 19:13:42 +0000 | [diff] [blame] | 12 | |
| 13 | unsigned int f4(void) { return 0; } |
Bill Wendling | c3af679 | 2013-02-26 23:08:48 +0000 | [diff] [blame] | 14 | // CHECK: define zeroext i32 @f4() [[NUW]] |
Ulrich Weigand | 71c0dcc | 2012-11-05 19:13:42 +0000 | [diff] [blame] | 15 | |
Bill Wendling | c3af679 | 2013-02-26 23:08:48 +0000 | [diff] [blame] | 16 | // CHECK: attributes [[NUW]] = { nounwind{{.*}} } |