| 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 |
| 9 | // CHECK: icmp eq i32* |
| 10 | // CHECK-NEXT: br i1 |
| 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 | } |