| Nuno Lopes | fc28448 | 2009-12-16 16:59:22 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple i686-pc-linux-gnu -emit-llvm -o %t-1.ll %s |
| 2 | // RUN: FileCheck -check-prefix SANE --input-file=%t-1.ll %s |
| 3 | // RUN: %clang_cc1 -triple i686-pc-linux-gnu -emit-llvm -fno-assume-sane-operator-new -o %t-2.ll %s |
| 4 | // RUN: FileCheck -check-prefix SANENOT --input-file=%t-2.ll %s |
| 5 | |
| 6 | |
| 7 | class teste { |
| 8 | int A; |
| John McCall | 7002f4c | 2010-04-09 19:03:51 +0000 | [diff] [blame] | 9 | public: |
| Nuno Lopes | fc28448 | 2009-12-16 16:59:22 +0000 | [diff] [blame] | 10 | teste() : A(2) {} |
| Nuno Lopes | fc28448 | 2009-12-16 16:59:22 +0000 | [diff] [blame] | 11 | }; |
| 12 | |
| 13 | void f1() { |
| Chris Lattner | 6c552c1 | 2010-07-20 20:19:24 +0000 | [diff] [blame] | 14 | // SANE: declare noalias i8* @_Znwj( |
| 15 | // SANENOT: declare i8* @_Znwj( |
| Nuno Lopes | fc28448 | 2009-12-16 16:59:22 +0000 | [diff] [blame] | 16 | new teste(); |
| 17 | } |
| Chris Lattner | 6c552c1 | 2010-07-20 20:19:24 +0000 | [diff] [blame] | 18 | |
| 19 | |
| 20 | // rdar://5739832 - operator new should check for overflow in multiply. |
| 21 | void *f2(long N) { |
| 22 | return new int[N]; |
| 23 | |
| John McCall | 1e7fe75 | 2010-09-02 09:58:18 +0000 | [diff] [blame] | 24 | // SANE: [[UWO:%.*]] = call {{.*}} @llvm.umul.with.overflow |
| 25 | // SANE-NEXT: [[OVER:%.*]] = extractvalue {{.*}} [[UWO]], 1 |
| 26 | // SANE-NEXT: [[SUM:%.*]] = extractvalue {{.*}} [[UWO]], 0 |
| 27 | // SANE-NEXT: [[RESULT:%.*]] = select i1 [[OVER]], i32 -1, i32 [[SUM]] |
| 28 | // SANE-NEXT: call noalias i8* @_Znaj(i32 [[RESULT]]) |
| Chris Lattner | 6c552c1 | 2010-07-20 20:19:24 +0000 | [diff] [blame] | 29 | } |