65 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -mtriple aarch64-- -passes=consthoist -S | FileCheck %s3 4; This used to trigger an assertion failure:5;6; ../lib/Transforms/Scalar/ConstantHoisting.cpp:779: void llvm::ConstantHoistingPass::emitBaseConstants(llvm::Instruction *, llvm::Constant *, llvm::Type *, const llvm::consthoist::ConstantUser &): Assertion `CastInst->isCast() && "Expected an cast instruction!"' failed.7 8@c.a = external global i32, align 19 10define void @c(i1 %arg) {11; CHECK-LABEL: @c(12; CHECK-NEXT: entry:13; CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i16 0, 014; CHECK-NEXT: br i1 %arg, label [[LBL1_US:%.*]], label [[ENTRY_ENTRY_SPLIT_CRIT_EDGE:%.*]]15; CHECK: entry.entry.split_crit_edge:16; CHECK-NEXT: [[CONST:%.*]] = bitcast i32 1232131 to i3217; CHECK-NEXT: br label [[LBL1:%.*]]18; CHECK: lbl1.us:19; CHECK-NEXT: [[CONST1:%.*]] = bitcast i32 1232131 to i3220; CHECK-NEXT: store i32 [[CONST1]], ptr @c.a, align 121; CHECK-NEXT: br label [[FOR_COND4:%.*]]22; CHECK: lbl1:23; CHECK-NEXT: store i32 [[CONST]], ptr @c.a, align 124; CHECK-NEXT: br i1 %arg, label [[IF_THEN:%.*]], label [[FOR_END12:%.*]]25; CHECK: if.then:26; CHECK-NEXT: br i1 %arg, label [[LBL1]], label [[FOR_COND4]]27; CHECK: for.cond4:28; CHECK-NEXT: br label [[FOR_COND4]]29; CHECK: for.body9:30; CHECK-NEXT: store i32 1232131, ptr undef, align 131; CHECK-NEXT: store i32 1232132, ptr undef, align 132; CHECK-NEXT: br label [[FOR_BODY9:%.*]]33; CHECK: for.end12:34; CHECK-NEXT: ret void35;36entry:37 %tobool = icmp ne i16 0, 038 br i1 %arg, label %lbl1.us, label %entry.entry.split_crit_edge39 40entry.entry.split_crit_edge: ; preds = %entry41 br label %lbl142 43lbl1.us: ; preds = %entry44 store i32 1232131, ptr @c.a, align 145 br label %for.cond446 47lbl1: ; preds = %if.then, %entry.entry.split_crit_edge48 store i32 1232131, ptr @c.a, align 149 br i1 %arg, label %if.then, label %for.end1250 51if.then: ; preds = %lbl152 br i1 %arg, label %lbl1, label %for.cond453 54for.cond4: ; preds = %for.cond4, %if.then, %lbl1.us55 br label %for.cond456 57for.body9: ; preds = %for.body958 store i32 1232131, ptr undef, align 159 store i32 1232132, ptr undef, align 160 br label %for.body961 62for.end12: ; preds = %lbl163 ret void64}65