42 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 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 @test8; 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 417; CHECK-NEXT: ret void18;19entry:20 %conv = zext i32 %0 to i6421 %1 = lshr i64 %conv, 3222 %conv1.i = trunc i64 %1 to i3223 %2 = call i1 @llvm.is.constant.i32(i32 %conv1.i)24 br i1 %2, label %if.else.i, label %if.then.i25 26if.then.i: ; preds = %entry27 %3 = load volatile i32, ptr null, align 214748364828 br label %__fswab64.exit29 30if.else.i: ; preds = %entry31 %or.i = call i32 @llvm.fshl.i32(i32 %conv1.i, i32 0, i32 16)32 br label %__fswab64.exit33 34__fswab64.exit: ; preds = %if.then.i, %if.else.i35 %t.0.i = phi i32 [ %or.i, %if.else.i ], [ %3, %if.then.i ]36 %shr2.i = lshr i32 %t.0.i, 137 store i32 %shr2.i, ptr %bpf_prog_calc_tag___trans_tmp_3, align 438 ret void39}40 41declare i32 @llvm.fshl.i32(i32, i32, i32)42