If $M$ is *smooth*, then the answer is *always*. This is a theorem due to Shokurov, see

V.V. Shokurov: *Smoothness of a general anticanonical divisor on a Fano variety*,  Math.
USSR, Izv **14**, 395-405 (1980).