58 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=jump-threading,correlated-propagation %s | FileCheck %s3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7declare ptr @foo()8 9declare i32 @rust_eh_personality() unnamed_addr10 11; Function Attrs: nounwind12declare void @llvm.assume(i1) #013 14define void @patatino() personality ptr @rust_eh_personality {15; CHECK-LABEL: @patatino(16; CHECK-NEXT: bb9:17; CHECK-NEXT: [[T9:%.*]] = invoke ptr @foo()18; CHECK-NEXT: to label [[GOOD:%.*]] unwind label [[BAD:%.*]]19; CHECK: bad:20; CHECK-NEXT: [[T10:%.*]] = landingpad { ptr, i32 }21; CHECK-NEXT: cleanup22; CHECK-NEXT: resume { ptr, i32 } [[T10]]23; CHECK: good:24; CHECK-NEXT: [[T11:%.*]] = icmp ne ptr [[T9]], null25; CHECK-NEXT: [[T12:%.*]] = zext i1 [[T11]] to i6426; CHECK-NEXT: [[COND:%.*]] = icmp eq i64 [[T12]], 127; 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 void33;34bb9:35 %t9 = invoke ptr @foo()36 to label %good unwind label %bad37 38bad:39 %t10 = landingpad { ptr, i32 }40 cleanup41 resume { ptr, i32 } %t1042 43good:44 %t11 = icmp ne ptr %t9, null45 %t12 = zext i1 %t11 to i6446 %cond = icmp eq i64 %t12, 147 br i1 %cond, label %if_true, label %done48 49if_true:50 call void @llvm.assume(i1 %t11)51 br label %done52 53done:54 ret void55}56 57attributes #0 = { nounwind }58