$7448:(ite 
    $7447:(ite 
      $7446:(ite 
        $1055:(ite 
          $788:(= [barray 1 bit $754:phi1-1] $4:{bitconst 1}) 
          $1053:(ite 
            $988:(= [barray 1 bit $769:memstall_s1-1] $4) 
            $853:(ite 
              $285:(= [barray 1 bit $217:phi2-0] $4) 
              $852:(= [barray 1 bit $279:is_stall-0] $4) 
              $397:(= [barray 1 bit $14:istall_s1-0] $4)) $1:true) $0:false) 
        $7445:(ite 
          $3449:(ite $788 
            $3140:(ite $988 
              $3052:(ite 
                $1847:(= $217 $3:{bitconst 0}) $397 
                $2701:(ite 
                  $2168:(= [barray 1 bit $80:instrfetch_ifetchcontrol_reset_s2-0] $4) $0 
                  $2699:(ite 
                    $1922:(ite 
                      $1917:(ite 
                        $1915:(ite 
                          $1910:(ite 
                            $1905:(ite 
                              $1900:(ite 
                                $1893:(= [barray 1 bit $1889:instrfetch_ifetchdatapath_latch_24_outtag_state-0!9999!0000_0000] $4) 
                                $1899:(= [barray 23 bit $1890:instrfetch_ifetchdatapath_latch_24_outtag_state-0!9977!0023_0001] 
                                  $1897:{bitcat [barray 17 bit $78:instrfetch_ifetchdatapath_latch_17_tag_s2_state-0] [barray 6 bit $257:pcpid_v2r-0]}) $0) $0 
                              $1904:(ite 
                                $608:(= [barray 1 bit $86:instrfetch_ifetchcontrol_hold_s2e-0] $4) $0 $1)) 
                            $1909:(ite 
                              $1907:(= [barray 1 bit $92:instrfetch_ifetchcontrol_noncacheable_s2-0] $4) $0 $1) $0) 
                          $1914:(ite 
                            $1912:(= [barray 1 bit $124:instrfetch_ifetchcontrol_itlbmiss_s2-0] $4) $0 $1) $0) 
                        $560:(ite 
                          $558:(= [barray 1 bit $134:instrfetch_ifetchcontrol_except_s2w-0] $4) $0 $1) $0) 
                      $1921:(ite 
                        $1920:(= [barray 4 bit $108:instrfetch_ifetchcontrol_prevstate_s2-0] $1919:{bitconst 1 1 1 1}) $0 $1) $0) $1 
                    $2697:(ite 
                      $660:(= [barray 1 bit $128:instrfetch_ifetchcontrol_istall_s2-0] $4) 
                      $2235:(ite 
                        $2147:(= $108 $2146:{bitconst 0 0 1 0}) $0 $1) $0)))) $1) $0) 
          $7444:(= 
            $7443:(ite 
              $954:(ite 
                $861:(= [barray 1 bit $774:except_s1w-1] $4) $0 
                $953:(ite $853 $0 
                  $951:(ite 
                    $930:(ite 
                      $929:(= [barray 1 bit $761:bltznext_s1e-1] $4) 
                      $918:(= [barray 1 bit $766:sisnegative_v1e-1] $4) $0) $1 
                    $950:(ite 
                      $927:(ite 
                        $923:(= [barray 1 bit $760:bgtznext_s1e-1] $4) 
                        $926:(ite 
                          $909:(= [barray 1 bit $765:sequalst_v1e-1] $4) $0 
                          $925:(ite $918 $0 $1)) $0) $1 
                      $949:(ite 
                        $921:(ite 
                          $917:(= [barray 1 bit $759:bleznext_s1e-1] $4) 
                          $919:(ite $909 $1 $918) $0) $1 
                        $948:(ite 
                          $915:(ite 
                            $912:(= [barray 1 bit $758:bnenext_s1e-1] $4) 
                            $914:(ite $909 $0 $1) $0) $1 
                          $947:(ite 
                            $910:(ite 
                              $908:(= [barray 1 bit $757:beqnext_s1e-1] $4) $909 $0) $1 
                            $935:(ite 
                              $932:(= [barray 1 bit $762:bgeznext_s1e-1] $4) 
                              $933:(ite $909 $1 $925) $0)))))))) 
              $7341:(ite 
                $649:(ite $285 
                  $648:(ite 
                    $646:(= [barray 1 bit $249:stall_s2-0] $4) $0 $1) $0) 
                $7340:{bitplus @30 [barray 30 bit $152:instrfetch_pcunitdatapath_latch_30_pcplus_s2r_state-0] 65536 
                  $7338:(ite 
                    $7337:(= 
                      $7336:{bitsel 
                        $7327:(ite 
                          $528:(= [barray 1 bit $18:instrfetch_bdrva_s2r-0] $3) 
                          $6720:{bitcat [barray 8 bit $6719:instrfetch_ifetchdatapath_latch_40_instra_state-0!9992!0039_0032] [barray 32 bit $6718:instrfetch_ifetchdatapath_latch_40_instra_state-0!9968!0031_0000]} 
                          $6709:{bitcat [barray 8 bit $6708:instrfetch_ifetchdatapath_latch_40_instrb_state-0!9992!0039_0032] [barray 32 bit $6707:instrfetch_ifetchdatapath_latch_40_instrb_state-0!9968!0031_0000]}) 15 15} $4) $696:{bitconst 1 1 1 1 1 1 1 1 1 1 1 1 1 1} $697:{bitconst 0 0 0 0 0 0 0 0 0 0 0 0 0 0}) 
                  $7339:{bitsel $7327 15 0}} [barray 30 bit $146:instrfetch_pcunitdatapath_latch_30_brhtrg_state-0]) 
              $7436:(ite 
                $876:(ite $861 $0 
                  $875:(ite $853 $0 
                    $874:(ite 
                      $868:(= [barray 1 bit $764:immpc_s1e-1] $4) $0 
                      $873:(ite 
                        $871:(= [barray 1 bit $763:regpc_s1e-1] $4) $0 $1)))) 
                $6661:(ite $285 
                  $6660:(ite 
                    $565:(ite 
                      $546:(ite 
                        $544:(= [barray 1 bit $102:instrfetch_ifetchcontrol_adynamicbit_s2r-0] $4) $1 
                        $545:(= [barray 1 bit $110:instrfetch_ifetchcontrol_bdynamicbit_s2r-0] $4)) 
                      $564:(ite 
                        $548:(= [barray 1 bit $112:instrfetch_ifetchcontrol_pcoffset_s2r-0] $4) $0 
                        $563:(ite 
                          $551:(= [barray 1 bit $116:instrfetch_ifetchcontrol_incpc_s2e-0] $4) 
                          $562:(ite 
                            $552:(= [barray 1 bit $106:instrfetch_ifetchcontrol_secondissue_s2e-0] $4) $0 
                            $561:(ite 
                              $555:(= [barray 1 bit $98:instrfetch_ifetchcontrol_ifetchstall_s2-0] $4) $0 $560)) $0)) $0) $152 
                    $6659:{bitplus @30 [barray 1 bit $291:instrfetch_pcunitdatapath_latch_30_pc_state-0!9999!0000_0000] [barray 1 bit $243:mipsmode_s2e-0] 2 [barray 2 bit $292:instrfetch_pcunitdatapath_latch_30_pc_state-0!9998!0002_0001] 8 [barray 10 bit $2781:instrfetch_pcunitdatapath_latch_30_pc_state-0!9990!0012_0003] 536870912 [barray 1 bit $2625:instrfetch_pcunitdatapath_latch_30_pc_state-0!9999!0029_0029] 8192 [barray 16 bit $2782:instrfetch_pcunitdatapath_latch_30_pc_state-0!9984!0028_0013] 2 
                      $582:(ite 
                        $382:(= $243 $4) $3 $4)}) [barray 30 bit $150:instrfetch_pcunitdatapath_latch_30_pcplus_s1r_state-0]) 
                $7435:(ite 
                  $879:(ite $861 $0 
                    $878:(ite $853 $0 $868)) 
                  $7330:{bitcat 
                    $1513:{bitsel 
                      $1507:(ite 
                        $607:(ite $285 
                          $606:(= $249 $3) $0) 
                        $615:(ite $608 
                          $614:{bitcat [barray 29 bit $610:instrfetch_pcunitdatapath_latch_30_chains2e_state-0!9971!0029_0001] $4} [barray 30 bit $156:instrfetch_pcunitdatapath_latch_30_chains2r_state-0]) 
                        $1431:{bitcat [barray 4 bit $429:instrfetch_pcunitdatapath_latch_30_chains1e_state-0!9996!0029_0026] [barray 26 bit $428:instrfetch_pcunitdatapath_latch_30_chains1e_state-0!9974!0025_0000]}) 29 26} 
                    $7329:(ite $649 
                      $7328:{bitsel $7327 25 0} [barray 26 bit $144:instrfetch_pcunitdatapath_latch_26_pcimmbus_state-0])} 
                  $7434:(ite 
                    $884:(ite $861 $0 
                      $883:(ite $853 $0 $871)) [barray 30 bit $887:asbus_s1e-1!9970!0031_0002] 
                    $7433:(ite 
                      $864:(ite $861 
                        $863:(ite $853 $0 $1) $0) 
                      $901:{bitcat [barray 1 bit $891:exceptvector_s1i-1!9999!0002_0002] {bitnot $891} {bitnot $891} $1399:{bitconst 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0} [barray 1 bit $896:exceptvector_s1i-1!9999!0001_0001] [barray 1 bit $895:exceptvector_s1i-1!9999!0000_0000] $452:{bitconst 0 0 0 0 0 0}} 
                      $7432:(ite $853 
                        $7431:(ite 
                          $855:(ite $285 
                            $854:(ite 
                              $287:(= [barray 1 bit $277:ishit-0] $4) $0 $1) 
                            $398:(= [barray 1 bit $12:ifetchstall_s1-0] $4)) $1507 
                          $5744:(ite 
                            $663:(ite $285 
                              $662:(ite $660 $0 $1) $0) 
                            $4434:{bitcat $2625 $2782 $2781 $292 $291} [barray 30 bit $154:instrfetch_pcunitdatapath_latch_30_chains1r_state-0])) 
                        $6022:{bitcat [barray 1 bit $2:_Z_] $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2})))))) 
            $7428:{bitnot 
              $7427:(ite 
                $3264:(ite 
                  $3055:(ite $861 $0 
                    $3054:(ite $3052 $0 $1)) 
                  $3262:(ite 
                    $3260:(ite 
                      $3258:(ite 
                        $3252:(ite 
                          $3250:(ite $910 $1 $915) $1 $921) $1 
                        $3256:(ite 
                          $3254:(ite $923 $914 $0) $925 $0)) $1 $930) $1 $935) $0) 
                $7322:{bitnot 
                  $7321:(ite $649 
                    $7320:{bitplus @30 $7452:{bitconst 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1} $152 1073741823 
                      $7309:{bitsel 
                        $7308:(ite $528 
                          $6723:{bitcat 
                            $6722:{bitnot $6719} 
                            $6721:{bitnot $6718}} 
                          $7307:(ite 
                            $1792:(= $18 $4) 
                            $6714:{bitcat 
                              $6711:{bitnot $6708} 
                              $6710:{bitnot $6707}} 
                            $6049:{bitcat $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2})) 25 0} 65536 
                      $7315:{bitsel $7308 25 16} 65536 
                      $7319:(ite 
                        $7318:(= 
                          $7317:{bitnot 
                            $7316:{bitsel $7308 15 15}} $4) $696 $697)} $146)} 
                $7426:(ite 
                  $3059:(ite 
                    $3057:(ite $3055 
                      $870:(ite $868 $0 $1) $0) $873 $0) 
                  $6637:{bitnot 
                    $5535:(ite $1847 $150 
                      $5534:{bitnot 
                        $5533:(ite 
                          $1977:(ite $546 
                            $1975:(ite 
                              $1973:(ite 
                                $1971:(ite 
                                  $1969:(ite $548 $0 $551) 
                                  $554:(ite $552 $0 $1) $0) 
                                $557:(ite $555 $0 $1) $0) $560 $0) $0) 
                          $1986:{bitnot $152} 
                          $5532:{bitplus @30 $7453:{bitconst 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1} 1073741823 $243 1073741822 $292 536870912 $2625 1073741816 $2781 1073741822 $582 1073741823 
                            $1982:(ite 
                              $1981:(ite 
                                $993:(= $291 $4) $382 $0) $4 $3) 1073733632 $2782})})} 
                  $7425:(ite 
                    $3138:(ite $3055 $868 $0) 
                    $7312:{bitcat {bitnot 
                      $6634:{bitsel 
                        $6517:(ite $649 
                          $6516:{bitnot 
                            $6515:(ite 
                              $2129:(= $86 $3) 
                              $2130:{bitnot $156} 
                              $6514:(ite $608 
                                $2131:{bitcat {bitnot $610} $3} $6022))} $1431) 29 26}} {bitnot 
                      $7311:(ite $649 
                        $7310:{bitnot $7309} $144)}} 
                    $7424:(ite 
                      $3514:(ite $3055 $871 $0) 
                      $3516:{bitnot $887} 
                      $7423:(ite 
                        $3517:(ite $861 $3054 $0) 
                        $3519:{bitcat {bitnot $891} $891 $891 $7458:{bitconst 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1} {bitnot $896} {bitnot $895} $7459:{bitconst 1 1 1 1 1 1}} 
                        $7422:(ite $3052 
                          $7421:(ite 
                            $3038:(ite $1847 $398 
                              $2171:(ite 
                                $2166:(ite 
                                  $2162:(ite $1922 $2147 $0) $1 
                                  $2164:(ite $555 $1921 $0)) 
                                $2170:(ite $2168 $0 $1) $0)) 
                            $6628:{bitnot $6517} 
                            $6629:{bitnot $5744}) $6022))))))}) 
          $7442:(ite $954 
            $7441:(ite 
              $637:(ite 
                $281:(= [barray 1 bit $215:phi1-0] $4) 
                $635:(ite 
                  $572:(= [barray 1 bit $245:memstall_s1-0] $4) $397 $1) $0) 
              $7440:(= 
                $7410:{bitnot 
                  $7409:(ite 
                    $2188:(ite 
                      $1947:(ite 
                        $406:(= [barray 1 bit $255:except_s1w-0] $4) $0 
                        $408:(ite $397 $0 $1)) 
                      $2186:(ite 
                        $2184:(ite 
                          $2182:(ite 
                            $2176:(ite 
                              $2174:(ite 
                                $474:(ite 
                                  $472:(= [barray 1 bit $221:beqnext_s1e-0] $4) 
                                  $473:(= [barray 1 bit $237:sequalst_v1e-0] $4) $0) $1 
                                $479:(ite 
                                  $476:(= [barray 1 bit $223:bnenext_s1e-0] $4) 
                                  $478:(ite $473 $0 $1) $0)) $1 
                              $485:(ite 
                                $481:(= [barray 1 bit $225:bleznext_s1e-0] $4) 
                                $483:(ite $473 $1 
                                  $482:(= [barray 1 bit $239:sisnegative_v1e-0] $4)) $0)) $1 
                            $2180:(ite 
                              $2178:(ite 
                                $487:(= [barray 1 bit $227:bgtznext_s1e-0] $4) $478 $0) 
                              $489:(ite $482 $0 $1) $0)) $1 
                          $494:(ite 
                            $493:(= [barray 1 bit $229:bltznext_s1e-0] $4) $482 $0)) $1 
                        $499:(ite 
                          $496:(= [barray 1 bit $231:bgeznext_s1e-0] $4) 
                          $497:(ite $473 $1 $489) $0)) $0) 
                    $2543:{bitnot $146} 
                    $7408:(ite 
                      $1951:(ite 
                        $1949:(ite $1947 
                          $416:(ite 
                            $414:(= [barray 1 bit $235:immpc_s1e-0] $4) $0 $1) $0) 
                        $419:(ite 
                          $417:(= [barray 1 bit $233:regpc_s1e-0] $4) $0 $1) $0) 
                      $2446:{bitnot $150} 
                      $7407:(ite 
                        $2043:(ite $1947 $414 $0) 
                        $2447:{bitcat {bitnot $429} {bitnot $144}} 
                        $7406:(ite 
                          $2448:(ite $1947 $417 $0) 
                          $2450:{bitnot [barray 30 bit $438:asbus_s1e-0!9970!0031_0002]} 
                          $7405:(ite 
                            $409:(ite $406 $408 $0) 
                            $2451:{bitcat {bitnot [barray 1 bit $442:exceptvector_s1i-0!9999!0002_0002]} $442 $442 $7458 {bitnot [barray 1 bit $448:exceptvector_s1i-0!9999!0001_0001]} {bitnot [barray 1 bit $447:exceptvector_s1i-0!9999!0000_0000]} $7459} 
                            $7404:(ite $397 
                              $7403:(ite $398 
                                $2137:{bitcat {bitnot $429} {bitnot $428}} 
                                $2138:{bitnot $154}) $6022))))))} $7341) 
              $7342:(= $7341 $4434)) 
            $7439:(ite $637 
              $7438:(= $7436 $7410) 
              $7437:(= $7436 $4434)))) 
        $7430:(ite $3449 
          $7429:(= $7428 
            $7420:(ite $637 
              $7417:(ite 
                $521:(ite $406 $0 
                  $520:(ite $397 $0 
                    $515:(ite $494 $1 
                      $514:(ite 
                        $491:(ite $487 
                          $490:(ite $473 $0 $489) $0) $1 
                        $513:(ite $485 $1 
                          $512:(ite $479 $1 
                            $511:(ite $474 $1 $499))))))) $146 
                $7416:(ite 
                  $422:(ite $406 $0 
                    $421:(ite $397 $0 
                      $420:(ite $414 $0 $419))) $150 
                  $7415:(ite 
                    $425:(ite $406 $0 
                      $424:(ite $397 $0 $414)) 
                    $1468:{bitcat $429 $144} 
                    $7414:(ite 
                      $435:(ite $406 $0 
                        $434:(ite $397 $0 $417)) $438 
                      $7413:(ite $409 
                        $454:{bitcat $442 {bitnot $442} {bitnot $442} $1399 $448 $447 $452} 
                        $7412:(ite $397 
                          $7411:(ite $398 $1431 $154) $6022)))))) $4434)) 
          $7419:(ite $637 
            $7418:(= $7417 $7410) $1))) $1 
      $7402:(ite 
        $7401:(ite 
          $6681:(ite 
            $6680:(= [barray 1 bit $267:noncacheable_s1-0] $3) 
            $2047:(= [barray 1 bit $20:instrfetch_noncacheableheld_s1-0] $3) $1) 
          $7400:(ite 
            $6682:(= [barray 1 bit $94:instrfetch_ifetchcontrol_mipsmode_s1-0] $243) 
            $7399:(ite 
              $6683:(ite 
                $2852:(= [barray 1 bit $251:reset_s1-0] $4) 
                $282:(= $245 $3) $1) 
              $7398:(ite 
                $6684:(ite 
                  $3821:(= [barray 1 bit $772:reset_s1-1] $4) 
                  $789:(= $769 $3) $1) 
                $7397:(ite 
                  $6685:(ite $2168 
                    $2239:(= [barray 1 bit $273:l2miss_s2-0] $3) $1) 
                  $7396:(ite 
                    $6686:(ite $2147 $1 $2239) 
                    $7395:(ite 
                      $6690:(ite 
                        $6688:(= 
                          $6687:{bitnot 
                            $3808:(ite 
                              $2973:(= [barray 1 bit $755:phi2-1] $3) 
                              $2839:(ite $1847 $12 
                                $2172:(ite $2171 $4 $3)) 
                              $3249:(ite 
                                $3248:(ite 
                                  $3243:(ite 
                                    $3239:(ite 
                                      $3028:(ite 
                                        $3024:(ite 
                                          $3022:(ite 
                                            $3016:(ite 
                                              $3011:(ite 
                                                $3005:(ite 
                                                  $3001:(= 
                                                    $3000:{bitsel 
                                                      $2744:(ite 
                                                        $1883:(ite $281 
                                                          $1881:(ite $572 $0 
                                                            $1880:(= [barray 1 bit $130:instrfetch_ifetchcontrol_readcache_s1r-0] $4)) $0) 
                                                        $2617:(ite 
                                                          $2048:(= $215 $3) [barray 24 bit $46:instrfetch_icache_temp_icacheouttag_v1r-0] 
                                                          $2616:(ite 
                                                            $2612:(ite 
                                                              $2388:(= [barray 1 bit $30:instrfetch_icache_tagenable_s1-0] $4) 
                                                              $2565:(ite 
                                                                $2385:(= [barray 1 bit $50:instrfetch_icache_writetag_s1-0] $4) $0 $1) $0) 
                                                            $2615:{read [array
unknown barray 24 bit $32:instrfetch_icache_icachetag_v1r-0] [barray 10 bit $38:instrfetch_icache_address_s1r-0]} $46)) 
                                                        $1891:{bitcat $1890 $1889}) 0 0} $4) 
                                                  $3004:(= 
                                                    $3003:{bitcat 
                                                      $2823:(ite $1883 [barray 17 bit $74:instrfetch_ifetchdatapath_latch_17_tag_s1_state-0] $78) [barray 6 bit $775:pcpid_v2r-1]} 
                                                    $3002:{bitsel $2744 23 1}) $0) $0 
                                                $3010:(ite 
                                                  $3008:(ite 
                                                    $575:(ite $281 
                                                      $574:(ite $572 $0 $1) $0) 
                                                    $1025:(= [barray 1 bit $84:instrfetch_ifetchcontrol_hold_s1e-0] $4) $608) $0 $1)) 
                                              $3015:(ite 
                                                $3013:(ite $281 
                                                  $2857:(ite 
                                                    $2849:(= $267 $4) $1 
                                                    $2855:(ite 
                                                      $2850:(ite 
                                                        $2084:(= $20 $4) $397 $0) 
                                                      $2854:(ite $2852 $0 $1) $0)) $1907) $0 $1) $0) 
                                            $3021:(ite 
                                              $3019:(ite $2048 $1912 
                                                $3018:(= [barray 1 bit $118:instrfetch_ifetchcontrol_itlbmiss_s1-0] $4)) $0 $1) $0) 
                                          $977:(ite 
                                            $975:(ite 
                                              $623:(ite $281 
                                                $622:(ite 
                                                  $620:(= [barray 1 bit $247:stall_s1-0] $4) $0 $1) $0) $406 $558) $0 $1) $0) 
                                        $3027:(ite 
                                          $3026:(ite $575 
                                            $2301:(ite 
                                              $2300:(= [barray 2 bit $2284:instrfetch_ifetchcontrol_presstate_s1-0!9998!0001_0000] $2029:{bitconst 1 1}) 
                                              $2299:(= [barray 2 bit $2285:instrfetch_ifetchcontrol_presstate_s1-0!9998!0003_0002] $2029) $0) $1920) $0 $1) $0) 
                                      $3225:(ite $575 
                                        $2296:(ite 
                                          $2295:(= $2284 $357:{bitconst 1 0}) 
                                          $2294:(= $2285 $297:{bitconst 0 0}) $0) $2147) $0) $1 
                                    $3241:(ite 
                                      $3084:(ite $2048 $555 $398) $3027 $0)) 
                                  $3247:(ite 
                                    $3245:(ite $2048 $2168 $2852) $0 $1) $0) $4 $3))} $277) 
                        $6689:(= 
                          $3784:(ite $2973 
                            $2822:(ite $1847 $14 
                              $2702:(ite $2701 $4 $3)) 
                            $3682:(ite 
                              $3681:(ite $3245 $0 
                                $3679:(ite $3028 $1 
                                  $3677:(ite 
                                    $3553:(ite $2048 $660 $397) 
                                    $3312:(ite $3225 $0 $1) $0))) $4 $3)) $279) $0) 
                      $7394:(ite 
                        $6693:(ite 
                          $6691:(= $6687 [barray 1 bit $785:ishit-1]) 
                          $6692:(= $3784 [barray 1 bit $786:is_stall-1]) $0) 
                        $7393:(ite 
                          $6694:(ite $2048 $788 $0) 
                          $7392:(ite 
                            $6695:(ite $285 $2973 $0) 
                            $7391:(ite 
                              $6697:(ite 
                                $3307:(= $251 $3) 
                                $6696:(= $772 $3) $0) 
                              $7390:(ite 
                                $4844:(= $243 [barray 1 bit $768:mipsmode_s2e-1]) 
                                $7389:(ite 
                                  $6698:(ite $382 
                                    $843:(= $768 $4) $0) 
                                  $7388:(ite 
                                    $6700:(ite $6680 
                                      $6699:(= [barray 1 bit $780:noncacheable_s1-1] $3) $0) 
                                    $7387:(ite 
                                      $7240:(ite 
                                        $3142:(= $92 $3) 
                                        $7239:(ite 
                                          $6702:(ite 
                                            $288:(= $243 $3) 
                                            $6701:(= $291 $3) $1) 
                                          $7238:(ite 
                                            $7231:(ite $382 
                                              $7230:(ite 
                                                $6703:(= $102 $3) 
                                                $7229:(ite 
                                                  $6704:(= $110 $3) 
                                                  $7228:(ite 
                                                    $6705:(= [barray 1 bit $132:instrfetch_ifetchcontrol_adynamicbit_s1e-0] $3) 
                                                    $7227:(ite 
                                                      $6706:(= [barray 1 bit $138:instrfetch_ifetchcontrol_bdynamicbit_s1e-0] $3) 
                                                      $7226:(ite 
                                                        $6717:(= $6708 $384:{bitconst 0 0 0 0 0 0 0 0}) 
                                                        $7225:(ite 
                                                          $6726:(= $6719 $384) 
                                                          $7224:(ite 
                                                            $6817:(= [barray 8 bit $6727:instrfetch_icache_temp_icacheoutdata_v1r-0!9992!0039_0032] $384) 
                                                            $7223:(ite 
                                                              $6826:(= [barray 8 bit $6819:instrfetch_icache_temp_icacheoutdata_v1r-0!9992!0079_0072] $384) 
                                                              $7222:(ite 
                                                                $6835:(= [barray 8 bit $6827:instrfetch_icache_icachelinedata_v1r-0!9992!0039_0032] $384) 
                                                                $7221:(ite 
                                                                  $6847:(= [barray 8 bit $6837:instrfetch_icache_icachelinedata_v1r-0!9992!0079_0072] $384) 
                                                                  $7220:(ite 
                                                                    $6883:(= [barray 8 bit $6851:instrfetch_icache_icachelinedata_v1r-0!9992!0119_0112] $384) 
                                                                    $7219:(ite 
                                                                      $6980:(= [barray 8 bit $6886:instrfetch_icache_icachelinedata_v1r-0!9992!0159_0152] $384) 
                                                                      $7218:(ite 
                                                                        $6992:(= [barray 8 bit $6982:instrfetch_icache_icachelinedata_v1r-0!9992!0199_0192] $384) 
                                                                        $7217:(ite 
                                                                          $7007:(= [barray 8 bit $6995:instrfetch_icache_icachelinedata_v1r-0!9992!0239_0232] $384) 
                                                                          $7216:(ite 
                                                                            $7031:(= [barray 8 bit $7011:instrfetch_icache_icachelinedata_v1r-0!9992!0279_0272] $384) 
                                                                            $7215:(= [barray 8 bit $7034:instrfetch_icache_icachelinedata_v1r-0!9992!0319_0312] $384) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $1) 
                                            $7237:(ite 
                                              $358:(= $292 $357) $1 
                                              $7236:(ite 
                                                $343:(= $292 $342:{bitconst 0 1}) $1 
                                                $7235:(ite 
                                                  $298:(= $292 $297) $1 
                                                  $3159:(= $292 $2029)))) $0) $0) $0) 
                                      $7386:(ite 
                                        $7385:(= 
                                          $7384:(ite $298 
                                            $7379:{bitcat 
                                              $7249:{bitsel 
                                                $7248:(ite 
                                                  $2199:(= $94 $4) $7241:{bitconst 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0} 
                                                  $7245:{read [array unknown barray 64 bit $176:memory_system_simple_memory_contents-0] 
                                                    $4450:{bitplus @29 335544320 $2625 5 $2781 5120 $2782}}) 55 48} 
                                              $7378:{bitsel 
                                                $7376:(ite $2199 
                                                  $7246:{read $176 
                                                    $7242:{bitcat $2625 $2782 $2781 $297}} 
                                                  $7375:{read $176 
                                                    $7353:{bitplus @29 $311:{bitconst 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1} 335544320 $2625 5 $2781 5120 $2782}}) 31 0} 
                                              $7255:{bitsel $7248 63 56} 
                                              $7377:{bitsel $7376 63 32}} 
                                            $7383:(ite $343 
                                              $7372:{bitcat 
                                                $7258:{bitsel $7248 39 32} 
                                                $7371:{bitsel 
                                                  $7369:{read $176 
                                                    $7368:{bitplus @29 $311 
                                                      $7354:(ite $2199 $7242 $7353)}} 31 0} 
                                                $7262:{bitsel $7248 47 40} 
                                                $7370:{bitsel $7369 63 32}} 
                                              $7382:(ite $358 
                                                $7365:{bitcat 
                                                  $7265:{bitsel $7248 23 16} 
                                                  $7364:{bitsel 
                                                    $7362:{read $176 
                                                      $7361:{bitplus @29 $315:{bitconst 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0} $7354}} 31 0} 
                                                  $7269:{bitsel $7248 31 24} 
                                                  $7363:{bitsel $7362 63 32}} 
                                                $7359:{bitcat 
                                                  $7272:{bitsel $7248 7 0} 
                                                  $7358:{bitsel 
                                                    $7356:{read $176 
                                                      $7355:{bitplus @29 $318:{bitconst 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1} $7354}} 31 0} 
                                                  $7276:{bitsel $7248 15 8} 
                                                  $7357:{bitsel $7356 63 32}}))) 
                                          $6824:{bitcat $6819 [barray 8 bit $6818:instrfetch_icache_temp_icacheoutdata_v1r-0!9992!0071_0064] [barray 24 bit $6728:instrfetch_icache_temp_icacheoutdata_v1r-0!9976!0063_0040] $6727 [barray 32 bit $4907:instrfetch_icache_temp_icacheoutdata_v1r-0!9968!0031_0000]}) 
                                        $7381:(ite $298 
                                          $7380:(= $7379 
                                            $6844:{bitcat $6837 [barray 8 bit $6836:instrfetch_icache_icachelinedata_v1r-0!9992!0071_0064] [barray 24 bit $6828:instrfetch_icache_icachelinedata_v1r-0!9976!0063_0040] $6827 [barray 32 bit $4502:instrfetch_icache_icachelinedata_v1r-0!9968!0031_0000]}) 
                                          $7374:(ite $343 
                                            $7373:(= $7372 
                                              $6976:{bitcat $6886 [barray 24 bit $6885:instrfetch_icache_icachelinedata_v1r-0!9976!0151_0128] [barray 8 bit $6852:instrfetch_icache_icachelinedata_v1r-0!9992!0127_0120] $6851 [barray 16 bit $6850:instrfetch_icache_icachelinedata_v1r-0!9984!0111_0096] [barray 16 bit $4516:instrfetch_icache_icachelinedata_v1r-0!9984!0095_0080]}) 
                                            $7367:(ite $358 
                                              $7366:(= $7365 
                                                $7002:{bitcat $6995 [barray 8 bit $6994:instrfetch_icache_icachelinedata_v1r-0!9992!0231_0224] [barray 24 bit $6983:instrfetch_icache_icachelinedata_v1r-0!9976!0223_0200] $6982 [barray 32 bit $4542:instrfetch_icache_icachelinedata_v1r-0!9968!0191_0160]}) 
                                              $7360:(= $7359 
                                                $7210:{bitcat $7034 [barray 24 bit $7033:instrfetch_icache_icachelinedata_v1r-0!9976!0311_0288] [barray 8 bit $7012:instrfetch_icache_icachelinedata_v1r-0!9992!0287_0280] $7011 [barray 16 bit $7010:instrfetch_icache_icachelinedata_v1r-0!9984!0271_0256] [barray 16 bit $4561:instrfetch_icache_icachelinedata_v1r-0!9984!0255_0240]})))) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0) $0 $1)) $1 
    $7208:(ite 
      $7207:(= 
        $5280:(= [barray 32 bit $4578:instrfetch_icache_icachelinedata_v1r-0!9968!0319_0288] 
          $5276:{bitcat [barray 16 bit $5244:instrfetch_icache_address_s1r-0!1991!9984!0319_0304] [barray 16 bit $5243:instrfetch_icache_address_s1r-0!1991!9984!0303_0288]}) 
        $7205:(ite 
          $7204:(= $7033 
            $7203:{bitcat [barray 8 bit $7139:instrfetch_icache_icachelinedata_v1r-0!9976!0311_0288!5272!9992!0007_0000] $5243}) 
          $7201:(= [barray 8 bit $7140:instrfetch_icache_icachelinedata_v1r-0!9976!0311_0288!5272!9992!0015_0008] $7034) $0)) 
      $7183:(ite 
        $7182:(= 
          $7111:(= $5244 
            $7088:{bitcat [barray 8 bit $6914:instrfetch_icache_icachelinedata_v1r-0!9976!0151_0128!5083!9992!0015_0008] [barray 8 bit $6913:instrfetch_icache_icachelinedata_v1r-0!9976!0151_0128!5083!9992!0007_0000]}) 
          $7180:(ite 
            $7179:(= $6913 $7139) 
            $7177:(= $6914 $7140) $0)) 
        $7173:(ite 
          $7152:(= 
            $7050:(= $5244 
              $6050:{bitcat $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2 $2}) 
            $7150:(ite 
              $7149:(= $7139 
                $6042:{bitcat $2 $2 $2 $2 $2 $2 $2 $2}) 
              $7148:(= $7140 $6042) $0)) 
          $7172:(ite 
            $7025:(= 
              $5229:(= [barray 32 bit $4577:instrfetch_icache_icachelinedata_v1r-0!9968!0287_0256] 
                $5220:{bitcat [barray 16 bit $5169:instrfetch_icache_address_s1r-0!1991!9984!0287_0272] [barray 16 bit $5168:instrfetch_icache_address_s1r-0!1991!9984!0271_0256]}) 
              $7023:(ite 
                $7022:(= $5168 $7010) 
                $7020:(= $5169 
                  $7019:{bitcat $7012 $7011}) $0)) 
            $7171:(ite 
              $7170:(= 
                $7169:(ite 
                  $7078:(= $6885 
                    $7077:{bitcat $6913 [barray 16 bit $5052:instrfetch_icache_address_s1r-0!1991!9984!0143_0128]}) 
                  $7087:(= $6914 $6886) $0) 
                $6764:(= [barray 32 bit $4532:instrfetch_icache_icachelinedata_v1r-0!9968!0159_0128] 
                  $6762:{bitcat [barray 16 bit $5053:instrfetch_icache_address_s1r-0!1991!9984!0159_0144] $5052})) 
              $7168:(ite 
                $7167:(= 
                  $7166:(ite 
                    $7073:(= $6913 $6818) 
                    $7085:(= $6914 $6819) $0) 
                  $6910:(= $5053 
                    $6820:{bitcat $6819 $6818})) 
                $7165:(ite 
                  $7164:(= 
                    $7163:(ite 
                      $7058:(= $6913 $6042) 
                      $7082:(= $6914 $6042) $0) 
                    $6895:(= $5053 $6050)) 
                  $7162:(ite 
                    $6879:(= 
                      $6739:(= [barray 32 bit $4531:instrfetch_icache_icachelinedata_v1r-0!9968!0127_0096] 
                        $6737:{bitcat [barray 16 bit $4912:instrfetch_icache_address_s1r-0!1991!9984!0127_0112] [barray 16 bit $4911:instrfetch_icache_address_s1r-0!1991!9984!0111_0096]}) 
                      $6877:(ite 
                        $6876:(= $6850 $4911) 
                        $6874:(= $4912 
                          $6873:{bitcat $6852 $6851}) $0)) 
                    $7161:(ite 
                      $6814:(= 
                        $5142:(= [barray 32 bit $5047:instrfetch_icache_temp_icacheoutdata_v1r-0!9968!0063_0032] 
                          $5140:{bitcat $5052 $4912}) 
                        $6812:(ite 
                          $6811:(= $6728 
                            $6810:{bitcat $5052 [barray 8 bit $6791:instrfetch_icache_temp_icacheoutdata_v1r-0!9976!0063_0040!5121!9992!0015_0008]}) 
                          $6807:(= $4912 
                            $6806:{bitcat $6791 $6727}) $0)) 
                      $7160:(ite 
                        $6794:(= $4912 
                          $6793:{bitcat $6791 [barray 8 bit $6792:instrfetch_icache_temp_icacheoutdata_v1r-0!9976!0063_0040!5121!9992!0007_0000]}) 
                        $7159:(ite 
                          $7158:(= 
                            $7157:(ite 
                              $7114:(= [barray 16 bit $4157:instrfetch_icache_icacheindata_s1-0!9984!0063_0048] $5243) 
                              $7144:(= [barray 16 bit $4158:instrfetch_icache_icacheindata_s1-0!9984!0079_0064] 
                                $7141:{bitcat $7140 $7139}) $0) 
                            $4167:(= [barray 32 bit $4059:instrfetch_icache_address_s1r-0!1991!9968!0319_0288] 
                              $4163:{bitcat $4158 $4157})) 
                          $7156:(ite 
                            $5262:(= 
                              $5261:(ite 
                                $5213:(= [barray 16 bit $4130:instrfetch_icache_icacheindata_s1-0!9984!0031_0016] $5168) 
                                $5219:(= [barray 16 bit $4131:instrfetch_icache_icacheindata_s1-0!9984!0047_0032] $5169) $0) 
                              $4154:(= [barray 32 bit $4058:instrfetch_icache_address_s1r-0!1991!9968!0287_0256] 
                                $4142:{bitcat $4131 $4130})) 
                            $7155:(ite 
                              $7154:(= 
                                $7153:(ite 
                                  $6761:(= $4157 $5052) 
                                  $7089:(= $4158 $7088) $0) 
                                $4166:(= [barray 32 bit $4097:instrfetch_icache_address_s1r-0!1991!9968!0159_0128] $4163)) 
                              $6797:(ite 
                                $6796:(= 
                                  $6795:(ite 
                                    $5028:(= $4130 $4911) 
                                    $6736:(= $4131 $4912) $0) 
                                  $4153:(= [barray 32 bit $4096:instrfetch_icache_address_s1r-0!1991!9968!0127_0096] $4142)) 
                                $1183:(ite 
                                  $1182:(= $428 
                                    $1181:{bitcat [barray 25 bit $1179:instrfetch_pcunitdatapath_latch_30_chains2r_state-0!428!9975!0025_0001] [barray 1 bit $1180:instrfetch_pcunitdatapath_latch_30_chains2r_state-0!428!9999!0000_0000]}) $0 $1) $1) $1) $1) $1) $1) $1) $1) $1) $1) $1) $1) $1) $1) $1))