test/Transforms/JumpThreading/pr33917.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -jump-threading -correlated-propagation %s -S | FileCheck %s
   3
   4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 declare i8* @foo()
   8
   9 declare i32 @rust_eh_personality() unnamed_addr
  10
  11 ; Function Attrs: nounwind
  12 declare void @llvm.assume(i1) #0
  13
  14 define void @patatino() personality i32 ()* @rust_eh_personality {
  15 ; CHECK-LABEL: @patatino(
  16 ; CHECK-NEXT:  bb9:
  17 ; CHECK-NEXT:    [[T9:%.*]] = invoke i8* @foo()
  18 ; CHECK-NEXT:    to label [[GOOD:%.*]] unwind label [[BAD:%.*]]
  19 ; CHECK:       bad:
  20 ; CHECK-NEXT:    [[T10:%.*]] = landingpad { i8*, i32 }
  21 ; CHECK-NEXT:    cleanup
  22 ; CHECK-NEXT:    resume { i8*, i32 } [[T10]]
  23 ; CHECK:       good:
  24 ; CHECK-NEXT:    [[T11:%.*]] = icmp ne i8* [[T9]], null
  25 ; CHECK-NEXT:    [[T12:%.*]] = zext i1 [[T11]] to i64
  26 ; CHECK-NEXT:    [[COND:%.*]] = icmp eq i64 [[T12]], 1
  27 ; CHECK-NEXT:    br i1 [[COND]], label [[IF_TRUE:%.*]], label [[DONE:%.*]]
  28 ; CHECK:       if_true:
  29 ; CHECK-NEXT:    call void @llvm.assume(i1 [[T11]])
  30 ; CHECK-NEXT:    br label [[DONE]]
  31 ; CHECK:       done:
  32 ; CHECK-NEXT:    ret void
  33 ;
  34 bb9:
  35   %t9 = invoke i8* @foo()
  36   to label %good unwind label %bad
  37
  38 bad:
  39   %t10 = landingpad { i8*, i32 }
  40   cleanup
  41   resume { i8*, i32 } %t10
  42
  43 good:
  44   %t11 = icmp ne i8* %t9, null
  45   %t12 = zext i1 %t11 to i64
  46   %cond = icmp eq i64 %t12, 1
  47   br i1 %cond, label %if_true, label %done
  48
  49 if_true:
  50   call void @llvm.assume(i1 %t11)
  51   br label %done
  52
  53 done:
  54   ret void
  55 }
  56
  57 attributes #0 = { nounwind }