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.[1] As of 2020, the estimated population was 5,427.[2]