Machadinho is a municipality in the state of Rio Grande do Sul, Brazil. It was raised to municipality status in 1959, the area being taken out of the municipality of Lagoa Vermelha. As of 2020, the estimated population was 5,427. Wikipedia