Vitaly Buka | e263988 | 2019-07-10 22:47:07 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-unknown-unknown -O0 -emit-llvm -o - %s | FileCheck %s |
| 2 | |
| 3 | void use(void *); |
| 4 | |
| 5 | void test_small() { |
Fangrui Song | dbc96b5 | 2020-02-03 10:09:39 -0800 | [diff] [blame] | 6 | // CHECK-LABEL: define void @test_small() |
Vitaly Buka | e263988 | 2019-07-10 22:47:07 +0000 | [diff] [blame] | 7 | int a[] = {1, 2, 3, 4}; |
| 8 | // CHECK: call void @llvm.memcpy.{{.*}} |
| 9 | use(a); |
| 10 | } |
| 11 | |
| 12 | void test_small_same() { |
Fangrui Song | dbc96b5 | 2020-02-03 10:09:39 -0800 | [diff] [blame] | 13 | // CHECK-LABEL: define void @test_small_same() |
Vitaly Buka | e263988 | 2019-07-10 22:47:07 +0000 | [diff] [blame] | 14 | char a[] = {'a', 'a', 'a', 'a'}; |
| 15 | // CHECK: call void @llvm.memcpy.{{.*}} |
| 16 | use(a); |
| 17 | } |
| 18 | |
| 19 | void test_different() { |
Fangrui Song | dbc96b5 | 2020-02-03 10:09:39 -0800 | [diff] [blame] | 20 | // CHECK-LABEL: define void @test_different() |
Vitaly Buka | e263988 | 2019-07-10 22:47:07 +0000 | [diff] [blame] | 21 | int a[] = {1, 2, 3, 4, 5, 6, 7, 8, 9}; |
| 22 | // CHECK: call void @llvm.memcpy.{{.*}} |
| 23 | use(a); |
| 24 | } |
| 25 | |
| 26 | void test_all_zeros() { |
Fangrui Song | dbc96b5 | 2020-02-03 10:09:39 -0800 | [diff] [blame] | 27 | // CHECK-LABEL: define void @test_all_zeros() |
Vitaly Buka | e263988 | 2019-07-10 22:47:07 +0000 | [diff] [blame] | 28 | int a[16] = {}; |
| 29 | // CHECK: call void @llvm.memset.{{.*}} |
| 30 | use(a); |
| 31 | } |
| 32 | |
| 33 | void test_all_a() { |
Fangrui Song | dbc96b5 | 2020-02-03 10:09:39 -0800 | [diff] [blame] | 34 | // CHECK-LABEL: define void @test_all_a() |
Vitaly Buka | e263988 | 2019-07-10 22:47:07 +0000 | [diff] [blame] | 35 | char a[] = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"; |
| 36 | // CHECK: call void @llvm.memcpy.{{.*}} |
| 37 | use(a); |
| 38 | } |
| 39 | |
| 40 | void test_most_zeros() { |
Fangrui Song | dbc96b5 | 2020-02-03 10:09:39 -0800 | [diff] [blame] | 41 | // CHECK-LABEL: define void @test_most_zeros() |
Vitaly Buka | e263988 | 2019-07-10 22:47:07 +0000 | [diff] [blame] | 42 | int a[16] = {0, 0, 1}; |
| 43 | // CHECK: call void @llvm.memset.{{.*}} |
| 44 | // CHECK: store i32 1 |
| 45 | use(a); |
| 46 | } |
| 47 | |
| 48 | void test_most_a() { |
Fangrui Song | dbc96b5 | 2020-02-03 10:09:39 -0800 | [diff] [blame] | 49 | // CHECK-LABEL: define void @test_most_a() |
Vitaly Buka | e263988 | 2019-07-10 22:47:07 +0000 | [diff] [blame] | 50 | char a[] = "aaaaazaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"; |
| 51 | // CHECK: call void @llvm.memcpy.{{.*}} |
| 52 | use(a); |
| 53 | } |
| 54 | |
| 55 | void test_pointers() { |
Fangrui Song | dbc96b5 | 2020-02-03 10:09:39 -0800 | [diff] [blame] | 56 | // CHECK-LABEL: define void @test_pointers() |
Vitaly Buka | e263988 | 2019-07-10 22:47:07 +0000 | [diff] [blame] | 57 | void *a[] = {&use, &use, &use, &use, &use, &use}; |
| 58 | // CHECK: call void @llvm.memset.{{.*}} |
| 59 | // CHECK: store i8* |
| 60 | // CHECK: store i8* |
| 61 | // CHECK: store i8* |
| 62 | // CHECK: store i8* |
| 63 | // CHECK: store i8* |
| 64 | // CHECK: store i8* |
| 65 | use(a); |
| 66 | } |