| ; RUN: opt -passes=simplifycfg -S < %s | FileCheck %s |
| |
| ; Ensure that we do not crash when trying to evaluate alignment of a <1 x ???*>. |
| |
| %struct.ap = type { i8 } |
| %"struct.z::ai" = type { i32 } |
| |
| @x = external dso_local local_unnamed_addr global i32, align 4 |
| |
| define dso_local void @_ZN2ap2aqEv(ptr %this, i1 %c, i32 %v2) { |
| ; CHECK-LABEL: @_ZN2ap2aqEv( |
| _ZN1yIN1z2aiE2aaIS1_EE2ahEv.exit: |
| br i1 %c, label %if.end, label %land.rhs |
| |
| land.rhs: ; preds = %_ZN1yIN1z2aiE2aaIS1_EE2ahEv.exit |
| %0 = bitcast <1 x ptr> zeroinitializer to ptr |
| %retval.sroa.0.0.copyload.i = load i32, ptr %0, align 4 |
| %tobool5 = icmp eq i32 %retval.sroa.0.0.copyload.i, 0 |
| %spec.select = select i1 %tobool5, i32 %v2, i32 0 |
| br label %if.end |
| |
| if.end: ; preds = %land.rhs, %_ZN1yIN1z2aiE2aaIS1_EE2ahEv.exit |
| %b.0 = phi i32 [ %spec.select, %land.rhs ], [ 0, %_ZN1yIN1z2aiE2aaIS1_EE2ahEv.exit ] |
| ret void |
| } |
