#!/bin/bash set -e gen_shader() { imm=$1 if [ "$2" = "half" ]; then h="h" mov="cov.u16u32" else h="" mov="mov.u32u32" fi cat <