; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; ModuleID = 'reduced.ll'
; RUN: opt < %s -passes=loop-unroll -verify-loop-lcssa -S | FileCheck %s
source_filename = "reduced.ll"
%"class.std::__Cr::basic_ostream" = type { ptr, %"class.std::__Cr::basic_ios" }
%"class.std::__Cr::basic_ios" = type { %"class.std::__Cr::ios_base", ptr, i32 }
%"class.std::__Cr::ios_base" = type { ptr, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, i32, i32, ptr, i32, i32, ptr, i32, i32 }
%"class.v8::internal::wasm::StructType" = type { i32, ptr, ptr, ptr }
%"class.v8::internal::wasm::ValueType" = type { i32 }
$_ZNK2v88internal4wasm10StructType12field_offsetEj = comdat any
declare hidden ptr @_ZNSt4__CrlsINS_11char_traitsIcEEEERNS_13basic_ostreamIcT_EES6_PKc() local_unnamed_addr
define hidden void @_ZN2v88internal10WasmStruct15WasmStructPrintERNSt4__Cr13basic_ostreamIcNS2_11char_traitsIcEEEE() local_unnamed_addr align 2 {
; CHECK-LABEL: @_ZN2v88internal10WasmStruct15WasmStructPrintERNSt4__Cr13basic_ostreamIcNS2_11char_traitsIcEEEE(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[CALL61:%.*]] = tail call i32 @_ZNK2v88internal4wasm10StructType11field_countEv()
; CHECK-NEXT: [[CMP2_NOT:%.*]] = icmp eq i32 [[CALL61]], 0
; CHECK-NEXT: br i1 [[CMP2_NOT]], label [[FOR_COND_CLEANUP:%.*]], label [[FOR_BODY_PREHEADER:%.*]]
; CHECK: for.body.preheader:
; CHECK-NEXT: br label [[FOR_BODY_PEEL_BEGIN:%.*]]
; CHECK: for.body.peel.begin:
; CHECK-NEXT: br label [[FOR_BODY_PEEL:%.*]]
; CHECK: for.body.peel:
; CHECK-NEXT: tail call void @llvm.assume(i1 true)
; CHECK-NEXT: [[CALL13_PEEL:%.*]] = tail call i8 @_ZNK2v88internal4wasm9ValueType4kindEv()
; CHECK-NEXT: switch i8 [[CALL13_PEEL]], label [[FOR_INC_PEEL:%.*]] [
; CHECK-NEXT: i8 5, label [[SW_BB33_PEEL:%.*]]
; CHECK-NEXT: i8 9, label [[SW_BB31:%.*]]
; CHECK-NEXT: i8 8, label [[SW_BB31]]
; CHECK-NEXT: i8 11, label [[SW_BB31]]
; CHECK-NEXT: i8 10, label [[SW_BB31]]
; CHECK-NEXT: ]
; CHECK: sw.bb33.peel:
; CHECK-NEXT: [[CALL34_PEEL:%.*]] = tail call ptr @_ZNSt4__CrlsINS_11char_traitsIcEEEERNS_13basic_ostreamIcT_EES6_PKc()
; CHECK-NEXT: br label [[FOR_INC_PEEL]]
; CHECK: for.inc.peel:
; CHECK-NEXT: [[CALL6_PEEL:%.*]] = tail call i32 @_ZNK2v88internal4wasm10StructType11field_countEv()
; CHECK-NEXT: [[CMP_PEEL:%.*]] = icmp ugt i32 [[CALL6_PEEL]], 1
; CHECK-NEXT: br i1 [[CMP_PEEL]], label [[FOR_BODY_PEEL_NEXT:%.*]], label [[FOR_COND_CLEANUP_LOOPEXIT:%.*]]
; CHECK: for.body.peel.next:
; CHECK-NEXT: br label [[FOR_BODY_PEEL_NEXT1:%.*]]
; CHECK: for.body.peel.next1:
; CHECK-NEXT: br label [[FOR_BODY_PREHEADER_PEEL_NEWPH:%.*]]
; CHECK: for.body.preheader.peel.newph:
; CHECK-NEXT: br label [[FOR_BODY:%.*]]
; CHECK: for.cond.cleanup.loopexit.loopexit:
; CHECK-NEXT: br label [[FOR_COND_CLEANUP_LOOPEXIT]]
; CHECK: for.cond.cleanup.loopexit:
; CHECK-NEXT: br label [[FOR_COND_CLEANUP]]
; CHECK: for.cond.cleanup:
; CHECK-NEXT: ret void
; CHECK: for.body:
; CHECK-NEXT: tail call void @llvm.assume(i1 false)
; CHECK-NEXT: [[CALL13:%.*]] = tail call i8 @_ZNK2v88internal4wasm9ValueType4kindEv()
; CHECK-NEXT: switch i8 [[CALL13]], label [[FOR_INC:%.*]] [
; CHECK-NEXT: i8 5, label [[SW_BB33:%.*]]
; CHECK-NEXT: i8 9, label [[SW_BB31_LOOPEXIT:%.*]]
; CHECK-NEXT: i8 8, label [[SW_BB31_LOOPEXIT]]
; CHECK-NEXT: i8 11, label [[SW_BB31_LOOPEXIT]]
; CHECK-NEXT: i8 10, label [[SW_BB31_LOOPEXIT]]
; CHECK-NEXT: ]
; CHECK: sw.bb31.loopexit:
; CHECK-NEXT: br label [[SW_BB31]]
; CHECK: sw.bb31:
; CHECK-NEXT: tail call void @_ZN2v84baseL18ReadUnalignedValueINS_8internal6ObjectEEET_j()
; CHECK-NEXT: unreachable
; CHECK: sw.bb33:
; CHECK-NEXT: [[CALL34:%.*]] = tail call ptr @_ZNSt4__CrlsINS_11char_traitsIcEEEERNS_13basic_ostreamIcT_EES6_PKc()
; CHECK-NEXT: br label [[FOR_INC]]
; CHECK: for.inc:
; CHECK-NEXT: [[CALL6:%.*]] = tail call i32 @_ZNK2v88internal4wasm10StructType11field_countEv()
; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i32 [[CALL6]], 1
; CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY]], label [[FOR_COND_CLEANUP_LOOPEXIT_LOOPEXIT:%.*]], !llvm.loop [[LOOP0:![0-9]+]]
;
entry:
%call61 = tail call i32 @_ZNK2v88internal4wasm10StructType11field_countEv()
%cmp2.not = icmp eq i32 %call61, 0
br i1 %cmp2.not, label %for.cond.cleanup, label %for.body.preheader
for.body.preheader: ; preds = %entry
br label %for.body
for.cond.cleanup.loopexit: ; preds = %for.inc
br label %for.cond.cleanup
for.cond.cleanup: ; preds = %for.cond.cleanup.loopexit, %entry
ret void
for.body: ; preds = %for.body.preheader, %for.inc
%cmp.i3 = phi i1 [ false, %for.inc ], [ true, %for.body.preheader ]
tail call void @llvm.assume(i1 %cmp.i3)
%call13 = tail call i8 @_ZNK2v88internal4wasm9ValueType4kindEv()
switch i8 %call13, label %for.inc [
i8 5, label %sw.bb33
i8 9, label %sw.bb31
i8 8, label %sw.bb31
i8 11, label %sw.bb31
i8 10, label %sw.bb31
]
sw.bb31: ; preds = %for.body, %for.body, %for.body, %for.body
tail call void @_ZN2v84baseL18ReadUnalignedValueINS_8internal6ObjectEEET_j()
unreachable
sw.bb33: ; preds = %for.body
%call34 = tail call ptr @_ZNSt4__CrlsINS_11char_traitsIcEEEERNS_13basic_ostreamIcT_EES6_PKc()
br label %for.inc
for.inc: ; preds = %for.body, %sw.bb33
%call6 = tail call i32 @_ZNK2v88internal4wasm10StructType11field_countEv()
%cmp = icmp ugt i32 %call6, 1
br i1 %cmp, label %for.body, label %for.cond.cleanup.loopexit
}
declare hidden i32 @_ZNK2v88internal4wasm10StructType11field_countEv() local_unnamed_addr align 2
define linkonce_odr hidden i32 @_ZNK2v88internal4wasm10StructType12field_offsetEj(ptr %this, i32 %index) local_unnamed_addr comdat align 2 {
; CHECK-LABEL: @_ZNK2v88internal4wasm10StructType12field_offsetEj(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[INDEX:%.*]], 0
; CHECK-NEXT: tail call void @llvm.assume(i1 [[CMP]])
; CHECK-NEXT: ret i32 undef
;
entry:
%cmp = icmp eq i32 %index, 0
tail call void @llvm.assume(i1 %cmp)
ret i32 undef
}
declare hidden i8 @_ZNK2v88internal4wasm9ValueType4kindEv() local_unnamed_addr align 2
declare void @_ZN2v84baseL18ReadUnalignedValueINS_8internal6ObjectEEET_j() local_unnamed_addr
; Function Attrs: inaccessiblememonly nofree nosync nounwind willreturn
declare void @llvm.assume(i1 noundef) #0
attributes #0 = { inaccessiblememonly nofree nosync nounwind willreturn }
Codebase Browser
llvm