test/Transforms/SCCP/pr27712.ll

   1 ; RUN: opt -sccp -S < %s | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-unknown-linux-gnu"
   4
   5 define i32 @main() {
   6 entry:
   7   br label %lbl_1154
   8
   9 lbl_1154:
  10   %b0.0 = phi i32 [ -119, %entry ], [ 0, %lbl_1154 ]
  11   %cmp11 = icmp slt i32 %b0.0, 0
  12   %shl.op = shl i32 33554432, %b0.0
  13   %cmp1445 = icmp ult i32 %shl.op, 33554432
  14   %cmp14 = or i1 %cmp11, %cmp1445
  15   br i1 %cmp14, label %lbl_1154, label %if.end19
  16
  17 if.end19:
  18   br i1 %cmp11, label %if.then22, label %cleanup26
  19
  20 if.then22:
  21   tail call void @abort()
  22   unreachable
  23
  24 cleanup26:
  25   ret i32 %shl.op
  26 }
  27 ; CHECK-LABEL: define i32 @main(
  28 ; CHECK-NOT: ret i32 undef
  29
  30 declare void @abort()