81 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=jump-threading,verify -jump-threading-threshold=3 < %s | FileCheck %s3 4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7@a = global i32 0, align 48 9; Show that freeze is not counted when comparing the cost with the threshold10define void @foo(i32 %cond1, i32 %cond2) {11; CHECK-LABEL: @foo(12; CHECK-NEXT: entry:13; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[COND1:%.*]], 014; CHECK-NEXT: br i1 [[TOBOOL]], label [[BB_COND2_THREAD:%.*]], label [[BB_COND2:%.*]]15; CHECK: bb.cond2:16; CHECK-NEXT: call void @f1()17; CHECK-NEXT: [[COND2_FR:%.*]] = freeze i32 [[COND2:%.*]]18; CHECK-NEXT: [[X:%.*]] = add i32 [[COND2_FR]], 119; CHECK-NEXT: [[TOBOOL1:%.*]] = icmp eq i32 [[X]], 020; CHECK-NEXT: br i1 [[TOBOOL1]], label [[BB_F4:%.*]], label [[BB_F2:%.*]]21; CHECK: bb.cond2.thread:22; CHECK-NEXT: [[COND2_FR2:%.*]] = freeze i32 [[COND2]]23; CHECK-NEXT: [[X3:%.*]] = add i32 [[COND2_FR2]], 124; CHECK-NEXT: [[TOBOOL14:%.*]] = icmp eq i32 [[X3]], 025; CHECK-NEXT: br i1 [[TOBOOL14]], label [[BB_F3:%.*]], label [[BB_F2]]26; CHECK: bb.f2:27; CHECK-NEXT: call void @f2()28; CHECK-NEXT: br label [[EXIT:%.*]]29; CHECK: bb.f3:30; CHECK-NEXT: call void @f3()31; CHECK-NEXT: br label [[EXIT]]32; CHECK: bb.f4:33; CHECK-NEXT: [[PTR5:%.*]] = phi ptr [ null, [[BB_COND2]] ]34; CHECK-NEXT: call void @f4()35; CHECK-NEXT: br label [[EXIT]]36; CHECK: exit:37; CHECK-NEXT: ret void38;39entry:40 %tobool = icmp eq i32 %cond1, 041 br i1 %tobool, label %bb.cond2, label %bb.f142 43bb.f1:44 call void @f1()45 br label %bb.cond246 47bb.cond2:48 %ptr = phi ptr [ null, %bb.f1 ], [ @a, %entry ]49 %cond2.fr = freeze i32 %cond250 %x = add i32 %cond2.fr, 151 %tobool1 = icmp eq i32 %x, 052 br i1 %tobool1, label %bb.file, label %bb.f253 54bb.f2:55 call void @f2()56 br label %exit57 58bb.file:59 %cmp = icmp eq ptr %ptr, null60 br i1 %cmp, label %bb.f4, label %bb.f361 62bb.f3:63 call void @f3()64 br label %exit65 66bb.f4:67 call void @f4()68 br label %exit69 70exit:71 ret void72}73 74declare void @f1()75 76declare void @f2()77 78declare void @f3()79 80declare void @f4()81