Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -Oz -emit-llvm %s -o - | FileCheck %s -check-prefix=Oz |
| 2 | // RUN: %clang_cc1 -O0 -emit-llvm %s -o - | FileCheck %s -check-prefix=OTHER |
| 3 | // RUN: %clang_cc1 -O1 -emit-llvm %s -o - | FileCheck %s -check-prefix=OTHER |
| 4 | // RUN: %clang_cc1 -O2 -emit-llvm %s -o - | FileCheck %s -check-prefix=OTHER |
| 5 | // RUN: %clang_cc1 -O3 -emit-llvm %s -o - | FileCheck %s -check-prefix=OTHER |
| 6 | // RUN: %clang_cc1 -Os -emit-llvm %s -o - | FileCheck %s -check-prefix=OTHER |
| 7 | // Check that we set the minsize attribute on each function |
| 8 | // when Oz optimization level is set. |
| 9 | |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 10 | __attribute__((minsize)) |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 11 | int test1() { |
| 12 | return 42; |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 13 | // Oz: @{{.*}}test1{{.*}}[[MINSIZE:#[0-9]+]] |
| 14 | // OTHER: @{{.*}}test1{{.*}}[[MS:#[0-9]+]] |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 15 | } |
| 16 | |
| 17 | int test2() { |
| 18 | return 42; |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 19 | // Oz: @{{.*}}test2{{.*}}[[MINSIZE]] |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 20 | // Oz: ret |
| 21 | // OTHER: @{{.*}}test2 |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 22 | // OTHER-NOT: [[MS]] |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 23 | // OTHER: ret |
| 24 | } |
| 25 | |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 26 | int test3() { |
| 27 | return 42; |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 28 | // Oz: @{{.*}}test3{{.*}}[[MINSIZE]] |
| 29 | // Oz: ret |
| 30 | // OTHER: @{{.*}}test3 |
| 31 | // OTHER-NOT: [[MS]] |
| 32 | // OTHER: ret |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 33 | } |
| 34 | |
| 35 | // Check that the minsize attribute is well propagated through |
| 36 | // template instantiation |
| 37 | |
| 38 | template<typename T> |
| 39 | __attribute__((minsize)) |
| 40 | void test4(T arg) { |
| 41 | return; |
| 42 | } |
| 43 | |
| 44 | template |
| 45 | void test4<int>(int arg); |
| 46 | // Oz: define{{.*}}void @{{.*}}test4 |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 47 | // Oz: [[MINSIZE]] |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 48 | // OTHER: define{{.*}}void @{{.*}}test4 |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 49 | // OTHER: [[MS]] |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 50 | |
| 51 | template |
| 52 | void test4<float>(float arg); |
| 53 | // Oz: define{{.*}}void @{{.*}}test4 |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 54 | // Oz: [[MINSIZE]] |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 55 | // OTHER: define{{.*}}void @{{.*}}test4 |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 56 | // OTHER: [[MS]] |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 57 | |
| 58 | template<typename T> |
| 59 | void test5(T arg) { |
| 60 | return; |
| 61 | } |
| 62 | |
| 63 | template |
| 64 | void test5<int>(int arg); |
| 65 | // Oz: define{{.*}}void @{{.*}}test5 |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 66 | // Oz: [[MINSIZE]] |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 67 | // OTHER: define{{.*}}void @{{.*}}test5 |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 68 | // OTHER-NOT: define{{.*}}void @{{.*}}test5{{.*}}[[MS]] |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 69 | |
| 70 | template |
| 71 | void test5<float>(float arg); |
| 72 | // Oz: define{{.*}}void @{{.*}}test5 |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 73 | // Oz: [[MINSIZE]] |
Quentin Colombet | aee56fa | 2012-11-01 23:55:47 +0000 | [diff] [blame] | 74 | // OTHER: define{{.*}}void @{{.*}}test5 |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 75 | // OTHER-NOT: define{{.*}}void @{{.*}}test5{{.*}}[[MS]] |
Bill Wendling | f7a9da0 | 2013-02-20 07:22:19 +0000 | [diff] [blame] | 76 | |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 77 | // Oz: attributes [[MINSIZE]] = { minsize{{.*}} } |
Bill Wendling | f7a9da0 | 2013-02-20 07:22:19 +0000 | [diff] [blame] | 78 | |
Bill Wendling | 3bba3ef | 2013-02-20 19:30:01 +0000 | [diff] [blame^] | 79 | // OTHER: attributes [[MS]] = { minsize nounwind{{.*}} } |