1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -mergeicmps -verify-dom-info -S | FileCheck %s 3 4target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32" 5target triple = "i386-pc-windows-msvc19.11.0" 6 7%class.a = type { i32, i32, i32, i32, i32 } 8 9; Function Attrs: nounwind optsize 10define dso_local zeroext i1 @pr41917(%class.a* byval(%class.a) nocapture readonly align 4 %g, %class.a* byval(%class.a) nocapture readonly align 4 %p2) local_unnamed_addr #0 { 11; CHECK-LABEL: @pr41917( 12; CHECK-NEXT: entry: 13; CHECK-NEXT: [[CALL:%.*]] = tail call zeroext i1 @f2() #3 14; CHECK-NEXT: br i1 [[CALL]], label [[LAND_RHS:%.*]], label %"land.end+land.rhs3" 15; CHECK: land.rhs: 16; CHECK-NEXT: [[CALL1:%.*]] = tail call zeroext i1 @f2() #3 17; CHECK-NEXT: br label %"land.end+land.rhs3" 18; CHECK: "land.end+land.rhs3": 19; CHECK-NEXT: [[TMP0:%.*]] = getelementptr inbounds [[CLASS_A:%.*]], %class.a* [[G:%.*]], i32 0, i32 1 20; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds [[CLASS_A]], %class.a* [[P2:%.*]], i32 0, i32 1 21; CHECK-NEXT: [[CSTR:%.*]] = bitcast i32* [[TMP0]] to i8* 22; CHECK-NEXT: [[CSTR1:%.*]] = bitcast i32* [[TMP1]] to i8* 23; CHECK-NEXT: [[MEMCMP:%.*]] = call i32 @memcmp(i8* [[CSTR]], i8* [[CSTR1]], i32 8) 24; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[MEMCMP]], 0 25; CHECK-NEXT: br label [[LAND_END6:%.*]] 26; CHECK: land.end6: 27; CHECK-NEXT: ret i1 [[TMP2]] 28; 29entry: 30 %call = tail call zeroext i1 @f2() #2 31 br i1 %call, label %land.rhs, label %land.end 32 33land.rhs: ; preds = %entry 34 %call1 = tail call zeroext i1 @f2() #2 35 br label %land.end 36 37land.end: ; preds = %land.rhs, %entry 38 %c = getelementptr inbounds %class.a, %class.a* %g, i32 0, i32 1 39 %0 = load i32, i32* %c, align 4, !tbaa !3 40 %c2 = getelementptr inbounds %class.a, %class.a* %p2, i32 0, i32 1 41 %1 = load i32, i32* %c2, align 4, !tbaa !3 42 %cmp = icmp eq i32 %0, %1 43 br i1 %cmp, label %land.rhs3, label %land.end6 44 45land.rhs3: ; preds = %land.end 46 %h = getelementptr inbounds %class.a, %class.a* %g, i32 0, i32 2 47 %2 = load i32, i32* %h, align 4, !tbaa !8 48 %h4 = getelementptr inbounds %class.a, %class.a* %p2, i32 0, i32 2 49 %3 = load i32, i32* %h4, align 4, !tbaa !8 50 %cmp5 = icmp eq i32 %2, %3 51 br label %land.end6 52 53land.end6: ; preds = %land.rhs3, %land.end 54 %4 = phi i1 [ false, %land.end ], [ %cmp5, %land.rhs3 ] 55 ret i1 %4 56} 57 58declare dso_local zeroext i1 @f2() local_unnamed_addr #1 59 60attributes #0 = { nounwind optsize "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-features"="+cx8,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 61attributes #1 = { optsize "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-features"="+cx8,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 62attributes #2 = { nounwind optsize } 63 64!llvm.module.flags = !{!0, !1} 65!llvm.ident = !{!2} 66 67!0 = !{i32 1, !"NumRegisterParameters", i32 0} 68!1 = !{i32 1, !"wchar_size", i32 2} 69!2 = !{!"clang version 9.0.0 (https://github.com/llvm/llvm-project.git 1a8630ac2839d0e73fd3b15dc38501e4c6525a7e)"} 70!3 = !{!4, !5, i64 4} 71!4 = !{!"?AVa@@", !5, i64 0, !5, i64 4, !5, i64 8, !5, i64 12, !5, i64 16} 72!5 = !{!"int", !6, i64 0} 73!6 = !{!"omnipotent char", !7, i64 0} 74!7 = !{!"Simple C++ TBAA"} 75!8 = !{!4, !5, i64 8} 76