| Sebastian Redl | 9203647 | 2012-02-22 17:37:52 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -std=c++11 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s |
| 2 | |
| Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 3 | // CHECK-LABEL: define void @_Z2fni |
| Sebastian Redl | 9203647 | 2012-02-22 17:37:52 +0000 | [diff] [blame] | 4 | void fn(int n) { |
| 5 | // CHECK: icmp ult i{{32|64}} %{{[^ ]+}}, 3 |
| 6 | // CHECK: store i32 1 |
| 7 | // CHECK: store i32 2 |
| 8 | // CHECK: store i32 3 |
| Stephen Hines | c568f1e | 2014-07-21 00:47:37 -0700 | [diff] [blame] | 9 | // CHECK: sub {{.*}}, 12 |
| 10 | // CHECK: call void @llvm.memset |
| Sebastian Redl | 9203647 | 2012-02-22 17:37:52 +0000 | [diff] [blame] | 11 | new int[n] { 1, 2, 3 }; |
| 12 | } |
| 13 | |
| Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 14 | // CHECK-LABEL: define void @_Z15const_underflowv |
| Sebastian Redl | 9203647 | 2012-02-22 17:37:52 +0000 | [diff] [blame] | 15 | void const_underflow() { |
| 16 | // CHECK-NOT: icmp ult i{{32|64}} %{{[^ ]+}}, 3 |
| 17 | // CHECK: call noalias i8* @_Zna{{.}}(i{{32|64}} -1) |
| 18 | new int[2] { 1, 2, 3 }; |
| 19 | } |
| 20 | |
| Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 21 | // CHECK-LABEL: define void @_Z11const_exactv |
| Sebastian Redl | 9203647 | 2012-02-22 17:37:52 +0000 | [diff] [blame] | 22 | void const_exact() { |
| 23 | // CHECK-NOT: icmp ult i{{32|64}} %{{[^ ]+}}, 3 |
| 24 | // CHECK-NOT: icmp eq i32* |
| 25 | new int[3] { 1, 2, 3 }; |
| 26 | } |
| 27 | |
| Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 28 | // CHECK-LABEL: define void @_Z16const_sufficientv |
| Sebastian Redl | 9203647 | 2012-02-22 17:37:52 +0000 | [diff] [blame] | 29 | void const_sufficient() { |
| 30 | // CHECK-NOT: icmp ult i{{32|64}} %{{[^ ]+}}, 3 |
| 31 | new int[4] { 1, 2, 3 }; |
| 32 | // CHECK: ret void |
| 33 | } |
| Stephen Hines | c568f1e | 2014-07-21 00:47:37 -0700 | [diff] [blame] | 34 | |
| 35 | // CHECK-LABEL: define void @_Z22check_array_value_initv |
| 36 | void check_array_value_init() { |
| 37 | struct S; |
| 38 | new (int S::*[3][4][5]) (); |
| 39 | |
| 40 | // CHECK: call noalias i8* @_Zna{{.}}(i{{32 240|64 480}}) |
| Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 41 | // CHECK: getelementptr inbounds i{{32|64}}, i{{32|64}}* {{.*}}, i{{32|64}} 60 |
| Stephen Hines | c568f1e | 2014-07-21 00:47:37 -0700 | [diff] [blame] | 42 | |
| 43 | // CHECK: phi |
| 44 | // CHECK: store i{{32|64}} -1, |
| Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 45 | // CHECK: getelementptr inbounds i{{32|64}}, i{{32|64}}* {{.*}}, i{{32|64}} 1 |
| Stephen Hines | c568f1e | 2014-07-21 00:47:37 -0700 | [diff] [blame] | 46 | // CHECK: icmp eq |
| 47 | // CHECK: br i1 |
| 48 | } |