104 lines · plain
1; RUN: opt < %s -passes=bounds-checking -S | FileCheck %s2target datalayout = "e-p:64:64:64-p1:16:16:16-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"3 4@global = private unnamed_addr constant [10 x i8] c"ola\00mundo\00", align 15 6; CHECK: f17; no checks are possible here8; CHECK-NOT: trap9define void @f1(ptr nocapture %c) {10entry:11 %0 = load i8, ptr %c, align 112 %tobool1 = icmp eq i8 %0, 013 br i1 %tobool1, label %while.end, label %while.body14 15while.body:16 %c.addr.02 = phi ptr [ %incdec.ptr, %while.body ], [ %c, %entry ]17 %incdec.ptr = getelementptr inbounds i8, ptr %c.addr.02, i64 -118 store i8 100, ptr %c.addr.02, align 119 %1 = load i8, ptr %incdec.ptr, align 120 %tobool = icmp eq i8 %1, 021 br i1 %tobool, label %while.end, label %while.body22 23while.end:24 ret void25}26 27 28; CHECK: f229define void @f2() {30while.body.i.preheader:31 %addr = getelementptr inbounds [10 x i8], ptr @global, i64 0, i64 932 br label %while.body.i33 34while.body.i:35; CHECK: phi36; CHECK-NEXT: phi37; CHECK-NOT: phi38 %c.addr.02.i = phi ptr [ %incdec.ptr.i, %while.body.i ], [ %addr, %while.body.i.preheader ]39 %incdec.ptr.i = getelementptr inbounds i8, ptr %c.addr.02.i, i64 -140; CHECK: sub i64 10, %041; CHECK-NEXT: icmp ult i64 10, %042; CHECK-NEXT: icmp ult i64 {{.*}}, 143; CHECK-NEXT: or i144; CHECK-NEXT: br {{.*}}, label %trap45 store i8 100, ptr %c.addr.02.i, align 146 %0 = load i8, ptr %incdec.ptr.i, align 147 %tobool.i = icmp eq i8 %0, 048 br i1 %tobool.i, label %fn.exit, label %while.body.i49 50fn.exit:51 ret void52}53 54 55@global_as1 = private unnamed_addr addrspace(1) constant [10 x i8] c"ola\00mundo\00", align 156 57define void @f1_as1(ptr addrspace(1) nocapture %c) {58; CHECK: @f1_as159; no checks are possible here60; CHECK-NOT: trap61entry:62 %0 = load i8, ptr addrspace(1) %c, align 163 %tobool1 = icmp eq i8 %0, 064 br i1 %tobool1, label %while.end, label %while.body65 66while.body:67 %c.addr.02 = phi ptr addrspace(1) [ %incdec.ptr, %while.body ], [ %c, %entry ]68 %incdec.ptr = getelementptr inbounds i8, ptr addrspace(1) %c.addr.02, i64 -169 store i8 100, ptr addrspace(1) %c.addr.02, align 170 %1 = load i8, ptr addrspace(1) %incdec.ptr, align 171 %tobool = icmp eq i8 %1, 072 br i1 %tobool, label %while.end, label %while.body73 74while.end:75 ret void76}77 78 79define void @f2_as1() {80; CHECK: @f2_as181while.body.i.preheader:82 %addr = getelementptr inbounds [10 x i8], ptr addrspace(1) @global_as1, i16 0, i16 983 br label %while.body.i84 85while.body.i:86; CHECK: phi87; CHECK-NEXT: phi88; CHECK-NOT: phi89 %c.addr.02.i = phi ptr addrspace(1) [ %incdec.ptr.i, %while.body.i ], [ %addr, %while.body.i.preheader ]90 %incdec.ptr.i = getelementptr inbounds i8, ptr addrspace(1) %c.addr.02.i, i16 -191; CHECK: sub i16 10, %092; CHECK-NEXT: icmp ult i16 10, %093; CHECK-NEXT: icmp ult i16 {{.*}}, 194; CHECK-NEXT: or i195; CHECK-NEXT: br {{.*}}, label %trap96 store i8 100, ptr addrspace(1) %c.addr.02.i, align 197 %0 = load i8, ptr addrspace(1) %incdec.ptr.i, align 198 %tobool.i = icmp eq i8 %0, 099 br i1 %tobool.i, label %fn.exit, label %while.body.i100 101fn.exit:102 ret void103}104