1002 static void put_GEFLAG32 ( Int flagNo,            /* 0, 1, 2 or 3 */  in put_GEFLAG32()  function
1046    put_GEFLAG32( 0, 0, mkexpr(ge10), condT );  in set_GE_32_10_from_bits_31_15()
1047    put_GEFLAG32( 1, 0, mkexpr(ge10), condT );  in set_GE_32_10_from_bits_31_15()
1048    put_GEFLAG32( 2, 0, mkexpr(ge32), condT );  in set_GE_32_10_from_bits_31_15()
1049    put_GEFLAG32( 3, 0, mkexpr(ge32), condT );  in set_GE_32_10_from_bits_31_15()
1066    put_GEFLAG32( 0, 0, mkexpr(ge0), condT );  in set_GE_3_2_1_0_from_bits_31_23_15_7()
1067    put_GEFLAG32( 1, 0, mkexpr(ge1), condT );  in set_GE_3_2_1_0_from_bits_31_23_15_7()
1068    put_GEFLAG32( 2, 0, mkexpr(ge2), condT );  in set_GE_3_2_1_0_from_bits_31_23_15_7()
1069    put_GEFLAG32( 3, 0, mkexpr(ge3), condT );  in set_GE_3_2_1_0_from_bits_31_23_15_7()
1588       put_GEFLAG32(0, 0, binop(Iop_And32, mkexpr(apsrT), mkU32(1<<16)),  in desynthesise_APSR()
1590       put_GEFLAG32(1, 0, binop(Iop_And32, mkexpr(apsrT), mkU32(1<<17)),  in desynthesise_APSR()
1592       put_GEFLAG32(2, 0, binop(Iop_And32, mkexpr(apsrT), mkU32(1<<18)),  in desynthesise_APSR()
1594       put_GEFLAG32(3, 0, binop(Iop_And32, mkexpr(apsrT), mkU32(1<<19)),  in desynthesise_APSR()
10424         put_GEFLAG32( 0, 31, mkexpr(ge10), condT );  in decode_V6MEDIA_instruction()
10425         put_GEFLAG32( 1, 31, mkexpr(ge10), condT );  in decode_V6MEDIA_instruction()
10429         put_GEFLAG32( 2, 31, mkexpr(ge32), condT );  in decode_V6MEDIA_instruction()
10430         put_GEFLAG32( 3, 31, mkexpr(ge32), condT );  in decode_V6MEDIA_instruction()
11674         put_GEFLAG32( 0, 0, mkexpr(ge10), condT );  in decode_V6MEDIA_instruction()
11675         put_GEFLAG32( 1, 0, mkexpr(ge10), condT );  in decode_V6MEDIA_instruction()
11679         put_GEFLAG32( 2, 31, mkexpr(ge32), condT );  in decode_V6MEDIA_instruction()
11680         put_GEFLAG32( 3, 31, mkexpr(ge32), condT );  in decode_V6MEDIA_instruction()
11748         put_GEFLAG32( 0, 31, mkexpr(ge10), condT );  in decode_V6MEDIA_instruction()
11749         put_GEFLAG32( 1, 31, mkexpr(ge10), condT );  in decode_V6MEDIA_instruction()
11755         put_GEFLAG32( 2, 0, mkexpr(ge32), condT );  in decode_V6MEDIA_instruction()
11756         put_GEFLAG32( 3, 0, mkexpr(ge32), condT );  in decode_V6MEDIA_instruction()
11824         put_GEFLAG32( 0, 31, mkexpr(ge10), condT );  in decode_V6MEDIA_instruction()
11825         put_GEFLAG32( 1, 31, mkexpr(ge10), condT );  in decode_V6MEDIA_instruction()
11829         put_GEFLAG32( 2, 31, mkexpr(ge32), condT );  in decode_V6MEDIA_instruction()
11830         put_GEFLAG32( 3, 31, mkexpr(ge32), condT );  in decode_V6MEDIA_instruction()