binary input format: simplify controlflow on big-endian platform
binary input format: simplify controlflow on big-endian platform

diku-dk/futhark,HIPERFIT/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,ihc/futhark,ihc/futhark,ihc/futhark