1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s 3target datalayout = "E-m:e-i64:64-n32:64" 4target triple = "powerpc64-unknown-linux-gnu" 5 6define i64 @test1(i64 %A) { 7; CHECK-LABEL: @test1( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i64 [[A:%.*]], 0 10; CHECK-NEXT: [[TMP0:%.*]] = tail call i64 @llvm.ctlz.i64(i64 [[A]], i1 true) 11; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[TOBOOL]], i64 64, i64 [[TMP0]] 12; CHECK-NEXT: ret i64 [[SPEC_SELECT]] 13; 14entry: 15 %tobool = icmp eq i64 %A, 0 16 br i1 %tobool, label %cond.end, label %cond.true 17 18cond.true: ; preds = %entry 19 %0 = tail call i64 @llvm.ctlz.i64(i64 %A, i1 true) 20 br label %cond.end 21 22cond.end: ; preds = %entry, %cond.true 23 %cond = phi i64 [ %0, %cond.true ], [ 64, %entry ] 24 ret i64 %cond 25} 26 27define i64 @test1b(i64 %A) { 28; CHECK-LABEL: @test1b( 29; CHECK-NEXT: entry: 30; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i64 [[A:%.*]], 0 31; CHECK-NEXT: [[TMP0:%.*]] = tail call i64 @llvm.cttz.i64(i64 [[A]], i1 true) 32; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[TOBOOL]], i64 64, i64 [[TMP0]] 33; CHECK-NEXT: ret i64 [[SPEC_SELECT]] 34; 35entry: 36 %tobool = icmp eq i64 %A, 0 37 br i1 %tobool, label %cond.end, label %cond.true 38 39cond.true: ; preds = %entry 40 %0 = tail call i64 @llvm.cttz.i64(i64 %A, i1 true) 41 br label %cond.end 42 43cond.end: ; preds = %entry, %cond.true 44 %cond = phi i64 [ %0, %cond.true ], [ 64, %entry ] 45 ret i64 %cond 46} 47 48declare i64 @llvm.ctlz.i64(i64, i1) 49declare i64 @llvm.cttz.i64(i64, i1) 50 51