| Nuno Lopes | 7f58472 | 2012-06-21 15:59:53 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -bounds-checking -S | FileCheck %s |
| 2 | ; RUN: opt < %s -bounds-checking -bounds-checking-single-trap -S | FileCheck -check-prefix=SINGLE %s |
| Nuno Lopes | 1cbf2be | 2012-05-31 22:58:48 +0000 | [diff] [blame] | 3 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" |
| 4 | |
| 5 | ; CHECK: @f1 |
| 6 | define void @f1(i64 %x) nounwind { |
| 7 | %1 = alloca i128, i64 %x |
| 8 | %2 = load i128* %1, align 4 |
| 9 | %3 = load i128* %1, align 4 |
| 10 | ret void |
| Nuno Lopes | 7f58472 | 2012-06-21 15:59:53 +0000 | [diff] [blame] | 11 | ; CHECK: call void @llvm.trap() |
| 12 | ; CHECK: call void @llvm.trap() |
| 13 | ; CHECK-NOT: call void @llvm.trap() |
| 14 | ; SINGLE: call void @llvm.trap() |
| 15 | ; SINGLE-NOT: call void @llvm.trap() |
| Nuno Lopes | 1cbf2be | 2012-05-31 22:58:48 +0000 | [diff] [blame] | 16 | } |