Fariborz Jahanian | ec99195 | 2011-04-25 22:30:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s | FileCheck %s |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 2 | // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s -O0 | FileCheck %s --check-prefix=CHECK_O0 |
Fariborz Jahanian | e42b8a5 | 2010-07-26 23:11:03 +0000 | [diff] [blame] | 3 | |
| 4 | int x; |
| 5 | int y(void); |
| 6 | void foo(); |
| 7 | void FUNC() { |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 8 | // CHECK-LABEL: define void @FUNC() |
Fariborz Jahanian | e42b8a5 | 2010-07-26 23:11:03 +0000 | [diff] [blame] | 9 | // CHECK: [[call:%.*]] = call i32 @y |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 10 | // CHECK_O0: [[call:%.*]] = call i32 @y |
| 11 | // CHECK_O0-NOT: call i64 @llvm.expect |
Fariborz Jahanian | e42b8a5 | 2010-07-26 23:11:03 +0000 | [diff] [blame] | 12 | if (__builtin_expect (x, y())) |
| 13 | foo (); |
| 14 | } |
| 15 | |
Fariborz Jahanian | ec99195 | 2011-04-25 22:30:02 +0000 | [diff] [blame] | 16 | // rdar://9330105 |
| 17 | void isigprocmask(void); |
| 18 | long bar(); |
| 19 | |
| 20 | int main() { |
| 21 | (void) __builtin_expect((isigprocmask(), 0), bar()); |
| 22 | } |
| 23 | |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 24 | // CHECK-LABEL: define i32 @main() |
Fariborz Jahanian | ec99195 | 2011-04-25 22:30:02 +0000 | [diff] [blame] | 25 | // CHECK: call void @isigprocmask() |
Pirama Arumuga Nainar | 33337ca | 2015-05-06 11:48:57 -0700 | [diff] [blame] | 26 | // CHECK: [[C:%.*]] = call i64 (...) @bar() |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 27 | // CHECK_O0: call void @isigprocmask() |
Pirama Arumuga Nainar | 33337ca | 2015-05-06 11:48:57 -0700 | [diff] [blame] | 28 | // CHECK_O0: [[C:%.*]] = call i64 (...) @bar() |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 29 | // CHECK_O0-NOT: call i64 @llvm.expect |
Jakub Staszak | 558229f | 2011-07-08 22:45:14 +0000 | [diff] [blame] | 30 | |
| 31 | |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 32 | // CHECK-LABEL: define i32 @test1 |
Jakub Staszak | 558229f | 2011-07-08 22:45:14 +0000 | [diff] [blame] | 33 | int test1(int x) { |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 34 | // CHECK_O0-NOT: call i64 @llvm.expect |
Jakub Staszak | 558229f | 2011-07-08 22:45:14 +0000 | [diff] [blame] | 35 | if (__builtin_expect (x, 1)) |
| 36 | return 0; |
| 37 | return x; |
| 38 | } |
| 39 | |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 40 | // CHECK: define i32 @test2 |
Jakub Staszak | 558229f | 2011-07-08 22:45:14 +0000 | [diff] [blame] | 41 | int test2(int x) { |
Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 42 | // CHECK_O0-NOT: call i64 @llvm.expect |
Jakub Staszak | 558229f | 2011-07-08 22:45:14 +0000 | [diff] [blame] | 43 | switch(__builtin_expect(x, 5)) { |
| 44 | default: |
| 45 | return 0; |
| 46 | case 0: |
| 47 | case 1: |
| 48 | case 2: |
| 49 | return 1; |
| 50 | case 5: |
| 51 | return 5; |
| 52 | }; |
| 53 | |
| 54 | return 0; |
| 55 | } |