1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 2; RUN: opt -S -passes=instcombine < %s | FileCheck %s 3 4declare i1 @llvm.is.constant.i32(i32) 5 6define void @test(ptr %bpf_prog_calc_tag___trans_tmp_3, i32 %0) { 7; CHECK-LABEL: define void @test 8; CHECK-SAME: (ptr [[BPF_PROG_CALC_TAG___TRANS_TMP_3:%.*]], i32 [[TMP0:%.*]]) { 9; CHECK-NEXT: entry: 10; CHECK-NEXT: br i1 true, label [[IF_ELSE_I:%.*]], label [[IF_THEN_I:%.*]] 11; CHECK: if.then.i: 12; CHECK-NEXT: br label [[__FSWAB64_EXIT:%.*]] 13; CHECK: if.else.i: 14; CHECK-NEXT: br label [[__FSWAB64_EXIT]] 15; CHECK: __fswab64.exit: 16; CHECK-NEXT: store i32 0, ptr [[BPF_PROG_CALC_TAG___TRANS_TMP_3]], align 4 17; CHECK-NEXT: ret void 18; 19entry: 20 %conv = zext i32 %0 to i64 21 %1 = lshr i64 %conv, 32 22 %conv1.i = trunc i64 %1 to i32 23 %2 = call i1 @llvm.is.constant.i32(i32 %conv1.i) 24 br i1 %2, label %if.else.i, label %if.then.i 25 26if.then.i: ; preds = %entry 27 %3 = load volatile i32, ptr null, align 2147483648 28 br label %__fswab64.exit 29 30if.else.i: ; preds = %entry 31 %or.i = call i32 @llvm.fshl.i32(i32 %conv1.i, i32 0, i32 16) 32 br label %__fswab64.exit 33 34__fswab64.exit: ; preds = %if.then.i, %if.else.i 35 %t.0.i = phi i32 [ %or.i, %if.else.i ], [ %3, %if.then.i ] 36 %shr2.i = lshr i32 %t.0.i, 1 37 store i32 %shr2.i, ptr %bpf_prog_calc_tag___trans_tmp_3, align 4 38 ret void 39} 40 41declare i32 @llvm.fshl.i32(i32, i32, i32) 42