From 8a7bd24c82afd5fd344a58a7cc2062356ef2e34b Mon Sep 17 00:00:00 2001 From: Jonas Paulsson Date: Fri, 17 Mar 2017 06:47:08 +0000 Subject: [PATCH] [SystemZ] Add use of super-reg in splitMove() If one of the subregs of the 128 bit reg is undefined when splitMove() splits a store into two instructions, a use of an undefined physical register results. To remedy this, an implicit use of the super register is added onto both new instructions, along with propagated kill and undef flags. This was discovered with llvm-stress, and that test case is attached as test/CodeGen/SystemZ/splitMove_undefReg_mverifier.ll Thanks to Matthias Braun for helping with a nice explanation. Review: Ulrich Weigand llvm-svn: 298047 --- llvm/lib/Target/SystemZ/SystemZInstrInfo.cpp | 15 +- .../SystemZ/splitMove_undefReg_mverifier.ll | 413 ++++++++++++++++++ 2 files changed, 427 insertions(+), 1 deletion(-) create mode 100644 llvm/test/CodeGen/SystemZ/splitMove_undefReg_mverifier.ll diff --git a/llvm/lib/Target/SystemZ/SystemZInstrInfo.cpp b/llvm/lib/Target/SystemZ/SystemZInstrInfo.cpp index 16ffd04dcb01..a1ef3530f90b 100644 --- a/llvm/lib/Target/SystemZ/SystemZInstrInfo.cpp +++ b/llvm/lib/Target/SystemZ/SystemZInstrInfo.cpp @@ -80,12 +80,25 @@ void SystemZInstrInfo::splitMove(MachineBasicBlock::iterator MI, MachineInstr *EarlierMI = MF.CloneMachineInstr(&*MI); MBB->insert(MI, EarlierMI); - // Set up the two 64-bit registers. + // Set up the two 64-bit registers and remember super reg and its flags. MachineOperand &HighRegOp = EarlierMI->getOperand(0); MachineOperand &LowRegOp = MI->getOperand(0); + unsigned Reg128 = LowRegOp.getReg(); + unsigned Reg128Killed = getKillRegState(LowRegOp.isKill()); + unsigned Reg128Undef = getUndefRegState(LowRegOp.isUndef()); HighRegOp.setReg(RI.getSubReg(HighRegOp.getReg(), SystemZ::subreg_h64)); LowRegOp.setReg(RI.getSubReg(LowRegOp.getReg(), SystemZ::subreg_l64)); + if (MI->mayStore()) { + // Add implicit uses of the super register in case one of the subregs is + // undefined. We could track liveness and skip storing an undefined + // subreg, but this is hopefully rare (discovered with llvm-stress). + // If Reg128 was killed, set kill flag on MI. + unsigned Reg128UndefImpl = (Reg128Undef | RegState::Implicit); + MachineInstrBuilder(MF, EarlierMI).addReg(Reg128, Reg128UndefImpl); + MachineInstrBuilder(MF, MI).addReg(Reg128, (Reg128UndefImpl | Reg128Killed)); + } + // The address in the first (high) instruction is already correct. // Adjust the offset in the second (low) instruction. MachineOperand &HighOffsetOp = EarlierMI->getOperand(2); diff --git a/llvm/test/CodeGen/SystemZ/splitMove_undefReg_mverifier.ll b/llvm/test/CodeGen/SystemZ/splitMove_undefReg_mverifier.ll new file mode 100644 index 000000000000..db6e3653b506 --- /dev/null +++ b/llvm/test/CodeGen/SystemZ/splitMove_undefReg_mverifier.ll @@ -0,0 +1,413 @@ +; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z13 -verify-machineinstrs | FileCheck %s +; +; Regression test for a machine verifier complaint discovered with llvm-stress. +; Test that splitting of a 128 bit store does not result in use of undef phys reg. + +define void @autogen_SD29355(i8*, i32*, i64*, i32, i64, i8) { +; CHECK: .text +BB: + %A4 = alloca double + %A3 = alloca float + %A2 = alloca i8 + %A1 = alloca double + %A = alloca i64 + %L = load i8, i8* %0 + store i8 33, i8* %0 + %E = extractelement <8 x i1> zeroinitializer, i32 2 + br label %CF261 + +CF261: ; preds = %BB + %Shuff = shufflevector <2 x i16> zeroinitializer, <2 x i16> zeroinitializer, <2 x i32> + %I = insertelement <8 x i8> zeroinitializer, i8 69, i32 3 + %B = udiv i8 -99, 33 + %Tr = trunc i64 -1 to i32 + %Sl = select i1 true, i64* %2, i64* %2 + %L5 = load i64, i64* %Sl + store i64 %L5, i64* %2 + %E6 = extractelement <4 x i16> zeroinitializer, i32 3 + %Shuff7 = shufflevector <4 x i16> zeroinitializer, <4 x i16> zeroinitializer, <4 x i32> + %I8 = insertelement <4 x i16> %Shuff7, i16 27357, i32 0 + %B9 = xor <4 x i16> %Shuff7, %Shuff7 + %Tr10 = trunc i64 %4 to i1 + br label %CF239 + +CF239: ; preds = %CF261 + %Sl11 = select i1 %Tr10, i16 -1, i16 27357 + %L12 = load i8, i8* %0 + store i64 %L5, i64* %A + %E13 = extractelement <8 x i1> zeroinitializer, i32 0 + br label %CF238 + +CF238: ; preds = %CF238, %CF239 + %Shuff14 = shufflevector <4 x i16> zeroinitializer, <4 x i16> zeroinitializer, <4 x i32> + %I15 = insertelement <4 x i16> %Shuff7, i16 -1, i32 1 + %B16 = fsub double 0xDACBFCEAC1C99968, 0xDACBFCEAC1C99968 + %Sl17 = select i1 %E, i64* %Sl, i64* %Sl + %Cmp = icmp ugt i16 %E6, 27357 + br i1 %Cmp, label %CF238, label %CF251 + +CF251: ; preds = %CF238 + %L18 = load i64, i64* %Sl17 + store i64 0, i64* %Sl + %E19 = extractelement <4 x i16> zeroinitializer, i32 1 + %Shuff20 = shufflevector <2 x i1> zeroinitializer, <2 x i1> zeroinitializer, <2 x i32> + %I21 = insertelement <2 x i1> zeroinitializer, i1 true, i32 0 + %FC = fptoui float 0x3BE9BD7D80000000 to i1 + br label %CF237 + +CF237: ; preds = %CF237, %CF271, %CF268, %CF251 + %Sl22 = select i1 true, i16 -1, i16 %E6 + %Cmp23 = icmp sgt i1 %E13, true + br i1 %Cmp23, label %CF237, label %CF256 + +CF256: ; preds = %CF256, %CF237 + %L24 = load i64, i64* %A + store i64 %L5, i64* %Sl17 + %E25 = extractelement <4 x i16> zeroinitializer, i32 3 + %Shuff26 = shufflevector <4 x i16> %Shuff7, <4 x i16> zeroinitializer, <4 x i32> + %I27 = insertelement <4 x i16> zeroinitializer, i16 %Sl22, i32 0 + %B28 = udiv i16 %Sl11, -1 + %ZE = zext i1 true to i32 + %Sl29 = select i1 true, i8 -99, i8 33 + %Cmp30 = fcmp ord double 0xC275146F92573C4, 0x16FB351AF5F9C998 + br i1 %Cmp30, label %CF256, label %CF271 + +CF271: ; preds = %CF256 + %L31 = load i8, i8* %0 + store i64 %L5, i64* %Sl + %E32 = extractelement <4 x i16> zeroinitializer, i32 2 + %Shuff33 = shufflevector <1 x i32> zeroinitializer, <1 x i32> zeroinitializer, <1 x i32> + %I34 = insertelement <4 x i16> zeroinitializer, i16 %Sl11, i32 1 + %PC = bitcast double* %A4 to i1* + %Sl35 = select i1 %FC, i32* %1, i32* %1 + %Cmp36 = icmp ult <2 x i1> %Shuff20, %Shuff20 + %L37 = load i64, i64* %Sl + store i64 %L5, i64* %Sl + %E38 = extractelement <2 x i32> zeroinitializer, i32 0 + %Shuff39 = shufflevector <4 x i16> zeroinitializer, <4 x i16> %Shuff7, <4 x i32> + %I40 = insertelement <4 x i16> %Shuff7, i16 %E19, i32 1 + %ZE41 = zext i1 true to i16 + %Sl42 = select i1 true, i1 true, i1 true + br i1 %Sl42, label %CF237, label %CF246 + +CF246: ; preds = %CF246, %CF271 + %Cmp43 = icmp uge i64 %L37, %L18 + br i1 %Cmp43, label %CF246, label %CF249 + +CF249: ; preds = %CF249, %CF263, %CF246 + %L44 = load i64, i64* %A + store i64 %L5, i64* %Sl17 + %E45 = extractelement <4 x i16> %Shuff14, i32 2 + %Shuff46 = shufflevector <1 x i32> zeroinitializer, <1 x i32> zeroinitializer, <1 x i32> + %I47 = insertelement <4 x i16> %Shuff7, i16 %E6, i32 1 + %Sl48 = select i1 %FC, double 0xDACBFCEAC1C99968, double 0xDACBFCEAC1C99968 + %Cmp49 = fcmp ult double 0x9E8F85AE4F8D6C2C, 0x5A7FED9E637D2C1C + br i1 %Cmp49, label %CF249, label %CF263 + +CF263: ; preds = %CF249 + %L50 = load i64, i64* %Sl + store i1 true, i1* %PC + %E51 = extractelement <2 x i1> zeroinitializer, i32 0 + br i1 %E51, label %CF249, label %CF259 + +CF259: ; preds = %CF259, %CF263 + %Shuff52 = shufflevector <4 x i64> zeroinitializer, <4 x i64> zeroinitializer, <4 x i32> + %I53 = insertelement <4 x i16> zeroinitializer, i16 -1, i32 1 + %B54 = or <2 x i16> %Shuff, zeroinitializer + %Sl55 = select i1 %Sl42, i16 %Sl22, i16 27357 + %Cmp56 = icmp uge i1 %Sl42, true + br i1 %Cmp56, label %CF259, label %CF268 + +CF268: ; preds = %CF259 + %L57 = load i8, i8* %0 + store i64 %L5, i64* %Sl + %E58 = extractelement <4 x i16> %Shuff14, i32 1 + %Shuff59 = shufflevector <1 x i32> %Shuff33, <1 x i32> %Shuff33, <1 x i32> zeroinitializer + %I60 = insertelement <2 x i1> %Shuff20, i1 true, i32 0 + %B61 = frem double 0x5A7FED9E637D2C1C, %B16 + %FC62 = sitofp i8 -99 to float + %Sl63 = select i1 true, i16 %E19, i16 -1 + %Cmp64 = icmp slt i16 %Sl63, 27357 + br i1 %Cmp64, label %CF237, label %CF241 + +CF241: ; preds = %CF241, %CF265, %CF268 + %L65 = load i1, i1* %PC + br i1 %L65, label %CF241, label %CF262 + +CF262: ; preds = %CF262, %CF270, %CF241 + store i64 %L37, i64* %Sl + %E66 = extractelement <4 x i16> %Shuff14, i32 2 + %Shuff67 = shufflevector <4 x i16> %Shuff26, <4 x i16> %Shuff7, <4 x i32> + %I68 = insertelement <2 x i32> zeroinitializer, i32 454413, i32 1 + %B69 = sub <4 x i16> %I8, %Shuff7 + %Tr70 = trunc i16 %E32 to i1 + br i1 %Tr70, label %CF262, label %CF270 + +CF270: ; preds = %CF262 + %Sl71 = select i1 %Sl42, <8 x i1> zeroinitializer, <8 x i1> zeroinitializer + %Cmp72 = icmp sge <2 x i16> %B54, zeroinitializer + %L73 = load i64, i64* %Sl + store i64 %L73, i64* %Sl + %E74 = extractelement <8 x i1> %Sl71, i32 5 + br i1 %E74, label %CF262, label %CF265 + +CF265: ; preds = %CF270 + %Shuff75 = shufflevector <2 x i32> %I68, <2 x i32> zeroinitializer, <2 x i32> + %I76 = insertelement <2 x i1> %Cmp72, i1 %Sl42, i32 0 + %B77 = xor i16 27357, %B28 + %PC78 = bitcast i1* %PC to i32* + %Sl79 = select i1 %Cmp64, <4 x i16> %Shuff14, <4 x i16> %Shuff7 + %Cmp80 = icmp slt <2 x i1> zeroinitializer, %Shuff20 + %L81 = load i1, i1* %PC + br i1 %L81, label %CF241, label %CF245 + +CF245: ; preds = %CF245, %CF265 + store i1 true, i1* %PC + %E82 = extractelement <1 x i32> %Shuff33, i32 0 + %Shuff83 = shufflevector <4 x i16> zeroinitializer, <4 x i16> %Shuff14, <4 x i32> + %I84 = insertelement <2 x i1> %Shuff20, i1 %Sl42, i32 0 + %FC85 = uitofp i1 %Cmp to float + %Sl86 = select i1 %Tr10, i16 -1, i16 %Sl63 + %Cmp87 = icmp ugt <2 x i1> %I76, %I60 + %L88 = load i32, i32* %PC78 + store i8 33, i8* %0 + %E89 = extractelement <2 x i32> zeroinitializer, i32 1 + %Shuff90 = shufflevector <4 x i64> zeroinitializer, <4 x i64> %Shuff52, <4 x i32> + %I91 = insertelement <2 x i32> %Shuff75, i32 %ZE, i32 0 + %B92 = add i64 -1, %L73 + %Tr93 = trunc i64 0 to i16 + %Sl94 = select i1 %FC, i64 %L37, i64 %L5 + %Cmp95 = icmp sge i64 454853, %B92 + br i1 %Cmp95, label %CF245, label %CF257 + +CF257: ; preds = %CF245 + %L96 = load i64, i64* %Sl + store i1 true, i1* %PC + %E97 = extractelement <2 x i1> %Shuff20, i32 1 + br label %CF + +CF: ; preds = %CF, %CF258, %CF257 + %Shuff98 = shufflevector <2 x i1> %Cmp80, <2 x i1> zeroinitializer, <2 x i32> + %I99 = insertelement <2 x i1> %Shuff98, i1 %Cmp30, i32 0 + %B100 = sub <8 x i8> zeroinitializer, zeroinitializer + %FC101 = uitofp <2 x i1> %I99 to <2 x double> + %Sl102 = select i1 %FC, i16 %Sl63, i16 %E58 + %Cmp103 = fcmp ord double %B16, 0xDACBFCEAC1C99968 + br i1 %Cmp103, label %CF, label %CF240 + +CF240: ; preds = %CF240, %CF260, %CF + %L104 = load i32, i32* %1 + store i1 true, i1* %PC + %E105 = extractelement <4 x i16> %I8, i32 1 + %Shuff106 = shufflevector <4 x i16> %Shuff7, <4 x i16> %I34, <4 x i32> + %I107 = insertelement <2 x i1> %Cmp87, i1 %FC, i32 0 + %ZE108 = zext <4 x i16> %B69 to <4 x i64> + %Sl109 = select i1 %Cmp, i16 27357, i16 %Sl102 + %Cmp110 = icmp sge <4 x i16> %B9, zeroinitializer + %L111 = load i64, i64* %Sl + store i8 %L57, i8* %0 + %E112 = extractelement <2 x i1> %Shuff98, i32 0 + br i1 %E112, label %CF240, label %CF254 + +CF254: ; preds = %CF254, %CF267, %CF264, %CF240 + %Shuff113 = shufflevector <2 x i32> %I68, <2 x i32> zeroinitializer, <2 x i32> undef + %I114 = insertelement <4 x i16> zeroinitializer, i16 27357, i32 3 + %B115 = and i16 %Sl102, %Sl11 + %FC116 = uitofp i16 %B115 to double + %Sl117 = select i1 %L81, i32* %1, i32* %1 + %Cmp118 = icmp ne i64 %Sl94, %L50 + br i1 %Cmp118, label %CF254, label %CF267 + +CF267: ; preds = %CF254 + %L119 = load i64, i64* %Sl + store i32 %ZE, i32* %PC78 + %E120 = extractelement <4 x i16> zeroinitializer, i32 1 + %Shuff121 = shufflevector <1 x i32> %Shuff33, <1 x i32> %Shuff33, <1 x i32> zeroinitializer + %I122 = insertelement <1 x i32> %Shuff121, i32 %E82, i32 0 + %B123 = mul <4 x i16> %I40, %I34 + %Sl124 = select i1 %FC, <4 x i1> %Cmp110, <4 x i1> %Cmp110 + %Cmp125 = icmp ne <4 x i64> %ZE108, zeroinitializer + %L126 = load i64, i64* %Sl + store i32 %ZE, i32* %Sl117 + %E127 = extractelement <2 x i1> %Cmp87, i32 1 + br i1 %E127, label %CF254, label %CF264 + +CF264: ; preds = %CF267 + %Shuff128 = shufflevector <4 x i16> %Shuff83, <4 x i16> %I47, <4 x i32> + %I129 = insertelement <4 x i16> %Shuff67, i16 %Sl109, i32 2 + %B130 = add i32 %3, %E38 + %FC131 = sitofp i32 %3 to float + %Sl132 = select i1 %Sl42, i64 %L24, i64 %L5 + %Cmp133 = icmp eq <2 x i1> %I99, %Shuff20 + %L134 = load i32, i32* %PC78 + store i32 %L104, i32* %1 + %E135 = extractelement <8 x i1> zeroinitializer, i32 4 + br i1 %E135, label %CF254, label %CF260 + +CF260: ; preds = %CF264 + %Shuff136 = shufflevector <1 x i32> %Shuff59, <1 x i32> %Shuff121, <1 x i32> undef + %I137 = insertelement <4 x i16> %Shuff67, i16 %Sl55, i32 3 + %B138 = lshr <1 x i32> %Shuff33, %Shuff59 + %Sl139 = select i1 %E135, i64 %L119, i64 %L126 + %Cmp140 = icmp slt i8 -99, %Sl29 + br i1 %Cmp140, label %CF240, label %CF247 + +CF247: ; preds = %CF247, %CF272, %CF260 + %L141 = load i32, i32* %Sl117 + store i8 %5, i8* %0 + %E142 = extractelement <2 x i1> %Cmp36, i32 1 + br i1 %E142, label %CF247, label %CF272 + +CF272: ; preds = %CF247 + %Shuff143 = shufflevector <4 x i64> %Shuff90, <4 x i64> %Shuff52, <4 x i32> + %I144 = insertelement <1 x i32> %Shuff121, i32 %L88, i32 0 + %Tr145 = trunc i64 %Sl139 to i16 + %Sl146 = select i1 %Cmp49, i32 %L134, i32 %L104 + %L147 = load i32, i32* %PC78 + store i32 %Tr, i32* %Sl117 + %E148 = extractelement <4 x i16> %Shuff67, i32 3 + %Shuff149 = shufflevector <4 x i16> zeroinitializer, <4 x i16> %Shuff67, <4 x i32> + %I150 = insertelement <2 x i1> zeroinitializer, i1 %E127, i32 0 + %B151 = fdiv double 0x16FB351AF5F9C998, 0xC275146F92573C4 + %FC152 = uitofp <1 x i32> %I144 to <1 x double> + %Sl153 = select i1 %Cmp118, <1 x i32> %Shuff136, <1 x i32> %Shuff121 + %Cmp154 = icmp ule i8 %5, %Sl29 + br i1 %Cmp154, label %CF247, label %CF253 + +CF253: ; preds = %CF253, %CF269, %CF272 + %L155 = load i32, i32* %Sl117 + store i32 %L141, i32* %PC78 + %E156 = extractelement <4 x i1> %Cmp125, i32 2 + br i1 %E156, label %CF253, label %CF269 + +CF269: ; preds = %CF253 + %Shuff157 = shufflevector <1 x i32> %Shuff46, <1 x i32> %Shuff121, <1 x i32> + %I158 = insertelement <4 x i16> %Shuff128, i16 %E66, i32 1 + %B159 = shl i64 %L119, %L73 + %Se = sext i16 %B77 to i32 + %Sl160 = select i1 %Cmp56, i16 %Sl63, i16 %B77 + %L161 = load i64, i64* %Sl + store i32 %B130, i32* %Sl117 + %E162 = extractelement <1 x i32> %Shuff59, i32 0 + %Shuff163 = shufflevector <4 x i16> %Shuff7, <4 x i16> %Shuff67, <4 x i32> + %I164 = insertelement <4 x i16> %Shuff106, i16 27357, i32 3 + %Se165 = sext <4 x i1> %Sl124 to <4 x i8> + %Sl166 = select i1 true, i1 %Cmp, i1 %Tr70 + br i1 %Sl166, label %CF253, label %CF255 + +CF255: ; preds = %CF255, %CF266, %CF269 + %Cmp167 = icmp sge i64 %4, %L24 + br i1 %Cmp167, label %CF255, label %CF266 + +CF266: ; preds = %CF255 + %L168 = load i8, i8* %0 + store i32 %E38, i32* %PC78 + %E169 = extractelement <2 x i16> zeroinitializer, i32 1 + %Shuff170 = shufflevector <4 x i16> %Sl79, <4 x i16> %I137, <4 x i32> + %I171 = insertelement <4 x i16> %Shuff163, i16 %ZE41, i32 0 + %Tr172 = trunc i16 %Tr145 to i1 + br i1 %Tr172, label %CF255, label %CF258 + +CF258: ; preds = %CF266 + %Sl173 = select i1 true, <2 x i32> %I68, <2 x i32> %I91 + %Cmp174 = icmp ugt <2 x i1> %Cmp72, %I150 + %L175 = load i32, i32* %Sl117 + store i32 %L104, i32* %Sl117 + %E176 = extractelement <4 x i16> %Shuff67, i32 1 + %Shuff177 = shufflevector <1 x i32> %Shuff121, <1 x i32> %Shuff33, <1 x i32> zeroinitializer + %I178 = insertelement <4 x i16> zeroinitializer, i16 27357, i32 0 + %FC179 = sitofp <4 x i16> %I47 to <4 x float> + %Sl180 = select i1 %FC, i64 %L126, i64 %B92 + %Cmp181 = fcmp ugt double %B61, %B16 + br i1 %Cmp181, label %CF, label %CF236 + +CF236: ; preds = %CF236, %CF258 + %L182 = load i8, i8* %0 + store i32 %E38, i32* %Sl117 + %E183 = extractelement <1 x i32> %Shuff121, i32 0 + %Shuff184 = shufflevector <4 x i64> zeroinitializer, <4 x i64> %Shuff90, <4 x i32> + %I185 = insertelement <4 x i16> %Shuff106, i16 %Tr93, i32 1 + %ZE186 = zext i32 %E162 to i64 + %Sl187 = select i1 %Cmp95, <8 x i8> %B100, <8 x i8> %B100 + %Cmp188 = icmp uge i16 %B115, %Sl11 + br i1 %Cmp188, label %CF236, label %CF242 + +CF242: ; preds = %CF242, %CF250, %CF248, %CF236 + %L189 = load i8, i8* %0 + store i8 %Sl29, i8* %0 + %E190 = extractelement <4 x i16> %B9, i32 3 + %Shuff191 = shufflevector <4 x i16> %Shuff26, <4 x i16> %Shuff26, <4 x i32> + %I192 = insertelement <1 x i32> %I122, i32 %3, i32 0 + %B193 = udiv i8 %5, %L168 + %Se194 = sext <8 x i1> %Sl71 to <8 x i32> + %Sl195 = select i1 %Cmp188, i8 %L182, i8 %L168 + %Cmp196 = icmp slt i16 %B77, %Sl102 + br i1 %Cmp196, label %CF242, label %CF250 + +CF250: ; preds = %CF242 + %L197 = load i64, i64* %Sl + store i32 %ZE, i32* %Sl117 + %E198 = extractelement <2 x i1> %Shuff20, i32 1 + br i1 %E198, label %CF242, label %CF244 + +CF244: ; preds = %CF244, %CF250 + %Shuff199 = shufflevector <1 x i32> %Shuff46, <1 x i32> %Shuff177, <1 x i32> zeroinitializer + %I200 = insertelement <4 x i16> %Shuff191, i16 %Sl86, i32 0 + %B201 = mul i16 %ZE41, %E169 + %Se202 = sext <4 x i16> %I171 to <4 x i64> + %Sl203 = select i1 %Sl166, i32 %E162, i32 %E82 + %Cmp204 = icmp ule i16 %E32, %E120 + br i1 %Cmp204, label %CF244, label %CF248 + +CF248: ; preds = %CF244 + %L205 = load float, float* %A3 + store i32 %Tr, i32* %PC78 + %E206 = extractelement <2 x i1> %Shuff20, i32 1 + br i1 %E206, label %CF242, label %CF243 + +CF243: ; preds = %CF243, %CF273, %CF248 + %Shuff207 = shufflevector <8 x i1> zeroinitializer, <8 x i1> %Sl71, <8 x i32> + %I208 = insertelement <2 x i1> %Shuff20, i1 %E198, i32 0 + %B209 = xor <4 x i16> %I129, %I34 + %FC210 = uitofp <8 x i8> zeroinitializer to <8 x double> + %Sl211 = select i1 %E74, i16 %Tr93, i16 %E19 + %Cmp212 = icmp ugt i32 %Se, %E38 + br i1 %Cmp212, label %CF243, label %CF273 + +CF273: ; preds = %CF243 + %L213 = load i32, i32* %PC78 + store i8 %L168, i8* %0 + %E214 = extractelement <2 x i32> %Shuff113, i32 1 + %Shuff215 = shufflevector <4 x i16> %Shuff128, <4 x i16> %I137, <4 x i32> + %I216 = insertelement <2 x i1> %Shuff20, i1 %Cmp30, i32 0 + %B217 = sub <4 x i16> %Shuff83, %I185 + %Tr218 = trunc <4 x i16> %B9 to <4 x i1> + %Sl219 = select i1 %Cmp154, i8 %B, i8 %5 + %Cmp220 = icmp uge <4 x i64> %Shuff52, %Shuff52 + %L221 = load i32, i32* %Sl117 + store i8 %L168, i8* %0 + %E222 = extractelement <4 x i16> %Shuff191, i32 0 + %Shuff223 = shufflevector <4 x i16> %Shuff26, <4 x i16> %I34, <4 x i32> + %I224 = insertelement <4 x i16> %Shuff26, i16 %Tr145, i32 1 + %FC225 = sitofp i1 %Cmp56 to float + %Sl226 = select i1 %E, i1 %Cmp154, i1 %Sl166 + br i1 %Sl226, label %CF243, label %CF252 + +CF252: ; preds = %CF273 + %Cmp227 = icmp ugt <4 x i64> %Shuff143, zeroinitializer + %L228 = load i32, i32* %Sl117 + store i32 %Tr, i32* %PC78 + %E229 = extractelement <4 x i16> %Shuff163, i32 2 + %Shuff230 = shufflevector <1 x i32> %Shuff199, <1 x i32> zeroinitializer, <1 x i32> + %I231 = insertelement <4 x i16> %Shuff106, i16 %E32, i32 1 + %B232 = srem i32 %Sl203, %Sl203 + %FC233 = fptoui double 0x5A7FED9E637D2C1C to i32 + %Sl234 = select i1 %Cmp103, i8 %B193, i8 %L168 + %Cmp235 = icmp uge <2 x i16> zeroinitializer, zeroinitializer + store i32 %ZE, i32* %PC78 + store i64 %L5, i64* %Sl + store i8 33, i8* %0 + store i8 %L168, i8* %0 + store i1 %Sl226, i1* %PC + ret void +}