Index: lib/CodeGen/SplitKit.cpp =================================================================== --- lib/CodeGen/SplitKit.cpp +++ lib/CodeGen/SplitKit.cpp @@ -1005,12 +1005,22 @@ } void SplitEditor::extendPHIKillRanges() { - // Extend live ranges to be live-out for successor PHI values. + // Extend live ranges to be live-out for successor PHI values. for (const VNInfo *PHIVNI : Edit->getParent().valnos) { if (PHIVNI->isUnused() || !PHIVNI->isPHIDef()) continue; unsigned RegIdx = RegAssign.lookup(PHIVNI->def); LiveRange &LR = LIS.getInterval(Edit->get(RegIdx)); + + // Check whether PHI is dead. + const LiveRange::Segment *Segment = LR.getSegmentContaining(PHIVNI->def); + assert(Segment != nullptr && "Missing segment for VNI"); + if (Segment->end == PHIVNI->def.getDeadSlot()) { + // This is a dead PHI. Remove it. + LR.removeSegment(*Segment, true); + continue; + } + LiveRangeCalc &LRC = getLRCalc(RegIdx); MachineBasicBlock *MBB = LIS.getMBBFromIndex(PHIVNI->def); for (MachineBasicBlock::pred_iterator PI = MBB->pred_begin(), @@ -1137,14 +1147,15 @@ // Transfer the simply mapped values, check if any are skipped. bool Skipped = transferValues(); + + // Rewrite virtual registers, possibly extending ranges. + rewriteAssigned(Skipped); + if (Skipped) extendPHIKillRanges(); else ++NumSimple; - // Rewrite virtual registers, possibly extending ranges. - rewriteAssigned(Skipped); - // Delete defs that were rematted everywhere. if (Skipped) deleteRematVictims(); Index: test/CodeGen/ARM/interval-update-remat.ll =================================================================== --- /dev/null +++ test/CodeGen/ARM/interval-update-remat.ll @@ -0,0 +1,184 @@ +; RUN: llc -verify-regalloc < %s +; PR27275: After enable remat for vreg defined by PHI VNI, live range update +; after split don't know how to remove Dead PHI VNI and related Dead segment, +; which create some inconsistent state and may either trigger sanity check +; complaints or assertions from later passes. +; -verify-regalloc can catch such inconsistent state in an early stage. + +target datalayout = "e-m:o-p:32:32-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32" +target triple = "thumbv7-apple-ios9.0.0" + +%class.SOCKSClientSocketPoolTest_AsyncSOCKSConnectError_Test.1.226.276.1301.2326 = type { %class.MockTransportClientSocketPool.0.225.275.1300.2325, i32 } +%class.MockTransportClientSocketPool.0.225.275.1300.2325 = type { i8 } +%class.StaticSocketDataProvider.6.231.281.1306.2331 = type { i8, %struct.MockConnect.5.230.280.1305.2330 } +%struct.MockConnect.5.230.280.1305.2330 = type { %class.IPEndPoint.4.229.279.1304.2329 } +%class.IPEndPoint.4.229.279.1304.2329 = type { %class.IPAddress.3.228.278.1303.2328 } +%class.IPAddress.3.228.278.1303.2328 = type { %"class.(anonymous namespace)::vector.2.227.277.1302.2327" } +%"class.(anonymous namespace)::vector.2.227.277.1302.2327" = type { i8 } +%class.TestCompletionCallback.9.234.284.1309.2334 = type { %class.TestCompletionCallbackTemplate.8.233.283.1308.2333, i32 } +%class.TestCompletionCallbackTemplate.8.233.283.1308.2333 = type { i32 } +%class.AssertionResult.24.249.299.1324.2349 = type { i8, %class.scoped_ptr.23.248.298.1323.2348 } +%class.scoped_ptr.23.248.298.1323.2348 = type { %class.Trans_NS___1_basic_string.18.243.293.1318.2343* } +%class.Trans_NS___1_basic_string.18.243.293.1318.2343 = type { %class.Trans_NS___1___libcpp_compressed_pair_imp.17.242.292.1317.2342 } +%class.Trans_NS___1___libcpp_compressed_pair_imp.17.242.292.1317.2342 = type { %"struct.Trans_NS___1_basic_string::__rep.16.241.291.1316.2341" } +%"struct.Trans_NS___1_basic_string::__rep.16.241.291.1316.2341" = type { %"struct.Trans_NS___1_basic_string::__long.15.240.290.1315.2340" } +%"struct.Trans_NS___1_basic_string::__long.15.240.290.1315.2340" = type { i64, i32 } +%class.AssertHelper.10.235.285.1310.2335 = type { i8 } +%class.Message.13.238.288.1313.2338 = type { %class.scoped_ptr.0.12.237.287.1312.2337 } +%class.scoped_ptr.0.12.237.287.1312.2337 = type { %"class.(anonymous namespace)::basic_stringstream.11.236.286.1311.2336"* } +%"class.(anonymous namespace)::basic_stringstream.11.236.286.1311.2336" = type { i8 } +%class.scoped_refptr.19.244.294.1319.2344 = type { i8 } +%class.BoundNetLog.20.245.295.1320.2345 = type { i32 } +%struct.MockReadWrite.7.232.282.1307.2332 = type { i32 } +%"class.(anonymous namespace)::basic_iostream.22.247.297.1322.2347" = type { i8 } +%class.ClientSocketHandle.14.239.289.1314.2339 = type { i8 } +%"class.(anonymous namespace)::__vector_base.21.246.296.1321.2346" = type { i8 } + +@.str = private unnamed_addr constant [1 x i8] zeroinitializer, align 1 + +; Function Attrs: nounwind optsize +define void @_ZN53SOCKSClientSocketPoolTest_AsyncSOCKSConnectError_Test6m_fn10Ev(%class.SOCKSClientSocketPoolTest_AsyncSOCKSConnectError_Test.1.226.276.1301.2326* %this) align 2 { +entry: + %socket_data = alloca %class.StaticSocketDataProvider.6.231.281.1306.2331, align 1 + %agg.tmp = alloca %struct.MockConnect.5.230.280.1305.2330, align 1 + %callback = alloca %class.TestCompletionCallback.9.234.284.1309.2334, align 4 + %gtest_ar = alloca %class.AssertionResult.24.249.299.1324.2349, align 4 + %temp.lvalue = alloca %class.AssertHelper.10.235.285.1310.2335, align 1 + %agg.tmp10 = alloca %class.Message.13.238.288.1313.2338, align 4 + %ref.tmp = alloca %class.Trans_NS___1_basic_string.18.243.293.1318.2343, align 4 + %agg.tmp16 = alloca %class.scoped_refptr.19.244.294.1319.2344, align 1 + %agg.tmp18 = alloca %class.BoundNetLog.20.245.295.1320.2345, align 4 + %call2 = call %class.StaticSocketDataProvider.6.231.281.1306.2331* @_ZN24StaticSocketDataProviderC1EP13MockReadWritejS1_j(%class.StaticSocketDataProvider.6.231.281.1306.2331* nonnull %socket_data, %struct.MockReadWrite.7.232.282.1307.2332* undef, i32 1, %struct.MockReadWrite.7.232.282.1307.2332* null, i32 0) + %call3 = call %struct.MockConnect.5.230.280.1305.2330* @_ZN11MockConnectC1Ev(%struct.MockConnect.5.230.280.1305.2330* nonnull %agg.tmp) + call void @_ZN24StaticSocketDataProvider5m_fn8E11MockConnect(%class.StaticSocketDataProvider.6.231.281.1306.2331* nonnull %socket_data, %struct.MockConnect.5.230.280.1305.2330* nonnull %agg.tmp) + %call5 = call %class.TestCompletionCallback.9.234.284.1309.2334* @_ZN22TestCompletionCallbackC1Ev(%class.TestCompletionCallback.9.234.284.1309.2334* nonnull %callback) + %transport_socket_pool_ = getelementptr inbounds %class.SOCKSClientSocketPoolTest_AsyncSOCKSConnectError_Test.1.226.276.1301.2326, %class.SOCKSClientSocketPoolTest_AsyncSOCKSConnectError_Test.1.226.276.1301.2326* %this, i32 0, i32 0 + %call6 = call i32 @_ZN29MockTransportClientSocketPool5m_fn9Ev(%class.MockTransportClientSocketPool.0.225.275.1300.2325* %transport_socket_pool_) + call void @_Z11CmpHelperEQPcS_xx(%class.AssertionResult.24.249.299.1324.2349* nonnull sret %gtest_ar, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i32 0, i32 0), i64 0, i64 undef) + %0 = load i8, i8* undef, align 4 + %tobool.i = icmp eq i8 %0, 0 + br i1 %tobool.i, label %if.else, label %if.end + +if.else: ; preds = %entry + br i1 undef, label %_ZN15AssertionResult5m_fn6Ev.exit, label %cond.true.i + +cond.true.i: ; preds = %if.else + %call4.i = call i8* @_ZN25Trans_NS___1_basic_stringIciiE5m_fn1Ev(%class.Trans_NS___1_basic_string.18.243.293.1318.2343* nonnull undef) + br label %_ZN15AssertionResult5m_fn6Ev.exit + +_ZN15AssertionResult5m_fn6Ev.exit: ; preds = %cond.true.i, %if.else + %cond.i = phi i8* [ %call4.i, %cond.true.i ], [ getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i32 0, i32 0), %if.else ] + %call9 = call %class.AssertHelper.10.235.285.1310.2335* @_ZN12AssertHelperC1EPKc(%class.AssertHelper.10.235.285.1310.2335* nonnull %temp.lvalue, i8* %cond.i) + %call11 = call %class.Message.13.238.288.1313.2338* @_ZN7MessageC1Ev(%class.Message.13.238.288.1313.2338* nonnull %agg.tmp10) + call void @_ZN12AssertHelperaSE7Message(%class.AssertHelper.10.235.285.1310.2335* nonnull %temp.lvalue, %class.Message.13.238.288.1313.2338* nonnull %agg.tmp10) + %call.i.i.i.i27 = call zeroext i1 @_Z6IsTruev() + %brmerge = or i1 false, undef + br i1 %brmerge, label %_ZN7MessageD1Ev.exit33, label %delete.notnull.i.i.i.i32 + +delete.notnull.i.i.i.i32: ; preds = %_ZN15AssertionResult5m_fn6Ev.exit + %call.i.i.i.i.i.i31 = call %"class.(anonymous namespace)::basic_iostream.22.247.297.1322.2347"* @_ZN12_GLOBAL__N_114basic_iostreamD2Ev(%"class.(anonymous namespace)::basic_iostream.22.247.297.1322.2347"* undef) + call void @_ZdlPv(i8* undef) + br label %_ZN7MessageD1Ev.exit33 + +_ZN7MessageD1Ev.exit33: ; preds = %delete.notnull.i.i.i.i32, %_ZN15AssertionResult5m_fn6Ev.exit + %call13 = call %class.AssertHelper.10.235.285.1310.2335* @_ZN12AssertHelperD1Ev(%class.AssertHelper.10.235.285.1310.2335* nonnull %temp.lvalue) + br label %if.end + +if.end: ; preds = %_ZN7MessageD1Ev.exit33, %entry + %message_.i.i = getelementptr inbounds %class.AssertionResult.24.249.299.1324.2349, %class.AssertionResult.24.249.299.1324.2349* %gtest_ar, i32 0, i32 1 + %call.i.i.i = call %class.scoped_ptr.23.248.298.1323.2348* @_ZN10scoped_ptrI25Trans_NS___1_basic_stringIciiEED2Ev(%class.scoped_ptr.23.248.298.1323.2348* %message_.i.i) + call void @llvm.memset.p0i8.i32(i8* null, i8 0, i32 12, i32 4, i1 false) + call void @_ZN25Trans_NS___1_basic_stringIciiE5m_fn2Ev(%class.Trans_NS___1_basic_string.18.243.293.1318.2343* nonnull %ref.tmp) + call void @_Z19CreateSOCKSv5Paramsv(%class.scoped_refptr.19.244.294.1319.2344* nonnull sret %agg.tmp16) + %callback_.i = getelementptr inbounds %class.TestCompletionCallback.9.234.284.1309.2334, %class.TestCompletionCallback.9.234.284.1309.2334* %callback, i32 0, i32 1 + %pool_ = getelementptr inbounds %class.SOCKSClientSocketPoolTest_AsyncSOCKSConnectError_Test.1.226.276.1301.2326, %class.SOCKSClientSocketPoolTest_AsyncSOCKSConnectError_Test.1.226.276.1301.2326* %this, i32 0, i32 1 + %1 = getelementptr inbounds %class.BoundNetLog.20.245.295.1320.2345, %class.BoundNetLog.20.245.295.1320.2345* %agg.tmp18, i32 0, i32 0 + store i32 0, i32* %1, align 4 + call void @_ZN18ClientSocketHandle5m_fn3IPiEEvRK25Trans_NS___1_basic_stringIciiE13scoped_refptr15RequestPriorityN16ClientSocketPool13RespectLimitsERiT_11BoundNetLog(%class.ClientSocketHandle.14.239.289.1314.2339* nonnull undef, %class.Trans_NS___1_basic_string.18.243.293.1318.2343* nonnull dereferenceable(12) %ref.tmp, %class.scoped_refptr.19.244.294.1319.2344* nonnull %agg.tmp16, i32 0, i32 1, i32* nonnull dereferenceable(4) %callback_.i, i32* %pool_, %class.BoundNetLog.20.245.295.1320.2345* nonnull %agg.tmp18) + %call19 = call %class.BoundNetLog.20.245.295.1320.2345* @_ZN11BoundNetLogD1Ev(%class.BoundNetLog.20.245.295.1320.2345* nonnull %agg.tmp18) + call void @_Z11CmpHelperEQPcS_xx(%class.AssertionResult.24.249.299.1324.2349* nonnull sret undef, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i32 0, i32 0), i64 -1, i64 0) + br i1 undef, label %if.then.i.i.i.i, label %_ZN7MessageD1Ev.exit + +if.then.i.i.i.i: ; preds = %if.end + %2 = load %"class.(anonymous namespace)::basic_stringstream.11.236.286.1311.2336"*, %"class.(anonymous namespace)::basic_stringstream.11.236.286.1311.2336"** undef, align 4 + br label %_ZN7MessageD1Ev.exit + +_ZN7MessageD1Ev.exit: ; preds = %if.then.i.i.i.i, %if.end + %connect_.i.i = getelementptr inbounds %class.StaticSocketDataProvider.6.231.281.1306.2331, %class.StaticSocketDataProvider.6.231.281.1306.2331* %socket_data, i32 0, i32 1 + %3 = bitcast %struct.MockConnect.5.230.280.1305.2330* %connect_.i.i to %"class.(anonymous namespace)::__vector_base.21.246.296.1321.2346"* + %call.i.i.i.i.i.i.i.i.i.i = call %"class.(anonymous namespace)::__vector_base.21.246.296.1321.2346"* @_ZN12_GLOBAL__N_113__vector_baseD2Ev(%"class.(anonymous namespace)::__vector_base.21.246.296.1321.2346"* %3) + ret void +} + +; Function Attrs: argmemonly nounwind +declare void @llvm.lifetime.start(i64, i8* nocapture) + +; Function Attrs: optsize +declare %class.StaticSocketDataProvider.6.231.281.1306.2331* @_ZN24StaticSocketDataProviderC1EP13MockReadWritejS1_j(%class.StaticSocketDataProvider.6.231.281.1306.2331* returned, %struct.MockReadWrite.7.232.282.1307.2332*, i32, %struct.MockReadWrite.7.232.282.1307.2332*, i32) unnamed_addr + +; Function Attrs: optsize +declare void @_ZN24StaticSocketDataProvider5m_fn8E11MockConnect(%class.StaticSocketDataProvider.6.231.281.1306.2331*, %struct.MockConnect.5.230.280.1305.2330*) + +; Function Attrs: optsize +declare %struct.MockConnect.5.230.280.1305.2330* @_ZN11MockConnectC1Ev(%struct.MockConnect.5.230.280.1305.2330* returned) unnamed_addr + +; Function Attrs: optsize +declare %class.TestCompletionCallback.9.234.284.1309.2334* @_ZN22TestCompletionCallbackC1Ev(%class.TestCompletionCallback.9.234.284.1309.2334* returned) unnamed_addr + +; Function Attrs: optsize +declare i32 @_ZN29MockTransportClientSocketPool5m_fn9Ev(%class.MockTransportClientSocketPool.0.225.275.1300.2325*) + +; Function Attrs: optsize +declare %class.AssertHelper.10.235.285.1310.2335* @_ZN12AssertHelperC1EPKc(%class.AssertHelper.10.235.285.1310.2335* returned, i8*) unnamed_addr + +; Function Attrs: optsize +declare void @_ZN12AssertHelperaSE7Message(%class.AssertHelper.10.235.285.1310.2335*, %class.Message.13.238.288.1313.2338*) + +; Function Attrs: optsize +declare %class.Message.13.238.288.1313.2338* @_ZN7MessageC1Ev(%class.Message.13.238.288.1313.2338* returned) unnamed_addr + +; Function Attrs: nounwind optsize +declare %class.AssertHelper.10.235.285.1310.2335* @_ZN12AssertHelperD1Ev(%class.AssertHelper.10.235.285.1310.2335* returned) unnamed_addr + +; Function Attrs: argmemonly nounwind +declare void @llvm.lifetime.end(i64, i8* nocapture) + +; Function Attrs: optsize +declare void @_ZN18ClientSocketHandle5m_fn3IPiEEvRK25Trans_NS___1_basic_stringIciiE13scoped_refptr15RequestPriorityN16ClientSocketPool13RespectLimitsERiT_11BoundNetLog(%class.ClientSocketHandle.14.239.289.1314.2339*, %class.Trans_NS___1_basic_string.18.243.293.1318.2343* dereferenceable(12), %class.scoped_refptr.19.244.294.1319.2344*, i32, i32, i32* dereferenceable(4), i32*, %class.BoundNetLog.20.245.295.1320.2345*) + +; Function Attrs: optsize +declare void @_Z19CreateSOCKSv5Paramsv(%class.scoped_refptr.19.244.294.1319.2344* sret) + +; Function Attrs: argmemonly nounwind +declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i32, i1) + +; Function Attrs: nounwind optsize +declare %class.BoundNetLog.20.245.295.1320.2345* @_ZN11BoundNetLogD1Ev(%class.BoundNetLog.20.245.295.1320.2345* returned) unnamed_addr + +; Function Attrs: nounwind optsize +declare %class.scoped_refptr.19.244.294.1319.2344* @_ZN13scoped_refptrD1Ev(%class.scoped_refptr.19.244.294.1319.2344* returned) unnamed_addr + +; Function Attrs: nounwind optsize +declare %"class.(anonymous namespace)::__vector_base.21.246.296.1321.2346"* @_ZN12_GLOBAL__N_113__vector_baseD2Ev(%"class.(anonymous namespace)::__vector_base.21.246.296.1321.2346"* returned) unnamed_addr + +; Function Attrs: optsize +declare i8* @_ZN25Trans_NS___1_basic_stringIciiE5m_fn1Ev(%class.Trans_NS___1_basic_string.18.243.293.1318.2343*) + +; Function Attrs: optsize +declare zeroext i1 @_Z6IsTruev() + +; Function Attrs: nobuiltin nounwind optsize +declare void @_ZdlPv(i8*) + +; Function Attrs: nounwind optsize +declare %"class.(anonymous namespace)::basic_iostream.22.247.297.1322.2347"* @_ZN12_GLOBAL__N_114basic_iostreamD2Ev(%"class.(anonymous namespace)::basic_iostream.22.247.297.1322.2347"* returned) unnamed_addr + +; Function Attrs: nounwind optsize +declare %class.scoped_ptr.23.248.298.1323.2348* @_ZN10scoped_ptrI25Trans_NS___1_basic_stringIciiEED2Ev(%class.scoped_ptr.23.248.298.1323.2348* readonly returned) unnamed_addr align 2 + +; Function Attrs: optsize +declare void @_Z11CmpHelperEQPcS_xx(%class.AssertionResult.24.249.299.1324.2349* sret, i8*, i8*, i64, i64) + +; Function Attrs: optsize +declare void @_ZN25Trans_NS___1_basic_stringIciiE5m_fn2Ev(%class.Trans_NS___1_basic_string.18.243.293.1318.2343*) + Index: test/CodeGen/X86/interval-update-remat.ll =================================================================== --- /dev/null +++ test/CodeGen/X86/interval-update-remat.ll @@ -0,0 +1,164 @@ +; RUN: llc -verify-regalloc < %s +; PR27275: After enable remat for vreg defined by PHI VNI, live range update +; after split don't know how to remove Dead PHI VNI and related Dead segment, +; which create some inconsistent state and may either trigger sanity check +; complaints or assertions from later passes. +; -verify-regalloc can catch such inconsistent state in an early stage. + +target datalayout = "e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128" +target triple = "i386-unknown-linux-gnu" + +@b = external global i64, align 8 +@d = external global i32, align 4 +@e = external global i64, align 8 +@h = external global i16, align 2 +@a = external global i8, align 1 +@g = external global i64, align 8 +@j = external global i32, align 4 +@f = external global i16, align 2 +@.str = external unnamed_addr constant [12 x i8], align 1 + +; Function Attrs: noreturn nounwind +define void @fn1() { +entry: + %0 = load i64, i64* @b, align 8 + %or = or i64 0, 3299921317 + %and = and i64 %or, %0 + %1 = load i32, i32* @d, align 4 + br i1 undef, label %lor.rhs, label %lor.end + +lor.rhs: ; preds = %entry + %tobool3 = icmp ne i8 undef, 0 + br label %lor.end + +lor.end: ; preds = %lor.rhs, %entry + %lor.ext = zext i1 undef to i32 + %2 = load i64, i64* @e, align 8 + br i1 undef, label %lor.rhs5, label %lor.end7 + +lor.rhs5: ; preds = %lor.end + br label %lor.end7 + +lor.end7: ; preds = %lor.rhs5, %lor.end + %3 = phi i1 [ true, %lor.end ], [ false, %lor.rhs5 ] + %neg13 = xor i64 %0, -1 + %conv25 = zext i1 %3 to i32 + %tobool46 = icmp eq i64 %0, 0 + %.pre = load i16, i16* @h, align 2 + %tobool10 = icmp eq i16 %.pre, 0 + %neg.us = xor i32 %1, -1 + %conv12.us = sext i32 %neg.us to i64 + %tobool23.us = icmp eq i64 %2, %and + %conv39.us = sext i32 %1 to i64 + br label %LABEL_mSmSDb + +LABEL_mSmSDb.loopexit: ; preds = %lor.end32.us + %conv42.us.lcssa = phi i32 [ %conv42.us, %lor.end32.us ] + store i64 undef, i64* @g, align 8 + br label %LABEL_mSmSDb + +LABEL_mSmSDb: ; preds = %LABEL_mSmSDb.loopexit, %lor.end7 + %4 = phi i32 [ undef, %lor.end7 ], [ %conv42.us.lcssa, %LABEL_mSmSDb.loopexit ] + %5 = phi i64 [ %0, %lor.end7 ], [ 0, %LABEL_mSmSDb.loopexit ] + br i1 %tobool10, label %LABEL_BRBRN.preheader, label %if.then + +if.then: ; preds = %LABEL_mSmSDb + store i8 undef, i8* @a, align 1 + br label %LABEL_BRBRN.preheader + +LABEL_BRBRN.preheader: ; preds = %if.then, %LABEL_mSmSDb + %.pre63 = load i64, i64* @g, align 8 + br i1 %tobool46, label %LABEL_BRBRN.us, label %LABEL_BRBRN.outer + +LABEL_BRBRN.outer: ; preds = %if.then47, %LABEL_BRBRN.preheader + %.ph = phi i32 [ 0, %if.then47 ], [ %4, %LABEL_BRBRN.preheader ] + %.ph64 = phi i32 [ %conv50, %if.then47 ], [ %1, %LABEL_BRBRN.preheader ] + %.ph65 = phi i64 [ %16, %if.then47 ], [ %.pre63, %LABEL_BRBRN.preheader ] + %.ph66 = phi i64 [ 0, %if.then47 ], [ %2, %LABEL_BRBRN.preheader ] + %.ph67 = phi i64 [ %.pre56.pre, %if.then47 ], [ %5, %LABEL_BRBRN.preheader ] + %neg = xor i32 %.ph64, -1 + %conv12 = sext i32 %neg to i64 + %tobool23 = icmp eq i64 %.ph66, %and + %6 = load i32, i32* @j, align 4 + %shr = lshr i32 %conv25, %6 + %conv39 = sext i32 %.ph64 to i64 + br label %LABEL_BRBRN + +LABEL_BRBRN.us: ; preds = %lor.end32.us, %LABEL_BRBRN.preheader + %7 = phi i32 [ %conv42.us, %lor.end32.us ], [ %4, %LABEL_BRBRN.preheader ] + %8 = phi i64 [ undef, %lor.end32.us ], [ %.pre63, %LABEL_BRBRN.preheader ] + %9 = phi i64 [ %10, %lor.end32.us ], [ %5, %LABEL_BRBRN.preheader ] + %mul.us = mul i64 %8, %neg13 + %mul14.us = mul i64 %mul.us, %conv12.us + %cmp.us = icmp sgt i64 %2, %mul14.us + %conv16.us = zext i1 %cmp.us to i64 + %xor.us = xor i64 %conv16.us, %9 + %rem18.us = urem i32 %lor.ext, %7 + %conv19.us = zext i32 %rem18.us to i64 + br i1 %tobool23.us, label %lor.rhs24.us, label %lor.end32.us + +lor.rhs24.us: ; preds = %LABEL_BRBRN.us + br label %lor.end32.us + +lor.end32.us: ; preds = %lor.rhs24.us, %LABEL_BRBRN.us + %10 = phi i64 [ -2, %LABEL_BRBRN.us ], [ -1, %lor.rhs24.us ] + %xor.us.not = xor i64 %xor.us, -1 + %neg36.us = and i64 %conv19.us, %xor.us.not + %conv37.us = zext i32 %7 to i64 + %sub38.us = sub nsw i64 %neg36.us, %conv37.us + %mul40.us = mul nsw i64 %sub38.us, %conv39.us + %neg41.us = xor i64 %mul40.us, 4294967295 + %conv42.us = trunc i64 %neg41.us to i32 + %tobool43.us = icmp eq i8 undef, 0 + br i1 %tobool43.us, label %LABEL_mSmSDb.loopexit, label %LABEL_BRBRN.us + +LABEL_BRBRN: ; preds = %lor.end32, %LABEL_BRBRN.outer + %11 = phi i32 [ %conv42, %lor.end32 ], [ %.ph, %LABEL_BRBRN.outer ] + %12 = phi i64 [ %neg21, %lor.end32 ], [ %.ph65, %LABEL_BRBRN.outer ] + %13 = phi i64 [ %conv35, %lor.end32 ], [ %.ph67, %LABEL_BRBRN.outer ] + %mul = mul i64 %12, %neg13 + %mul14 = mul i64 %mul, %conv12 + %cmp = icmp sgt i64 %.ph66, %mul14 + %conv16 = zext i1 %cmp to i64 + %xor = xor i64 %conv16, %13 + %rem18 = urem i32 %lor.ext, %11 + %conv19 = zext i32 %rem18 to i64 + %neg21 = or i64 %xor, undef + br i1 %tobool23, label %lor.rhs24, label %lor.end32 + +lor.rhs24: ; preds = %LABEL_BRBRN + %14 = load volatile i16, i16* @f, align 2 + %conv26 = sext i16 %14 to i32 + %and27 = and i32 %conv26, %shr + %conv28 = sext i32 %and27 to i64 + %mul29 = mul nsw i64 %conv28, %0 + %and30 = and i64 %mul29, %13 + %tobool31 = icmp ne i64 %and30, 0 + br label %lor.end32 + +lor.end32: ; preds = %lor.rhs24, %LABEL_BRBRN + %15 = phi i1 [ true, %LABEL_BRBRN ], [ %tobool31, %lor.rhs24 ] + %lor.ext33 = zext i1 %15 to i32 + %neg34 = xor i32 %lor.ext33, -1 + %conv35 = sext i32 %neg34 to i64 + %xor.not = xor i64 %xor, -1 + %neg36 = and i64 %conv19, %xor.not + %conv37 = zext i32 %11 to i64 + %sub38 = sub nsw i64 %neg36, %conv37 + %mul40 = mul nsw i64 %sub38, %conv39 + %neg41 = xor i64 %mul40, 4294967295 + %conv42 = trunc i64 %neg41 to i32 + %tobool43 = icmp eq i8 undef, 0 + br i1 %tobool43, label %if.then47, label %LABEL_BRBRN + +if.then47: ; preds = %lor.end32 + tail call void (i8*, ...) @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i32 0, i32 0), i64 %conv39) + %16 = load i64, i64* @g, align 8 + %neg49 = xor i64 %16, 4294967295 + %conv50 = trunc i64 %neg49 to i32 + %.pre56.pre = load i64, i64* @b, align 8 + br label %LABEL_BRBRN.outer +} + +; Function Attrs: nounwind +declare void @printf(i8* nocapture readonly, ...)