1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -jump-threading -correlated-propagation %s -S | FileCheck %s 3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 5target triple = "x86_64-unknown-linux-gnu" 6 7declare i8* @foo() 8 9declare i32 @rust_eh_personality() unnamed_addr 10 11; Function Attrs: nounwind 12declare void @llvm.assume(i1) #0 13 14define 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; 34bb9: 35 %t9 = invoke i8* @foo() 36 to label %good unwind label %bad 37 38bad: 39 %t10 = landingpad { i8*, i32 } 40 cleanup 41 resume { i8*, i32 } %t10 42 43good: 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 49if_true: 50 call void @llvm.assume(i1 %t11) 51 br label %done 52 53done: 54 ret void 55} 56 57attributes #0 = { nounwind } 58